Priori information analysis of optocoupler accelerated degradation experiment based on failure mechanism verification test

The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions. It is necessary to use accelerated storage test to verify the storage life of long storage products. Especially for small sample products, it is very important to obtain prior information for the design and implementation of accelerated degradation test. In this paper, the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained. The results show that optocouplers have two failure modes, one is sudden failure and the other is degradation failure; the maximum temperature stress of optocoupler can't exceed 140 °C; the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip. The surface leakage current is proportional to the adsorption amount. The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler. The lifetime distribution model of the optocoupler is determined by the failure physics. The lifetime of the optocoupler is subject to the lognormal distribution. The degeneracy orbit of the optocoupler leakage current is described by a power law model. The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced. The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

当前消防建审工作面临的挑战及对策

以我国从计划经济向社会主义市场经济转型的国情实际为出发点 ,结合WTO的规则要求 ,分析当前消防建审工作存在的问题 ,并提出应对方法和措施。     

基于机器翻译的原型句蜕及其包装研究

首先简要介绍了HNC理论及其机器翻译观,结合机器翻译的难点与原型句蜕存在的普遍性,说明了解决原型句蜕变换的意义:接着对原型句蜕构成现象进行了描述,从汉英语义块构成对比分析中导出了汉英变换规则;从现有的机器翻译系统所暴露的问题中,说明原型句蜕变换对提高机器翻译质量的必要性和可行性;最后是对本文的结论和说明。     

基于几何算法的水下航行器路径规划

在分析水下航行器路径规划影响因素及主要障碍物特点的基础上,提出了一种基于几何算法的水下航行器路径规划算法,并采用该算法对障碍物进行建模和路径规划研究,解决了水下航行器航经多障碍物海区的路径规划问题.最后,通过仿真试验验证了该算法的准确性与可行性.     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。     

C2组织指挥控制关系的形式化描述*

针对C2组织的指挥控制关系目前还缺少很好地形式化描述方法,其量化研究比较困难,从C2组织的实体及实体之间的关系出发,形式化描述C2组织指挥(纵向)关系、横向关系、资源配置关系、执行关系等四种关系,最终构建出一个指挥控制关系网,为运用复杂网络理论以及图论等方法对指挥控制关系的量化分析研究提供基础。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

FACILITATING NUCLEAR DISARMAMENT: Verified Declarations of Fissile Material Stocks and Production

Unprecedented interest in seeking progress toward nuclear disarmament exists today; even some nuclear weapon states are looking for new ways to strengthen this process. National declarations of fissile material holdings—highly enriched uranium and plutonium—could play an important role in supporting this effort, facilitating not only transparency but also the irreversibility of the process. This article discusses what kind of content such declarations could have in order to be meaningful and effective, the sequence of data on fissile material holdings that states might release, and some of the challenges to be expected in reconstructing historic fissile material production; it also summarizes current attitudes of weapon states toward making such declarations. Initial declarations can be valuable as confidence-building measures, but better and more background data are necessary if declarations are to serve as the groundwork for deeper cuts in the nuclear arsenals. A robust verification approach would ultimately require inspectors to have access to fissile material production and storage sites. The methods and tools of nuclear forensic analysis—in this context also dubbed nuclear archaeology—would be a key element of this process. This article discusses the capabilities and limitations of potential approaches to verifying declarations of historic production of plutonium and highly enriched uranium; it also identifies and discusses opportunities for further research and development.