基于移动智能终端的油田巡检系统

提出了一种基于GPS技术、移动收集技术、WIFI通信技术、RFID标签和嵌入式技术的油田管道线路巡检管理系统.该系统在巡检现场搭建WIFI网络,将巡检人员通过智能终端收集到的数据上传到远端服务器,服务器对收集数据进行综合分析处理,判断巡检人员是否按着设定的巡检路线完成检查工作,同时生成相应的巡检报告供管理员查询.该系统解决了传统巡检方式人为因素多、反映信息不及时、管理效率低、无法可视化等问题,同时保证了巡检人员的到位率和工作质量.     

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

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

基于并行环境的模型检查技术研究与实现

针对实时系统模型检查中的突出问题：状态组合爆炸,提出一种基于并行环境的实时系统模型检查技术,用邻接表存储时钟带,用C＋＋和MPI设计并实现了一个并行实时系统模型检查器———PRAModelChecker,选择一个典型的实例对PRAModelChecker的性能进行分析.实验表明,随着系统复杂性的增加,不但能提高工作效率,而且能处理的系统规模可伸缩,从而为从根本上解决状态组合爆炸问题提供了一种新的途径.     

柱锤冲扩桩（DDC法）加固湿陷性黄土地基

柱锤冲扩桩（DDC法）是一种消除黄土地基湿陷性的地基处理技术,在郑西客运专线中首先采用,属于复合地基的一种,文章就此详细介绍了柱锤冲扩桩的施工方法和处理黄土地基湿陷性的效果。     

ASP.NET中的输入验证方法

在传统的Web应用中,输入验证一般是使用客户端Script来实现的.在ASP.NET平台下,用户可以使用控件和正则表达式在服务器端实现输入验证,通过几个例子简单地介绍了在ASP.NET中如何使用控件和正则表达式对输入的用户名、密码和电子邮件进行有效性验证.     

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

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

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

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

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

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

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

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

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