面向验证的启发技术设计

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

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

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

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

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

数字电路的故障诊断

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

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

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

MOS运算放大器Volterra模型

本文提出了一个适用于小信号非线性分析的 MOS 运算放大器模型。该模型基于Volterra-Wiener 泛函级数,包含了由于运放的 Slew-rate 引起的非线性。用本文的模型对两个有源滤波器进行了分析和实测,分析的数据与实测数据吻合很好,结果表明本文提出的模型优于以往提出的模型。     

可由用户编程的门阵列

门阵列的发展,对大规模集成电路技术有极大影响。本文简要介绍一种极受研究、设计人员欢迎的新型门阵列,这种密集的门阵列逻辑可以由系统设计人员通过软件来作出安排,而不是像通常的门阵列那样在生产中事先安排好。对新型门阵列的工作原理,优点和应用前景作出评价。     

美国的军人保险及对我国军人保险的借鉴作用

美国的军人保险有完善的法规制度作保障,有政府的专门机构——退役军人事务部负责管理。具体内容包括寿险计划和退役军人的健康保险计划两大部分,保障对象不仅涉及军人本人,还包括军人的配偶和子女。我国军人保险应借鉴美国军人保险的成功经验,通过国家立法建立军人保险制度,设置适当的险种,采取适合我国军人的保险经营管理模式,全面提高军人保险的保障水平。     

军人保险应与相关政策体系实现良性互动

军人保险应在实现与社会保险顺畅衔接基础上,着重实现制度创新;军人保险发展应与军人服役制度、军人退役安置制度的改革发展保持协调,并为之提供辅助支撑和外围铺垫;军人保险有关养老保障的项目设计,应与国家公职人员退休养老制度的改革进程保持同步;军人保险应通过引入地方商业保险资源的方式介入对军人疾病风险的保障。     

房子不是爱情的唯一“保险”

家到底意味着什么?房子难道就一定能给婚姻带来安全感?面对不断高涨的房价,许多人已无暇思考这些问题,认为有房子就有家,有了房子婚恋就有了幸福的保证。高涨的房价一次次挑战老百姓的心理承受底线,也不可避免地冲击着当代军人的恋爱、婚姻和家庭。某部士官班长小李最近就被一套本该姓"李"的房子,撩拨得心绪不宁。