飞行控制软件测试用例生成技术

为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究。将时间约束作为变量处理和并发任务的平坦化分析进行研究,通过分析生成了模拟软件完整执行过程的测试序列,采用组合设计解决了各输入变量不同取值之间的组合问题,并提出为变量增加时间属性来描述产生测试信号的时刻。以某弹药飞控软件为例,进行建模和测试用例生成实践,验证了方法的可行性。该研究为有限状态机模型在飞控软件和其它实时软件测试中的应用进行了探索。     

基于机器视觉的枪弹钢芯自动检测系统

针对现有的手工枪弹检测技术效率低精度差且自动化程度不高的问题,提出一种采用机器视觉技术设计的枪弹钢芯检测系统。该方法从钢芯传送定位、对钢芯最佳照射、选择图像采集设备和图像处理和识别着手,对钢芯尺寸、底面缺陷、表面缺陷进行检测,经过平滑去噪和图像增强等预处理后,进行尺寸测量和缺陷识别,并通过人工复检证明了准确性。实验结果证明：相比传统的人工肉眼检测,该自动检测系统所耗费时问大幅度缩减,检测效率和检测精度均有较大提高。     

机器视觉下基于图像灰度值形态学的枪弹钢芯表面检测

针对枪弹检测效率低精度差的问题,采用机器视觉技术下基于图像灰度值形态学操作,对枪弹钢芯表面缺陷进行了阐述,并通过对比实验表明该自动检测系统相比人工肉眼检测,所耗费时间大幅度缩减,检测效率和检测精度较传统的人工检测有较大提高。