带时间标记的鉴别协议的验证

对等实体鉴别服务是网络安全体系结构中的一项重要服务。本文介绍了计算机网络通信环境中的带时间标记的鉴别协议，该协议具有对称性，事件的时序是任意的。根据该协议的状态转移图，本文应用可达性分析技术，验证了该协议的完整性、无死锁、无活锁、终止性、有界性以及不存在任何不可执行的交互作用等重要性质。

MAP网络接口控制器（TIM）的设计和实现

ＭＡＰ协议是制造自动化的主要国际标准，米用一种网络接口控制器将各生产设备联入ＭＡＰ网，是当前采用ＣＩＭＳ技术实现生产自动化的捷径。本文介绍了一个网络接口模块（ＴＩＭ）的应用环境，其软硬件组成，软件功能分层及其中的信息传输过程。

制造信息协议机MMPM及其在TIM中的实现

在Mini_MAP综合应用层中,生产设备中的制造信息交换是通过制造信息协议机MMPM实现的。本文分析了MMPM的工作原理及其事务状态机TSM,介绍了MMPM的工作流程图,一些功能过程和所使用的原语及其在TIM中的实现。

应答服务元素(ORSE)及非证实型服务的实现

Mini—MAP中令牌逻辑环的成员站同非成员站之间的通信是通过ORSE实现的。本文给出了这两种站的逻辑模型,ORSE的工作原理及借助ORSE实现非证实型服务请求的过程。最后对一些有关问题进行了讨论。

VMD－RMD映射研究

虚拟制造设备ＶＭＤ是ＭＭＳ规范中最重要的一类对象，是实现ＭＭＳ服务的基础。本文介绍了ＶＭＤ对象的抽象描述，讨论了ＶＭＤ和实际制造设备ＲＭＤ之间的映射关系及其实现，并以时序逻辑技术描述了这种映射交互活动的特性。

CIMS环境中局域网网络安全子层设计

本文根据ＭＡＰ协议中网络层的无连接传输方式服务协议和开放系统工连参考模型的安全体系结构，在网络层用一个安全子层来实现数据的安全传输。并给出了该安全子层的协议处理功能和协议数据单元的格式，介绍了该子层传输和接收的过程。

MMS协议及其在TIM中的实现

MMS是Mini—MAP应用层中的主要协议,也是运行在TIM中的主要软件。连在Mini-MAP网上的制造设备通过使用MMS提供的服务来实现它们之间的通信。本文介绍了MMS的历史,所用的术语,通信方式,事务目标以及在TIM中实现的四类服务。并讨论了在TIM中实现MMS协议应注意的一些问题。

基于工程项目角度下的信息系统应用技术研究

企业工程项目建设往往投资数额巨大、建设周期长、参与单位多、数据和信息处理工作量大,一个科学高效的管理系统可以使企业对所有工程项目实行系统的、全面的、现代化的管理,有助于企业提高工作效率,实现工程项目利益的最大化。本文阐明了建设工程管理信息系统的必要性,介绍了此系统的功能以及工作流程,指出了工程项目管理软件在工程管理应用之中存在的问题,最后给出了保障此系统正常运行的几点措施。

生产系统的SLAMⅡ语言仿真

该文介绍了广泛使用的ＳＬＡＭ仿真语言及其建模框架，并通过用ＳＩ，ＡＭⅡ仿真一个实际的生产系统的例子，给出了相应的网络模型和仿真结果分析，指出使用ＳＬＡＭ语言仿真生产系统具有周期短、使用方便、工作效率高等优点。

CIMS中单元控制器互连的研究和实现

单元控制器是CIMS的重要组成部分。CIMS多变的需求环境要求单元控制器具有开放的体系结构。本文介绍了支持单元控制器互连的计算机网络技术和协议,以及在TCP/IP)网络上单元控制器互连和MMS子集的实现。

用Cookie构建Web安全的实现

给出了用cookie实现用户认证的步骤，并详细讨论了可用的安全cookie设计方法。对同一域中不同服务器间加密cookie的密钥的管理问题，除传统密钥管理方案外，提出了cookie集中管理的解决方案。最后，应用cookie将Web的安全实现扩展到访问控制。

无线传感器网络多路径路由协议研究进展

