面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

磨损对曲柄连杆机构运动功能可靠性的影响分析

讨论了曲柄连杆机构运动功能可靠性的概念,并分析了造成该机构运动功能丧失的各种磨损因素。采用随机仿真的方法对典型机构的磨损寿命进行了分析,可作为一种计算机构运动功能可靠性分布规律和寿命的方法。     

液体火箭发动机燃烧不稳定性分析与热释放声放大机理

应用计算流体动力学方法对液体火箭发动机燃烧室内高频不稳定燃烧现象进行了数值仿真。气相方程用欧拉坐标系下的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组描述,液相控制方程用Ｌａｇｒａｎｇｉａｎ坐标系下进行描述,湍流模型采用高雷诺数的ｋ－ε双方程模型。在燃烧室内加入正弦形脉冲扰动评定燃烧稳定性。引用Ｒａｙｌｅｉｇｈ热释放声放大机理对计算结果进行了分析,并对不同的扰动系数和液滴初始直径描出了燃烧稳定性极限图     

超短波数据调制解调器的研究与实现

超短波数据通信在国内日趋发展,迫切需要专门用于超短波的数据调制解调器。本文将有线、短波数据通信的理论和方法有机地结合在一起,研究和设计了多速率的超短波数据modem 的方案,对系统的性能和关键技术作了分析,并给出了计算机模拟结果。     

程控用户交换机的中继方式及数字中继模块的设计与实现

本文史介绍一种程控用户交换机数字中继模块的实现方法。它以加拿大 MITEL 公司的MH89780数字中继接口芯片(CEPT Digital Trunk Interface Hybrid)和 MT8980(8×32)时隙交换矩阵芯片(Digital Time/Space Crosspoint Switch)为基础来实现数字中继接口功能。这种中继电路为程控用户交换机进入公用电话网提供了全自功入网能力,并易于进行程控用户交换机之间的组网。数字中继采用 PCM30/32路系统,可以采用随路信令,也可以采用公共信道信令。     

色彩微胶囊液晶膜的研究

本文简要叙述色彩微胶囊液晶膜的研究,以及利用该膜进行色彩热图象显示的基本原理和测试结果。此膜为进行各种场强分布分析提供方便,同时也为各种热效应提供较为直观的判断手段。此膜的应用领域较广,很有推广价值。     

液体推进剂液滴高压蒸发研究

本文改进了现有的液体推进剂液滴高压蒸发模型,提出了一个计算高压下液滴蒸发时环境介质气体在液滴中溶解的子模型,该模型中采用了改进的R-K气体状态方程。利用本模型对丙烷在氮气中的高压蒸发进行了计算。结果表明在高压下液滴蒸发时间随压力和环境温度的增加而减小,当压力超过某临界值时,液滴将达到超临界状态。高压下环境介质气体在液滴中的溶解是非常明显的,并且压力愈高溶解性愈大,因此在推进剂高压燃烧中必须考虑溶解性对于液滴蒸发的影响。     

一种工业机器人柔性手腕的设计与分析

本文提出了由双重系杆平面差动轮系机构组成的工业机器人柔性手腕。计算机运动轨迹的仿真结果以及实模型表明,该柔性手腕具有结构简单、紧凑和运动范围大等优点,可以装备于喷漆和焊接工业机器人上。     

最小、最大广义最优停止规则的特征

设(X_n,F_n)_1~∞是适应的报酬序列,(γ_n)是相应的snell 包,(A_n)是(γ_n)的Doob-Meyer 分解中零初值的可料增过程。本文继J.Klass 的研究证明了σ_1=inf{K≥1:X_k≥γ_k}是最小半最优的且是最大严格正则的广义规则,而K_0=sup{n≥0:A_n=0}<∞是最大正则的广义规则,从而得出了广义最优规则唯一性的另一表述。     

时延辅助信息的水下无源定位方法

以潜艇水听器阵列所构成的系统为例,建立了一种水下无源定位算法.以观测方位和到达不同传感器的时延差为基础,建立了状态方程和观测方程.利用扩展卡尔曼滤波算法,对系统进行了目标运动分析.蒙特卡洛模拟仿真试验结果表明上述方法具有较高的定位性能.该系统构成简单,在打击水下目标方面有良好的应用前景.