基于EMC和HA的UML Statecharts检测研究

后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化.     

在低温状态下点材料的硬度对粘接和熔焊的机理分析

触点的硬度是继电器装配过程中的防止触点开裂重要参数,为了保证继电器的工作可靠性,本文通过同一材料和不同硬度、不同的负载在同一低温下的试验来研究和分析,继电器触点硬度对粘接和熔焊触点故障机理。发现触点的硬度对粘接和熔焊有一定关联,触点硬度高带载能力强。     

266nm激光作用下1,3-二溴苯的多光子电离和解离研究

在波长为266 nm的激光作用下对1,3-二溴苯分子的多光子电离解离过程进行了研究,获得了溴苯分子的MPIF-TOF质谱,并测得了各碎片离子占总离子信号的百分比对激光强度的依赖关系.用这些实验结果分析1,2-二溴苯分子的多光子电离解离机理,得出1,3-二溴苯的MPI过程主要是母体分子解离-中性碎片电离C6H 4,C5H 3,C4H 2,C3H 等碎片离子主要是经过离子离解阶梯模式产生的,并给出了可能的解离通道.     

网络管理中一种Telnet用户帐户截获的稳定方法

介绍了在网络管理开发中,一种获取Telnet用户帐户的稳定方法.由于电脑的普及和互联网络的大规模发展,安全网络日渐上升为主题.保障用户的合理资源不受侵犯,规范上网用户的行为等等成大众对未来互联网的期待.Telnet协议或者通信的工具,便是众多通信协议的一种,在这里将通过图文方式简要介绍一下Telnet协议和Telnet登陆、通信和退出过程.     

直觉模糊信息下基于VIKOR和三支决策的多目标威胁评估方法

针对传统多目标威胁评估方法通常是二支决策,只能得到目标威胁排序,需要主观地划定威胁等级与选择作战目标数,不适应于复杂动态任务环境的问题,提出直觉模糊信息下基于VIKOR和三支决策的多目标威胁评估方法.首先,对动态直觉模糊威胁评估信息进行集结并求取属性权重;然后,通过VIKOR方法求取目标决策所需的条件概率;最后,通过评估信息构造各属性下目标的损失函数矩阵,集结得到目标的综合损失函数矩阵,计算综合阈值,得到决策规则.算例分析表明,所提方法能够有效地处理动态不确定目标态势信息,将传统方法的二支排序结果转变为三支分类结果;可以依据目标态势信息客观地选取作战目标.     

两种常用多传感器时间配准方法在匀加速模型下的改进

多传感器融合系统中,采样周期或开机时刻不同会造成测量数据的时间异步,针对该问题进行时间配准时,匀速直线运动模型下的两种常用方法（内插外推法和最小二乘虚拟法）随着目标机动性的增强配准误差随之增大。本文以匀加速运动模型为假设前提,对两种方法做了扩展改进,形成了满足匀加速运动模型的时间配准算法。仿真实验验证了改进方法的有效性。     

基于分离信源信道码的相关信源在有噪广播信道下的可靠和安全传输

从信息论的角度对相关信源在离散无记忆广播信道下可靠和安全传输的问题进行研究。2个信源经过有噪信道分别到达各自指定的目的节点并被无损恢复,同时还要保证信源信息对于非指定的目的节点要有一定的保密性。采用信源信道分离的随机码策略,得到相关信源在一般广播信道下能够可靠和安全传输的充分条件。当2个信源的公共信息为二者的互信息时,可获得最佳压缩传输效率,并且能够做到信源信息传输的部分绝对保密。当广播信道采用退化信源集或满足more capable广播信道性质时,得到了可靠和安全传输的充分必要条件,此时分离信源信道码为最优码。     

在Windows98下PC和TMS320F240的多机串行通信

文章介绍了实现PC和TMS32 0F2 4 0的多机串行通信的设计方法 ,详细地描述了TMS32 0F2 4 0串行通信接口和模块的结构特点 ,给出了相关的框图和程序     

在多束激光混合分布下其图像定位各光斑质心位置的方法研究

激光光斑图像的质心提取是探测器确定激光方位的重要环节,对于获取激光方位角有重要的意义.传统上的灰度重心法、高斯拟合法以及椭圆拟合法三种激光光斑质心的提取方法都无法解决激光光斑图像上出现多个激光时其各个质心的提取问题.基于此缺点本文提出一种基于EM算法,求解二维图像中多个混合高斯分布中分辨质心分布的方法.采用CCD(Ch...     

新型含硒杂环红光聚芴电解质的电致发光器件制备和研究

利用新型的聚[9,9-二辛基芴-9,9-(双(3′-(N,N-二甲基)-N-乙基铵 溴-)丙基)芴-4,7-二噻吩-2-基-2,1,3-苯并硒二唑](PFNBr-DBSe)共扼聚电解质制备了聚合物发光二极管。这类共扼聚电解质可用乙醇等溶剂成膜,不仅可代替传统的甲苯等芳香性非极性溶剂,而且有利于制备溶液型的多层显示器件。文章研究了这类新型聚电解质的光致发光特性及发光二极管器件的电荧光特性。研究表明在紫外光照射或电激发下,窄带系的DBSe链段通过俘获激子能够实现有效的能量转移。聚电解质中DBSe的含量在5%以上,其器件具有电致发光峰值为700~740nm的饱和红光发射。所制聚电解质器件在用铝作电极时的电致发光效率比用钡作电极时要高。     

自旋为1/2粒子在消相干量子场作用下的绝热和非绝热几何相位

量子计算来源于量子相干和量子纠缠的特性,但是这两个性质都很脆弱和易于出错,很容易被称为消相干的过程破坏掉,因此如何克服消相干的影响已成为实现量子计算机的一个关键.利用非跃迁轨迹和Berry以及AA几何相位公式,计算了在绝热和非绝热情况下,分别由单模和双模消相干量子场所产生的自旋为1/2系统的几何相位.利用量子跃迁方法,当考虑绝热和非绝热演化时,发现对于非跃迁轨道,其相位修正值是不同的.最后我们从基本原理和量子计算的观点讨论了其结果的意义.     

惯导在纯惯和组合两种方式下的定位和速度精度评估方法及实现

本文着重介绍了惯导在纯惯和组合两种导航方式下的定位和速度精度评估方法以及利用MATLAB进行惯导精度评估软件的开发、使用及实例分析。     

一种用于分离pMOS器件热载流子应力下氧化层陷阱电荷和界面陷阱电荷对阈值电压退化作用的方法

在电荷泵技术的基础上,提出了一种新的方法用于分离和确定氧化层陷阱电荷和界面陷阱电荷对pMOS器件热载流子应力下的阈值电压退化的作用,并且这种方法得到了实验的验证.结果表明对于pMOS器件退化存在三种机制:电子陷阱俘获、空穴陷阱俘获和界面陷阱产生.需要注意的是界面陷阱产生仍然是pMOS器件热载流子退化的主要机制,不过氧化层陷阱电荷的作用也不可忽视.     

一种用于分离pMOS器件热载流子应力下氧化层陷阱电荷和界面陷阱电荷对阈值电压退化作用的方法

在电荷泵技术的基础上,提出了一种新的方法用于分离和确定氧化层陷阱电荷和界面陷阱电荷对p MOS器件热载流子应力下的阈值电压退化的作用,并且这种方法得到了实验的验证.结果表明对于p MOS器件退化存在三种机制:电子陷阱俘获、空穴陷阱俘获和界面陷阱产生.需要注意的是界面陷阱产生仍然是p MOS器件热载流子退化的主要机制,不过氧化层陷阱电荷的作用也不可忽视.