论文部分内容阅读
ＳＤＬ语言自身的形工化描述对该语言的不断发展，完善将发挥重要的核心，而ＳＤＬ－９２的形式语义已无法分满足应用需要，本文分析了现有形式语义定义的基本方法，指出其存在的主要不足，并针对ＳＤＬ形式语义的定义方法提出一种基于ＳＤＬ未来发展方向的语义义框架。
SDL形式语义定义现状及其改进
【摘 要】
：
ＳＤＬ语言自身的形工化描述对该语言的不断发展，完善将发挥重要的核心，而ＳＤＬ－９２的形式语义已无法分满足应用需要，本文分析了现有形式语义定义的基本方法，指出其存在的主要不足，并针对ＳＤＬ形式语义
【出 处】
：
通信学报
【发表日期】
：
2000年4期
其他文献
萎缩性胃炎（CAC）是一种常见的消化道疾病，其病理特点为胃的腺体萎缩，黏膜变薄，肌层出现肠上皮化生、异型增生，已被世界卫生组织列为癌前病变之一。其病因复杂，病程缠绵，临床症状多变，
我公司于2008年5月份引进一台Venus200X射线荧光分析仪，经过5个多月的使用和维护，建立了生料、熟料、废铝土、石煤渣、石灰石和铜矿渣6条工作曲线，能较稳定分析各种物料中的SiO2
矢量量化器的压缩性能随维数的增大而提高，但复杂度亦随维数的增大呈指数增大，限制了大维数矢量的使用。本文利用小波变换产生的子带间的相关性，提出一种新的最小失真预测／多级矢
消化性溃疡（Pepticulcer,PU）是临床常见病、多发病,在治疗上中蒙医药均具有各自的特色及优势。本文主要从临床及实验两方面介绍了近年蒙医药抗消化性溃疡的情况,为今后的研究提
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
产生于明而兴于清的会馆建筑是中国古代形成较晚的一种特殊建筑类型,具有地域性、公共性和奢华性的文化、装饰属性特征。聊城山陕会馆建筑所呈现的装饰特色主要体现在精美奢
针对汽车生产线如何适应多种平台车型产品的问题,讨论了共线生产设计和解决方案,从产品轴距、动力总成、备胎以及车门多个方面做出变化调整,并对共线生产中难以解决的问题进
书目控制是文献控制的组成部分，而文献控制又是社会控制的组成部分。着重论述社会控制的基本概念和原理，认为社会控制论应该成为文献控制论的上位理论。在梳理我国文献控制论研
随着国家相继停止家电以旧换新、家电下乡以及节能家电补贴等优惠政策,失去国家相关补贴政策扶持后的家电行业都普遍出现了经营业绩大幅下滑的现象,家电企业的大量流动资金沉