对GDX1卷烟包装机缺商标纸检测的改进

本文介绍了一种增加GDX1卷烟包装机缺商标纸检测可靠性的方法。     

烟囱内衬砌筑平台的结构设计与验算

对烟囱内衬脚手架进行改进设计 ,按照国家规范要求进行结构验算 ,提供一种新的安全施工方法。     

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

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

坐标测量机的空间误差检测及误差修正

如何简单、迅速地获取坐标测量机的机构误差,并对其进行软件修正,是近年来国内外学者研究的一个重要课题。本文研究了三坐标测量机的误差修正理论及用三维检具检测测量机误差的方法,提出了空间球检具晶格移位法误差检测原理和多项式拟合的误差函数获得方法,并将其应用于一台中型的坐标测量机的误差修正中,收到了满意的效果。     

西门子S7-200与PC实时通讯的实现方法

利用Pcomm Pro软件，在VB6中实现PC与PLC的实时通讯。在探讨PC与PLC的自由口通讯协议、通讯的实现方法以及传输数据的校验、错误的处理等的基础上，编写了实时通讯程序，并应用到跳汰机控制系统中。     

水表计量误差校验检测的分析和评定

本文通过分析水表计量误差在车间校验台上校验检测时的系统误差和随机误差,提出了校验台系统误差的纠正方法和计量误差验收极限的确定方法.     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

层次分析法中残缺判断矩阵的一致性比例检验法

首先阐明了检验残缺判断矩阵的传统一致性比例检验法，然后提出了适用于残缺判断矩阵的一致性比例检验新方法一残缺判断矩阵的一致性比例检验法．     

生物统计学课程教学中对学生的综合能力培养

以传授知识、培养能力和提高素质为培养目标,从教学方法、教学手段和考核方式等方面探讨了生物统计学课程教学中如何培养学生的综合能力。     

CAPM模型应用于房地产股票市场的有效性检验

CAPM模型普遍应用于中国房地产行业资本成本估算,投资风险评价和房地产泡沫等研究中。但是目前并没有文献对该模型在中国市场使用是否有效进行检验。本文选择了沪深A股房地产市场的33只股票,对CAPM模型在中国房地产股票市场的有效性进行检验。通过理论和实证研究,得出CAPM模型应用于房地产市场是无效的结论,即在中国房地产股票市场上不能直接应用CAPM模型,而应当根据中国房地产市场的实际条件做出相应的改进。