一种基于进程代数的软件体系结构描述语言PEADL

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:hot8391
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘 要 对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA入在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
  关键词 软件体系结构 进程代数 软件体系结构描述语言
  文章编号1002—8331—(2003)05—0118—03 文献标识码A 中图分类号TP312
其他文献
摘 要 伴随着网络和远程教育的发展,教学资源的共享和教学系统的互操作成为了一个十分重要也十分迫切的问题。在教育部的领导下,我国开始了远程教育技术规范的研究和制定工作,着重解决上述两个问题。该文对国际上的教育技术规范作了简单的介绍,着重阐述了我国现代远程教育技术系列规范(DLrS)的总体框架,对各个子标准作了简要的介绍,同时阐明了各个子标准之间的相互关系。最后,该文还对标准的应用作了相关的说,明
期刊
摘 要 该文针对传统的RBAC模型的不足,提出私有权限、公有权限和特征权限等概念,且提出一般继承、私有化继承、公有化继承和无特征继承等角色继承方式,并基于这些新的概念和方法建立了一个改进的角色层化关系模型。应用实例说明,新模型在描述同样的角色层次关系时角色数量比传统模型要少,因而比传统模型更加简化和直观,特别适合于在大型角色层次关系情况下的应用。    关键词 RBAC 访问控制 角色
期刊
摘 要 基于信息隐藏在隐蔽通信等应用中的特点,该文提出了一种新的信息隐藏盲提取算法,该算法根据人眼对图象DC丁域的感知特性,对图象的DCT域系数进行特定的量化处理,将秘密数据隐藏在隐秘图象的DC丁系数量化结果的奇偶特性上,提取时不需要覆盖图象,实现了秘密数据的盲提取。实验结果表明,该算法不仅能实现盲提取,而且具有较强的鲁棒性。该文提出的盲提取算法还可以应用于JPEC图象中,由于JPEC图象具有
期刊
摘 要 针对如何提高企业获取Web信息的效率和Intmnet信息利用率,提出了Web信息领域分析的概念,:Web信息领域分析的目标是得到企业的Web信息主题,这在进行企业级Web信息获取时起着非常重要的作用。给出了三种W喃信息领域分析的方法,即基于业务角色的Web信息领域分析、基于业务处理的Web信息领域分析和基于业务主题的Web信息领域分析。最后对Web信息主题的管理机制进行了深入的探讨。 
期刊
摘 要 提出了循环分块在MPI系统中的块分配方案——列组分配方案, 并给出了在不同并行体系结构下依据列组分配方案计算块分配大小的算法。实验表明算法计算出的块分配方法对于发挥循环流水并行的效率有着较好的作用,、  关键词 MPI系统 列组分配方案 流水并行    文章编号1002—8331—(2003)05—0092—04 文献标识码A 中图分类号,TP311
期刊
摘 要 作为一种优良的聚类和降维工具,自组织神经网络SOM(Self Organizing Feature Maps)已经得到广泛应用,、其不足之处是仅适合于数值数据,这对时常需要处理分类型数据(Categorical valued data)或数值型与分类型混合数据(Mixed numeric and categorical valued data)的数据挖掘应用是不够的。该文提出了一声种新
期刊
摘 要 优先级反向是实时系统中由于任务间需要共享资源以及同步而引起的高优先级任务被低优先级任务阻塞的现象。优先级反向使得高优先级任务的执行时间无法预测,增加了实时系统的不确定性。解决优先级反向可以采用优先级继承机制。通过对盯—Linux源代码的分析,应用基本优先级继承协议对RT—Linux进行了改进,消除了优先级反向,改善了RT—Linux的实时性能。  关键词 RT—L1nux 操作系统
期刊
摘要 Turbo码是一种目前研究比较多的纠错码,译码端采用了基于软判决信息输入/输出的反馈迭代结构,译码的迭代是其具有优越纠错性能的关键,也是造成其时延的问题所在,该文提出一种自适应选择迭代次数的方法,实验表明该方法能够在译码结果收敛时自动停止迭代,避免大量无谓的计算,同时保证译码的准确性。  关键词 Turbo码 MAP算法 迭代译码  文章编号1002—8331—(2003)05—01
期刊
摘要首先单介绍了现代软件工程采用的建模语言UML的特点和功能,特别是其图形表达方式类图和包图的特点,并分析了面向对象系统基于安全缩减的回归测试。最后,提出了一种基于UML类图和包图构造类依赖集的算法。  关键词 UML 回归测试 类图 包图 依赖集  文章编号1002—8331—(2003)05—0102—03 文献标识码A 中图分类号TP311
期刊
摘 要 版面分割是版面分析的重要组成部分,是一个受到广泛关注的研究课题。该文提出了一种基于连通域的版面分割算法,首先对文档图像进行倾斜校正,然后采用模糊处理以得到较大的连通单元,再根据区域连通的特性进行版面分割和处理。实验表明,基于连通域的算法分割版面准确,速度快,适用范围广,不仅可用于矩形版面,对于非Manhattan版面等复杂版面也能取得令人满意的效果。  关键词 版面分析 连通域
期刊