排序方式: 共有82条查询结果,搜索用时 8 毫秒
31.
《防务技术》2020,16(2):392-400
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. 相似文献
32.
零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。 相似文献
33.
A rule that constrains decision‐makers is enforced by an inspector who is supplied with a fixed level of inspection resources—inspection personnel, equipment, or time. How should the inspector distribute its inspection resources over several independent inspectees? What minimum level of resources is required to deter all violations? Optimal enforcement problems occur in many contexts; the motivating application for this study is the role of the International Atomic Energy Agency in support of the Treaty on the Non‐Proliferation of Nuclear Weapons. Using game‐theoretic models, the resource level adequate for deterrence is characterized in a two‐inspectee problem with inspections that are imperfect in the sense that violations can be missed. Detection functions, or probabilities of detecting a violation, are assumed to be increasing in inspection resources, permitting optimal allocations over inspectees to be described both in general and in special cases. When detection functions are convex, inspection effort should be concentrated on one inspectee chosen at random, but when they are concave it should be spread deterministicly over the inspectees. Our analysis provides guidance for the design of arms‐control verification operations, and implies that a priori constraints on the distribution of inspection effort can result in significant inefficiencies. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004. 相似文献
34.
在分析水下航行器路径规划影响因素及主要障碍物特点的基础上,提出了一种基于几何算法的水下航行器路径规划算法,并采用该算法对障碍物进行建模和路径规划研究,解决了水下航行器航经多障碍物海区的路径规划问题.最后,通过仿真试验验证了该算法的准确性与可行性. 相似文献
35.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
36.
在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。 相似文献
37.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
38.
针对SSG/LRR-ω雷诺应力模型,选取NASA湍流资源网站上的四个典型算例,即湍流平板边界层流动、带凸起管道流动、翼型尾迹区流动和NACA0012不同攻角绕流,开展初步的验证与确认工作,将部分结果和CFL3D进行对比。对于NACA0012翼型绕流,对比雷诺应力模型和SA模型的升力系数,结果表明:在失速攻角附近,雷诺应力模型明显优于SA模型。在此基础上,将该模型应用于DLR-F6翼身组合体的数值模拟,计算得到的机翼表面典型站位压力分布和实验值吻合良好,同时该模型捕捉到翼身交汇位置的小范围分离。 相似文献
39.
面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。 相似文献
40.
针对多孔介质中人工合成水合物分布不均匀问题,提出采用微波加热法制备多孔介质水合物样品的新途径,并设计了专用微波加热装置。基于电磁场理论及微波加热均匀性影响因素分析,设计了多馈源可调式波导加热系统。通过数值模拟和加热试验分析馈能口与样品间相对位置变化对装置加热均匀性影响,探讨该装置用于水合物样品制备的可行性。结果表明:装置加热均匀性受馈能口与样品间相对位置影响较大,其加热均匀性随二者间距的增加而显著提高,数值模拟与试验结果取得了较好的一致性;加热时间对装置的加热均匀性影响较小,该微波加热装置可满足制备均匀分布水合物样品的要求,同时对于其他对加热均匀性有一定要求的试验装置的设计具有参考意义。 相似文献