专用指令集处理器(ASIP)行为级设计方法研究 被引量：4

1

作者 陈艾 周学海 +2 位作者 李曦 王志刚 王峰 《计算机工程与应用》 CSCD 北大核心 2004年第29期44-46,152,共4页

由专用指令集处理器(ASIP)构成的片上系统(SoC)具有高效、灵活等优点。有效的ASIP行为级设计方法对于SoC设计具有重大意义。该文对ASIP行为级设计方法进行研究,提出了一种基于体系结构描述语言(ADL)的ASIP行为级设计方法,并介绍了基于... 由专用指令集处理器(ASIP)构成的片上系统(SoC)具有高效、灵活等优点。有效的ASIP行为级设计方法对于SoC设计具有重大意义。该文对ASIP行为级设计方法进行研究,提出了一种基于体系结构描述语言(ADL)的ASIP行为级设计方法,并介绍了基于该方法的可视化ASIP行为级设计平台xptools。 展开更多

关键词 专用指令集处理器 可重定向模拟 体系结构描述语言 设计空间搜索

在线阅读 下载PDF 职称材料

可重定向的周期精确模拟器生成环境研究 被引量：2

2

作者 余洁 李曦 +1 位作者 周学海 王志刚 《小型微型计算机系统》 CSCD 北大核心 2007年第1期166-171,共6页

针对嵌入式系统设计对模拟器生成环境可重定向性的要求,以及当今大多数生成环境多为功能级,而不支持周期级模拟的现状,本文提出了一个可重定向的周期精确模拟器的自动生成环境.通过体系结构描述语言xpADL对目标体系结构的组成和周期级... 针对嵌入式系统设计对模拟器生成环境可重定向性的要求,以及当今大多数生成环境多为功能级,而不支持周期级模拟的现状,本文提出了一个可重定向的周期精确模拟器的自动生成环境.通过体系结构描述语言xpADL对目标体系结构的组成和周期级行为进行描述,利用生成器和构件库完成了模拟器的生成.其中,xpADL的描述构架、生成器的分析机制和构件库中控制模拟框架的应用,使得与现有的生成环境相比,此环境在指令的周期级行为、流水线组织和流水化部件的模拟能力等方面均具有优势.实验部分完成了PISA和StrongARM两种体系结构的周期级模拟,并进行了针对加解密应用的流水线结构设计空间搜索的研究,证明了该环境的可重定向性和有效性. 展开更多

关键词 体系结构描述语言 周期精确的模拟器 模拟器生成器 可重定向性

在线阅读 下载PDF 职称材料

基于SysML的武器装备体系结构描述方法 被引量：8

3

作者 王洪 罗小明 《兵工自动化》 2009年第12期32-36,共5页

针对武器装备体系结构的主要特点,提出基于SysML的武器装备体系结构描述方法。该方法以多视图产品的形式,通过SysML的建模规范,描述了武器装备体系的背景、组成、结构、信息流、通信关系、作战活动以及对作战能力需求等内容。最后通过... 针对武器装备体系结构的主要特点,提出基于SysML的武器装备体系结构描述方法。该方法以多视图产品的形式,通过SysML的建模规范,描述了武器装备体系的背景、组成、结构、信息流、通信关系、作战活动以及对作战能力需求等内容。最后通过实例应用,验证了该方法对武器装备体系结构描述的可行性和有效性。 展开更多

关键词 武器装备 体系结构描述 系统建模语言

在线阅读 下载PDF 职称材料

分布式实时系统体系结构描述语言的设计及其应用实例研究 被引量：2

4

作者 叶俊民 王振宇 +1 位作者 黄萍 赵恒 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1606-1610,共5页

为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescri... 为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力. 展开更多

关键词 软件体系结构 体系结构描述语言 分布式实时系统

在线阅读 下载PDF 职称材料

用于多目标编译系统构造的目标机体系结构描述 被引量：1

5

作者 杨萍 王生原 《计算机科学》 CSCD 北大核心 2005年第9期239-242,共4页

本文是关于多目标编译系统构造的目标机体系结构描述的一个综述。主要涉及的话题:机器描述应当描述什么和描述语言的设计原则,现行的体系结构描述语言的状况及分类,一个典型的机器描述示例,结构信息描述,以及机器描述所面临的挑战及机... 本文是关于多目标编译系统构造的目标机体系结构描述的一个综述。主要涉及的话题:机器描述应当描述什么和描述语言的设计原则,现行的体系结构描述语言的状况及分类,一个典型的机器描述示例,结构信息描述,以及机器描述所面临的挑战及机遇等。 展开更多

