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

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

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

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

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

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

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

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

用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.     

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

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

基于CAN_BUS的控制器调试系统的设计

调节多点控制器的控制参数是一项复杂的工作,以CAN_BUS通信协议为基础,设计了一种连接多个CAN端点的调试系统,通过创建通信协议,实现了上位机与控制器的CAN端点的实时数据交流。阐述了控制器与上位机的通信流程。     

速度时滞反馈控制下磁浮系统的稳定性与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.