基于移动Agent中间件的电子商务系统研究

移动网络技术是当前研究的热点,为了能在移动网络中开展分布式业务,需要解决移动网络低带宽、突发性错误等诸多问题.从企业间进行电子商务活动的需求和背景出发,本文提出并实现了一个基于移动Agent的、支持企业间进行有效电子商务活动的信息系统中间件模型μMCommerce,并在其基础上构造了高效、轻型移动电子商务系统.     

基于移动代理的复合服务安全方案

给出了用于基于移动代理(Agent)的服务复合的安全方案.该方案以双线性对为基础,利用有隙Dif-fle-Hellman问题的难解性,构造了一个新的数字签名方案,在进行数字签名时不要求移动Agent携带签名密钥,避免签名密钥被窃取.此外,该方案也保证了移动Agent所携带的服务操作参数信息的完整性.同时因其基于身份的特点,在验证Agent生成的签名和Agent的数据完整性时不需要与认证中心或密钥分发中心进行通信.     

基于移动Agent的分布式事务模型研究

随着电子商务的发展,具有自主性、智能性特征的移动Agent逐渐成为该领域关注的一个热点。因为将移动Agent应用于电子商务领域必须保证移动Agent操作的原子性,所以就一定要用到事务服务,然而移动Agent规范中没有任何这方面的规定。通过分析C／S环境下解决分布式事务常用的技术——2PC协议,并将它与移动Agent环境相结合,提出了一种用于处理移动Agent事务的模型,经分析该模型性能和ACID特性良好。     

基于多Agent技术的敏捷虚拟企业物流信息系统体系结构研究

针对Agent和多Agent技术的特点,阐述了Agent在物流信息系统中的适应性,分析了敏捷虚拟企业物流信息系统的需求,建立了基于多Agent敏捷虚拟企业物流信息系统体系结构。     

基于Web Services的多Agent虚拟企业信息系统的集成研究

为支持虚拟企业的高效运作,针对虚拟企业信息系统的开放性、系统可重构、软件可重用和规模可扩展等特性,用具有自主、智能等特性的Agent来扩展Web Services技术,提出了一种基于Web Services的多Agent虚拟企业信息系统集成框架。通过讨论将Web Services和Agent技术融合在虚拟企业信息系统集成中的优越性,分析了基于Web Services与Agent技术融合的虚拟企业信息系统设计思路,并结合分析对节点企业内部子系统、Web Services与Agent的互操作框架和UDDI系统模型进行了设计,最后给出了基于上述方法和设计思路的集成框架模型。     

基于Web Services的多Agent虚拟企业信息系统的集成研究

为支持虚拟企业的高效运作,针对虚拟企业信息系统的开放性、系统可重构、软件可重用和规模可扩展等特性,用具有自主、智能等特性的Agent来扩展Web Services技术,提出了一种基于Web Services的多Agent虚拟企业信息系统集成框架.通过讨论将Web Services和Agent技术融合在虚拟企业信息系统集成中的优越性,分析了基于Web Services 与Agent技术融合的虚拟企业信息系统设计思路,并结合分析对节点企业内部子系统、Web Services与Agent的互操作框架和UDDI系统模型进行了设计,最后给出了基于上述方法和设计思路的集成框架模型.     

基于服务的Agent与工作流集成技术研究

工作流技术和Agent技术都被广泛地应用于商业过程的建模和运行，两者的有机集成将进一步提高信息系统的性能。一种基于服务的Agent与工作流集成模型，可提高工作流的易用性和灵活性。文中形式化地定义了基于服务的Agent与工作流集成模型，定义了服务的生命周期。以合同网为基础，提供了基于服务的Agent与工作流集成模型中的任务分配方法，并给出了Agent完成服务的机制。     

基于MAS的制造信息系统自组织过程仿真模型的构建

为了实现制造信息系统自组织决策过程从逻辑模型到仿真模型的转换,对生产过程进行了基于软件工程方法的多Agent 系统框架搭建,通过Java、MySQL开发出一个基于多Agent理论的生产过程仿真软件原型系统.并选取某企业作为仿真实例,仿真运行的过程和结果为研究制造信息系统的静态结构特征和动态运行特性提供了方法和途径.     

移动Agent在复杂设备远程服务中的应用研究

针对复杂设备在远程服务实现技术上的问题,论述了移动Agent技术的应用优势。提出了一种基于移动Agent技术的远程服务基本框架,讨论了远程服务对象和服务中心的协作模式以及服务Agent的运行机制,最后给出了一个基于Aglet平台的简化应用实例,说明了它的可行性和有效性。     

支持大规模定制的商业过程仿真建模研究

根据大规模定制的需要将工作流技术和基于Agent方法进行融合,提出了一种基于Agent增强工作流技术的面向实施的业务过程建模与离散事件分布仿真方案。该方案包括P＿PROCE工作流元模型、一个基于该元模型的工作流系统和一个名为E-Agent的多Agent系统。为了支持该方案,构建了一个Agent增强工作流信息系统,通过该系统,可以对商业过程进行建模、仿真和优化。最后讨论了该系统的结构和实现。     

