复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

NDADAS系统的算法正确性构架

本文给出了算法设计过程的功能规格说明分解树模型,讨论了函数功能规格说明的性质和算法设计正确性的准则,并对NDADAS系统中的若干主要规则的正确性进行了验证。     

X波段功率放大器设计

简要介绍了X波段100W固态功率放大器的设计过程,包括整机的设计框图、关键电路的设计仿真等,从功率管功耗的角度就设计过程中功率管的选择方法进行了详细探讨,并简要介绍了无过冲功率控制技术。     

CMM过程支持系统中对过程改变多策略支持的研究

企业在实施CMM时，过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的．因此，自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力，以利于适应多变的项目环境，而过程改变的情况比较复杂，单一策略的采用既增加了模型的复杂性，又不利于系统充分利用已有的底层支持技术．本文介绍了一种多策略过程动态改变支持机制。该机制可用于基于CMM的过程支持系统中，有效提高基于CMM的过程管理系统在过程改变支撑方面的灵活性和实用性．     

一种基于动态语境组装的分布式构件框架的设计与实现

 提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境Artemis Studio中得到初步实现和应用.     

CMM过程支持系统中对过程改变多策略支持的研究

企业在实施CMM时,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的.因此,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力,以利于适应多变的项目环境,而过程改变的情况比较复杂,单一策略的采用既增加了模型的复杂性,又不利于系统充分利用已有的底层支持技术.本文介绍了一种多策略过程动态改变支持机制.该机制可用于基于CMM的过程支持系统中,有效提高基于CMM的过程管理系统在过程改变支撑方面的灵活性和实用性.     

Arts：一个基于角色的信任管理系统

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信任管理思想相结合，设计了一个适用于开放环境的基于角色的信任管理系统Arts．文章给出了系统的设计思路和系统结构，阐述了设计开放环境下访问控制系统一种新方法．     

基于移动agent的信息系统应用过程审计软件的设计和实现

信息系统应用过程审计是一种有效的信息系统安全保障手段。但是现有的过程审计软件灵活度不够高、适应性不够强。针对上述问题,文章基于移动agent技术,讨论了一个信息系统应用过程审计软件ABIAS的设计和实现。在该系统的体系结构设计方面,利用agent的移动性和自主性,给出了两种灵活的审计agent部署方案,体现了审计软件的开放和灵活性;在agent设计和实现方面,结合桌面行为审计的领域需求,给出了其结构化迁移方案,有效地支持了审计行为的“临检”特性。     

开放环境下基于声誉记录的信任模型及实现

信任管理被认为是一种适宜解决开放环境下安全问题的新方法.但现有的信任模型难以应对信任炒作和恶意诽谤的行为,另外,在模型的实现上存在着否定信任信息传播困难,难以防止信任信息篡改等问题.本文基于对信任概念的研究,给出了一个基于声誉记录的信任模型,模型按事务的重要程度来采纳声誉信息,能够有效降低实体间信任炒作和诽谤行为所带来的影响.在系统实现过程中,通过标签机制促进了否定信任信息的传播,并有效防止对信任信息的恶意篡改.最后,通过在电子商务场景中的应用,初步验证了模型的合理性,和标签机制的有效性.