首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 191 毫秒
1.
基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提出了未来的研究方向。  相似文献   

2.
基于事例的推理(CBR)研究综述   总被引:42,自引:2,他引:42  
基于事例的推理(CBR)作为一种增量式的学习方法,规避了传统人工智能在知识获取上的瓶颈问题,逐渐引起人工智能领域研究者的关注。对基于事例的推理(CBR)现有研究工作进行逻辑上的梳理和系统的总结,有助于今后研究工作的开展,具有深远的理论意义。该文首次提出基于事例的推理(CBR)研究的逻辑体系结构,并在此逻辑分析的基础上,从基本理论、关键技术和实践应用三方面进行了综述,对其中关键、通用的方法和技术进行了比较和评价。最后,对未来的研究方向进行了展望。  相似文献   

3.
目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法.为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程.应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导.  相似文献   

4.
基于模式的软件体系结构建模   总被引:4,自引:0,他引:4  
文中给出了一种应用程序组件的领域建模方法,将组件静态方面的面向对象建模(类图)、组件行为或功能等动态方面的基于模式的建模(模式实例模型)与代码生成实现技术结合起来。并试图用模式描述组件体系结构风格,指导如何构造和组织一个系统。基于模式的软件体系结构设计方法可在很短的时间内创建各种组件,并通过改变模型中的抽象体系结构特性来满足应用程序中的体系结构要求,因而该方法是切实可行的。  相似文献   

5.
CBR(基于事例推理)是人工智能领域的一个分支,它克服了知识获取的瓶颈问题,事例修正是CBR的关键步骤。以ALC为代表的描述逻辑已被充分应用到CBR中,但目前在基于描述逻辑的CBR中还没有比较有效的算法来判断检索到的相似事例是否需要修正和如何进行修正。ALCQ(D)是在ALC的基础上引入定性数量约束Q和有型域D得到的。提出的算法用ALCQ(D)概念来描述CBR源事例和目标事例,先假定检索到的相似事例能够解决目标问题,即假定目标事例和相似事例同时满足知识库,但这样可能会与知识库产生冲突;接着使用冲突检测机制来查找相似事例概念描述中导致冲突的概念;最后使用概念替换规则在TBox本体库中检索该概念的最相似概念去替换它自己。研究表明,该算法具有界限性、可靠性和完备性。通过一个实例对其进行检验,结果表明,该算法可以准确修正检索到的相似事例,解决目标问题。  相似文献   

6.
软件体系结构的属性图文法描述及其约束验证*   总被引:5,自引:0,他引:5  
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.  相似文献   

7.
本文首先简要介绍了基于事例推理(CBR)和基于规则推理(RBR)的优缺点,其次建立了一个CBR和RBR相结合的电路故障诊断系统,最后说明了该系统的基本结构及设计过程。  相似文献   

8.
冲压模具设计中CBR技术的应用   总被引:2,自引:0,他引:2  
本文分析了CBR设计方法的工作原理,并介绍了基于CBR的冲压模具设计系统中事例的描述,检索与修改等关键技术的应用。  相似文献   

9.
基于ALCQ(D)的CBR事例表示及相似性度量   总被引:1,自引:0,他引:1  
针对目前用于CBR事例表示的描述逻辑,如EL、ALC、ALCNR等缺少定性数量约束和有型域约束的问题,将具有定性数量约束和有型域构子的描述逻辑ALCQ(D)应用于CBR中。首先使用ALCQ(D)概念表示有定性数量约束、具体数据类型和数据值约束需求的CBR事例,并对之索引。研究两种主要的具体数据类型:数值类型和符号类型。然后定义ALCQ(D)范式来规范事例的索引表示,最后给出事例相似性度量方法。该度量方法先对事例索引的各个部分进行相似性度量,然后对度量结果进行加权求和得到最终相似性。实验结果表明,ALCQ(D)可以更准确地表示事例,事例相似性度量方法可以更贴切地度量事例的相似性,这对提高事例检索的速度和准确性以及提高CBR系统的效率具有重要意义。  相似文献   

10.
CBR中的检索模型研究   总被引:3,自引:0,他引:3  
事例检索模型直接影响基于事例推理(Case-BasedReasoning,CBR)的结果。该文提出了一种将多概念学习的决策树算法、多维加权贴近度法与模糊综合评判法相结合的事例检索模型,并根据事例状态的属性设计了几种隶属度函数。分析了此模型的优缺点,指出了今后的改进方向。  相似文献   

11.
齐晶晶  郭跟成 《计算机应用》2006,26(5):1183-1185
本文主要是以一种有向带权类依赖图作为面向对象系统的UML类图的抽象表示,结合信息熵技术针对软件构件进行内聚耦合性及独立性度量。通过实验表明,该方法是一种较准确的软件构件度量方法,为权衡构件的设计质量提供了可靠的数据。  相似文献   

12.
基于面向侧面(Aspect-Oriented)技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系。同时,以模块化的状态迁移系统 (Modular Transition System)作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义。实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点。  相似文献   

