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

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

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

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