基于数据库的RTF文本库内替换的实现

本文描述了基于数据库的RTF文本元素组合成文字集合的应用,通过建立索引表使文字集合中的RTF元素与数据库之间建立映射关系并实现库内替换的方法。着重讨论了索引表在不同情况下的管理维护方法。     

一个用于指针程序验证的自动定理证明器的设计与实现

对高可信软件需求的增加使得指针程序的验证成为近期的研究热点.指针逻辑作为Hoare逻辑的扩展,可以对指针程序进行精确的分析.介绍一个针对指针逻辑的自动定理证明器的设计和实现,描述了一些算法.实验结果表明,该定理证明器可以完全自动的证明用类C语言编写的关于单链表,双链表和二叉树的指针程序的验证条件,并生成机器可检查的证明.     

采用PIC16C54单片机的电热淋浴器控制电路

<正> 本文介绍的电热淋浴器控制电路是以PIC16C54单片机为核心的。它分为电源电路、测温电路、湿度设定及显示电路、声音提示及执行电路四部分。该控制电路的框图如图1所示,原理图如图2所示,主要程序流程框图如图3所示。 PIC16C54单片机 是美国Microchip公司生产的RISC单片机,采用CMOS制造工艺。它具有单周期/单字节指令,采用哈佛总线,I/O口具有较大的负载能力。PIC16C54有33条指令,有7个特殊功能寄存器,内有自振式的看门狗WDT。它的工作频率为20MHz,电源电压为2.5V～6.25V,     

一种新型钕铁硼无刷直流换流风扇电机

一种新型钕跌硼永磁无刷直流换流风扇用电动机最近由山东省家用电器工业公司研制开发成功,并通过中科院、山东省科委组织的鉴定。 目前国内普通的风扇用电动机均采用感应电机,存在因磁振动而引起的高噪声,强无线电干     

自行式强夯机

冲击压路机由于其冲击压实力较常规振动压路机激振力大许多倍，而得到越来越广泛的使用。然而，牵引式冲击压路机在路基两端调头转向（转向半径在６m以上）时，不允许冲击压实作业，使得路基两端的土壤无法冲击压实，从而遗留待压实段。常用的冲击压路机的压实静态能量在２０~２５kJ，在一般填方压实和原地基补强压实时，其冲击力平均为2000~3000kN。若用现有常规压实设备很难完成冲击压路机调头转向所遗留地段的压实作业。用于机场跑道强夯施工的塔吊式强夯机，其冲击能量和夯击力又过大，且转移不便，并且该机结构庞大，价格昂贵，总体效…     

智能路灯控制器

本文所述的智能路灯控制器是利用软件实现电脑时钟,并根据当地的日照时间自动控制路灯的点亮与熄灭。本文主要介绍了该自控系统的工作原理、系统构成及软件编制。     

国产660MW超超临界锅炉燃烧器损坏原因分析及处理

近年投产的600MW及以上超临界锅炉燃烧器存在较多扩锥损坏现象,本文从燃烧器的结构设计、运行调整等方面进行分析,并结合燃烧器改造和燃烧调整,解决了扩锥损坏难题。     

抗燃油品质对汽轮机运行影响分析

汽轮机高压抗燃油（EH）系统是汽轮机DEH系统的重要组成部分。EH油系统作为阀门油动机的开关、调节起着至关重要的作用。EH油系统的正常与否关系着机组能否上网和机组安全。信阳电厂#4机组运行中出现高压抗燃油泵（EH油泵）电流异常增大至36A,油压下降,油压下降到极限时将无法满足阀门开关、调节需要,机组被迫停机。寻找电流增大原因,遏制电流增大态势是解决问题的根本所在。     

采用新型钕铁硼永磁材料的无刷直流换流电动机

介绍用于电风扇的元刷直流换流电动机的构造、工作原理、特性和优点。以表格形式引出了实验和测试数据。