面向验证的启发技术设计

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

基于支路屏蔽思想的模拟电路故障字典的自动建立方法

通过分析传统的故障字典法存在的问题,提出了一种完全不同于传统方法的新的故障字典法。该方法依据支路屏蔽的思想,通过逐一屏蔽电路的各支路,建立起能诊断软、硬两类故障的故障字典。详细阐述了该字典的自动建立方法和原理,并通过诊断例子,证明了该方法的有效性。     

使用检查维修工作模型的建立

RCMA是制订装备预防性维修大纲的系统方法,可用度是制订军械装备预防性维修周期的主要决策目标,对RCMA七种工作类型之一的使用检查工作建立了以可用度为决策目标的一般模型,举例给出了模型输出结果的特征和敏感性,对几种特殊情况进行了讨论,给出的模型可用于此类问题的维修决策。     

关于细鞍点与细焦点的一般变换

各种变换在平面多项式系统的定性研究中是非常重要的。通过对鞍点量和焦点量计算时常用的变换进行研究,得到了两类把细鞍点化为细焦点的一般变换,并利用其中的一类推导出了不含二次项的三次系统的鞍点量和可积条件。     

基于CCII的全集成连续时间双二次滤波电路

本文采用ＭＯＳ电阻电路,由提出的第二代电流传输器ＲＣ多功能块电路,生成了适于全集成的ＣＣＩＩ－ＭＯＳＦＥＴ－Ｃ无损和有损积分器,从而构造出一种新型全集成连续时间双二次滤波电路,可获得低通和带通输出,电路结构简单,便于电控调谐,仿真结果令人满意。     

数字电路的故障诊断

人们要求数字系统可靠性高,易于维护,一旦出现故障,应能迅速检测和准确判断。本文阐述数字系统的故障定义,故障分类、测试的概念以及提出各类逻辑故障的模型和检测、诊断方法。     

广义原函数与广义不定积分

本文利用积分限函数定义了可积函数的广义原函数与广义不定积分,并给出了用广义原函数计算可积函数定积分的公式.     

舰船液压变距桨控制系统的改进设计

介绍了一种新型的变距桨控制系统。通过采用不同的控制方法,提高了螺距角的控制精度、稳定性和跟踪响应的快速性,使原系统的可靠性大大提高。     

一种使用可用度备件库存模型

阐述了以装备战备完好性为中心的备件库存控制的基本原理,并给出了以可用度为中心的备件库存数学模型.该模型可计算装备细目结构中的所有组件在各级维修机构中的库存水平,在满足一定费用约束条件下,使装备的使用可用度达到最大.     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。