基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

表面活性剂对纳米氧化锌合成及分散性的影响

在比较了各种合成方法后,我们采用固相合成法来制备纳米氧化锌,并对其提出了改进．通过在固相反应过程中加入表面活性剂对纳米氧化锌进行了表面改性,制备出了粒径更小、分散性更好的氧化锌．用X-射线粉末衍射仪、扫描电镜表征产物的结构和形貌,用分光光度计研究其分散性．结果表明,改性后产物的分散性得到了显的改善,较之未改性样品,其吸光度均有不同程度的增加,且在不同极性溶剂中的分散性随表面活性剂种类和用量的不同而不同．     

新型功率器件MCT关断模型

介绍了新型功率器件MCT(MOS控制晶闸管)的基本结构和工作原理。探讨了MCT在关断情况下的物理状态模型,并对MCT的物理状态模型采用状态平均法建立其关断时的数学模型。把整个器件看成一个系统,利用状态空间分析法分析其关断时系统的稳定性,从而推导出MCT的可关断的最大电流,然后分析其可关断的最大电流与其结构参数的关系。并利用MATLAB／Simulink进行仿真。仿真结果与解析分析结果一致。     

Alternative regime switching models for forecasting inflation

US inflation appears to undergo shifts in its mean level and variability. We evaluate the performance of three useful models for capturing such shifts. The models studied are the Markov switching models, state space models with heavy‐tailed errors, and state space models with compound error distributions. Our study shows that all three models have very similar performance when evaluated in terms of the mean squared or mean absolute forecast errors. However, the latter two models are considerably more parsimonious, and easily beat the more profligately parameterized Markov switching models in terms of model selection criteria, such as the AIC or the SBC. Thus, these may serve as useful continuous alternatives to the popular discrete Markov switching models for capturing shifts in time series. Copyright © 2001 John Wiley & Sons, Ltd.     

设计模式在机器人控制系统中的应用

设计模式是对于共性问题的成功的解决方案,采用设计模式可以减少系统设计的复杂度,提高系统开发的效率.针对设计模式的三种类型,详细介绍了 State 模式、Flyweight 模式和 Singleton 模式在机器人控制系统的应用,说明了设计模式可以使系统具有可扩展性和可维护性,使系统可以更加从容地面对需求变更.     

广义系统多传感器信息融合降阶状态估值器

对于带多传感器的广义线性离散随机系统,基于奇异值分解,将其化为等价的两个降阶多传感器子系统。应用Kalman滤波方法,在线性最小方差最优加权融合准则下,提出了最优加权融合降阶稳态广义Kalman估值器。可统一处理融合滤波、平滑和预报问题,可减少计算负担和改善局部估计精度。为了计算最优加权,提出了局部估计误差方差阵和互协方差阵的计算公式。     

广义离散系统降阶Wiener滤波、平滑和预报

应用现代时间序列分析方法,基于Kalman滤波和白噪声估计理论,对于广义离散随机线性系统的一种典范型,提出降阶Wiener状态估值器,可统一处理滤波、平滑和预报问题,并且能减少计算负担,便于实时应用.一个仿真例子说明其有效性.     

基于智能传感的车轮运动状态监测系统设计

针对机动车安全运行存在的问题,提出一种基于智能传感的车轮运动状态监测系统。分析了该系统的框架与工作信息流,利用微惯性传感器研制了车轮智能传感节点,并进行了安装测试。结果表明,车轮智能传感节点体积小,便于安装,可用于不同行驶状况下车轮运动状态监测,也可实时地获取多个车轮运动状态信息,满足车轮运动状态实时监测的需要。     

基于混合差分法的运动目标检测

为了提高背景重建速度和目标检测精度,提出了基于混合差分的运动目标检测方法.采用一种基于统计模型的区域像素级背景重建方法.结合帧差分法对于环境的适应性和背景差分法目标检测的准确性.首先用帧差分法得到目标最大的可能区域,在该区域进行像素级背景重建.然后用背景差分精确提取目标区域.既克服了单纯帧差分对于目标运动速度的限制,又缩小了背景差分的区域,使运动目标检测的时间复杂度迅速降低.通过实验,验证了该方法在检测精度和速度上的优势,可以应用于视频监控和目标跟踪领域.     

量子信息安全技术

自从BB84量子密钥分配协议提出以来,量子加密技术得到了迅速发展,以加密技术为基础的量子信息安全技术也得到了快速发展。为了更全面地、系统地了解量子信息安全技术当前的发展状况和以后发展的趋势,文中通过资料查新,以量子加密技术为基础,阐述了量子密钥分配协议及其实现、量子身份认证和量子数字签名、量子比特承诺等多种基于量子特性的信息安全技术的新发展和新动向。