论文部分内容阅读
运算构造和检验系统是形式规约获取系统ＳＡＱ的一个子系统。在ＳＡＱ系统中，运算用于表示规约的语义。ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义。详细介绍ＦＣ的功能，结构和实现技术，并讨论了下一步的改进方向。
运算构造和检验系统FC的设计和实现
【摘 要】
：
运算构造和检验系统是形式规约获取系统ＳＡＱ的一个子系统。在ＳＡＱ系统中，运算用于表示规约的语义。ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义。详细介绍ＦＣ的
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
：
软件学报
【发表日期】
：
1998年10期
【基金项目】
：
国家自然科学基金,国家863高科技项目,国家“九五”科技攻关计划基金
其他文献
目的探讨持续高水平PEEP治疗肺内源性ARDS的价值。方法前瞻性分析2003年1月-2007年12月21例于广东省佛山市顺德区第一人民医院等医院住院进行有创机械通气治疗的ARDS患者的临
围绕外语教师发展,强调教师是研究者,构建教学研究促进大学英语教师专业发展的新模式,提出了教师通过参与教学改革和研究,在提高教学和科研能力的同时,促进自身全面发展的主
本文提出了在异质型互连网络环境下为实现统一的网络管理可能出现的管理信息共享问题。为此，作者深入探讨，分析了目前国外为实现这种管理信息共享所采用的几种迁移方法；协议迁移
给出了一种自然纺理的图象生成方法－过程生成方法。
方剂学作为上联基础理论,下挂临床的桥梁学科,是中医学的主要基础学科之一。本文从理论教学、实践教学、实验教学、考试方法等方面入手,对方剂学的教学改革进行了探讨。
本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示。文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念。它是一个时序公式，精确地说明
我国医院伦理委员会建设起步较晚,在伦理委员会组织和审查过程等方面还存在很多问题。例如：伦理委员会成员组成不合理;伦理委员会成员的资质不足,培训力度不够;伦理审查标准和
文章指出了随机神经网络ｅｍ学习算法仍然存在着收敛于局部极小值之缺陷。针对三层随机感知机，文章将ｅｍ学习算法与Ｓｏｌｉｓ和Ｗｅｔｓ的随机优化算法结合起来，提出了三层随机感知机的混合型新学习算法
传统的读写事务模型是面向机器的，即事务的每个操作都是对数据库的存取操作，并且事务只有两层：逻辑层和物理层；逻辑层描述对逻辑数据的操作，如对记录的修改，查询等。物理层是描述对
Based on some pragmatic theories,this paper mainly analyzes how the markedness/unmarkedness works in the daily discourses. It isfound that markedness/unmarkedne