有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较.     

普适计算中多通道交互建模研究

计算机处理速度和性能的迅猛提高并没有相应提高用户使用计算机交互的能力,其中一个重要原因就是缺少一个与之相适应的高效、自然的人机交互界面.普适计算的发展为人们提供了一个无处不在的获取服务的环境,而多通道用户界面允许用户使用自然的交互方式,如语音、手势、表情等在此环境中与系统进行协同工作,改变了传统交互手段的局限性.重点讨论了基于笔和语音的多通道交互,给出了普适环境中对多通道交互建模的框架,进一步研究了在图形信息应用中的多通道交互实例,论证了创建自然多通道交互方式的优势.     

协作笔式用户界面开发工具研究

笔式用户界面是一种重要的Post-WIMP(window icon menu pointer)界面,它给用户提供了自然的交互方式.然而,当前的笔式用户界面工具箱大多是面向单用户任务的,不能很好地支持协作应用场景.通过对笔式交互特征和协作环境功能需求的分析,设计并实现了一个工具箱CoPen Toolkit,用于支持协作笔式用户界面的开发.它提供了灵活的架构和可扩展的组件,支持笔迹描述、事件处理和网络协作等功能.基于CoPen Toolkit,构造了多个原型系统,实践表明,它能够很好地支持协作笔式用户界面的开发.     

云制造环境下的普适人机交互技术

为使云制造环境下的用户界面能够满足云制造全生命周期各种用户的需求,对云制造环境下的用户界面特征进行了分析,指出云制造环境下的用户界面具有普适性与自然性、智能化与移动性、虚拟化与松耦合、个性化与全生命周期可定制性等;对新一代普适人机交互技术的现状与趋势进行了综述,指出新一代人机交互技术包括基于现实的人机交互、自然用户界面、笔式用户界面和上下文感知技术;在此基础上提出了云制造环境下普适人机交互技术的研究框架,对其中的用户界面虚拟化资源的动态按需配置技术、按需服务的普适个性化界面定制技术、面向普适设备的自然交互技术、面向普适信息的可视分析技术、笔式操作平台等关键技术进行了分析.最后对云制造环境下普适人机交互技术的未来发展进行了展望.     

基于PLIB标准面向零件族的零件库信息模型及其表达

建立零件库的目的是通过有效的零部件供应渠道和整个供应链的信息集成实现企业间和企业内部零件资源共享.不同应用系统(如CAD)间的数据表达与交换成为零件库资源共享的关键和瓶颈问题.本文基于PLIB(ISO13584)标准,面向零件族,用形式化的方法和统一的数据格式表达零件库信息,建立零件库信息模型.文章首先分析了对零件库信息表达的需求,然后介绍了PLIB标准,最后描述基于PLIB标准的零件库信息模型,并且结合法兰盘零件族,介绍了基于ISO10303-21的零件族信息物理文件表达.     

计算机辅助口腔下颌运动的显示与处理系统

叙述了一个计算机辅助口腔下颌运动的显示与处理系统。此系统包括用下颌运动轨迹描记仪获取口腔下颌运动轨迹的数据及对其进行校正、分离等处理和通过轨迹放大、移动、测量等显示手段辅助医生诊断和研究。并且在此系统中建立了口腔下颌骨的三维模型，可以形象再现口腔下颌运动过程。此系统既辅助医生的临床诊断，又可以用于口腔下颌运动的教学和科研工作     

多通道界面软件结构模型及整合算法

多通道界面是利用多个输入通道进行人机交互的新一代人机界面，旨在提高人机交互的自然性和高效性，本文首先阐述了多通道界面的概念和研究问题，然后提出评价多通道界面人机交互效率的一种机制，结合面向任务的观点提出了一种多通道界面的软件结构模型，在此基础上实出一个具有多通道界面特点的原型系统（ＭＭＬ＿ＰＲＯ）并给出相应的通道整合算法，最后利用指出的评价机制对ＭＭＩ＿ＰＲＯ交互效率进行了定量评价。     

基于知网的文本推理

文本推理在自然语言处理的应用中占有极为重要的位置,本文介绍了基于知网的一种推理方法,该方法以语义网络的形式表示知网中的知识,利用“标记传递”实现推理。其特点是引入构造-融合模型的思想,动态生成知识结构,有引导地在文本词汇间建立推理路径。利用16种推理类的实例对其进行测试,结果表明在有足够上下文的条件下,该方法能够得出较为理想的推理,并且代价不高。     

家居设计系统中基于辅助射线的房间搜索算法

在家居设计系统中,房间的搜索是一个重要的问题,它是正确显示二维户型图以及生成三维虚拟房间的关键。论文以虚拟家居设计系统为应用背景,分析了家居设计过程中房间拓扑图到户型图的转换过程,通过引入辅助射线的概念,提出了一种规范化房间搜索算法,并用图论的理论加以形式化,该算法可以正确地搜索并绘制出房间。该算法在实际应用中取得了较好的效果。     

CoPenML:基于XML的笔式用户界面构件体系结构

笔式用户界面在许多领域得到了广泛应用,但现有的笔式界面技术不能支持高层次、多领域的可视化界面制作,很难实现面向软件构件的重用．因而提出一个新的解决方案,面向构件的体系结构CoPenML．该方案基于XML语言抽象描述了笔式界面的配置组成．可用于快速生成界面原型及二次开发接口,并且在系统实现级以及场景图级两个层面上实现软件构件的重用．设计了CoPenML的体系结构并给出了界面描述语言规范．最后开发了基于CoPenML的笔式界面制作环境以及相关工具．结果表明该方案对于笔式用户界面制作是十分有效的．