新型SHT71温湿度传感器的数据通讯校验

基于温湿度内漏检测系统介绍了使用新型SHT71传感器的生成电路及主要特点;并重点说明了和微控制器之间串行通讯时采用的校验方法一循环冗余校验法(CRC)及其原理、优点;并根据SHT71循环冗余校验的硬件生成电路给出了它的算法及软件实现方法,实践结果表明：用软件实现CRC校验过程既简单实用又成本低廉,十分有效。     

用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案，以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件，通过对程序符号化执行后各控制点的路径条件进行逻辑推理，删除那些对性质检测无关的语句。理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。     

简析火力发电厂生产节水方法

节约用水就是提高水的利用率，减少浪费，协调水资源与经济、环境关系的行动，火力发电厂由于生产过程的特殊性，用水量相对比例较大，所以节约用水更是势在必行。依据火力发电厂生产过程及其特点，节约用水应主要从查漏堵漏，增加节水设施，循环和重复用水，科学管理等几方面入手，从而达到节约用水的目的。     

基于BIM技术的水利水电工程逆向设计

随着科学技术水平的快速发展,传统的二维设计在水利水电工程施工中的缺点逐渐突出,制约了水利水电工程管理水平的进一步提升,而BIM技术的发展可以实现对工程项目过程的可视化管理,使各专业之间达到整体协同,提高工程管理水平.基于此,从逆向设计的技术路线、平台配备软件及模式等3个方面,介绍基于BIM技术的水利水电各专业的逆向设计...     

长途驾驶考试监控系统设计

设计一种3层架构的驾驶员考试监控系统。利用具有长途考试功能的行驶记录仪采集驾驶员考试信息,通过匹配路径、速度、驾驶时间等信息进行考核评判,并建立相关信息的数据库以供查询统计。测试结果表明,该系统能有效考核驾驶员的实际驾驶能力、检测长途驾驶考试中的违规行为。     

ModBUS协议通讯的应用

ModBUS协议具有侦错能力强、数据传输量大、实时性好等特点，因而成为目前自控领域使用非常广泛的通讯语言．本文通过一个应用实例介绍如何利用微机编程实现在线通讯ModBUS消息环的工作过程．在可视化语言环境下完成地址域、功能代码域、数据域的分配及CRC校验，从而实现计算机与远程控制单元数据传输。     

110kV新赛线高频通道衰耗过大问题的分析及处理

高频通道的可靠性对高频保护的正确动作起决定作用。针对常州电网110kV新赛线高频通道衰耗过大的问题进行分析,测试了高频通道上的电器设备工作性能,并分析了地返波干扰因素。通过对新赛线高频通道进行扫频试验,选择适合该高频通道的工作频率,有效地减小了该高频通道的衰耗。     

规则与统计相结合的分词一致性检验

建设高质量的大规模语料库是中文信息处理领域的基础性工程,保证语料库分词结果的一致性是衡量语料库分词质量的重要标准之一.在分析了大量的语料库切分不一致现象后,提出了规则与统计相结合的分词一致性检验的新方法.与以往单一的处理方法相比,该方法更具针对性的对语料库中存在的各种不同的分词不一致现象分别进行处理,能够更加有效的解决分词不一致问题,进一步保证语料库的质量.     

直觉模糊粗糙推理的规则库完备性研究

针对规则库检验问题,提出了直觉模糊粗糙规则库的完备性检验方法.首先,引入直觉模糊粗糙集的概念,给出了直觉模糊粗糙规则库的完备性定义;其次,针对直觉模糊粗糙规则库的完备性,提出了完备性检验算法,指出如何设计规则库才能满足完备性要求;最后,通过实例验证了算法的合理性和有效性.     

磁盘阵列校验信息的放置策略

廉价磁盘冗余阵列（ＲＡＩＤ）采用许多小的廉价磁盘来代替大容量昂贵的磁盘，以取得更高的性能和更低的功耗。本文介绍了ＲＡＩＤ－５级磁盘阵列中校验信息的八种不同的分布策略，即奇偶校验信息的放置策略，并从几个不同的应用情况对不同的放置策略进行了研究，结论是不同的奇偶校验信息放置策略对磁盘阵列的Ｉ／Ｏ读写性能有很大的影响。