在研究目前存在的多径路由协议特点及核心路由机制基础上,总结了多路径路由协议的特征,并对不同的多路径路由相关项进行了比较。最后指出了多路径路由的研究思路以及未来的发展趋势。

近场脉冲型地震动位移比谱特征研究

非弹性位移比谱是估计工程结构非弹性位移一种简单而有效的方法。以大量的地震动记录为基础,研究近场脉冲型地震动位移比谱的特征,同时考察场地条件、峰值地面速度与峰值地面加速度比(PGV/PGA)、峰值地面速度(PGV)和最大增量速度(MIV)对近场地震动位移比谱的影响。结果表明近场地震动的脉冲作用在0.2～1.5s的周期段对位移比谱的影响最大,在此周期段,位移比谱增大了近20%左右;在其他周期段,近场地震动的脉冲作用对位移比谱的影响不明显。通过研究不同地震动参数对近场位移比谱的影响发现,峰值地面速度与峰值地面加速度比(PGV/PGA)是影响近场地震动位移比谱最大的参数,场地条件对近场地震动位移比谱的影响不大。

一种基于语义与QoS感知的Web服务匹配机制

Web服务匹配是动态服务组合的一个重要环节,然而目前大多数的研究仅从单个抽象服务的角度进行局部语义匹配,没有考虑到服务组合的全局匹配,此外,即使考虑了全局匹配也仅从QoS角度进行匹配,没有考虑到全局语义匹配.针对服务组合流程,提出了基于抽象服务的局部语义匹配与基于QoS感知的全局语义匹配,设计了语义匹配算法,并扩展对服务输入/输出匹配的可用性分析,建立了全局匹配的QoS模型及其评价方法,基于该模型及评价方法,采用遗传算法实现全局语义匹配度最大化及满足用户的QoS指标需求.仿真实验结果表明:基于语义与QoS感知的服务匹配算法是可行的和有效的.

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向。分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析。最后是对一个具体的业务流程的建模和验证分析。由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力。

Ad Hoc无线网络跨层设计综述

为了进一步适应Ad hoc无线网络环境下各种应用的需要,提高网络性能,Ad hoc无线网络的跨层设计已成为目前国内外网络研究的热点和难点问题之一。给出了Ad hoc无线网络跨层设计的定义,分析了跨层设计的原因、优势和主要技术;对跨层设计的方法进行了分类,主要包括四种方法:层间传递相关信息,联合优化网络相关层,融合相邻层,分层作为网络最优化分解,并对它们进行了分析比较和评价;最后探讨了Ad hoc无线网络跨层设计面临的挑战和今后的研究方向。

分布式拒绝服务攻击的实现机理及其防御研究

分析了分布式拒绝服务(DDoS)攻击产生的机理、发动攻击的常用工具及其最新发展;针对攻击产生的机理,研究了防御DDoS攻击的一般策略和攻击机理的分类,并按不同机理分析了DDoS攻击的防御问题;给出了市场上典型DDoS攻击检测与响应系统的主要性能和防御DDoS攻击研究方向。

基于本体的知识检索研究及实现

本文提出了一种基于本体的知识检索框架。在该框架中，知识检索主要由语义检索和基于规则的推理检索两部分组成。通过对检索方法的研究分析和算法实现，开发了一个基于本体的文档知识管理系统，并由实例对基于本体的知识检索性能予以验证。结果表明，该检索系统具有一定的智能，较好地解决了知识的重用和共享问题。

Cookie在web认证中的应用研究

HTTP协议本身的无状态性 ,使得各种针对 web页面的安全认证变得困难 ,必须采用一种技术来实现页面间状态信息的安全传递 .本文讨论了应用 cookie实现认证状态保持的意义 ,研究了 cookie在实现页面认证保持中的安全性 ,并给出了不同安全粒度的 cookie设定方案 ,最后给出了程序实现 .

基于语义匹配和QoS的Web服务混合选择方法

提出了一种Web服务语义匹配方法,在此基础上分析了基于语义匹配和基于QoS(服务质量)的服务选择策略,以及面向独立服务和组合服务的服务选择方法,并给出了结合语义匹配和QoS指标值的Web服务混合选择策略及算法。实例分析结果表明,该混合选择策略能针对不同的服务需求作相应的处理,增加了服务选择的正确性,提高了服务组合效率。