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

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

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

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

知识的粒度计算及其应用

粗糙集理论是一种较新的软计算方法 ,可以有效地分析和处理不完备信息 .本文介绍了知识的粒度、属性的重要度及协调度等概念及计算方法 ,并给出属性的重要度在求属性集的最小约简、协调度在构造决策树方面的具体步骤 .最后 ,通过几个例子说明了这些概念和方法的有效性.     

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

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

几种现代优化算法的比较研究

现代优化算法主要包括遗传算法、蚁群算法、禁忌搜索算法。这些算法主要是解决优化问题中的难解问题。由于这些算法在求解时不依赖于梯度信息 ,因而特别适用于传统方法解决不了的大规模复杂问题。介绍了3种算法的基本思想 ,阐述了它们的特点并进行了比较 ,提出了今后研究的方向     

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

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

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

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

大众数学课程设计的初步探讨

立足教改新形势,论述了大众数学的意义,分析了大众数学课程设计原则和课程内容,综述了大众数学结构体系的选定,阐述了大众数学课程设计理念.     

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

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

海明威与人格面具

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