形式化语言对实例-模型库的规约被引量：3

在线阅读下载PDF

导出

摘要利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。

作者蒋庆孙林夫

机构地区西南交通大学CAD工程中心

出处《计算机应用》 CSCD 2000年第S1期143-144,共2页 journal of Computer Applications

关键词基于实例的推理形式化方法知识库 RAISE规范语言

参考文献4

1M . A. Rosenman,J . S . Gero,M. L . Mather.Knowledge - Based Research at the Key Center of Design Computing[]..
2Agnar Amodt,Enric Plaza.Case - Based Reasoning : Foundation Issues, Methodological Variations, and System Approaches[].AI Communications.1994
3EdmundM Clar,JeannetteM.Wing.FormalMethods:StateoftheArtandFutureDirections[].TheRAISESpecificationLanguage.1992
4LiSuguang,JiangQing,GeorgeChris.CombiningCase -basedReasoningandModel-BasedReasoning$CAFormalSpecification[].UNU/IISTReportNo.2000

1金炳尧,马永进,骆红波,吴樟兴.阅卷信息的形式化描述及其应用[J].计算机科学,2005,32(1):106-107. 被引量：14
2MallachEG著李昭智译.决策支持与数据仓库系统[M].北京:电子工业出版社,2001..
3闫林.两类特殊命题准确形式化的语义分析法[J].微机发展,1999,9(1):24-26. 被引量：1
4朱巧明,赵星涛,翟洁,陈越.自动阅卷系统中近似匹配算法的设计[J].微机发展,1999,9(4):63-64. 被引量：1
5王林,高国安.面向对象的IDSS模型库系统的构造[J].电脑与信息技术,2000,8(1):1-5. 被引量：9
6彭重嘉,汤庸,汤娜,毛文毅,邓智.工资智能决策支持系统SI DSS的设计与实现[J].工业工程,2001,4(1):58-61. 被引量：3
7钟佩思,曾庆良,徐文胜,熊光楞.面向并行设计的智能决策支持系统研究[J].计算机辅助设计与图形学学报,2002,14(3):266-269. 被引量：9
8金炳尧,马永进,骆红波.Word文档中若干图片类对象的分析与自动阅卷的实现[J].浙江师范大学学报（自然科学版）,2003,26(4):365-369. 被引量：19

1李曙光,孙林夫.用形式化方法设计工程智能CAD中的模型-实例库[J].计算机应用,2000,20(S1):149-150.
2李舟军,宁洪,刘春林.RAISE规范语言及其语义特征[J].计算机工程与科学,1993,15(4):28-33.
3蔡琼,李兴国,丁帅.可信软件实时性测试用例集生成方法研究[J].计算机应用研究,2009,26(6):2344-2346. 被引量：2
4顾翔,邱建林,严燕.基于输入/输出动作的协议形式化描述和测试用例生成方法[J].计算机应用,2008,28(6):1471-1474. 被引量：1
5顾翔,邱建林.基于时态逻辑的协议RSL形式化描述[J].计算机工程,2011,37(5):7-9.
6顾翔,邱建林,邵浩然.基于RSL的协议形式化描述与验证方法[J].计算机工程,2009,35(23):41-43. 被引量：3
7孙猛,张乃孝,Bernhard K Aichernig.UML状态机视图的RSL形式描述(英文)[J].北京大学学报（自然科学版）,2005,41(3):344-357. 被引量：2
8何俊梅,邹显春.一种基于逻辑约束的软件设计过程验证方法及其工程实践[J].西南师范大学学报（自然科学版）,2007,32(4):82-86.

计算机应用

2000年第S1期

内容加载中请稍等...