基于Modbus-RTU通讯方式在AI集群建筑中的设计与实现

为了实现多楼宇之间的集群化通讯控制,减少人工作业的强度。文中采用基于Modbus-RTU传统通讯方式,建立以楼宇为通讯单元和楼宇内多层集成化的新通讯模式。首先,实现被控楼宇内多层温控风机盘管的集中控制,然后实现多楼宇间群控功能。结果表明:新模式的使用比单层控制的传统通讯模式节约了遍历面板采集数据的时间。本研究对加快中国AI建筑的信息化转型以及进一步完善AI建筑集群化控制具有一定的参考价值。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

一个基于Exchange的企业办公自动化系统的实现

介绍了一个基于Exchange的企业办公自动化系统的实现，其中包括系统目标、开发平台和工具的选择、系统的功能模块、关键技术以及系统的安全机制。     

关于三网合一技术

介绍了我国现阶段并存的三网(电信网、有线电视网和计算机互联网)的特点与现状，分析了三网在融合过程中需要解决的一些不可避免的问题，以及三网合一的技术基础和促进三网合一的有利因素，提出了三网合一是现代通信和计算机网络发展的必然趋势，以及在三网融合的过程中还将有一个相互渗透交叉、相互竞争、共存发展过程的观点。     

基于Web的MIS系统研发

为了解决煤炭销售管理的落后现状，本文提出了采用三层B／S结构来开发基于Web的MIS系统，给出了B／S结构的工作原理及特点，介绍了系统的总体结构、功能及开发平台，并对系统实现的关键技术作了阐述。     

PLC与PC机通讯在纺织车间环境测控系统中的应用

随着纺织工业的发展，对纺织车间的环境指标要求越来越高，而其中的关键是温湿度的调节。本文叙述了纺织车间环境自动检测控制系统的设备组成和工作原理；重点介绍了PLC与上位机的通讯协议和PC机串行通讯软件的设计。     

基于套接字关于HTTP的研究

本文详细阐述了套接字(SOCKET)和HTTP的工作原理，并以此为依据简化HTTP服务器程序，从而提出隐藏网络底层复杂的结构和协议的方法。     

基于优化理论的网络拥塞控制机制的建模方法

介绍了一种基于优化理论的网络拥塞控制机制的建模方法．在描述了现有拥塞控制机制基本原理的基础上，以Reno／RED为网络实例，讨论了拥塞控制机制数学模型的建立．说明了本文所介绍的建模方法，对网络拥塞控制机制的分析和设计是有帮助的．     

基于B/S模式的水利水电工程造价管理系统研究

提出了基于B／S模式的水利水电工程造价管理系统，对B／S的体系结构、系统的总体结构设计、功能及功能设计进行了阐述，并说明了系统实现的关键技术．