军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

抗振晶体振荡器的仿真设计CSCD

本文介绍了利用仿真软件进行抗振晶体振荡器设计的方法,通过建立晶体振荡器结构仿真模型,对其力学特性进行深入细致的分析,并在此基础上对比分析减振材料的剪切模量和被减振物质量对晶体振荡器抗振性能的影响,优化晶体振荡器减振结构。然后,根据仿真设计制做了抗振晶体振荡器,并进行了随机振动试验。结果表明,试验现象与仿真结果基本一致,验证了仿真分析的有效性,且振动下晶体振荡器相位噪声达到-145d Bc/Hz@1k Hz,极大地提高了晶体振荡器的抗振性能。     

基于粒子群算法的多脉冲转移轨迹优化

通过引入Lambert算法处理终端约束条件,建立基于可行解迭代的多脉冲转移轨迹优化模型,采用粒子群算法优化最省燃料转移轨道,并对分别采用变轨点真近点角和变轨时刻作为设计变量的优化结果进行了对比分析.对相同的两脉冲、三脉冲轨道转移问题,优化结果验证了提出的优化模型和优化算法的正确高效性.仿真表明,使用变轨点真近点角为设计变量时优化效率和结果更好.     

飞行器新型碳基复合材料表面高温测量方法

本文针对飞行器新型碳基复合材料表面的高温测量问题,介绍了测量方法、传感器的安装方式、高温胶黏剂技术与工艺,传感器与热防护技术以及试验测试,并归纳了该方法的技术特点。     

Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

一种非接触光外差轮廓仪

介绍了一种纳米级非接触超高精度光外差轮廓仪。该量仪是基于普通光路的外差干涉仪,两束具有微小频差的激光束照射到制件表面:其中一束光被会聚后作为测量光针扫瞄制件表面;另一束光则被用作参考光束。这两束光经反射后形成干涉,所得信号的光程差与制件表面高度变化成正比。量仪的横向分辩力小于2μm,垂直分辩力小于1nm。制件不需要进行大的调整。制件表面同时亦被作为测量参考面。经光电转换后,信号由微机处理,从而快速完成测量、计算、显示与打印各种参数与图形。     

扭叶片型面在线检测的研究

以汽轮机700mm扭叶片为对象,在XK5040数控机床上,进行了型面误差在线检测的研究。     

光学测径方法综述

概述了近年来国内外出现的各种光学测径方法,并分析了各自的优缺点。     

齿轮测量中心测头数据采集系统

提出了齿轮测量中心电感测头的新型数据采集系统,包括以集成开关构成的新型相敏检波器和以单片机为核心的数据采集系统,可以应用于各种电感信号的处理,具有较强的通用性。     

混装电路板焊接工艺设计

本文以某产品的混装电路板手工焊接为例,介绍了混装电路板焊接工艺设计的过程,包括工艺设计的依据、焊接方法的选择以及工艺设计的要点,可作为今后类似产品的设计依据和参考.