基于S曲线模型的航空装备嵌入式软件量化安全评估

软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数。对AML理论进行了拓展,讨论了转折点的选取原则。最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析。     

基于TMS320VC33的速度控制系统硬件平台设计

以磁悬浮列车速度控制系统为课题背景,介绍了以TMS320VC33为核心处理器的硬件平台的组织结构及设计过程。     

某信号指示嵌入式软件的安全性分析

讨论了某信号指示预处理嵌入式软件的安全性问题。以有限状态机和马尔可夫链为理论基础,建立了该类软件的安全性模型。以灰熵定义为基础,定义了系统安全度的概念,量化系统安全性,给出了一种量化分析方法。预测了软件的安全性。最后借助数值仿真工具,讨论了估计参数对系统安全性的影响,得到了量化指标,根据仿真曲线给出了提高安全性的方法。     

用PLC采集运行数据辨识列车运动模型

介绍了用S7—300系列PLC编制数据采集程序从检测系统采集数据，对采集到的数据进行平滑处理，并用最小二乘法拟合得到列车的最终运动模型的全过程。重点介绍了运动模型的辨识过程。     

速度时滞反馈控制下磁浮系统的稳定性与Hopf分岔

The problem of time delay speed feedback in the control loop is considered here.Its effects on the linear stability and dynamic behavior of the maglev system are investigated.It is found that a Hopf bifurcation can take place when the time delay exceeds certain values.The stability condition of the maglev system with the time delay is acquired.The direction and stability of the Hopf bifurcation are determined by constructing a center manifold and by applying the normal form method.Finally,numerical simulations are performed to verify the analytical result.     

基于MapX的矢量图层控制技术在指挥自动化系统中的应用

矢量图层控制技术在军事指挥自动化系统中是一项关键技术,一些GIS(Globe Infromation System)工具为矢量图层控制技术的实现提供了手段.本文讨论了以Visual     

基于进化ANFIS的短波通信频率参数预测

该文提出并设计了一种利用神经模糊推理系统建模的短波通信频率参数预测模型。该模型以模糊系统为平台,利用自学习算法训练建立推理规则,采用并行自适应遗传算法进化调整系统内部参数。通过ff0F2实测数据仿真试验,并与神经网络方法、混沌和神经网络相结合方法进行比较,结果证明该模型具有预测精度高、收敛速度快、全局收敛性好、内部参数调整智能化等突出优点。     

基于威布尔分布的嵌入式软件安全性量化分析

基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。     

软件缺陷信息分析研究

软件测试就是尽可能的发现软件中的缺陷.缺陷信息及缺陷发生的背景信息作为软件测试中的过程财富需要进行全面详实的记录,当数据量足够大时,构建缺陷信息数据仓库,分析挖掘已有缺陷数据中的有用信息来指导测试工作,对于提高缺陷发现率和改善软件的质量是一种行之有效的办法.     

基于遗传算法的磁浮列车悬浮控制参数优化

悬浮系统本质上是不稳定的,要通过设计控制器使得闭环系统稳定。对单铁悬浮控制模型,采用基于磁通反馈的间隙PID控制算法,通过合理选取控制参数可以达到良好的控制效果。为使悬浮控制器具有良好的跟踪特性同时保证磁浮列车的乘坐舒适性,需要限定悬浮系统闭环带宽。应用遗传算法进行控制参数优化设计,对基于ITAE的适应度函数进行改进,对不满足闭环系统带宽要求的个体进行惩罚,设计基于遗传算法的悬浮控制控制参数优化算法,并通过实例计算验证了算法的有效性。