舰空导弹武器系统作战软件的质量保证

舰空导弹武器系统作战软件属要害软件,因而它是该系统的一个关键件。如何确保这类软件的质量,尤其是确保其可靠性和安全性,始终是一项复杂而又艰巨的研究课题。文章在简要描述了舰空导弹武器系统的主要特点和作战软件的基础上,重点介绍了软件质量管理、软件生产工具和软件开发方法。为了改进传统的瀑布型的软件生存周期模型,针对要害软件的特点,提出了要害软件开发周期的车轮模型。     

对数正态分布加速因子的Bayes估计

基于对数正态分布形式以及分布对数标准差不变的条件,运用Bayes方法对对数正态分布加速寿命试验条件下的加速因子进行分析。首先基于全寿命试验数据和随机变量函数分布的理论推导出加速因子的先验分布;然后由Bayes公式结合少量的现场截尾试验数据,得出加速因子的Bayes估计模型;最后给出实例进行说明。     

一种安全的组签字方案

基于离散对数给出了一种组签字方案。该方案保留了已有方案的主要优点 ,并且解决了“匿名”性问题。在该方案中 ,既使组权威公布了一些附加信息以供验证者确认签字者的身份 ,但可确保签字者其它的组签字的“匿名”性 ,组权威也不必更新签字者的任何密钥。因为组权威公布的信息只是为了识别指定的组签字。     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

微分方程的有界性与概周期解的存在性

本文考虑高维非自治概周期系统ｄｘｄｔ＝ｆ（ｔ,ｘ）,利用对ｘ的分量分组构造Ｌｉａｐｕｎｏｖ函数的方法讨论了其概周期解的存在性。所得结果去掉了文献中系统存在有界解的假设,得到了比较明显的改进。     

目标信息的时效性分析

战场态势是随时间不断变化的,描述战场实体状态的目标信息有其寿命周期,须及时生成并提供给使用者.提出信息价值和信息时效性的概念来衡量指挥自动化系统提供的目标信息是否满足作战行动对时间的要求.信息价值因为延时而衰减,从而降低使用信息所能达到的效果.通过分析信息延时对决策质量、毁伤概率的影响,分别讨论了信息用于决策和作战的时效性.     

ARM系统中对CAN控制扩展的实现方法

基于ARM技术的处理器已经普遍应用于工业控制、汽车电子等各个领域.CAN总线也已广泛应用于这些领域,但大多数常用的ARM9系列芯片还没有在片内集成CAN总线的控制器,使得不得不在板级进行扩展.选用飞利浦的SJA1000器件作为CAN总线控制器在ARM系统中进行扩展,给出了两种通过总线扩展的实现方法,即通过CPLD转换时序的方法和双周期读写模拟方法,并对后者的实现方法做了详细论述.最后对CAN总线Linux下的驱动移植做了简要介绍.     

基于随机过程的测量仪器校准时间间隔的确定

研究了测量仪器校准过程的随机过程模型,分析了对测量仪器在测量过程中的误差来源,确定了系统误差是影响测量仪器校准的决定性因素,给出了系统误差随时间变化的规律.利用随机过程的方法来分析系统误差的变化过程,建立了系统误差的随机过程模型--误差累加模型和维纳过程模型.最后利用电压源的测量数据对所建立的维纳过程模型进行了验证,实验证明,利用随机过程的方法分析确定测量仪器的校准时间间隔具有一定的应用价值.     

一种双层Powerlink网络的网关

描述了一种双层Powerlink网络的Powerlink网关,用于解决不同层次实时以太网总线之间数据转换以及不同网络之间周期同步的问题。其主要是解决了两层实时Powerlink网络通信时的周期不同步问题,通过使用这一同步机制使下层Powerlink网络在接入上层Powerlink网络时能够同步于上层网络,使每一个接入在同一上层网络的下层网络的动作实际都与上层网络保持同步,从而确保双层网络数据交互的正常进行。     

Duffing混沌阈值的新定量求解法及其在WSD的应用

概述了求取Duffing系统阈值的3种传统方法,分析优缺点,最终提出一种新的求取混沌阈值的定量方法。这种方法能充分反映周期序列的振荡特征,因此,定义为周期特征量法。将该特征量作为混沌阈值可以明显区别混沌序列和周期序列,由此可以用于判断Duffing系统的输出状态,是一种优于其他方法的混沌判决。最后,仿真验证了该方法的可行性并应用于检测弱周期信号的有无及其幅值。