关于CQM1系列PLC模拟量输入模块的用法解析

PLC由于其可靠性高、功能强、性能价格比高等优点，在工业控制领域得到广泛应用．就PLC的特殊功能模块(模拟量)的具体用法作以阐述，以便读更好地开发和利用．     

顺德震德塑料机械有限公司——全数字闭环节能大型注塑机技术介绍

震德公司研发和制造的CJ800M5V-CJ2600M5V系列全数字闭环节能大型注塑机，全部采用多泵组合变量控制系统，采用世界名牌液压控制元件，配以闭环控制，从而使整机性能达到最佳，属于全新节能注塑机。与普通定量泵的控制技术相比，可降低能耗25％以上，从而降低了注塑加工的生产成本，有着巨大的经济效益和社会效益。     

启发式极性决策算法解SAT问题

提出了一种启发式极性决策的可满足性问题（SAT）新算法.该算法继承了当前SAT解决器的许多策略：快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索过程中的冲突次数.实验表明采用该算法的解决器——DiffSat,能够解决许多目前最有效的解决器Zchaff和MiniSat所不能解决的实例.尤其是对于Bart基准系列中的每个实例,DiffSat都能够在0.03s内解决,而Zchaff和MiniSat在给定的900s内不能够解决大部分实例.而且,DiffSat解决器在某些实例上的特性远远优于具有代表性的基于不完全随机算法的解决器DLM.     

ON ASYMPTOTIC NORMALITY OF PARAMETERS IN MULTIPLE LINEAR ERRORS－IN－VARIABLES MODEL

This paper studies the parameter estimation of multiple dimensional linear errors-in-variables (EV) models in the case where replicated observations are available in some experimental points. Asymptotic normality is established under mild conditions, and the parameters entering the asymptotic variance are consistently estimated to render the result useable in the construction of large-sample confidence regions.     

空间两条不相交管路的最短连接的图解和计算

本文用图解对辅助平面法,换面法和旋转法进行分析比较,从中得出简易可行的最佳方法,亚进行解析运算。使空间两条不相交管路的最短连接距离在“形”与“数”两个方面得到较好解决。     

Darboux变换的周期固定点导出的有限维可积的Hamilton系统

利用Darboux变换的周期固定点，（1＋1）维积积系统的时间和空间的依赖性，可分解为两上可交换的可积有限维Hamilton系统。本文直接从（1＋1）维系统的可积性和Darboux变换性质出发，导出了这些有限维系统的守恒积分的生成函数和可积性。     

多变量解耦控制的研究

针对化工生产过程中遇到的多变量控制问题,以分析多变量的相关性为切入点,以某一加热器的控制系统为实例,提出并讨论了有效的解决方法--如何实现多变量解耦控制.     

与图的支配性有关的不变量的若干不等式

证明了关于图的支配数，上支配数，全支配数，连通支配数，点－边弱（强）支配数及边－点弱（强）支配数的一些不等式，并继而讨论了这些不变量的若干介值性质。     

基层单位如何应用计算机实现文档一体化管理

阐述如何应用计算机在Window系统支持下的FoxPro和Word实现文书、档案的一体化管理。