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

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

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

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

企业统计技术要素管理中的相关问题及对策

统计技术是现代企业质量体系的重要要素。基于当前企业统计技术要素管理相对薄弱、滞后的现状,分析其实践中存在的相关问题,并结合实际对企业提高统计技术要素管理水平、增强统计方法实施有效性提出相应的对策和建议。     

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

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

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

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

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

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

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

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

基因研究中的知情权探析

20世纪以来，基因研究得到了广泛重视，尤其是人类基因组序列的测定给制药、保健、农业和食品制造等产业带来了巨大商机。与此同时，基因侵权事件屡屡发生，尤其是在发展中国家。目前在中国，出现的最为普遍、最为严重的侵权行为就是侵犯被研究对象的知情权。对此，应加强知情权的保护，严格约束中方合作单位，加侠基因方面的立法，加强公民的自我保护意识。     

海明威与人格面具

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

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

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