摘要：首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (OCL)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以完成系统的模拟验证 ;

摘要：从嵌入式系统的设计需求出发,提出采用CDM构造嵌入式系统的描述模型,然后根据相关规则将需求文档转换为CDM描述模型、把CDM描述模型转换成SystemC代码,以完成嵌入式系统的模拟验证的方法和实验环境。最后介绍了该方法的一个应用实例。

摘要：动态实时系统在设计时无法确定系统的最大负载,在运行时系统要处理的数据量和事件到达率有巨大改变,在这种情况下保证系统的实时性和耐久性很困难。本文介绍了一个系统描述语言来描述这样的系统;从系统描述中产生系统静态模型,然后动态检测系统状态形成动态模型;资源管理中间件根据系统状态管理分配资源保证系统的实时性和耐久性,资源管理技术使用了动态路径典范;并介绍了一个动态实时系统的体系结构。

摘要：本文设计实现了一种基于组件的信息物理系统描述语言CDL(CPS Description Language).基于面向参量模型,将信息物理系统中的传感器、执行器和计算组件封装成具有统一抽象的组件,将系统描述分解为系统中包含的组件、组件之间的关联以及系统约束三部分.实现了基于CDL的信息物理系统的设计实现工具,提供CDL生成、验证和安装的功能.最后设计实现了两个应用实例,验证了通过CDL来实现系统,可以减少开发者编写的代码量,提高编程效率,一定程度上降低系统设计实现的难度.

摘要：在以往历次北京城市总体规划中．都将通州定位为北京市东部的卫星城．因此．通州多年来的建设也是遵循卫星城的发展模式。新总规秉承北京“两轴-两带-多中心”城市空间发展结构．提出建设新城的战略构想．通州作为三个重点发展新城之一．必将成为区域政治、经济、文化的中心．独立性更强、产业更聚集、功能更完善。在城市转型关键时期．新城交通系统也经历着变革。原有适合卫星城发展的交通体系已无法适应新城的要求．必须探寻一种支持通州新城发展目标、体现城市未来发展特色的交通系统。

摘要：研究一特定类型的混合不确定系统的镇定控制器的设计。给出此类混合不确定系统的描述,在这类系统中存在多种不确定因素。描述包括系统标称模型、系统不确定因素的类型、不确定界以及有关分解式。针对模型的上述特点,给出混合不确定系统的鲁棒镇定控制器的设计。将以上方法应用于多机电力系统的稳定控制中,并给出了仿真结果。

摘要：概念级设计是实时嵌入式系统设计自动化的第一步 ,由于它的性能直接关系到整个系统的设计质量 ,所以也是非常重要的一步 .除了对所设计系统的功能进行描述、验证之外 ,概念级设计还应该对所设计系统的性能进行分析 .否则 ,如果将错误带到下一阶段 ,将会使整个设计付出沉重的代价 .在简单介绍了实时嵌入式系统的自动化设计原理 ,并分析了目前人们采用的三种概念级设计方法缺点之后 ,文章提出了基于 SDL / MSC描述与验证的 ,适用于单 FPGA或多 FPGA系统的概念级设计方法 .这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .在文章的最后 。

摘要：从系统实际技术需求、系统构架、系统原理、软件特点等多方面介绍了台内演播室的设计。详细介绍了系统关键技术,重点介绍了系统能实现的具体功能。

摘要：讨论了混沌系统的同步问题 .对一类不确定混沌系统 ,提出了一个新的自适应同步方法 ,可使响应系统在自适应控制器的控制下 ,实现与不确定混沌系统的同步 .最后给出了一个设计实例 .

摘要：随着电子系统的复杂化，系统设计已经成为一门重要学科。传统的反复试验法已经越来越不适应时代的发展。近年来，发展迅速的软硬件协同设计技术越来越受到人们的重视。它是在系统目标要求的指导下，通过综合分析系统软硬件功能及现有资源，最大限度地挖掘系统软硬件之间的并发性，协调设计软硬件体系结构，以使系统工作在最佳工作状态。文章系统地阐述了软硬件协调实际技术的特点及实际过程中应该注意的问题。