描述语言相关论文
物联网（Internet-of-Things）通过终端对物理世界进行感知和联系。现有终端架构存在通用化设计与低冗余优化矛盾突出的问题,导致其仅......
仿真想定描述规范对加快想定数据准备速度,提高想定数据质量,并促进想定数据重用具有重要意义.深入辨析了军事想定、仿真想定、仿......
LTE作为3G的演进，整体性能得到了大幅度提高，其采用OFDM/MIMO作为其核心传输技术，在20MHz带宽下能够提供下行100Mbit/s和上行50Mbit/s......
该文分析了传统测试方法对构件系统的测试不适用,提出了一种基于结构模式的测试方法,增加对构件系统内部不同层次的信息描述,包括......
面向服务软件体系结构(SOA)作为近年来软件工程领域出现的一个新兴研究方向，因其能够应对复杂多变的企业业务需求而得到迅速的发展......
客观世界是不断变化和发展的,而衡量软件好坏的一个重要的标准是软件是否具有自修正能力。为了适应Internet开放环境和用户需求的......
随着世界经济全球化和一体化的发展，电子数据交换已经成为企业参与贸易竞争的重要手段。而作为电子商务主体的企业对企业的电子商务......
首先,我们对一些现有的报表工具进行了研究,提出并讨论了报表工具需要解决的三个核心问题:报表数据,报表格式和报表输出.然后,我们......
随着软件系统规模和复杂性的不断增加，软件体系结构在软件开发中的作用显得越来越重要。软件体系结构是软件系统的高层抽象，用于描述......
上世纪90年代以来,随着计算机网络在应用中的日益普及,出现了众多各具特色的工作流产品。相对于工作流产品市场的繁荣,工作流的相......
网格是近年来发展起来的重要信息技术，是继传统互联网、Web之后的第三次浪潮，可以称为第三代互联网应用。网格的目标是实现互联网上......
网格的思想源于电力网,即网络用户只需要知道自己将使用什么资源,而不用考虑资源在什么位置,由谁提供。从本质上讲,网格技术是分布......
在Internet-web日益普及的今天,越来越多的企业应用都采用Web技术来开发,Web Service是一种基于标准的Web协议的可编程组件。Web服......
学位
面向实际应用为嵌入式系统定制具有专用指令集的处理器,可以加快应用程序执行速度、提高设计效率,缩短上市时间。为了快速有效地根......
安全的密码协议是网络通信和应用必不可少的组件之一，是构筑信息安全体系的基础。设计安全和有效的密码协议是协议工程领域中的主要......
ScienceWord是目前广泛应用于教育、科研等领域的科技文档字处理软件。为了实现ScienceWord基于XML的开放文档格式ScienceML,必须......
ScienceML是为ScienceWord在互联网上传输、共享和检索而制定的符合XML规范的科技文档描述语言。三维图形是ScienceWord中的重要组......
传统的工作流管理系统通常对工作流模型进行严格的定义。然而,现实情况却是工作流实例在运行过程中常常需要偏离预先的定义。由此,......
学位
随着Web服务技术的迅速发展,网络上基于Web服务的应用也越来越多,但是现有的服务大都是单个且功能简单的服务,难以满足复杂业务流......
计算机系统中发现的安全漏洞的数量呈爆炸性的方式增长。目前,为了了解、处理这些安全事件,往往通过脆弱性库来了解脆弱性信息,使......
当前,网格计算已经成为大规模科学计算和工程计算的主流解决方案。利用网格资源高效执行包含大量计算作业的工作流,对科学计算和工......
Web服务的出现代表了分布式计算的最新要求。随着应用需要的不断提升,Web服务技术已从基础设施构建与概念推广阶段向大规模商业应......
随着网络技术的发展和万维网上信息资源的激增,万维网成为人们获取知识的主要来源,信息检索越来越受到人们的关注。传统的信息检索......
软件体系结构作为20世纪90年代国际软件工程领域出现的一个新兴的重要研究方向，日益受到国内外学术界和工业界的关注。软件体系结构......
Web服务发现是指服务请求者以某种方式在不同的Web服务中找到其需要的服务。由于传统的基于关键字的Web服务发现方法存在着低查全......
随着现代计算机网络技术的发展，诸如银行系统、火车票网上订票系统、卫星控制系统等分布式系统得到广泛的开发和使用。针对大规模分......
《中国古籍善本书目》与《中国中医古籍总目》，在古籍编目工作中，是使用比较频繁的两种书目。在古籍编目工作中，常常遇到这种情况......
根据863计划项目密码算法和安全协议自动化检测工具开发及测评系统(2007AA01Z472)的需求,为了便于密码算法设计人员描述分组密码算......
海洋环境观测手段的特点是采用多种传感器、仪器及多种观测平台,对海域进行全时空、高密度、高频率的立体观测。这些传感器和仪器......
自从1984年尤里·洛特曼(Juri Lotman)发表《论符号域》(On Semiosphere)一文以来,“符号域”这个概念已经从文化符号学的术语范畴......
先进制造技术的核心是控制软件.由于现有各种控制软件的设计方法存在许多缺陷与不足,该文探讨了利用基于OPNADL的特定领域软件体系......
随着深亚微米集成电路技术的发展，已经可以将大多数甚至所有的系统功能封装在单个芯片上。与此同时，越来越高的芯片集成度和印制板组......
随着计算机应用越来越广泛,软件需求量不断增大,为了实现软件产业的工业化,软件的可复用性和软件构件库的设计成为领域专家的研究......
复杂自适应系统中的软件实体既需要完成业务功能,又需要不断地感知环境,并根据环境的变化调整自己的结构和行为来适应环境,完成自......
本文针对软件体系结构描述语言的发展趋势和研究特点,提出并实现了一种开放式的软件体系结构描述语言COADL,COADL不仅使得工作人员......
建立典型的蠕虫扩散自动机模型,运用确定的有限状态自动机理论对蠕虫扩散行为进行形式化描述,并且论证其正确性。本文提出一种扩散......
Golden IC方案基于物联网(IoT)理念,提供垂直整合人机接口与IoT装置的快速开发环境.在loT装置端提供运行Golden-IC Script的MCU,其......
摘 要 为了进一步探讨软件智能部署与应用方法，文中对软件智能部署和软件描述语言进行了分析，这一研究对于软件部署的改进具有一定的......
白行设计的用于频率测量的ＡＳＩＣ采用白顶向下的设计方法，用ｖｅｒｉｌｏｇ语言建模，使用ｃａｄｅｎｃｅｖｅｒｉｌｏｇ仿真工具，保证了芯片具有可靠的性能和精度，同时设计周期也大为缩短......
构件之间潜在的依赖性对开发基于构件的系统至关重要.用某种方法来显示这些依赖性是一个亟待解决的问题.本文章讨论了与构件的依赖......
针对基于多Agent的航天自主运行系统,梳理了模型描述的内容和要求。为了满足多Agent之间协同规划以及Agent内部自主规划的要求,提......
针对分布式软件系统规模和复杂性不断增大的特点,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言(DSADL)......
规划领域定义语言是第一届国际规划竞赛提出的问题定义语言,随着两年一次的国际规划竞赛的举办,其语言的描述方式和能力也在不断扩......
网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型.本文分析了网格计算市场模型中资源和作业描述语言的......
