基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

以设计新理念树“离军高速”典型示范形象

结合交通部公路工程勘察设计典型示范工程要点,对青岛至银川国道主干线山西省离石至军渡段高速公路从安全、环保、和谐等角度对全新设计理念、重点工程及对策进行了介绍,以达到树立典型示范形象的目的。     

用软硬件协同设计成像器稳定装置数字控制系统

软硬件协同设计技术是应现代电子系统设计的需求而产生的一项新技术 ,对现有的系统设计思想和设计方法将产生变革性的影响 ,有传统设计方法无可比拟的优点。简要介绍了软硬件协同设计技术的设计思想 ,并应用此技术设计完成了成像器稳定装置数字控制系统     

北方山溪鲵是有效种的再研究

本文从形态、解剖、生态等方面的证据进一步论证了山溪鲵的Ｂａｔｒａｃｈｕｐｅｒｕｓｔｉｂｅｔａｎｕｓ与Ｂ．ｐｉｎｃｈｏｎｉ是两个有效种，而非同物异名。     

职业锚理论在大学生职业生涯规划教育中的应用

职业锚是依据个人自省的才干和能力、动机和价值所做出的职业定位。在介绍职业锚理论基础上,指出大学生职业生涯规划中存在的误区,最终尝试将职业锚思想融入到大学生职业生涯规划教育并给出了几点启示。     

GOSCA－CFAR检测器在干扰边缘中的性能分析

本文研究ＧＯＳＣＡ—ＣＦＡＲ检测器￣［１，２］干扰边缘中的性能。文中推导出了它的干扰边缘环境中虚警概率的解析表达式，分析了它抗边缘干扰的性能，并且与ＯＳ、ＣＡ、ＧＯ和ＳＯ等检测器进行了比较。结果表明，ＧＯＳＣＡ的抗干扰边缘性能比ＣＡ和Ｋ＿（ｏｓ）＝（ｋ＋ｌ）＿（ＧＯＳＣＡ）和ＯＳ相近，比抗边缘干扰性能较好的ＧＯ要差。     

海明威与人格面具

海明威是一位颇有争议的作家。他外在的硬汉子的刚强坚忍与内心的怯懦自卑共存一体,是什么导致了海明威身上的矛盾体?借用弗洛依德和荣格的人格面具理论,分析了海明威人格面具在作品中的投影。海明威外在的硬汉子的刚强坚忍与内心的怯懦自卑共存一体的原因,主要是由于受西奥多·罗斯福的价值观、2 0世纪西方文化思潮、海明威的家庭环境的影响。     

复杂机械系统实用故障诊断原则的研究

在总结现有诊断技术成功应用实例的基础上,提出了一种新的实用诊断原则-“最少试验故障模”原则,对于复杂的机械设备和系统,采用这种新的研究思路有利于降低研究难度,提高研究成果的实用性.还以滑动轴承为例,通过对滑动轴承主要失效形式和机理的分析,说明可将滑动轴承简化为-多输入（多种故障原因）-单输出（接触摩擦）的灰色系统模型,并以滑动轴承各种故障的共同特征-接触摩擦作为滑动轴承故障诊断研究的唯一故障基准模.根据上述研究思路,对静、动载荷工作条件下滑动轴承的故障诊断进行了大量的实验研究.实践表明,提出的诊断原则诊断效率高,实用性强,可借鉴用于许多领域的故障诊断.     

具有非常数回报率的证券指数跟踪问题的简单脉冲控制

运用随机脉冲控制理论讨论了均值 -方差模式的现金管理指数跟踪问题 ,在回报率随现金比重变化的情况下 ,讨论了证券指数跟踪最优化问题 ,得出了存在简单脉冲控制策略的充分性条件 .     

新型红外测油仪中的液芯波导技术

首次将液芯波导技术应用于中红外吸收测量的油成分分析领域, 研制的新型MFA-450型红外测油仪的灵敏度比现有同类型仪器提高一个数量级, 检出限为0.01 mg/L(油/萃取剂).