关于Square{all}和Square{most}的知识推理

首先证明了包含广义量词most和必然模态词□的□M□A□I-3广义模态三段论的有效性,并探讨“包含Square{all}和Square{most}中量词和模态词的直言命题形成的”广义模态三段论的可化归性等知识推理。这些三段论之间之所以具有可化归性,是因为:仅仅包含Square{all}中的量词的同一素材直言命题,其真假具有对当关系,而且仅仅包含Square{most}中的量词的同一素材直言命题也是如此,必然模态词与可能模态词可以相互定义。这些结果是基于演绎推理,因此它们在逻辑上是一致的。

宽温区体硅MOST阈值电压温度特性的研究

本文在深入研究硅费米势和禁带宽度温度特性的基础上，详细探讨了宽温区体硅ＮＭＯＳＴ阈值电压的温度特性及沟道掺杂浓度与栅氧化层厚度对其温度特性的影响，提出了２９８ ～５２３ Ｋ宽温区体硅ＮＭＯＳＴ阈值电压的γ σ因子温度非线性简化模型．该模型的模拟结果与高温ＭＯＳ器件模拟软件ＨＴＭＯＳ的数值模拟结果吻合得很好．

车载MOST网络音频播放节点的设计

基于MOST(Media Oriented Systems Transport)网络标准和数字音频传输技术,设计了车载MOST网络节点,实现了MOST网络节点的音频播放功能,模拟了MOST网络传输I2S(Inter-IC Sound Bus)数字音频数据的过程。描述了使得I2S数字音频数据在MOST网络收发器中进行路由的硬件结构和软件实现。

基于语音接口的MOST网络设备控制

MOST网络将成为汽车主干网络,而语音控制为汽车多媒体娱乐提供了便捷的人机接口,将两者结合具有良好的应用前景。在分析MOST网络设备控制及语音识别原理的基础上,提出了一种在MOST网络上构建人机语音接口的方法,并给出实现该方法的硬件组成和软件架构。通过小词汇量词库对该系统进行实验,实验结果表明,该方法达到了实际应用的要求。

短沟道MOST阈值电压温度系数的分析

本文分析了短沟道ＭＯＳＴ阈值电压在室温以上的温度特性，并给出了它的温度系数计算公式。根据计算结果，可以得到如下结论：短沟道ＭＯＳＴ的阈值电压温度系数随着沟道长度缩短而减小．与长沟道ＭＯＳＴ相似，在一定的温区范围内，可以把短沟道ＭＯＳＴ的阈值电压温度系数作为常数，用线性展开式来表达阈值电压的温度特性。

工作因素法及MOST法在制定标准时间中的应用对比

阐述了工作因素法和MOST法的相关原理及基本特点,通过对某液压机械有限公司生产减速顶时检验工序中的注油操作过程进行观察和记录,并应用工作因素法及Most法对该工序进行作业测定,主要比较工作因素法和Most法在制定标准时间中的应用情况及其优劣势。通过比较分析,能够更清楚地找到适合不同工作性质的作业测定方法,为企业选择适合自己的时间评定方法提供依据,以备更好地提高工作效率。

车载MOST/CAN网络网关设计

介绍了车载MOST(Media Oriented Systems Transport)网络和CAN网络的结构与功能,阐述了MOST/CAN网络网关的硬件结构和软件实现,以及MOST网络和CAN网络之间通过网关进行数据交换的原理。该网关实现了MOST网络中以文件和命令形式传输的数据与CAN网络之间的交换,使MOST网络中车载系统与CAN网络中的系统之间能够进行参数的传递。

车载MOST摄像头和人脸识别接口的设计与实现

将人脸识别技术与MOST车载环状网络结合,提出车载MOST人脸识别模块.在MOST环状网络中添加摄像头和人脸识别接口,采用MOST异步通信方式,通过I2C总线传输数据,并修改MOST帧边界、增加带宽.车载MOST摄像头接口与人脸识别接口共同实现了人脸图像采集、MOST异步通信、身份认证的功能.实验证明,该方法具有可操作性,可以满足实际需求.

非平衡闭合场磁控溅射CrTiAlN/MoST复合涂层的性能研究

采用非平衡闭合场磁控溅射方法在Cr12MoV冷作模具钢表面制备CrTiAlN单一涂层和CrTiAlN/MoST复合涂层,通过AFM、XRD、显微硬度、划痕和磨损试验综合分析涂层相结构和的表面性能。实验结果表明,CrTiAlN/MoST复合涂层比CrTiAlN单一涂层更光滑、致密,(Cr,Ti,Al)N在(111)晶面呈强烈的衍射峰,无明显的MoS_2衍射峰.Cr12MoV经PVD处理后,表面显微硬度和耐磨性得到了明显的提高,尤其是复合涂层,由于CrTiAlN硬涂层抗磨和MoST软涂层减摩的综合作用表现出比CrTiAlN涂层更低的磨损率,主要的磨损机制为逐层剥落的疲劳磨损。

基于车载MOST网络的低功耗设计

随着车载MOST网络中信息娱乐设备的不断增加,功耗也不断上升。通过对MOST网络协议的研究与分析,在MOST网络主控节点中加入PowerMaster模块,建立MOST网络电源管理模型,集中统筹管理MOST网络设备,在不降低MOST网络服务功能的前提下削减网络功耗。仿真实验与测试结果表明,该方法有效降低了MOST网络的功耗水平,达到了预期目标。

