水流自动控电技术的研究——电热纯水器的改进

介绍了电热纯水器工作原理,通过增设断电弹簧、存水吊桶和电闸支架等部件对电热纯水器进行改进,避免了因停水不断电而招致的设备损坏事故,延长了设备的使用寿命,节约了经费开支。     

城市综合地下管线管理系统设计研究

本文基于笔者多年从事城市地下管线信息系统构建的相关工作经验,以城市综合地下管线管理系统设计为研究对象,分析了综合地下管线管理系统的设计方法和原则,深度探讨了地下管线数据的组织和管理思路,全文是笔者长期实践基础上的理论升华,相信对从事相关工作的同行有所裨益。     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

用PLC改造粉末冶金自动液压机

从控制功能，系统构成及软件设计三个方面介绍用可编程控制器进行粉末冶金行业普遍运用的自动液压机的技术改造项目，并归纳出此系统的三项技术特性。     

Peripheral Nonlinear Time Spectrum Features Algorithm for Large Vocabulary Mandarin Automatic Speech Recognition

IntroductionCurrentautomaticspeechrecognitionsystemsarebasedoncontext-dependentorcontext-independentphonicsorsyllablemodelsdescribedintermsofse-quencesofhiddenMarkovmodel(HMM)states,whereeachstateisassumedtobecharacterizedbyastationaryprobabilitydensityfunction.Thetimecorre-lationandconsequently,thesignaldynamicsinsideeachHMMstate,arealsousuallydisregardedalthoughtheuseofdynamicfeatures,suchasdeltaanddelta-deltaparameters,cancapturesomeofthecorrelations.Consequently,onlymedium-termdependenc…     

煤气站微机控制自动消防系统

本文介绍一种新型煤气站自动消防系统。文中除对系统的功能、硬件及软件作概括说明外,还详细介绍了传感器信号处理电路,对硬件模块扩展时的软硬件间的协调方法也作了具体说明。     

基于PPTP VPN的高校科研管理系统研究与实现

本文对基于VPN（virtual private network,虚拟专用网）的高校科研管理系（Scientific Research Management Information System）（以下简称SRMS）的功能需求和技术特点进行了研究,并结合重庆邮电大学计算机学院科研管理系统实例,设计了校外用户共享校内SRMS的基于点到点隧道协议（PPTP）隧道技术构架的虚拟专用网方案,给出了详尽的SRMS及其远程接入的设计和实现过程,并对该系统进行了成功的测试和应用。     

单轨运行自动站月报表的审核方法

本文根据报表预审实际工作经验,归纳概括出了自动站报表预审的注意事项,具体阐述了微机审核要点、人工预审的步骤和方法,以供预审员借鉴,提高地面气象报表审核质量。     

教学网无盘工作站自动登录

分析了Ｎｏｖｅｌｌ工作站站点限制原理和传统站点限制的方法,并利用ＮｏｖｅｌｌＮｅｔＷａｒｅ提供的系统功能调用接口技术取得网卡节点地址,改造传统注册过程,从而给出了一种Ｎｏｖｅｌｌ教学网点点限制的简便新方法,实现了网络工作站自动登录。     

多工位自动冲床机械手控制器设计

本文介绍了由可编程序控制器（ＰＬＣ）组成的多工位自动冲床机械手控制器。重点介绍了系统的组成,面板功能设计和软件编程。应用结果表明,该装置结构简单、工作可靠,调试修改方便,便于推广。