关键词 体系结构描述 编译系统 可重定向 机器描述 编译器

在线阅读 下载PDF 职称材料

基于攻击描述语言的IDS基准测试技术研究 被引量：2

6

作者 姚兰 王新梅 何金勇 《计算机工程与应用》 CSCD 北大核心 2005年第33期1-4,共4页

从最早利用协议分析仪发送攻击特征,采用黑客工具,到网络攻击数据的录播重放,IDS测试方法和工具随着入侵检测技术和网络攻击的发展而不断发展。论文提出了一种新的基准测试技术,它基于全新设计的网络攻击描述语言,对各种网络攻击进行统... 从最早利用协议分析仪发送攻击特征,采用黑客工具,到网络攻击数据的录播重放,IDS测试方法和工具随着入侵检测技术和网络攻击的发展而不断发展。论文提出了一种新的基准测试技术,它基于全新设计的网络攻击描述语言,对各种网络攻击进行统一规范的描述形成测试脚本库,然后通过模拟攻击机和牺牲主机的一体化结构,产生各种网络攻击会话,从而达到测试的目的。 展开更多

关键词 入侵检测系统 基准测试 攻击描述语言 一体化结构

在线阅读 下载PDF 职称材料

虚拟仪器系统软件结构描述语言的设计与应用 被引量：1

7

作者 周泓 耿晨歌 《工程设计学报》 CSCD 2001年第1期7-11,共5页

为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统... 为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。 展开更多

关键词 虚拟仪器 软件结构描述语言 图形化平台 系统集成 软件设计

在线阅读 下载PDF 职称材料

一种基于ADL的编译器自动生成方法研究

8

作者 任小西 李仁发 张克环 《计算机应用》 CSCD 北大核心 2005年第2期367-369,共3页

编译器是嵌入式系统软件中的重要组成部分,它对嵌入式系统的软件开发有重要影响。本文在将体系结构描述语言(ADL)与传统可移植编译器相结合,自动生成嵌入式系统编译器的思想基础上,对自动生成工具genmd的结构进行了分析。重点对其指令... 编译器是嵌入式系统软件中的重要组成部分,它对嵌入式系统的软件开发有重要影响。本文在将体系结构描述语言(ADL)与传统可移植编译器相结合,自动生成嵌入式系统编译器的思想基础上,对自动生成工具genmd的结构进行了分析。重点对其指令识别和机器描述生成部分进行了抽象和建模。同时,针对genmd不支持分支跳转类指令的问题提出了改进方案。 展开更多

关键词 编译器 体系结构描述语言 自动生成 genmd 嵌入式系统

在线阅读 下载PDF 职称材料

基于DRTSADL的分布式实时系统建模

9

作者 叶俊民 赵恒 王振宇 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期26-28,34,共4页

在考察现有的体系结构描述语言的基础上,提出了一种新的分布式实时系统体系结构描述语言(DRTSADL),研究了该语言操作语义。结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用。与现存ADL相比,新的ADL对分布式实时系统有较强的描... 在考察现有的体系结构描述语言的基础上,提出了一种新的分布式实时系统体系结构描述语言(DRTSADL),研究了该语言操作语义。结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用。与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力。 展开更多

关键词 软件体系结构 体系结构描述语言 分布式实时系统

在线阅读 下载PDF 职称材料

一种移动代理应用系统的体系结构描述语言

10

作者 陆宁 尤晋元 《计算机研究与发展》 EI CSCD 北大核心 2002年第8期1004-1011,共8页

现有的 ADL(architecture description language)缺乏对移动代理系统结构的描述能力 .提出了一种能够应用于包括移动代理应用系统在内的软件系统的结构描述语言 L XL.为了提供精确的移动行为描述能力 ,L XL 使用支持移动系统的 join- ca... 现有的 ADL(architecture description language)缺乏对移动代理系统结构的描述能力 .提出了一种能够应用于包括移动代理应用系统在内的软件系统的结构描述语言 L XL.为了提供精确的移动行为描述能力 ,L XL 使用支持移动系统的 join- calculus作为形式基础 ,并对 join进行了部分裁剪以使其更适合于用做软件结构描述 .与其它的 ADL 相比 ,L XL 的显著特点是引入了 container结构 .container被定义为逻辑位置 ,而逻辑位置也可以看做是运行在一个物理主机上的一组进程 .由此实现了逻辑位置与计算组件的概念上的统一 .L XL 展开更多

