分布式仿真系统中的全局一致性问题研究

系统一致是分布仿真应用DSA的基础和前提。为提高DSA的全局一致性程度,获得真实、可信的仿真结果,首先阐述了DSA全局一致性问题;然后以某分布仿真系统为例,系统阐述了其全局不一致现象;在此基础上,分析了DSA系统的全局一致性需求;最后,重点给出了模型域、服务域和认知域内的一致性控制策略与建议。本研究可为DSA系统设计与开发人员提供技术与方法指导。     

用于DSM的组一致性模型

本文针对大规模网络计算环境的特点,提出了基于组结构的组一致性模型,它在组内和组间可采用不同的一致性模型,为在大规模系统中采用更为灵活、易于管理、适于应用、性能提高的DSM模式提供了支持.本文讨论了在组间采用入口一致性,在组内采用惰性释放一致性的组一致性的程序模型以及其实现策略.这种组一致性在组内采用写更新以及多写协议以利于组内节点的并行读写,消除了假共享,减小了数据获得的时间.组间一致性也有利于体现组间数据共享的特点,并可将组内对数据的更新一并传送,减小了网络开销.     

基于令牌的共享白板一致性算法

在设计电视会议的共享白板系统时,保证所有用户的感觉一致性是非常重要的.文章首先给出了三种一致性的定义,然后提出了一个基于令牌的共享白板通讯算法,算法的核心是使用一个循环传递的令牌来分配白板绘图消息的局部序号和全局序号,控制消息的发送和处理的顺序,从而保证用户白板在外观上的一致.最后说明了算法对于三种一致性的满足.     

一种新的DTDs完全一致性判断方法

DTDs(或XML Schema)的一致性是XML研究中的一个重要课题.一个DTD是一致的当且仅当存在有效的XML文档遵循这个DTD.然而一个一致性成立的DTD仍有可能存在一致性不成立的不合理子结构,同一致性不成立的DTDs一样,DTDs中一致性不成立的子结构同样应该尽量避免.为解决这一问题,对"元素在DTD中的一致性"、"DTDs完全一致性"等概念进行了定义和分析,并给出了一种新的DTDs完全一致性判断算法,该算法的最坏时间复杂度是O(n),具有较高的效率.     

并行文件系统中diskcache一致性协议的正确性证明

本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明.     

构件系统演化一致性的判定方法

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。     

多分类Boosting算法的一致性

根据样本容量适当选取正则参数可以使得多分类Boosting算法具有一致性。通过分析正则参数对多分类Boosting算法推广能力的影响,建立了正则参数与算法一致性之间的联系。据此得到了Boosting算法具有一致性的充分条件。在样本集确定时,该条件可作为多分类Boosting算法选择正则参数的依据。     

OODB中的模式更改框架

模式演化是OO系统中一个很关键的问题。由于OODB的应用具有动态特征,因而模式要经常改动。但是,更改要保持模式和数据库的一致性。模式更改有两个重要的问题:在类型定义改变时,对象的结构一致性和行为一致性。本文主要讨论这两方面的问题。     

网管接口实现一致性声明文稿的定义方法

通过对部分现有网络管理接口实现一致性声明文稿共性的分析,总结出了实现一致性声明文稿的分类和所应涉及的范围,提出了通用的一致性声明文稿的基本组成,并给出了其一般的定义原则。此外,还指出了现有的一致性声明文稿模板中存在的某些不足之处,并提供了相应的改善方法。     

基于TCL的IPsec协议一致性测试

IPsec协议体系是IETF制定的新一代网络安全协议标准，用于在IP层为IPv4和IPv6提供可交互操作的、高质量的、基于加密的安全．针对协议一致性测试的要求和IPsec协议体系的特点，设计了一种基于Tcl的IPv6协议体系中的IPsec协议一致性测试系统，并给出一个实例说明如何使用该系统进行测试例的开发,实践表明，该系统具有方便、灵活、模块独立性好等优点，基于Tel的一致性测试是一种有效的协议一致性测试技术．     

基于TTCN-3的SIP一致性测试

应用层控制协议SIP（Session Initiation Protocol）已被用于在IP网络中建立、修改和终止多个参与者参加的多媒体会话.为了保证SIP的不同实现之间能够可靠地进行通信,需要对其进行严格的一致性测试并检验SIP实现是否与标准一致.ETSI（European Telecom munications Standards Institute）开发的下一代测试描述语言TTCN-3（Testing and Test Control Notation version 3）在SIP一致性测试中起着重要的作用.本文描述了通用TTCN-3测试系统的设计和实现以及使用TTCN-3对SIP进行测试的情况.     

