公共文化服务平台

中国科学院计算机科学国家重点实验室开放课题基金: 作品数：18 被引量：46H指数：4; 相关作者：华庆一蒋运承王驹买桂英张维更多>>; 相关机构：中国科学院软件研究所西北大学广西师范大学更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划广西壮族自治区自然科学基金更多>>; 相关领域：自动化与计算机技术自然科学总论文化科学更多>>

描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5: 2010年; 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.; 张维侯金宏曹发生王驹蒋运承; 关键词：描述逻辑

带n-元存在量词的描述逻辑MSC推理被引量：2: 2009年; 分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.; 蒋运承唐素勤; 关键词：描述逻辑 MSC

独立于设计者的行动推理: 2009年; 高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.; 周生明王驹蒋运承; 关键词：情境演算知道逻辑知识流

基于AOP技术的Composite模式的改进被引量：6: 2008年; Composite模式是解决部分与整体关系时常用的设计模式,但基于面向对象设计(OOP)所实现的Composite模式中存在的问题很难利用OOP解决。该文应用面向方面编程(AOP)改变类的行为,利用AspectJ实现Composite模式,通过与以OOP技术实现的Composite模式比较,得出应用AOP方法能够较好地实现责任分离,具有较高的可扩展性,模块结构更清晰。; 李光俊华庆一吴海松; 关键词：设计模式 COMPOSITE模式

基于VRML的微机原理学习系统的开发被引量：4: 2008年; 讨论了如何应用虚拟现实技术来提高计算机硬件课程教学质量的问题.介绍了当前微机原理课程的教学现状,指出在教学过程中使用计算机虚拟技术的优势,并在此基础上,探讨一个网络版的桌面虚拟微机原理学习系统的设计和开发.; 买桂英华庆一; 关键词：互动微机原理

描述逻辑系统εLN中概念最小公共包含推理研究被引量：2: 2012年; 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。; 张维曹发生余泉王驹; 关键词：描述逻辑同态

一种将时间Petri网转化为时间自动机的方法: 2008年; 为了对一种特定的时间Petri网模型的性质进行分析和验证,给出了一种将时间Petri网转化为时间自动机的方法。将时间Petri网转化为时间自动机后,就可用常见的基于时间自动机的模型检测工具去验证系统是否满足某些必要的性质。; 夏传良; 关键词：时间PETRI网时间自动机性质分析

一种集成类层次和系统层次的面向对象软件复杂性度量集被引量：3: 2010年; 分析了面向对象软件类级别的度量CK和Li方法以及系统级别的度量MOOD方法,并结合面向对象技术的特性用Weyuker度量评价标准对这些方法固有的缺陷和不足进行了分析.在此基础上,结合CK,Li和MOOD方法的优点提出了较为全面的综合考虑类级别和系统级别的面向对象程序的度量集,称之为ISCM(integrated software complexity metrics).此度量集可有效地弥补CK,Li和MOOD方法的不足,从而优化度量结果.; 李大鹏郭平陈新宇; 关键词：面向对象 CK LI MOOD

基于AHP的企业绩效网络考核系统设计被引量：4: 2010年; 企业绩效具有多维性的特点,考核对象较多、考核指标复杂、主观评价指标权重难以确定使考核有一定模糊性,难以保证可靠与公平。使用层次分析法对考核指标划分层次结构,进行定性和定量分析,结构清晰,数据准确,提高了绩效考核的准确性。在算法实现中采用公式自动生成、自动计算的方法,即时给出结果分析和报表,减少了用户工作量。针对某企业的具体情况,开发了网络考核平台,为企业绩效考核提供了新的工具和思路。; 邓式阳杜玉越董云清; 关键词：层次分析绩效考核判断矩阵

3IBook:一个面向儿童的界面隐喻的分析、设计与评估被引量：4: 2009年; 计算的无处不在使得计算机已成为儿童学习、娱乐的工具,而设计和开发面向儿童的互动系统的主要瓶颈在于如何设计界面隐喻,使其更易于儿童理解和使用.通过对现有界面隐喻的分析,针对儿童的认知特征提出一个基于儿童卡通读物的界面隐喻——3IBook,并从结构设计、操作设计和实效设计3个方面描述3IBook的设计特征;同时分析了基于3IBook的交互模型.最后通过一个互动游戏系统的实现来评估该隐喻在面向儿童的交互式软件中应用的合理性和有效性.; 梁怀宗华庆一张凤军刘庆芳; 关键词：用户界面儿童游戏

中国科学院计算机科学国家重点实验室开放课题基金

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

中国科学院计算机科学国家重点实验室开放课题基金

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