基于MOST网络从节点的能量优化

分析了MOST网络的传输原理和特性,根据网络的管理和通知机制,设计了从节点自主休眠和主节点管理整体网络休眠的分布式电源管理方案,以及睡眠状态下节点和网络的唤醒机制,并利用MATLAB对网络功耗进行数学建模和分析。仿真中MOST网络在执行随机生成的相同任务序列后,基于分布式电源管理的网络系统总功耗小于原来超时策略下的系统总功耗,仿真证明了分布式电源管理策略的有效性。

车载MOST音频网络设计

运用MOST(Media Oriented Systems Transport)网络标准和I2S(Inter-IC Sound Bus)数字音频传输技术,设计了一个车载MOST网络,它实现了流媒体数据传输和播放功能。文中描述了使I2S数字音频数据从音频数据源设备发送到音频播放设备的网络硬件结构和软件实现。

儿童急性淋巴细胞白血病MOST-1基因表达研究

目的 研究 MOST- 1基因在儿童急性淋巴细胞白血病骨髓单个核细胞中的表达 ,了解其与免疫分型和治疗反应的关系。方法 采用半定量 RT- PCR方法测定了 17例新发儿童急性淋巴细胞白血病 (其中 AL L- L33例 )患者骨髓单个核细胞 MOST- 1基因的表达水平 ;PCR产物经 DNA序列测定证实。结果 MOST- 1基因仅表达于儿童急性淋巴细胞白血病 L3型 ,而 L1 和 L2 均无表达 ;3例 AL L - L3患者治疗前外周血幼稚细胞比例分别为72 %、6 7%和 12 % ,骨髓白血病细胞比例分别为 98%、94 %和 6 7% ,前两例 L3患者 MOST- 1m RNA的表达水平分别为另一例 L3患者的 3倍和 2倍。 2例 L3患者经正规诱导完全缓解后无 MOST- 1基因表达。结论 MOST- 1基因表达于儿童急性淋巴细胞白血病 L3型 。

一种用于深亚微米电路模拟的高精度MOST宏模型

提供了一种新的方法,用于建立深亚微米电路中MOST的伏安特性方程.该方法根据深亚微米MOST的数值模拟结果或实测结果,直接将小尺寸MOST特性方程用函数拟合技术,在M atlab中用程序实现,所建立的伏安特性方程没有非饱和区、饱和区的间断点,是一个不分区间的统一表达式.对所得到的结果进行了计算验证,证明了建模方法和结果的正确性.

考虑非均匀掺杂衬底对一维MOST模型的修正

为了控制MOST的阈值电压和减小DIBL效应 ,必须对MOST的沟道进行离子注入。这种非均匀掺杂衬底MOST特性的最常用分析方法是数值模拟 ,但这种方法计算量大 ,不能得到解析模型 ,不适用于电路模拟设计。本文所提出的解析模型与SPICEMOS3模型形式相似 ,但其所有参数都是数值模拟的解析公式。新模型将数值分析与解析方法结合起来 ,具有精度高 ,概念清晰 ,计算量小等优点 ,适用于电路分析程序。

基于MOST的车载多媒体系统分析

该文是以汽车多媒体光纤研究为切入点,对基于MOST的车载多媒体系统进行了多方面的分析。从系统基本框架及系统研究内容的4个方面深入细致的阐述了基于MOST的车载多媒体系统的优越性;结合系统的先进性、创新性及经济效益、社会效益的分析,印证了基于MOST的车载多媒体系统,能快速规范中国汽车后装市场,行成成熟的行业技术规范,有利于提高汽车后装的整体技术水平,优化行业管理体系。

Audi(奥迪A6)MOST-BUS结构和环型断裂诊断法的分析

介绍了Audi(奥迪A6)MOST-BUS结构,传输和工作过程的特点,针对MOST-BUS结构,提出MOST-BUS系统故障诊断的基本思路和环型断裂诊断法。

车载多媒体传输网络MOST总线的结构与诊断分析

现代汽车电子为满足容量速率大的多媒体传输采用了MOST总线技术。以AUDIA62004年款为例介绍了MOST总线网络的结构、光纤传输技术特点及工作原理,并分析了MOST总线的环形中断诊断原理,阐述了MOST总线的常见故障原因。

CAN/MOST网关的设计与实现

为解决车载CAN(Controller Area Network)网络和MOST(Media Oriented Systems Transport)网络间的数据共享问题,提出了一种CAN/MOST网关的设计方案。通过分析两种网络的网络模型,构建了CAN网络和MOST网络互联的核心技术——CAN/MOST网关的系统结构,并在此结构的基础上实现了基于单片机89S51的网关的硬件设计和软件流程。该网关完成了CAN网络和MOST网络的互联,使不同的车载网络设备能共享数据。

Uniformly Most Powerful Invariant Test and Its Application

The authors consider the uniformly most powerful invariant test of the testing problems (Ⅰ) H 0: μ′Σ -1 μ≥CH 1: μ′Σ -1 μ<C and (Ⅱ) H 00 : β′X′Xβσ 2≥CH 11 : β′X′Xβσ 2<C under m dimensional normal population N m(μ, Σ) and normal linear model (Y, Xβ, σ 2) respectively. Furthermore, an application of the uniformly most powerful invariant test is given.