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

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

高职院校中技能教学的探讨

本文论述高职教育中的技能训练与科技进步及科研之间的关系。     

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

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

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

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

Shevrin问题的若干充要条件

利用偏序讨论了Ｉ＿３一半群的一些性质，并给出了Ｓｈｅｖｒｉｎ问题的若干充要条件。     

并行广义预测自校正控制器(GPC)

本文旨在讨论ＧＰＣ算法［１，２］的并行化问题，通过对原串行算法的数据流及数据相关性的分析，得到了一种三角阵列的并行算法。该算法自然导致Ｓｙｓｔｏｌｉｃ结构，并具有良好的数值稳定性。对于一个 ｎ阶系统而言，本算法采用Ｏ（ｎ２）阶的处理器单元互连成三角阵列，可以把计算时间由原来的Ｏ（ｎ３）阶（内积运算）时间提高到 Ｏ（ｎ）阶，因而具有 Ｏ（ｎ２）的加速比，其处理器的利用效率得到了很大提高。     

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

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

基于TP－801的十六位微机教学实验平台

本文叙述在ＴＰ－８０１单板微机硬件基础上增设十六位微机功能板并重写监控程序使其成为能调试和运行８０８６／８０８８机器语言程序并能进行某些简单接口实验的教学实验平台。     

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

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

创新,就在你我身边--从上喷水龙头的发明说开去

也许是职业的习惯,观看央视十套的科技节目成了生活中的必修课.每看一档节目,总会留下点记忆.而前不久看到的上喷水龙头发明的镜头真有点挥之不去,特别是每当打开水龙头的时候,其情景便会跃然眼前……