安全脆弱点描述语言

在入侵检测技术的研究中,安全脆弱点的描述是一个急需解决的问题。目前,脆弱点描述方法基本上局限于枚举、CVE两种,但它们在各种安全工具及脆弱点信息源之间进行协同工作方面存在很多困难。为了解决这些问题,文章设计了一种安全脆弱点描述语言。使用该语言描述脆弱点,可以解决脆弱点标识符混乱问题;方便脆弱点的定位、归类与对比;清楚、明确地描述脆弱点内容;有效管理脆弱点的扩展部分及其更新过程。     

一种面向用户的Agent交互描述语言

Agent的应用最终是面向普通用户的,所以为了促进普通用户对agent的使用和理解,设计和实现了Q语言。该文首先介绍了Q语言的设计目的,执行机理,及基本的语法构件。在此基础上,通过一个应用说明了如何利用Q语言来设计用户和agent之间的交互。     

一种支持性能优化的软件部署描述语言

现有的软件即服务(SaaS)动态部署模型和语言在描述软件部署方案时,主要关注部署配置信息、性能需求及资源可用性需求,难以为面向SaaS软件部署方案的性能优化提供支持。为此,提出一种SaaS软件部署描述语言(SSDL)。SSDL根据SaaS软件部署的特点,结合SaaS软件性能优化所需的信息,从部署环境、部署对象、部署计划和部署约束4个方面构建SSDL概念模型,描述SaaS软件部署方案并给出基于SSDL的性能优化方法。通过应急任务运行管理系统部署方案的性能优化实验,验证了提出的SSDL对软件性能优化的支撑作用。     

一种通用的协议报文格式描述语言--PFDL

本文根据实际应用的需求指出了设计通用的协议报文格式描述语言时应该遵循的原则，提出了一种通用的协议报文格式描述语言——PFDL，描述了它的语法规范，并举例说明了PFDL语言的应用前景．     

基于机器学习的编译器自动调优综述

现代编译器提供的优化选项众多,选择何种参数因子、选择哪些选项组合以及以何种顺序应用这些选项成为复杂的问题,其中优化次序问题是最困难的优化问题.随着传统方法的改进(迭代编译结合启发式优化搜索)以及新技术的出现(机器学习),构建一种相对高效、智能的编译器自动调优框架成为可能.文中通过调查过去数十年的相关研究,总结了前人的研...     

面向微处理器验证的约束描述语言及其编译器

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。     

作战仿真想定描述语言及描述规范综述

仿真想定描述规范对加快想定数据准备速度,提高想定数据质量,并促进想定数据重用具有重要意义.深入辨析了军事想定、仿真想定、仿真想定片段、仿真想定变体等相关概念,梳理了基于定制数据格式的仿真初始化、仿真想定描述语言及应用、仿真想定描述规范等方面国内外研究现状,归纳了现有研究在描述规范的结构化、基本元素模型、仿真想定元数据方面存在的不足,指出了仿真想定数据体系构成、仿真想定数据描述规范以及仿真想定数据管理机制等下一步重点研究方向.     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。     

SCO-GADL:一种用于科学计算的网格工作流描述语言

应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障碍—尤其是对那些通常情况下不擅长编程的科学家们。为了降低网格应用开发的难度,提出了一种基于数据依赖关系的网格应用描述模型,力图使网格应用的描述更加符合科学工作者的思维习惯。在此基础上,设计和实现了一种被称作scc}UanL的工作流描述语言及其执行引擎。该引擎采用核心一插件体系结构,能够使用在多种网格平台之中,为科学工作者提供一种方便、易用和快捷的网格应用开发工具,以便使网格中聚集的各种资源更加高效地进行科学研究。     

ADL: An Activity Description Language for Real-Time Networks

This paper introduces and motivates ADL, a new formal notation for the specification of the temporal and functional behaviour of concurrent processes. ADL is tailored to be directly compatible with the DORIS design method. It combines a graphical Activity State-Machine (ASM) notation and a model-based Activity Functional Behaviour (AFB) notation. The abstract syntax, and static and dynamic semantics for the ASM notation are given, the dynamic semantics being given proof-theoretically in many-sorted logic extended with the RTL ‘occurrence’ relation, Θ, and the ERTL ‘holding’ relation, Φ. ADL is used to specify a small network, and proofs are given of its timeliness and safety properties. Received November 1998 / Accepted in revised form May 2000     

计算机病毒描述语言VDL

计算机病毒的检测与清除是一项复杂任务,对每一个新病毒,需要增添新的特征码,编写清除子程序。提出一种用于描述计算机病毒的计算机语言VDL,它以统一的方式描述计算机病毒,目的在于自动生成计算机病毒的检测与清除子程序。用BNF范式给出VDL的语法,用自然语言解释它的语义,并给出了一个例子。