静电放电模拟器电流波形校验装置研究

研制了符合国际电工委员会IEC61000－4－2标准的ESD模拟器电流校验系统。该系统能自动采集ESD电流波形,计算上升时间、峰值电流、30ns时电流。60ns时电流等参数。该系统已用于我国静电计量测试站对静电放电电流波形的校验工作。     

热处理炉的结构对聚碳硅烷纤维不熔化均匀性的影响

讨论了陶瓷纤维不熔化处理中常用的两种热处理炉(垂直式不熔化炉和隧道窑式不熔化炉)对聚碳硅烷(PCS)纤维不熔化均匀性的影响。结果表明,采用不同结构的不熔化炉对PCS纤维进行不熔化处理,纤维的不熔化均匀性大为不同,用隧道炉处理的均匀性明显优于垂直炉。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

武器装备试验计量保障有关问题的思考

计量保障是武器装备试验数据准确和试验质量可靠的重要保证,是考核与评价装备战术技术指标的关键环节,在武器装备的发展建设中发挥着不可替代的基础作用。本文结合目前武器装备试验计量保障工作的现状,从计量管理的法制化、试验计量保障能力建设、试验装备的强制检定和装备计量保障信息数据库等若干方面深入阐述了试验需求和法律法规要求,探讨了做好试验计量保障工作应采取的改进措施。     

滚动轴承加速寿命试验技术研究

为了有效地获取滚动轴承具有可比性的加速寿命试验数据,利用已有加速寿命试验相关标准,结合实际滚动轴承加速寿命试验设计和实施中积累的经验,深入分析滚动轴承加速寿命试验过程中遇到的各种问题,提出一套完整的滚动轴承加速寿命试验方法。该方法对相关标准没有涉及的试验前检查、试验条件一致性分析和试验数据的处理方法进行了补充并对加速寿命试验进行深入分析,形成完整的滚动轴承加速寿命试验解决方案,可以有效地指导滚动轴承加速寿命试验的设计和实施。     

雷达检测概率的计算

雷达检测概率是评估雷达系统效能的重要指标,一般分为单脉冲检测概率和多脉冲检测概率.单脉冲检测概率的计算常用方法有两种,对这两种计算方法进行了验证,得出了两种计算方法相一致的结论.多脉冲的计算比较复杂,在原公式推导的基础上改进了多脉冲检测概率的计算模型,解决了原计算公式中脉冲积累数条件较难满足和虚警概率固定的问题.     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

Meeting the growing safeguards burden

ABSTRACT

The International Atomic Energy Agency (IAEA) faces challenges in fulfilling its safeguards mandate as a result of an expanding safeguards burden and a relatively static budget. This dilemma has been exacerbated by the additional burdens of implementing the Joint Comprehensive Plan of Action (JCPOA) in Iran, but would not go away if implementation of the JCPOA were to end. There are three main areas of opportunity for the Agency: (1) budgetary expansion tied to changes in staffing policies, (2) changes in safeguards approaches, and (3) technological innovation. Barriers and limitations are associated with each approach, and advancing any of them will face a difficult political environment in Vienna.