【摘 要】
：
复杂系统仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利，近年来日益成为研究的热点。然而时间同步管理是关注并确保并行分布仿真正确执行的一种机制，它不但要确保正确的执行因果逻辑关系，而且要保证仿真系统的可重复性。时间管理是影响复杂系统仿真系统高效运行的重要因素之一。本文本章首先介绍了虚拟时间系统及其相关研究，它是复杂系统仿真时间管理机制与同步算法建立的基础；然后分析了因果关系约束问题；随
【机 构】
：
601 staff room, School of Computer, National University of Defense Technology Changsha Hunan China 4
论文部分内容阅读
复杂系统仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利，近年来日益成为研究的热点。然而时间同步管理是关注并确保并行分布仿真正确执行的一种机制，它不但要确保正确的执行因果逻辑关系，而且要保证仿真系统的可重复性。时间管理是影响复杂系统仿真系统高效运行的重要因素之一。本文本章首先介绍了虚拟时间系统及其相关研究，它是复杂系统仿真时间管理机制与同步算法建立的基础；然后分析了因果关系约束问题；随后对逻辑进程仿真及其分类进行了论述，明确了同步LP仿真与异步LP仿真的异同；最后对当前的各种时间管理机制进行了比较研究。
其他文献
传统的文档审查通常采用基于检查单的审查方法，该方法主要存在以下两个问题，一是检查单中记录的缺陷类型不全，容易导致审查时缺陷的遗漏；二是检查单中某些问题类型与文档间缺乏直接的映射关系，在使用检查单时效率不高。为解决上述问题，提出了一种基于文档对象失效模式分析的审查方法，将文档按结构分解为各种文档对象，并建立典型文档对象的失效模式数据库，在文档审查时，使用文档对象的失效模式数据库来与文档进行比对，从而
软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位，在设计分层思想的指导下，本文在分析软件及其各个模块以及模块中代码之间复杂关系的基础上，通过分析历史数据中软件故障与现象之间的对应关系，建立了基于拓扑图的软件故障传播模型，使得软件故障诊断人员能够利用该拓扑图模型针对具体的软件故障现象进行描述；通过对该拓扑图模型，软件故障传播模型可转换成更容易进行问题
文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(Conformance Testing oriented,CT-CPN),描述系统规范说明；定义了基于CT-CPN描述的PN-IOCO一致性关系；之后,构建CT-CPN描述的测试目的模型,基于该模型
电动汽车具有节能、减排等优势,近年来发展迅速。然而电动汽车的发展仍处于“建设”阶段,主要原因是质量还不成熟、基础设施的建设也未能跟进。针对上述原因,现有一些电动汽车远程监控系统,实时监控并获取电动汽车的运行数据,以进行统计分析、故障诊断等应用。然而所有的监控系统均采用统计分析方式,大量有价值的信息难以被发现。使用数据挖掘技术可以挖掘电动汽车数据之间的关联关系和充电站部署位置。针对上述两个挖掘问题,
专用短程通信协议(DSRC)为实现对车辆的实时、动态和智能化管理提供了技术规范,是智能交通系统(ITS)的核心技术之一。基于Angilent基带信号产生和信道仿真仪器N5106A,本文讨论了面向DSRC通信的信道模拟与测试平台。
近年来,Internet拓扑结构的扁平化趋势得到了学术界和工业界的关注。目前对该现象的研究多集中在定性描述上,没有大规模的测量数据支撑。从域间路由的角度,分析了Internet层级结构和互联策略的演变趋势。发现Internet扁平化的主要原因是绕过Tier-1 ISP以及peer-to-peer链路比例的增加。还测量了路由基础设施的变化情况,发现IXP在数量上和地理位置上都快速增长,极大地方便了内
随着互联网和漏洞利用技术的发展，堆缓冲区溢出漏洞越来越受到人们的重视。本文对DLmalloc的数据结构和核心算法进行了仔细分析，然后通过堆缓冲区漏洞利用实验，归纳总结了两类针对用户数据和堆管理信息的攻击模型。提出了一种基于堆管理信息保护的堆缓冲区防御方法，并在DLmalloc上予以实现。有效性和性能测试实验证明，该方法可以在不过于增加性能开销的前提下，抵御来自堆缓冲区的溢出攻击。
未来互联网实验者通常需要在虚拟化试验床上验证创新网络架构或者新型网络协议,而当前对试验床虚拟网络的初始化配置必须通过手工方式进行,复杂度高、效率低并且容易出错,降低了未来互联网实验者的创新效率、网络虚拟化试验床的应用效果.本文提出一种面向未来互联网试验床的零配置开通技术,并在此基础上设计实现了虚拟网络零配置开通平台SMS4FIT.通过构建独立于任何配置信息的逻辑管理通道,SMS4FIT能够使实验者
In recent years,traffic classification algorithms have been greatly improved in its classification accuracy and classification speed.However,forthe lack of public available network traffic datasets as
在全球化的互联网环境带给人们海量数据的背景下,文件同步服务作为个人级别的云存储应用成为了广大用户管理数据的一种有效手段,也已成为学术界和工业界研究开发的热点。为了降低将海量数据同步至云存储服务中心带来的巨大网络负载开销和延迟,能够充分发掘数据内部冗余的差量算法和重复数据删除技术一起成为优化云存储服务网络的关键技术。本文在深入分析经典差量算法在文件同步服务中应用存在不足的基础上,提出了一种利用重复数