关键词 移动代理应用系统 体系结构 描述语言 INTERNET 软件系统

在线阅读 下载PDF 职称材料

COM和CORBA的桥接与应用 被引量：3

11

作者 钟灿 钟本善 周熙襄 《电子科技大学学报》 EI CAS CSCD 北大核心 2003年第2期188-191,206,共5页

根据CORBA规范,阐述了桥接组件的体系结构和六种桥接模型,并引申出八种桥接方式,比较了各种桥接方式的性能差异,利用自定义桥接组件,把建立在UNIX平台上的系统扩展为跨UNIX和Windows平台的分布系统。经测试验证,系统符合设计的要求,改... 根据CORBA规范,阐述了桥接组件的体系结构和六种桥接模型,并引申出八种桥接方式,比较了各种桥接方式的性能差异,利用自定义桥接组件,把建立在UNIX平台上的系统扩展为跨UNIX和Windows平台的分布系统。经测试验证,系统符合设计的要求,改善了原系统的不足。 展开更多

关键词 桥接 组件对象模型 公共对象请求代理结构 接口描述语言 接口 分布系统

在线阅读 下载PDF 职称材料

基于SOA与Web Service的飞机保障信息系统集成 被引量：10

12

作者 王瑞 李青 赵倩 《计算机工程》 CAS CSCD 北大核心 2018年第1期91-97,共7页

传统的企业异构系统集成方案存在可扩展性与互操作能力差、集成代价高等缺点,难以满足飞机保障信息系统的集成需求。为此,基于面向服务的架构和Web Service对异构系统集成问题进行研究,构建包含服务提供者、服务注册代理与服务请求者3... 传统的企业异构系统集成方案存在可扩展性与互操作能力差、集成代价高等缺点,难以满足飞机保障信息系统的集成需求。为此,基于面向服务的架构和Web Service对异构系统集成问题进行研究,构建包含服务提供者、服务注册代理与服务请求者3个模块的飞机保障信息系统集成模型。在服务提供者模块采用Web Service描述语言文件对服务进行描述,利用Spring-WS框架实现对服务的业务逻辑处理、数据封装和发送,在服务注册代理模块完成服务注册和对查询服务的响应,在服务请求者模块研究对服务的绑定和调用。应用结果表明,集成系统可实现异构系统业务与数据的共享,验证了所构建模型的可行性。 展开更多

关键词 飞机保障信息系统 异构系统集成 面向服务的架构 WEB Service描述语言 Spring-WS框架

在线阅读 下载PDF 职称材料

基于体系结构的信息物理融合系统的研究与分析 被引量：1

13

作者 梁刚强 张立臣 《小型微型计算机系统》 CSCD 北大核心 2016年第6期1371-1376,共6页

提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建... 提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件. 展开更多

关键词 体系结构描述语言 信息物理融合系统 CPS体系结构模式 有限状态进程 线性混合自动机

在线阅读 下载PDF 职称材料

可重定向编译器中的体系结构描述与代码调度

14

作者 胡巍 周学海 +1 位作者 瞿晓明 陆岚 《计算机工程》 CAS CSCD 北大核心 2004年第16期60-62,共3页

采用了XML这种表达能力强,语法无二义的语言对体系结构进行描述,重点分析了编译器在代码调度阶段实现可重定向性的手段,以及体系结构描述如何高效地支持代码调度。

关键词 可重定向编译器 体系结构描述语言 代码调度 嵌入式系统

在线阅读 下载PDF 职称材料

基于π演算的自治系统架构描述语言AS-ADL

15

作者 刘娟 张伟 +1 位作者 赵新 王维平 《系统仿真学报》 CAS CSCD 北大核心 2009年第13期3946-3950,共5页

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL... 自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。 展开更多

关键词 自治系统 系统架构描述语言 Π演算 动态行为

在线阅读 下载PDF 职称材料

多机系统的体系结构描述语言MS-HADL

16

作者 焦桐礼 高建清 《计算机学报》 EI CSCD 北大核心 1991年第6期452-459,共8页

本文提出了一种面向多机系统的计算机硬件描述语言MS-HADL.该语言以高级程序语言C为基础,提供专门描述计算机与计算机之间、计算机与外界之间联系的工具,可以较好地描述具有并行特性的系统.

关键词 多机系统 体系结构 硬件描述语言

在线阅读 下载PDF 职称材料