收藏本站
《中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集》2001年
收藏 | 手机打开
二维码
手机客户端打开本文

人机界面中知识库维护的高效算法

栾尚敏  戴国忠  程成  陈由迪  
【摘要】:本文首先给出了命题Horn型和二文字子句型知识库时的维护算法。对于只存在唯一极小不协调的子集的情况,命题horn子句集和二文字子句集上的基于语法的维护是多项式时间的。若原知识库有唯一模型,基于模型的方法是线性时间可求解的;基于语法的方法,可以在多项式时间内求得部分极大协调的子集。本文还证明了算法的正确性,分析了时间复杂性。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 许志坚;;专注需求 成就专业[J];现代制造;2010年36期
2 ;耐用稳定的人机界面[J];现代制造;2010年36期
3 王争;;发扬优势 成就高端[J];现代制造;2010年36期
4 Andy Gryc;;智能屏幕在工业控制中的应用[J];软件;2010年01期
5 谷成;陈越惠;陈志;;基于PLC的模糊控制煤炭传输系统研究[J];硅谷;2011年15期
6 胡倩妤;刘志坚;周利骏;雷振;;电力负荷特性参数分析软件包的实现及应用[J];上海电力学院学报;2011年03期
7 董欣;孟令华;孙继华;马健;;人机界面HMI在涡流探伤中的应用[J];自动化与仪表;2011年08期
8 吴艳花;雷俊杰;;基于840D数控系统的人机界面二次开发[J];机床与液压;2011年10期
9 杨静;;多媒体课件中的人机界面设计研究[J];中国科教创新导刊;2011年22期
10 王海生;任杉;赵欣;韩青;;小型污水处理厂控制系统的触摸屏界面设计[J];林业机械与木工设备;2011年07期
中国重要会议论文全文数据库 前10条
1 栾尚敏;戴国忠;程成;陈由迪;;人机界面中知识库维护的高效算法[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
2 朱俊华;孔建益;杨金堂;熊禾根;蒋国璋;;基于PMAC控制器五杆机构控制系统开发[A];12省区市机械工程学会2006年学术年会湖北省论文集[C];2006年
3 郑娟;;武钢3~#大方坯连铸机监控系统[A];中国计量协会冶金分会2008年会论文集[C];2008年
4 张润连;;触摸屏在泵站工控中的应用[A];中国电工技术学会第八届学术会议论文集[C];2004年
5 张家冰;;四辊液压轧机厚度预控参数在线调整[A];全国冶金自动化信息网年会论文集[C];2004年
6 郑娟;;武钢3~#大方坯连铸机监控系统[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
7 章云;郑华耀;叶银忠;马蓉;;轮机模拟器仿真软件的开发[A];1998年上海市系统仿真学会学术年会论文专辑[C];1998年
8 杨海马;李瑞廷;刘瑾;;基于LabVIEW的温湿度检测系统的设计[A];第三届全国虚拟仪器大会论文集[C];2008年
9 高亚春;;PLC与0P27在倍尺飞剪控制系统中的设计与应用[A];全面建设小康社会:中国科技工作者的历史责任——中国科协2003年学术年会论文集(下)[C];2003年
10 隋志蔚;杨前明;赵芳;李光元;;PLC与触摸屏通讯的实现和应用[A];2006年山东省制冷空调学术年会“格力杯”优秀论文集[C];2006年
中国重要报纸全文数据库 前10条
1 ;车载人机界面-Auto PC[N];中国汽车报;2002年
2 刘霞;人机界面研发迈出重要一步[N];科技日报;2009年
3 张岩;台达集团AE系列人机界面展现“本色”[N];中国纺织报;2006年
4 本报记者 林川 许枫;人机界面心言手语[N];中国计算机报;2001年
5 晓舟;开发人机界面无需编程[N];中国计算机报;2001年
6 薛严;韩推动人机界面技术产品化[N];科技日报;2010年
7 本报记者 蒋秀娟实习生 付丽丽;未来十年,计算机将怎样与您亲密接触?(下)[N];科技日报;2008年
8 ;智能接口六大技术[N];计算机世界;2001年
9 临沂师范学院计算机系 管士亮 山东鲁南制药厂 宋环银;拉近人、机心理距离 增强CAI教学效果[N];中国计算机报;2000年
10 ;基于SOC/IP的智能传感器设计研究(下)[N];电子报;2007年
中国博士学位论文全文数据库 前10条
1 宋正河;机械系统人机界面优化设计方法的研究[D];中国农业大学;2000年
2 顾文艳;机械系统人机界面虚拟设计方法的研究[D];中国农业大学;2002年
3 高双林;木工宽带砂光机人机界面优化与评价研究[D];北京林业大学;2003年
4 夏春艳;核电厂主控室人机界面评价方法研究[D];哈尔滨工程大学;2010年
5 李晓;自适应人机交互界面研究[D];西南师范大学;2004年
6 王培俊;基于Web与VR的异地实时协同工作系统与虚拟环境的研究[D];西南交通大学;2004年
7 赵海信;开放式数控系统软件平台实现技术的研究[D];武汉理工大学;2006年
8 张志义;工程车辆三参数模糊自动换挡规律研究[D];吉林大学;2007年
9 朱全胜;能量控制中心交互系统的相关技术研究[D];大连理工大学;2009年
10 王滔;基于多Agent理论和虚拟现实技术的工控人机系统研究及应用[D];上海大学;2005年
中国硕士学位论文全文数据库 前10条
1 黄婷;老年人移动通讯终端人机界面设计研究[D];西北工业大学;2006年
2 宋巧苓;虚拟仪器人机界面的人性化设计研究[D];大连理工大学;2006年
3 刘育苗;军用移动机器人行走驱动及控制系统研究[D];南京理工大学;2004年
4 高峰;同质化背景下的消费类数码产品人机界面研究[D];江南大学;2004年
5 厉善亨;船艇电站建模综合管理与动态仿真系统的实现[D];上海海事大学;2005年
6 栗承斌;天线罩数控专用磨床关键控制技术的研究[D];大连理工大学;2006年
7 宋明权;基于ARM的嵌入式人机界面硬件平台的开发[D];华中科技大学;2005年
8 路遥;虚拟旅游系统的设计与实现研究[D];西北工业大学;2006年
9 张琪;塑料薄膜表面处理电源的PS-PWM控制及其人机界面[D];浙江大学;2006年
10 冯沛儒;电能质量监测装置的人机界面研发[D];浙江大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026