论文部分内容阅读
作为国家“八·五”软件重点攻关课题之一的“MIS工程中嵌入推理机制的工具－角色法”的阶段性成果，角色编辑器Rb-MDE已研制成功。本文介绍它的设计原理与实现技术。
角色编辑器Rb—MDE的设计与实现
【摘 要】
：
作为国家“八·五”软件重点攻关课题之一的“MIS工程中嵌入推理机制的工具－角色法”的阶段性成果，角色编辑器Rb-MDE已研制成功。本文介绍它的设计原理与实现技术。
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机学报
【发表日期】
：
1996年5期
其他文献
总线桥协议是用于构造并行计算机群的多计算机互连协议，它于１９９１年提出，其初衷是设计一种连接采用不同 一标准的计算设备和控制设备的中继协议。几年的研究和工程实践结果表明，基于
本文讨论一种分布式系统中的任务分配算法，对它所使用的数据结构、算法实现以及性能等给予阐述，本算法采用双向启动策略，而且能根据系统总负功情况等自动选择发送者或接受者启动
现有的基于象素的区域围线追踪算法在追踪形状复杂区域的围线时往往失效，而且没有简单的方法来加以改进．为此，提出了一种基于边过程的区域困线追踪算法．该算法不仅能追踪形状任意复杂区域的围线，还能给出表示围线之间包含关系的树结构，追踪出的围线由边过程组成，并且可以十分方便地转化成由象素组成的围线或扩展围线，算法的计算复杂性是线性的，即Ｏ（Ｐ），其中Ｐ＝Ｎ×Ｎ是图象中象素的个数，而Ｎ为图象的线性尺寸．
代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代