期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
动态系统描述语言的特性、设计和实现 被引量：1
1
作者 张幂 柴志雷 涂时亮 《小型微型计算机系统》 CSCD 北大核心 2010年第5期825-829,共5页
介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体... 介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体(例如文件)的静态描述.因此设计者能使用程序和高级人工智能方式来进行更高效的结构探索.本文的重点在于探讨动态系统描述语言的特性和实现机理.文末给出简要试验结果. 展开更多
关键词 PDSDL PYTHON 动态系统描述语言 SYSTEMC 模拟 验证 综合
在线阅读 下载PDF
SoC系统级描述语言SpecC
2
作者 刘音 杨洪斌 吴悦 《计算机工程与设计》 CSCD 北大核心 2008年第10期2510-2513,共4页
讨论了SoC系统描述的要求,针对这些要求指出了目前系统级描述语言的不足之处,然后分别从层次化、同步、异常处理、时序等几个方面详细介绍一种能满足SoC系统所有描述要求的系统级描述语言——SpecC语言。将SpecC语言和其它系统级描述语... 讨论了SoC系统描述的要求,针对这些要求指出了目前系统级描述语言的不足之处,然后分别从层次化、同步、异常处理、时序等几个方面详细介绍一种能满足SoC系统所有描述要求的系统级描述语言——SpecC语言。将SpecC语言和其它系统级描述语言在系统描述能力和可综合性等多个方面进行比较,结果表明,SpecC语言在系统级描述方面具有明显的优势。 展开更多
关键词 片上系统 SpecC语言 系统级设计 系统描述语言 可综合性
在线阅读 下载PDF
基于π演算的自治系统架构描述语言AS-ADL
3
作者 刘娟 张伟 +1 位作者 赵新 王维平 《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3946-3950,共5页
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL... 自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。 展开更多
关键词 自治系统 系统架构描述语言 Π演算 动态行为
在线阅读 下载PDF
C语言系统描述的HCDFG-II实现 被引量：1
4
作者 赵康 边计年 +1 位作者 吴强 薛宏熙 《计算机工程与科学》 CSCD 2005年第4期80-83,共4页
C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图 HCDFG II模型,以及从C语言生成该模型的... C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图 HCDFG II模型,以及从C语言生成该模型的方法。HCDFG II的层次化模型分为函数/进程级、语句级和操作级,根据需要可以生成不同级别的模型。本文讨论了C语言中各种控制结构及数组、指针、联合和结构等复杂数据类型生成HCDFG II的方法。 展开更多
关键词 C语言 系统描述语言 数据模型 HCDFG-Ⅱ 程序设计语言
在线阅读 下载PDF
带有时钟变量的线性时序逻辑与实时系统验证 被引量：16
5
作者 李广元 唐稚松 《软件学报》 EI CSCD 北大核心 2002年第1期33-41,共9页
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系... 为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精. 展开更多
关键词 实时系统 线性时序逻辑 系统描述语言 性质验证 时钟变量 计算机控制系统
在线阅读 下载PDF
基于PWA模型的混杂系统优化控制 被引量：2
6
作者 佟慧艳 《科学技术与工程》 2010年第22期5536-5538,共3页
针对混杂系统非线性和非一致连续的复杂特性,使用混杂系统描述语言(HYSDEL)建立能以任意的精确程度描述非线性系统特性的分段仿射(Piece Wise Affine,PWA)模型并采用模型预测控制对系统进行优化。通过对具体实例的仿真研究,结果表明优... 针对混杂系统非线性和非一致连续的复杂特性,使用混杂系统描述语言(HYSDEL)建立能以任意的精确程度描述非线性系统特性的分段仿射(Piece Wise Affine,PWA)模型并采用模型预测控制对系统进行优化。通过对具体实例的仿真研究,结果表明优化控制方法是有效的。 展开更多
关键词 混杂系统 混杂系统描述语言 分段仿射模型 模型预测控制
在线阅读 下载PDF
变电站状态监测IED的IEC 61850信息建模与实现 被引量：58
7
作者 王德文 邸剑 张长明 《电力系统自动化》 EI CSCD 北大核心 2012年第3期81-86,共6页
基于IEC 61850信息模型的状态监测智能电子设备(IED)是变电站中智能一次设备的核心组成部分。分析了变电站状态监测系统的功能需求,依据最新IEC 61850第2版,采用电气设备、状态监测、传感器逻辑节点,建立了变电站状态监测IED的功能与设... 基于IEC 61850信息模型的状态监测智能电子设备(IED)是变电站中智能一次设备的核心组成部分。分析了变电站状态监测系统的功能需求,依据最新IEC 61850第2版,采用电气设备、状态监测、传感器逻辑节点,建立了变电站状态监测IED的功能与设备模型。提出了状态监测IED之间的通信方法,将非缓存报告控制块、缓存报告控制块、文件模型及其服务映射为制造报文规范作为实时通信协议,分别用于测量信息、告警信息及电力系统瞬时数据交换标准格式波形文件的传输。采用Visual C++、系统配置描述语言和Xerces开发了一个状态监测IED的模拟系统,对变压器状态监测主IED进行了建模及实时数据库的生成,并给出了实验测试结果。 展开更多
关键词 智能变电站 状态监测 智能电子设备 IEC 61850 信息模型 制造报文规范 系统配置描述语言
在线阅读 下载PDF
变电站状态监测通信网关中Modbus与IEC61850的映射方法 被引量：13
8
作者 王德文 阎春雨 +1 位作者 毕建刚 袁帅 《电力系统自动化》 EI CSCD 北大核心 2012年第19期78-84,共7页
针对目前变电站已经部署了大量常规状态监测装置的实际现状,指出采用状态监测通信网关是解决常规状态监测装置接入智能变电站状态监测系统的有效方法。通过对Modbus与IEC61850模型的分析,提出Modbus与IEC 61850的模型映射方法,包括IEC 6... 针对目前变电站已经部署了大量常规状态监测装置的实际现状,指出采用状态监测通信网关是解决常规状态监测装置接入智能变电站状态监测系统的有效方法。通过对Modbus与IEC61850模型的分析,提出Modbus与IEC 61850的模型映射方法,包括IEC 61850对象引用与Modbus地址的映射、公共数据类型与Modbus参数类型的映射、抽象通信服务与Modbus协议数据单元的映射。文中给出了通过对现有系统配置描述语言模式文件进行扩充的模型映射实现方案,可以避免配置工具间交换配置信息造成歧义性,并为电力电容器状态监测建立了一个模型实例,以验证上述方法的正确性和可行性。 展开更多
关键词 状态监测 通信网关 智能变电站 IEC61850 MODBUS 模型映射 系统配置描述语言
在线阅读 下载PDF
Verilog HDL与SystemC的语法等效性 被引量：2
9
作者 张雅绮 王琨 崔志刚 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2004年第9期842-846,共5页
针对电子系统设计中使用不同语言制约设计效率的问题,研究了SystemC2.0与VerilogHDL的语法在基本语法结构、时间模型、等待和事件模型、调度模型等方面的等效性,得出如下结论:对于门级以上级别的描述,所有的VerilogHDL的描述总可以在Sys... 针对电子系统设计中使用不同语言制约设计效率的问题,研究了SystemC2.0与VerilogHDL的语法在基本语法结构、时间模型、等待和事件模型、调度模型等方面的等效性,得出如下结论:对于门级以上级别的描述,所有的VerilogHDL的描述总可以在SystemC中找到对应描述;开发EDA设计工具,实现从VerilogHDL描述的知识产权自动转换到SystemC描述是可行的. 展开更多
关键词 系统级描述语言 VERILOG HDL SYSTEMC 语法等效性
在线阅读 下载PDF
DRTSADL可视化建模及其工具的设计与实现
10
作者 罗景 叶俊民 +1 位作者 赵良 陈利 《计算机工程》 EI CAS CSCD 北大核心 2005年第9期88-90,共3页
提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计。最后给出了可视化建模支持工具的具体实现。
关键词 软件体系结构 体系结构描述语言 分布式实时系统体系结构描述语言 可视化建模
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部