一种电制冷机节能自动调节装置的改进

<正>郑州卷烟厂有4台型号为YKFCFBH55CRF的约克制冷机,制冷量为2437kW,是空调的主要附属设备,对企业生产的工艺指标起到至关重要的作用。该制冷机压缩机电机是以额定的转速来运行的,传动机构带动压缩机作高速恒定运行(定量),启动方式为星-三角启动。     

浅谈水文测报系统发展与可靠性分析

新时期的水文工作面临着更加严峻的挑战以及承担着更多的责任,不断针对水文工作展开理论研究和科技创新与实践是促进水文工作不断取得进展与突破的根本途径。水文自动测报系统的建立与完善不仅是水文工作的必要趋势,同时也是水文现代化发展的重要部分。重视水文自动测报系统的研究是在水文工作中不断落实科学发展观的要求,本文在对水文自动测报系统做出简要阐述的基础上对水文自动测报系统的发展做出了总结,并对水文自动测报系统可靠性的影响因素以及防治办法做出探讨,期望通过保持水文自动测报系统的可靠性使其为水文工作以及社会的发展起到更大的推动作用。     

同心环支承圆板的屈曲特征方程

研究了同心环支承圆板的稳定性，并给出了同心环支承圆板的屈曲特征方程，利用此屈曲特征方程即可精确求得同心环支承板的屈曲载荷。     

西风中文文本自动摘要系统智能软件

一、开发背景 90年代以来,随着办公自动化和国际互联网(Internet)的迅速发展,人们日常所接触的信息量急剧增长,如何在大量的信息中择其所需已直接关系到人们的工作和生活效率。对于文字信息,通常一方面采用分类的方法,使经分类选择后的文字信息更具有针对性,从而避免无关信息的干扰;另一方     

火灾被困人员自动响应向导系统

研发背景 2008年9月20日23时许．深圳市龙岗区龙岗街道龙东社区舞王俱乐部发生一起特大火灾，事故造成44人死亡，88人受伤。由于顾客不知道后门紧急出口的位置．因此所有人一起向出口跑去，导致发生踩踏，造成了不必要的伤亡。     

用定位计数器实现机床的点位控制

本文应用控制原理，利用PC定位计数器（F－20M）实现了机床的点位控制，同时给出了编程方法。     

激光二极管与单模光纤的自动耦合技术

阐述了高频振动爬山法对激光二极管与单模光纤进行耦合的原理，给出了两维校正的实验结果。高频振动法与微机结合使用可对光源与光纤的耦合进行自动寻优，该方法使系统的校正效果好，性能稳定。     

基于AutoCAD的冷冲模CAD系统的开发与研究

在AutoCAD平台上，结合了Autolisp,Viusal Foxpro和C语言等各程序语言的优势，研制开发了一套冷冲模自动设计系统。     

清代级数论基础

探讨了清代级数论的数学基础，认为其发展受阻系由非分析的传统支配所致。     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.