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

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

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

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

对传统民法买卖合同风险承担前提的质疑

传统民法将买卖合同风险承担的前提归结为合同的成立。但是在买卖合同成立后生效前，双方当事人并没有确立确定的债权债务关系，也就谈不上风险承担问题。买卖合同风险承担的前提应为合同的生效，只有在合同生效后，才产生确定的债权债务关系，风险承担才有意义。     

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

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

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

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

角谷猜想的证明

应用马尔可夫链推导出角谷链的状态转移概率,从而得出角谷链中的奇数和偶数出现的概率,再以概率的大数定律为基础证明日本数学家角谷静夫提出的猜想.     

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

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

优化问题的序列线性方程组解法

拟牛顿算法是求解无约束优化问题的有效算法.序列二次规划方法是将拟牛顿算法应用于求解约束优化的推广与发展,它保持了拟牛顿算法的超线性收敛速度而成为约束优化的重要算法类.序列线性方程组方法则是它的进一步发展,目的在于每步求迭代方向dk时避免求解计算量较大的二次子规划.现在序列线性方程组方法仍在研究和发展,目的是简化算法结构、减少计算量,同时保持算法的优良性质.     

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

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