13.
HOOD是由欧洲ESA公司开发的一种面向对象软件结构设计方法,它使用图形,结构化英语和Ada伪码来描述系统的设计规约,本文首先概述了HOOD方法的基本概念和对它进行的改进,然后提出了一种集成HOOD和形式化技术的方法,借助该方法可以获得更为严格的软件设计规约,最后简要介绍了其机器支持系统。  相似文献   

14.
Reviews and inspections of software artifacts throughout the development life cycle are effective techniques for identifying defects and improving software quality. While review methods for text-based artifacts (e.g., code) are well understood, very little guidance is available for performing reviews of software diagrams, which are rapidly becoming the dominant form of software specification and design. Drawing upon human cognitive theory, we study how 12 experienced software developers perform individual reviews on a software design containing two types of diagrams: entity-relationship diagrams and data flow diagrams. Verbal protocol methods are employed to describe and analyze defect search patterns among the software artifacts, both text and diagrams, within the design. Results indicate that search patterns that rapidly switch between the two design diagrams are the most effective. These findings support the cognitive theory thesis that how an individual processes information impacts processing success. We conclude with specific recommendations for improving the practice of reviewing software diagrams.  相似文献   

15.
Use Case modeling is a popular technique for documenting functional requirements of software systems. Refactoring is the process of enhancing the structure of a software artifact without changing its intended behavior. Refactoring, which was first introduced for source code, has been extended for use case models. Antipatterns are low quality solutions to commonly occurring design problems. The presence of antipatterns in a use case model is likely to propagate defects to other software artifacts. Therefore, detection and refactoring of antipatterns in use case models is crucial for ensuring the overall quality of a software system. Model transformation can greatly ease several software development activities including model refactoring. In this paper, a model transformation approach is proposed for improving the quality of use case models. Model transformations which can detect antipattern instances in a given use case model, and refactor them appropriately are defined and implemented. The practicability of the approach is demonstrated by applying it on a case study that pertains to biodiversity database system. The results show that model transformations can efficiently improve quality of use case models by saving time and effort.  相似文献   

16.
一种基于监测的嵌入式系统设计技术   总被引:6,自引:0,他引:6  
吴百锋  彭澄廉  孙晓光 《计算机学报》2003,26(12):1728-1733
提出一种嵌入式系统软硬件协同设计方法,它以数据流图为系统模型对嵌入式系统的功能和性能需求进行描述,并通过一种特定的实现结构,使得设计者可以借助快速样机平台和事件驱动式监测技术来精确测定目标系统对系统模型的实现状况,从而使得软硬件协同设计过程特别是系统优化和性能验证能在精确、可靠的测试数据基础上进行.同目前通常使用的以软硬件部件性能估算为基础的软硬件协同设计方法相比,这种以测试为基础的设计技术更能确保设计结果的合理.  相似文献   

17.
高宁  李智 《计算机科学》2017,44(11):187-190
问题框架(Problem Frames,PF)在需求工程研究领域中已经获得了广泛重视和研究。目前,问题框架的相关研究已经取得了较多成果,但如何从需求模型(问题图)平滑过渡到软件设计以及实现仍是一个有待解决的问题。文中对如何将问题图转换到用户场景文本以及通过用户场景来辅助行为驱动开发方法进行软件设计与开发进行了研究,提出了一种问题框架与行为驱动开发相结合的软件开发方法(PFBDD)。该方法能够帮助系统分析员将用户需求 平滑过渡 到软件设计及测试,从而避免软件项目中表达不一致带来的问题。此外,通过实例介绍了如何将此方法应用到一个车管业务排队系统中,并介绍了Gherkin语言和Specflow工具。该方法对于问题框架进一步走向实践具有重要的推动作用。  相似文献   

18.
侯超凡  吴际  刘超 《计算机科学》2014,41(11):162-168
网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。  相似文献   

19.
随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。给出了由RationalRose开发的规格说明文件生成IRCFG的算法,并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列的方法。  相似文献   

20.
This paper describes a knowledge-based approach to automate a software design method for concurrent systems. The approach uses multiple paradigms to represent knowledge embedded in the design method. Semantic data modeling provides the means to represent concepts from a behavioral modeling technique, called Concurrent Object-Based Real-time Analysis (COBRA), which defines system behavior using data/control flow diagrams. Entity-relationship modeling is used to represent a design metamodel based on a design method, called COncurrent Design Approach for Real-Time Systems (CODARTS), which represents concurrent designs as software architecture diagrams, task behavior specifications and module specifications. Production rules provide the mechanism for codifying a set of CODARTS heuristics that can generate concurrent designs based on semantic concepts included in COBRA behavioral models and on entities and relationships included in CODARTS design metamodels. Together, the semantic data model, the entity-relationship model, and the production rules, when encoded using an expert system shell, compose CODA, an automated designer's assistant. CODA is applied to generate 10 concurrent designs for four real-time problems. The paper reports the degree of automation achieved by CODA. The paper also evaluates the quality of generated designs by comparing the similarity between designs produced by CODA and human designs reported in the literature for the same problems. In addition, it compares CODA with four other approaches used to automate software design methods  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号