数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

基于协同过程的产品开发链框架研究

从内涵、概念模型以及协同过程控制等方面建立了产品开发链的理论框架,提出了产品开发链的组织、过程及环境多视图模型;从成员选择的角度研究了开发链的构建原理;介绍了开发链的5大组成要素,即开发目标、组织结构、开发活动及任务、产品数据、协同控制机制等,而协同过程是产品开发链的核心元素,最后提出了基于协同过程的产品开发链系统层次框架.     

高等职业师范教育隐性课程建设效果评价软件的研究

隐性课程涉及学校生活的所有方面并渗透于其中。高等职业技术师范教育，既有高等教育的共同规律，又有体现其类型特点的特殊要求。课题提出四个主要评价方面，16个评价要素，并制定各评价的导向目标。评价软件对个人评价结果和统计结果均可在网上传输，达到直观和形象地呈现。     

盖梁粘钢法加固的效果分析评价

针对某座桥梁下部结构盖梁采用粘钢法进行加固，对其加固效果采用有限元模型进行仿真分析计算．并通过现场荷载试验进行验证。理论分析与荷载试验结果的一致性表明采用有限元仿真分析方法能够对桥梁加固效果进行准确的评价。     

浅谈高校办公自动化系统建设

办公自动化系统建设是高校工作现代化建设的一项重要内容，是提高高校在高技术教育条件下整体工作能力的有效途径。对高校在高技术条件下如何搞好办公自动化系统建设提出了几点建议。     

基于通用接口母线的自动测试方法

论述基于GPIB智能化测试系统的原理和设计开发方法。通过高级语言封装，统一发送命令、接收执行结果和执行结果提取函数，系统建立了逻辑规则库，在测试过程中根据测试结果与设置的报警阈值等参数进行比较，根据设定的判断规则，对测试流程进行动态调整。     

PLC在高速线材轧制自动化系统中的应用

介绍了PLC在高速线材热轧自动化系统中的应用情况,从系统总体结构、PLC机型简介及其通信网络等方面进行了阐述。     

对区间估计与假设检验的关系的思考

研究了区间估计与假设检验的内在联系及其区别，探讨了这两种方法各自适用范围和应用条件及应注意的问题．     

不确定性系统的控制策略及其与实现相关的软件技术

在实际工业现场，控制系统的复杂性不仅表现在结构上．更多的是表现在信息关系的不确定性和复杂程度上，对这类被控对象进行有效控制的关键是选取适合的控制策略．基于对控制策略的分析对比。建议采用仿人智能控制策略，利用广义控制论模型实现对不确定性复杂对象的控制．为强化管控一体化功能。文章对一类复杂系统工程实现的软件系统构架也作了讨论，并给出了一个应用实例．     

极限编程初探

简单介绍了极限编程（XP）软件方法，讨论了使用极限编程的益处，进而结合自身项目经验和对极限编程的实践提出了适合当前软件业的9条实施建议，以期对提高软件生产质量和效率能有所裨益。