论文部分内容阅读
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 ,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述
用XYZ／E形式化体系结构风格
【摘 要】
：
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 ,然后通过对特定组件和连接方
【出 处】
：
软件学报
【发表日期】
：
2000年3期
【基金项目】
：
国家 8 6 3高科技项目基金 !(No.86 3- 30 6 - ZT0 2 - 0 1- 3)
其他文献
随着互联网技术和数字媒介的迅猛发展,数字化阅读正不断影响着大学生获取信息资源的习惯和方式,对图书馆传统的阅读服务模式带来了一定的冲击和挑战。文章从阅读环境、服务主
利用O－超家族芋螺毒素具有保守信号肽编码序列的特性，采用RACE方法，对线纹芋螺O－超家族芋螺毒素的cDNA进行克隆、序列测定，并经化学合成，获得一种新型高活性芋螺多肽毒素SO3。该肽
在工程图纸计算机输入识别和理解系统中，圆和圆弧的识别转换是一个尚未彻底解决的难题．文章介绍了整体识别方法的主要概念和图段数据结构，在此基础上提出了圆的识别算法．算法首先将图段与圆的两类模式进行匹配，从而确定圆的种子图段；然后，通过对其他图段实施跟踪，最终获得圆和圆弧的图形表示．最后给出了实例，结果表明，该识别算法较好地解决了图纸识别中的一个关键问题，具有适应性强、高效可靠的特点．
近年来,随着许多植物基因组测序和可利用序列的增加,相继建立了一些基于靶基因诱变的"反向"遗传学研究策略,如T-DNA诱变、基因献除、基因沉默和超表达分析等.同时,DNA微阵列
文章综述了２０世纪９０年代以来Ａｇｅｎｔ系统中Ａｇｅｎｔ思维状态模型的研究结果。从直观分析，形式化模型，结构模型，合作研究和应用方面来介绍Ｂｒａｔｍａｎ的哲学观点，Ｃｏｈｅｎ和Ｌｅｖｅｓｑｕｅ的意图模型，Ｒａｏ和Ｇｅｏｒｇｅｆｆ的ＢＤＩ模型等重要成果，最后介绍了正在开
在抗病毒植物基因工程中,利用病毒的复制酶基因是一种很有前途的方法.本文对烟草花叶病毒(TMV)的基因组结构及其编码的蛋白的功能作了简介,同时较详细地阐述了由TMV复制酶的
提出了一种基于序列的文本自动分类算法，该算法利用了文本中两个层次的语义相关性：句子（子模式）之间的相关性和句子内代表特定含义的关键词（概念节点）之间的相关性，这样就实现了对关
以1987年调查资料为基础总结了该湾海水和底质沉积物中锌的集散规律,并以一个代表性的水平剖面和两个垂直剖面分析了锌的变化动态.通过回归计算得出锌在水平距离上的变化方程
实现了基于 Web的医学图像三维重建及显示 .用超高速 CT扫描获得人体器官的二维图像 ,基于 JavaApplet与 Java Application编程 ,采用体绘制法完成二维图像的三维重建与显示 .重建实现了在 Internet上以Web模式跨平台运行 .重建的三维图像能够清晰地显示人体器官的解剖结构 ,尤其是心脏的整体形态及冠状动脉的走向 .用 Java Applet与 Java Appl