基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

非最大纠缠态的受控密集编码

提出了利用一个三粒子非最大纠缠态作为量子信道的受控密集编码方案。在本方案中,监控方通过调节其测量角能够实现对发送方信息发送能力的控制。     

基于小波变换的火车车轮扁疤信号能量分析

火车车轮扁疤是火车行车事故的重大隐患之一，了解扁疤信号的能量分布情况对正确检测车轮扁疤有重要的意义．针对车轮扁疤信号具有持续时间短、突变快等特点，提出了一种运用小波变换的多分辨率分析和小波能量谱对扁疤信号进行分析的方法，通过比较扁疤信号在不同尺度下的能量密度，找出能量与各频段之间的对应关系，得出了扁疤信号的能量主要集中在2500Hz以下的频带范围内，在实际的车轮扁疤检测算法中只需分析频带范围为2500Hz以下的扁疤信号即可，通过实验验证了该能量分析方法的有效性．     

因果性、因果反常和快子

本阐述了物理学中因果性和因果反常的涵数，指出在闭合系里快子的存在可以和相对论因果性要求一致，但是适合作信号的快子实验的可能性必须被排除。     

连铸机结晶器水口状态分析

描述了连铸机结晶器的水口结瘤现象，介绍了表征该现象的水口状态系数信号，并对其进行了频域分析和滤波处理，给出了分别用FIR滤波器和用小波分析的方法对水口状态系数进行处理的结果。     

柴油机中连续撞击响应信号的分离

利用WVD方法对柴油机中连续撞击信号进行分离，取得了较好的效果。该方法能将波形逐个分离出来，分离出来的波形能较好地保持原有波形的性质，不改变信号的相位。运用该方法还可以排除高斯噪声，提高信噪比。     

基于直接信号流图的数字控制系统计算机辅助分析

根据数字控制系统的直接信号流图，设计了改进的Johnson算法，并用MATLAB语言编制了适用任意输入信号的数字控制系统的计算机辅助分析软件。该软件模型输入简单，不仅能得到系统的输出响应，而且还能得到系统输出模型，为数字控制系统的计算机辅助设计和仿真提供了有用的工具。     

机动车辆运行状态自动跟踪管理网络系统

介绍一种机动车运行状态自动跟踪管理网络系统，并对该系统中实现收费公路的无等待自动登记收费、区域车辆流动状态统计、环境污染统计和被盗劫车辆定位跟踪等功能做了较为详细的分析和介绍。     

三原子直线分子的测量

对于三个原子组成的直线分子哈密顿系统，对角化后等效为两个相互独立的量子谐振子和一个自由粒子，应用热场动力学理论，得到了有限温度下测量坐标和动量的量子涨落。     

New criteria on delayed state feedback stabilization for stochastic systems with time-varying delay

The problems of robust exponential stability in mean square and delayed state feedback stabilization for uncertain stochastic systems with time-varying delay are studied.By using Jensen’s integral inequality and combining with the free weighting matrix approach,new delay-dependent stability conditions and delayed state feedback stabilization criteria are obtained in terms of linear matrix inequalities.Meanwhile,the proposed delayed state feedback stabilization criteria are more convenient in application than the existing ones since fewer tuning parameters are involved.Numerical examples are given to illustrate the effectiveness of the proposed methods.