嵌入式系统描述与验证环境的实现

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

诊断多智能体重构过程的系统描述

在引入可重构故障诊断系统及诊断智能体单元组概念的基础上 ,提出了可重构故障诊断系统的体系结构和应用系统模型 ,探讨了被诊断问题的特征以及被诊断问题之间的相似性 ,构建了基于决策理论的多智能体诊断系统的评价方法 .在分析诊断智能体重构过程的基础上 ,研究了可重构故障诊断系统的重构类型、重构层次和重构步骤 .借鉴生物免疫中的调节理论 ,提出了一种重建故障诊断智能体的算法 .最后分别就智能体单元组 (AFDS)

基于CDM的嵌入式系统描述与模拟验证环境

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

用于结构可靠性分析中的系统描述性抽样法

在用蒙特卡罗法计算结构系统可靠性时 ,运用了系统描述性抽样法。用系统描述性抽样代替蒙特卡罗的随即抽样过程 ,从而使得计算效率与降低方差都得到了明显地改善。

井—震—动态多级联合复杂断裂系统描述技术

目前胜利油区主力复杂断块油藏进入中后期“三高”开发阶段,对于微幅度构造、低序级断层识别及组合的精度和准确度要求越来越高,这是制约老油田效益开发的关键因素之(蒋有录等,1999)。针对这开发现实难题,本文提出了井—震—动态多级联合复杂断裂系统描述技术。首先通过井点精细地层划分对比技术,在区域构造应力和沉积规律分析的指导下.

动态实时系统描述及其资源管理技术

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

基于UML的作战系统描述方法

在仿真的具体实现过程中,系统描述是其中的关键步骤。分析了利用统一建模语言UML对系统进行描述的方法和步骤,并以炮兵群(团)作战系统为例,给出了UML中的用例图、类图、活动图以及协作图对系统进行描述的方法。结果表明利用UML进行系统描述,描述过程完整,易于理解和操作。

通州新城未来交通系统描述

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

动态系统描述语言的特性、设计和实现

介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体(例如文件)的静态描述.因此设计者能使用程序和高级人工智能方式来进行更高效的结构探索.本文的重点在于探讨动态系统描述语言的特性和实现机理.文末给出简要试验结果.

C语言系统描述的HCDFG-II实现

C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图 HCDFG II模型,以及从C语言生成该模型的方法。HCDFG II的层次化模型分为函数/进程级、语句级和操作级,根据需要可以生成不同级别的模型。本文讨论了C语言中各种控制结构及数组、指针、联合和结构等复杂数据类型生成HCDFG II的方法。

基于STEP AP233的需求描述转换——从自然语言描述到模型系统描述

介绍了知识支持的需求工程的方法及系统工程数据的描述标准 ,即ISO 10 30 3-STEPAP2 33。主要说明了需求的自然语言描述到模型描述的系统的转换。欧洲研究工程KARE———需求工程的知识获取和共享 ,正在研究这一主题 ,包括需求工程的形式化过程和工作平台 ,不同的用户级别使用不同的工作平台配置。每种配置采用不同的方法实现STEPAP2 33.

基于系统描述自动生成二次设备关联配置的方法

针对现有智能变电站二次设备关联配置方法,提出了一种基于系统描述自动生成二次设备关联配置的方法。在智能变电站系统描述文件信息完整规范的基础上,通过解析全站配置文件得到变电站一次设备与逻辑节点的关联库,并结合二次设备标准信息知识库,实现了自动得出智能变电站二次设备关联配置的目标。

基于组件的信息物理系统描述语言

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

“信号与系统”课程中LTI系统描述方法分析

"信号与系统"课程中关于线性时不变(LTI)系统的描述是核心内容之一,本文总结了分散在教材各个章节中关于LTI系统的描述方法,指出不同方法展现了系统不同侧面的特征,并说明了彼此之间的相互转换方法,从而得到LTI系统表示的整体框架,有助于学生对课程内容更加深入与系统的掌握。

H.323协议的系统描述

本文主要描述了H.323协议的系统组成、基本协议以及终端的结构,阐述了H.323的四个系统组成部分的功能以及它们之间的关系。H.323是ITU-T的H.32x协议家族中的一个,它规定了基于包交换网络的多媒体通信规范,其中定义了H.323的系统组成、呼叫模型以及所遵循的标准。

论自然实在静态波粒二层一体与微观过程的系统描述

现有量子力学不完备的表现,最重要的是缺乏对微观实在相对静态的认识和微观过程的系统描述。本文试建立自然实在静态波粒二层一体模型,从而对微观过程作出系统描述。 玻尔和海森伯正确地指出,经典物理学的理论框架不适于描述微观过程,但是,又错误地认为微观世界有特殊规律。虚构实在(微观世界有特殊规律)去适应理论,即维护经典物理学在宏观世界的正确性,这是削足适履。通过本文的研究,我们将看到经典物理学的基础理论,即它关于运动载体(粒子和场)的基本模型并不完全符合宏观实际。

中国文化系统论(下)——V系统描述之三:中国文化系统的功能研究

至此,我已经完成了对中国文化系统内外两个方面的研究,这种研究是从结构的角度来把握中国文化系统.如果仅仅到此,认识是不够的,而且也不符合系统研究的程序.任何一种形态的结构,都必然产生相应的功能,所以系统程序给我提出的下一步要求,就是由以上静态的结构描述进入到以下动态功能描述,具体考察一下中国文化的系统结构是如何在发展过程中按照自己的行为方式发挥它的功能作用的.如果对结构的考察为横,对功能的考察为纵,那么这两方面结合起来,庶几能对中国文化做到所谓全方位的透视和立体式的把握.

基于Petri网和systemC的SoC系统描述

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷,将Petri网与systemC相结合来进行系统级建模。通过分析Petri网和systemC的相似点,建立Petri网和systemC的映射关系,以便于将Petri网描述的系统模型转化为systemC代码。同时,使用层次建模的方法防止状态爆炸。通过以上方式建立系统级模型,描述片上系统(SoC)嵌入式系统软硬件状态,作为可执行的系统级描述。

中外安全管理体系的系统描述现状对比研究

为了指导民航生产经营单位建立“系统描述”,通过对比国际民航组织、美国联邦航空管理局以及中国民航局安全管理体系文件中与“系统描述”的相关内容,确定了“系统描述”涵盖了组织机构及职责分工、业务流程及接口、设施设备、运行环境、规章制度及操作规程等要素,以及上述要素的具体要求,提出了中国民航立法中关于系统描述的建设建议。

描述复杂系统故障关系的条件故障图

在复杂系统故障关系分析中 ,为了准确、有效地描述系统状态条件同其故障关系间所存在的关联 ,提出了条件故障图的描述模型。界定并分析了描述系统状态关系的状态树 ,并将它与故障图相结合形成条件故障图。界定并分析了条件故障图的结构及其中的状态条件变化特性。将它应用于航空发动机的控制系统 ,并给出了一个特征实例。条件故障图可以有效地描述状态条件对故障关系的影响及作用 。