基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

基于约束优化的舰艇区域防空作战能力需求生成

作战能力需求生成是在满足多约束条件下完成的,寻求约束集是能力需求生成的重点;以舰空导弹区域防空为背景,通过对作战需求约束、能力需求约束、技术发展约束以及其他因素约束进行综合分析,提取制约能力指标生成的约束集,建立舰艇防空作战效能目标函数,采用基于罚函数法的快速粒子群算法进行能力指标的约束优化求解;以最大预警距离为变量,对其他作战能力指标优化前后的曲线图进行仿真验证,定量生成舰艇区域防空作战所需的能力指标值,验证了模型算法的可行性,为舰艇区域防空作战能力需求生成提供了定量化依据。      

电液伺服泵的分数阶无抖振滑模控制

电液伺服泵（IEHSP）由于在结构上实现了伺服电机和液压泵共转子、共壳体高度融合,在体积、噪声和效率等方面具有明显优势,具有很好的应用前景。为了提高电液伺服泵的调速性能与抗扰能力,设计了一种新型分数阶滑模控制器（NFOSMC）。首先,由于分数阶微积分理论的引入,控制器为系统提供了更多的控制余度。然后,针对传统滑模控制中存在的抖振问题,通过设计使控制器中直接包含有切换项的分数阶积分项,利用其滤波特性可以有效滤除抖振,实现无抖振滑模控制。同时利用Lyapunov稳定性定理证明了控制器可以保证系统在存在内扰与外扰时能够在有限时间内收敛于平衡点,另外控制器中避免了含有高阶分数阶微分项,扩大了分数阶阶数的取值范围。为了进一步提高抗扰能力,设计了分数阶扰动观测器（FODOB）,对系统内扰和外扰实时观测并补偿,有效提高了控制器的响应速度和刚度。最后,分别与PI控制、整数阶滑模控制器（IOSMC）和传统分数阶滑模控制器（CFOSMC）进行了仿真分析比较,结果表明该控制器能够有效改善速度跟踪性能和增强抗扰能力,消抖效果显著。      

石英玻璃的等离子体抛光技术研究现状

具有耐腐蚀、热膨胀系数低等诸多优良物理化学特性的石英玻璃在高性能光学系统中被广泛使用。要求元件达到纳米级别的表面粗糙度,而且没有损伤层和残余应力,因此精加工之后的超精密抛光工序尤为重要。本文介绍了气囊、磁流变、弹性发射、离子束等几种石英玻璃的精密抛光方法,侧重阐述了国内外等离子体的抛光技术,包括等离子体辅助化学刻蚀、等离子体喷射加工、等离子化学蒸发加工研究进展及取得的成果;且对等离子体的未来发展进行概述。     

柠檬酸钙酸解过程的建模与计算机控制

通过研究柠檬酸钙酸解过程中溶液电导率的变化规律，建立了酸解体系的数学模型，提出了改革酸解工艺路线中的物料添加顺序，并用计算机自动控制物料添加量和添加速率，自动判定酸解终点的方法。     

分布式容错系统的低冗余重构策略及拓扑结构研究

分布式系统需要采用合理的拓扑结构，才能在低冗余的条件下的实现容错，从而获得高的性能价格比。本文从分析的可靠性与重构策略的关系以及重构策略与系统拓扑系统入手，找出解决这一课题的一种途径，最后介绍了一个低余度高可靠实时重构的分布式容错系统的实现。     

CONTROL STRUCTURE AND IMPLEMENTATION OF CELL CONTROL SYSTEM

在计算机集成制造系统（ＣＩＭＳ）的递阶控制结构中，单元控制系统起着重要作用。它上端联接车间控制系统和ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统，下端联接生产设备，直接影响到生产的柔性和效率。该系统根据生产任务和目标，完成了生产计划调度、资源分配、监控设备运行等功能。文中主要讨论了系统的控制结构、系统功能和以下主要关键技术：客户／服务体系结构在生产控制和管理中的应用，单元生产计划和调度，ＤＮＣ接口以及生产中的随机事件处理。该系统已在应用中取得良好的经济效益。     

一种面向工业互联网的云存储方法

工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库（RDB）对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对“键-值”（K-V）模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。      

一种水下航行体运动参数测量系统的设计

针对航行体水下试验的要求,设计了一种水下航行体运动参数测量系统。从该系统的原理算法、硬件设计和软件设计等方面进行了详细的阐述。该系统以采用硅微传感器的姿态测量系统（以下简称MTi）作为惯性测量组合,导航计算机采集MTi中的加速度计、陀螺和磁力计的原始传感器数据,结合捷联惯导四元数算法更新姿态矩阵,对航行体的姿态、速度、位置进行实时解算并存储解算结果,试验结束后通过上位机对试验数据进行读取。该测量系统多次应用于航行体的水下试验,获得了航行体水下运动参数。经试验验证,该测量系统性能可靠,可以满足水下航行体的运动参数测量的需求。