组合计算模型实现系统设计与仿真

在模块化的系统设计中,适合各个模块的最佳计算模型往往不尽相同,这些计算模型包括有穷状态自动机、Petri网、离散事件和事件关系图等。为了方便设计者和提高工作效率,有必要允许对模块采用不同的计算模型,再运用组合计算模型的理论将这些模块组合成完整的模型以用于仿真和系统的自动生成。作为应用实例,通过分层组合离散事件和事件关系图,可以设计易于扩展、修改和维护的动态系统;同样的原理也可以应用于其他计算模型,从而使它们在模块化设计中发挥各自的优点。

用分层事件关系图实现系统仿真与分析

现有的建模语言如UML、有穷状态自动机、Petri网、DEVS等不能完全满足工业中对时间系统建模的要求,企业常须自行开发建模语言和工具,或人为加工和抽象时间系统的设计以适应已有建模手段。使用事件关系图实现分层设计可以在一定程度上解决这一问题。该方法既方便了对复杂时间系统的设计,也使自动化仿真、分析和代码生成变得简易可行。

MPLS的第3层框架—IP

介绍利用重叠模型实现的MPLS第 3层协议IP。IP在MPLS中的确立归因于后者的第 2层ATM协议的局限性和传统IP技术在现有网络上的重大影响。在MPLS的实现中 ,一些IP特性是值得研究的 ,包括源树与共享树、数据流合并、数据流的扩散和删减、单向共享树和双向共享树等。它们影响了IP和MPLS的发展方向。另外 ,触发标记交换路径建立的方式、生存期、标记的保留方式和IPVPN隧道等议题是使IP适应MPLS的需要所必须的。通过全面概述以上关于IP协议的议题 ,并结合作为MPLS第 3层协议的IP协议特性 ,使读者对MPLS的工作细节得到大致的了解。

基于分段执行和摘要的动态程序分析

传统的动态程序分析需探索程序运行的所有可能路径。然而,实际的程序通常有大量甚至无限多的路径。由于不能完全探索所有路径,对程序的准确分析只限于一些简单的情形。具体符号测试方法结合符号分析和通过运行程序获得变量的具体数值。它提高了传统方法的适用性,但同样受到路径数目的限制。为解决这一问题,提出基于分段执行程序和对程序段落自动生成摘要的手段。该手段扩展了具体符号测试,提高其效率,并使之可应用于一些具有无限路径的程序。

ATM的MPLS域融入

MPLS技术具有优良的网络性能 ,而ATM的组网方式又被目前大多数主干网所采用。研究如何把ATM交换机融入到MPLS域中 ,是个具有实际意义的研究课题。在多协议标签交换技术的实现中 ,其核心部分就是标签的分配和维护。着重介绍了采用VC交换的ATM LSR ,并详细描述了它的标签分配与维护过程。对于标签分配 ,不同的ATM交换机 ,如支持和不支持VC合并 ,位于域的边缘或其他位置 ,其采取的方式是不同的。考虑到ATM的硬件机制原先并没有考虑TTL技术 ,介绍了一种基于路径向量的环路检测方法。此外 ,还简略地介绍了采用VP合并的ATM LSR。

云计算环境下的多路数据流分层模块化建模与设计

提出多路数据流计算模型和对云计算物理系统的分层模块化建模方法.云计算物理系统包含大量相连的嵌入式设备和计算节点.其开发难点在于系统复杂性所带来的设计和管理困难,以及对海量数据的处理.可行的解决办法是以多路数据流构造抽象的设计模型,利用自动化工具进行仿真、检验和优化,再通过映射生成最终系统.多路数据流扩展了传统数据流和Google的MapReduce计算框架,在简化设计的同时也使最终系统易于在云计算环境中实现.