电子政务网授权服务平台的安全性解决方案

针对电子政务网中授权服务平台的身份认证过于简单、数据传输缺乏安全性保护及越权访问等问题,文章提出了基于PKI、RBAC和ACI技术的一个授权服务平台的安全模型,有效地解决了存在于电子政务网中授权服务平台的众多安全性问题。     

基于移动Agent的分布式仿真系统体系结构研究

为了提高仿真系统的灵活性和易扩展性,在分布式仿真体系高层体系结构的基础上,引入Agent技术,设计了一种基于移动Agent的分布式仿真体系架构。通过分析Agent的分类和功能,详细描述了仿真节点结构的设计方案。同时,利用Agent的可移动性、易协作性和智能性等特点,实现了一种可靠、高效的通信机制,从而保证了仿真节点之间和联邦之间进行交互时的安全性和高效性。最后,通过应用实例,证明了移动Agent技术的应用有助于加强分布式仿真系统的规范性,提高复用性,增加互操作性。     

On-line verification of initial-state opacity by Petri nets and integer linear programming

This paper deals with a problem related to the observability of discrete event systems: the initial-state opacity. Given a set of system states (the secret), a system observation is called initial-state opaque if an agent (named intruder), who can partially observe the system, cannot determine whether the set of initial states consistent with an event sequence is included in the secret. Such a character can describe security problems in cyber-infrastructures, such as Internet and mobile communication networks or national defense service systems. This work presents a novel on-line methodology to verify the notion of initial-state opacity of discrete event systems that are modeled by labeled Petri nets. By working on-line, the intruder records an event and exploits integer linear programming problem for checking the initial-state opacity of the system’s evolution under the given observation. A set of examples are shown to shed light on the efficiency of the presented methodology.     

基于自适应认证的P2P安全通信模型

P2P网络通信安全是制约其发展的重要因素,现有的模型虽然能保证通信节点间数据的真实性、保密性和完整性,但是却会带来很大的开销或系统的不稳定。针对上述问题,提出了一种基于自适应认证的P2P安全通信模型,采用Certification Authority (CA)认证和CA监管机制,保障了系统的稳定性,并且只需要较小的开销,即可为P2P安全通信模型提供了一种新的思路。本模型可方便地加入到现有的P2P网络中。安全分析和仿真实验结果进一步表明,本模型具有有效性和可行性。     

基于多Agent的复杂系统故障诊断研究

在传统智能诊断基础上 ,将多Agent技术应用于动态、分布、实时和不确定的复杂系统故障诊断领域 ,以求解复杂过程诊断问题。讨论了基于MAS的分布式智能故障诊断方法和过程 ,提出并实现了一种Agent诊断系统结构及其原型系统 ,其中重点研究了诊断问题的任务辨识、分解、多Agent间的交互、协作以及诊断决策问题等。工程应用表明 ,该系统能快速、准确地进行故障成因分析 ,并给出有效的决策意见 ,取得了与专家相似的诊断结果。     

第二十三章 WIA-PA网络安全机制的研究

在分析WIA-PA网络的安全风险的基础上,提出了WIA-PA网络的安全目标。详细介绍了WIA-PA网络的安全管理架构、安全通信协议栈及密钥管理。     

基于移动代理的协同设计系统研究

移动代理技术为协同设计的研究开辟了新的方法。在对代理技术和协同设计进行研究的基础上,抽象出了其相关的形式化定义,提出了基于通用对象请求代理体系结构、移动代理、静态代理、可扩展标记语言、并行工程等技术和思想的网络协同设计的新思路,建立了多代理协作的网络协同设计多层体系结构和协作模型,讨论了协同设计过程实例执行算法,为进一步研究基于移动代理的协同设计系统奠定了比较丰厚的理论基础。     

基于AEMSim的汽车液压限位卸载转向系统的设计及仿真

该文在分析常用转向系统的结构原理和技术特性的基础上,设计了一种转向极限状态卸荷的液压系统,诣在解决常用液压转向系统机械杆系受力变形、轮胎磨损、液压元件烧坏等不利问题,提高转向系统的操纵稳定性和安全性。基于多学科领域复杂系统建模仿真平台AMESim软件建立汽车液压转向系统的仿真模型。仿真结果表明:系统可解决一些常用转向系统的机械杆系受力变形等问题,有效提高了转向系统的安全性和汽车操纵稳定性,具有一定的经济系效益和安全效益。     

安全系统设计方面的软件工程

本文讨论了安全系统设计方面的软件工程。主要分析了一般信息安全系统SSH和FTP之间的差别。证实了决定一般信息安全系统的流行与否主要依赖于其市场而非技术因素。对于特殊信息安全系统而言,陈述了一类以前所忽略的有趣问题。Butler[2002]已经用SAEM的方法解决了其中的部分问题。在这里,将对此种机制做个简单的回顾。而为了解决其他的问题,引进了一个动态的多级游戏系统模型。