论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文基于抽象数据类型提出了一种规范描述语言,该语言以多相代数作为其数学模型,并引入类型继承机制,体现了面向对象的程序设计思想。最后,探讨了关于这种语言的规范描述到面
【机 构】
：
武汉大学软件工程研究所
【出 处】
：
计算机科学
【发表日期】
：
1990年1期
【基金项目】
：
国家863计划资助
其他文献
可移植通用工具环境(The Portable Gommon Tools Environment,PCTE)是西欧八家公司联合开发的一个的大型软件工程环境项目,也是欧洲 Esprit 信息战略计划的一个重要组成部分,
随着现代制度的逐步建立,对秘书素质的要求越来越高。加强和提高秘书队伍的综合素质,是做好秘书工作的关键环节。新的产业结构以及职业结构的变化,必将冲击服务、辅政层次的
分析了Web Services技术的体系结构、技术特点及其在国土资源信息服务系统建设中的作用.对国土资源信息服务系统的体系框架和数据库框架进行了总体设计,并对系统实现的功能进行了详细设计,提出了一种基于Web Services的国土资源信息服务系统的架构方案.该方案能够实现国土资源数据信息的高效共享和互操作,解决了"信息孤岛"问题.同时,为国土资源信息服务系统的开发建设提供了方向.
<正> 知识库中存在的不一致性是影响整个系统性能的重要因素之一。在系统建立初期,由于知识库比较小,内容也比较简单,只要设计人员或知识工程师对初始知识模型进行反复推敲和
以所设计的新型蓄热太阳能-地源热泵耦合系统为研究对象进行了现场模拟实验,太阳能集热器具有季节性蓄热功能,蓄热水箱可在冬季高品质供暖,夏季实现高效制冷。通过实验研究和
息烽集中营革命历史纪念馆景观绿化改造提升部分以保留原场地内具有景观价值、历史意义或者生态价值的植物为主,对不同类型的绿化区域进行种植设计,既保留了场地记忆、历史痕
目的探究视频辅助康复训练对老年股骨粗隆间骨折(IFF)患者患肢功能恢复的影响。方法选取2017年2月~2020年2月我院接诊并均择期行新型股骨近端髓内固定术的老年股骨粗隆间骨折
<正> 作为一种有用的知识表示形式,正向产生式系统结构已被人们广泛地用以建造各种专家系统。不过,大多数通用的正向产生式系统语言,如 OPS5、YAPS 等均未提供处理不精确语词
剪纸最早出现在北朝时期,至今已有1500年的历史了,当时的剪纸艺术已经初具雏形。到隋唐时期,剪纸艺术日趋繁荣,"剪采赠相亲,银钗缀凤真。叶逐金刀出,花随玉指新。"一把剪刀,
针对模糊线性规划问题中的模糊目标系数的确定,提出了一种两阶段方法.在第一阶段,利用线性插值技术得到一个粗糙的隶属函数;在第二阶段,利用决策者过去的决策来提高所得隶属