判断矩阵一致性检验的新方法

给出了两种通用的判断矩阵一致性检验方法的理论依据和利用该指标的统计检验方法以及该一致性检验方法的有关性质和数值计算例子。     

体外预应力加固钢筋混凝土简支梁的实用计算方法

主要介绍了体外预应力加固钢筋混凝土简支梁的优点 ,提出了体外预应力加固钢筋混凝土简支梁的一种实用计算方法。该方法通过工程实践验证是简便可靠的     

采用脉冲计数法以单片机实现电容的测量

在一般的电容测量系统中,几乎都是根据普通的电路原理,用一些常规的方法来测量的,近年来随着计算机在社会领域的渗透,单片机的应用正在不断地走向深入。介绍了采用“脉冲计数法”,即利用555定时器来产生RC多谐振荡频率和单片机CPU的高速强大的计算及可编程功能,用软件查表的方法实现电容量高精度智能化的测量。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

激光测距仪使用中的几个问题

在外业工作中,因国产激光测距仪时有故障发生而影响其广泛使用。本文以HQ-102型激光测距陡为例,简述其在使用中常出现的频率漂移、锁相电路失锁、内检棱镜移位等故障及排除方法。     

邹城高层建筑箱形基础下地基承载力的分析

从地基土的构成特征、物理力学指标等方面分析了邹城白云大夏基础持力层的选择，通过强度验算和沉降计算，认为第３层砾粗砂作为持力层是适宜的，采用箱形基础能满足要求。     

电能表计量故障接线检测仪建模研究

以目前电网测量实际接线情况,建立识别估计电能表错误接线的逆向数学模型,结果表明,应用该数学模型较好的解决了传统电工式和程控式电能表接线的不足,满足市场需求.     

非机械漏水探知检测技术

在管道漏水探测领域,除了常用的漏水探测仪器外,文章对几种漏水探知技术进行了阐述。     

线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现