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

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

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

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

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

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

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

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

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

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

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

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

一种测试圆度的新算法

轴承的外圆环、内圆环是否圆以及圆的程度如何,都会对使用轴承的机械设备产生很大的影响,但是它们是否圆,靠肉眼是很难观察出来的,我们只能用仪器进行测量,假设仪器测量的结果是准确的或者误差是确定的,由于算法不合理,可能本来是圆的但得到的结果却是不圆的,这样就把本来是合格的产品当作废品处理了,这是不应该出现的问题,本文提供了一种新的算法来解决此问题.     

海明威与人格面具

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

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

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

动态链接方式下基于VB的绿色软件构造

分析了程序在动态链接和静态链接两种模式下的优缺点，以及在动态链接方式下构造绿色软件的困难所在。本文以VB为例，给出了动态链接方式下如何去构造绿色软件的一种方法，由于大多数的可视化开发工具均提供了与VB类似的功能，因此可以用本文类似的方法来解决其它可视化开发软件开发出来的程序的类似问题。