基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

装甲车辆起动电动机综合试验台

采用较先进的磁粉制动器作为电机的负载,使电机加载平稳、可靠、恒定,并可连续调节负载大小;同时采用高精度的ZJ型转矩转速传感器并配合转矩转速仪,不但能测量电机稳态时的转矩、转速和功率,同时还可测试电机某一过渡过程中转矩、电流、转速随时间变化的数值并贮存或打印.     

稳像式火控系统实车训练装置的研制

该训练装置可以在安装稳像式火控系统的坦克上完成射击基础练习的训练与考核.它以单片机为核心,在射击操作与实车相同的条件下,具有自动检靶,自动记录发射数、命中数,自动变换目标,自动报警,自动评定和显示成绩等功能.射手可独自在坦克内操作,自行开始练习,自我检查操作结果.     

便携式电磁辐射检测仪的研制与测试

研制一款便携式电磁辐射检测仪,详细阐述了其内部结构及部分电路组成,该检测仪采用单片机处理采集信号,方便实用。通过大量实验对其进行测试,结果表明,液晶显示屏上显示的电磁辐射电场强度的测量精度在±2.5 dB之内,达到了设计标准,能够对电磁环境进行有效监测。     

利佩茨克航空中心——俄新型战机的摇篮

今年3月,俄空军参谋长宣布,俄首架第五代战机T-50将于2013年交付利佩茨克航空中心测试,并表示今后俄所有新型战机都要在那里进行全面测试。此言一出,利佩茨克迅速成为空军界和新闻媒体关注的焦点。     

新科技

长效衣物抗菌剂美国佐治亚大学的研究人员近日开发出一种新型抗菌剂,可对医疗用品、家纺制品、衣服、口罩、纸巾、尿布、袜子等物品进行低成本抗菌处理,且多次洗涤后仍能保持抗菌效果。这种抗菌剂对目前在医疗机构中常见的病原体都进行过测试,包括葡萄球菌、链球菌、大肠杆菌、绿脓杆菌等。结果发现,在37摄氏度的温度下,     

基于IVI的机载导弹测试设备设计

设计了一种基于可互换虚拟仪器的机载导弹测试设备,分析了设备的软硬件结构,研究通过程序、配置文件管理硬件,使得更换硬件时测试程序改动程度最少,增强了测试设备的通用性.     

印军要让“阿琼”更给力

据报道,由于研发周期过长,印度“阿琼”主战坦克服役就已基本落伍,急于想让自制坦克在陆军中占有一席之地的印度军工企业,正加紧对“阿琼”进行大规模的升级改进。印度陆军计划将于3个月内启动“阿琼”-2型主战坦克的测试工作,待2012年6月完成最后一轮测试后新“阿琼”有望于2014年装备部队。     

舵机弯矩电动加载测试系统的设计

针对舵机测试需求,设计了一种弯矩电动加载测试系统.系统以直流电机为执行元件能够实现几百到几万牛力加载,介绍了系统的工作原理和机械结构,分析计算了弯矩加载对其他力矩加载的干扰和系统影响,从测试技术要求上论证了方案的可行性.最后进行了理论分析和研究,建立了加载系统的数学模型,基于PID控制算法,进行了计算机仿真.仿真结果表明,能够满足系统预定的性能指标要求.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。