SOBECA中间件上支持行为的服务注册和查找机制

针对SOA的服务注册查找过程中只关注接口和静态属性的问题,本文实现了一个支持行为的服务注册查找方案.该方案基于SOBECA中间件,在服务注册时提供服务的行为描述,进而在服务查找时可以根据该描述与使用者对所需服务的行为描述进行一致性检测,确保查找到的服务在接口和静态属性满足的基础上还满足行为需求.该方案可以使服务使用者获得更安全可靠的服务.     

00DB中的模式更改框架

模式演化是ＯＯ系统中一个很关键的问题，由于００ＤＢ的应用具有动态特征，因而模式要经常改动，但是，更改要保持模式和数据库的一致性，模式更改有两个重要的问题：在类型定义改变时，对象的结构一致性和行为一致性，本文主要讨论这两个方面的问题。     

IDS决策过程中的时空一致性研究

本文讨论了将数据融合技术运用到入侵检测系统中的方法,并提出了一个基于数据融合技术的入侵检测机制——DFIDM。本文重点研究了数据提取和对象提取过程中的时空一致性问题,在该机制中,有多个检测器搜集系统日志文件、网络流量信息、网络数据包等数据。这些数据首先由决策器进行本地决策,在通过数据提取和对象提取阶段的时间和空间校准之后,传送到融合中心进行决策。本文最后通过实验证明,采用了该机制的入侵检测系统能获得更好的性能。     

基于Qt的多通道宽带接收机测试系统设计

接收机是声纳系统的重要组成部分,为了满足工程开发和批量生产对接收机各项性能指标的自动化检测需求,本文设计了多通道宽带接收机测试系统。通过操作Qt编程环境设计的交互界面,即可完成整个测试过程,并将测试结果输出。本系统具有操作便捷、测试准确等优点,显著提高了系统开发过程中的工作效率,满足接收机性能指标的测试需求。本文主要介绍了系统设计方案、硬件及软件设计和待测指标的测试方法与实现,该系统能够普遍应用于声纳接收机测试。     

基于数据库的UML一致性检查

UML是目前使用非常广泛的标准建模语言.但各模型间存在许多约束,出现不一致在所难免.而一致性检查单单依靠人工是无法完成的,需要实现一种机制来完成这项工作.于是便提出了用数据库解决这一问题的思想,并对其具体实现进行了大胆探索.在一定程度上实现了一致性检查,为以后的研究奠定了基础.     

存储模型仿真器的设计与实现

存储一致性问题和高速缓存一致性问题是共享存储并行计算机中两个最关键的问题,通过仿真器对它们进行了量化研究,设计并实现了一个存储模型仿真器MMS．基于MMS仿真了不同并行机结构模型下多种存储一致性模型的行为;针对不同类型的计算问题比较了不同的存储一致性模型,并对实验结果进行了分析;实现了几个不同的高速缓存一致性协议,并比较了它们的性能．     

安全策略的一致性维护研究

企业必须能够高效实时地预测安全策略配置是否满足一致性,这就要求有通用的安全维护原则来降低安全维护代价,满足企业需求。论文从关联、变更和策略传播角度层层递进地进行一致性维护原则设定,并在此基础上提出一致性维护的基本算法,并通过实例分析说明了所提出一致性维护原则和算法的有效性。     

异步复制流程的研究与性能改进

数据更新流程是远程复制系统的框架。针对不同的应用需求,系统可以采用不同的复制模式。文中主要讨论异步模式下的数据更新流程。在分析借鉴了已有的异步复制协议基础上,提出了一种改进性能的异步复制流程。原型实验表明,此数据更新流程的设计在保持数据的一致性以及系统简单、可靠性的同时,也降低了复制过程中对网络带宽的需求和I/O操作的数量。     

基于有向网络的一致性跟踪算法

研究了leader有控制输入且followers未知该输入条件下的线性多智能 体一致性跟踪问题.提出两种一致性跟踪算法,证明两种算法在leader到followers存在一棵 有向生成树且follower间拓扑是有向条件下,网络就能跟踪leader的状态.对于第一种算法,节点根 据相邻节点或leader的状态来求解其控制输入,并基于代数Riccati不等式给出 连续情形下算法稳定性条件.第二种算法直接利用相邻节点或leader的状态,使followers在上述网络条件下跟踪leader的状态,同样基于代数Riccati不等式给出算法稳定性条件. 仿真结果验证了算法的有效性.