摘要：利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态行为 ;根据Petri网理论表现适应动态联盟中同步协同设计的多层次、多资源、无死锁 。

摘要：动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱演算的动态联盟协同设计组织结构描述方法。该方法易于严格地显式表达系统的动态过程和资源权限的易变性,为组织模型的形式化研究提供了一种手段。在此基础上还提出了动态联盟协同设计系统结构和实现策略。

摘要：随着Internet与Web技术的发展,大量应用系统已经采用基于Web的方式进行设计实施。实际应用需求决定了这些应用系统对安全性有着突出的要求。因此需要构建一个增强的系统安全解决方案,以使系统符合实际运行环境中的安全性需求。基于特定的工程实践,本文给出了一个具有可操作性的基于Microsoft证书服务体系的Web应用安全架构,该架构可用于主流Web应用系统中的信息安全设计与实施。

摘要：结合作者近几年来所从事的基于 Web的软件系统的优化研究工作 ,从系统论的角度论述了为解决 Web应用系统缺陷而提出的 EWM软件体系结构的构建与完善过程。在应用于特定工程实践的同时 。

摘要：根据目前计算网络管理的需要,提出分布式和智能化的管理体系结构,建立了基于人工神经网络的网络性能管理专家系统的模型,并给出一个设计实例,在实例中重点介绍了数据传换和训练样本集的设计。