超媒体系统的模型研究

超媒体技术是一种管理多媒体信息的有效方法，这是一种不同于以往线性文本和表格式数据库的全新的管理手段．指出了超媒体系统是以人类的记忆和思维模型及传统的信息管理技术为基础而合理发展起来的自然产物，给出了超文本和超媒体系统中组成单位的定义，应用面向对象的方法给出超媒体系统的分层模型，还分析了超媒体系统与其它信息系统的关联．     

超媒体系统HMATS及其应用

介绍了超媒体系统ＨＭＡＴＳ的特点和使用方法，给出了在ＨＭＴＳ下的一个应用实例。     

自适应超媒体技术在CAI中的应用研究

本文介绍了超文本系统和超媒体系统的概念、系统模型和组成要素。重点介绍了自适应超媒体技术在CAI中的应用。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

超媒体简报系统的设计和实现

作者提出了设计超媒体简报系统的基本思想，并给出一种具体的实现方案，该系统较好地实现了编辑和浏览超媒体文档的功能，首先，在给出了多媒体节点和链的数据结构的基础上，设计了一个把包含超链接信息的文本文件转换成超媒体文档的文本文件编译器，并利用媒体控件接口函数集MCI实现声音、动画和视频在系统中的播放，然后，设计了一个热点编辑器，用以建立具有规则热区和不规则热区的超图像，最后采用了两种导航方法，解决了系统中的迷航问题。     

超媒体汉字学习系统

本文介绍一个超媒体汉字学习系统，系统是以认知理论为依据，应用多媒体创作工具建造．系统能在节点中显示文本、图形、图像、动画、声音等多媒体信息或它们的组合．系统采用超文本结构，可以支持多种学习路径．     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

开放超媒体系统模型的一种实现

本文在提出开放超媒体概念的基础上 ,对开放超媒体系统所具备的特征、设计准则、系统模型等进行了探讨 ,最后给出了系统实现的具体方法     

超媒体与电子出版物

1945年,美国科学家布什(V.Bush)首先描述了一种名为Memex的新型信息管理与存取技术,为超媒体系统的起步导乎先路。1968年,斯坦福研究院的恩格尔巴特(D.Engelbart)研制成功Aug-ment(拓展)系统,首次实现了上述技术。80年代以后,以个人计算机、网络和多媒体的进步与普及为背景,超媒体系统进入了飞速发展的时期。值得大书一笔的是万维网超文本系统。它采用了超文本传输协议(Hypertext Transter Proto-cal)和超文本标识语言,加上灵活易用的接口软件Mosaic和Netscape,使网上的各种信息建立了关联关系,以其友好     

决策支持系统中的超媒体集成技术

目的 研究决策支持系统中的超媒体集成技术,方法 引入动态超媒体的概念,将结点,链接和链接标记扩展为虚拟确定,动态计算和过滤。利用显示子系统和控制子系统的构造超媒体引擎。结果 通过动态计算,超媒体引擎能够使用连接规则生成超媒体表示,并将其动态迭加到决策支持系统中的知识组件中。结论克服了现有超媒体技术的不足,从而用户能够借助超媒体引擎,访问各种动态信息。     

介词on的意象图式及语义延伸

从认知的角度研究介词on的静态和动态空间的意象图式,并对其通过空间隐喻延伸的语义进行分类举例。就美国当代英语语料库(COCA)对介词on的隐喻语义在口语中的使用状况进行分析。     

基于限制的OLAM任务语义模型

通过对大量决策分析算法的分析,提出了基于限制(Constraint)的OLAM任务语义模型,该模型从一定的逻辑高度对OLAM进行抽象,利用它可以分析OLAM任务的共性,提取OLAM任务执行时的基本操作,这些基本操作的基础是语义片断。文中给出了语义片断之间关联关系的分析和判断方法,提出了基于限制的、具有方向性的语义关联度定义。语义片断间关系的确定是OLAM任务/事务优化的基础。     

演绎数据库的语义查询优化

演绎数据库的语义查询优化是根据数据库中的完整性约事条件对查询进行优化，本文推出了两种基于完整性约束条件的优化方法，通过编译时对规则的改写，减少了参与计算的中间结果的数目，避免了不必要的操作提高了计算的效率。     

超媒体系统组织层子模型的研究和设计

超媒体技术是管理多媒体信息的有效方法和手段，它以网络方式进行信息的存储和检索。系统中组织层设计的优劣涉及到整个超媒体系统的成功与否。作者运用面向对象的方法对其组织层的关键元素──链和节点进行了分析，并讨论了各自的设计方法。     

基于本体的多Agent语义挖掘系统

在分析语义W eb与本体需求的基础上,提出了基于本体的多A gent语义挖掘系统模型。该系统由用户A gent、匹配A gent、语义中间件、推理A gent、查询A gent、本体库以及语义信息源等组成。并且开发了基于本体的多A gent语义挖掘系统的实验原型,为下一步研究开发比较成熟的软件产品奠定了良好的基础。     

集成部分-整体语义联系到OODBS的通用方法

给出了包含五个特征域的部分-整体语义模型的完整的形式化定义。部分-整体语义联系是现实世界中客观实体之间常见的联系,然而流行的商用OODBS并没有为之提供内在的支持。为此,MHalper等人提出了一种基于元类机制的将部分-整体语义联系集成到OODBS中的方法,由于只有少数的OODBS支持元类机制,故而M.Halper等人提出的方法存在一定的局限性。本文针对这一问题提出了一种新的将部分-整体语义联系集成到OODBS中的方法,该方法对于OODBS本身没有任何的限制,因此具有较广泛的通用性。     

含有非理想完整约束的非完整系统的打击问题

研究了当非完整系统中含有非理想的完整约束时的打击问题的拉格朗日方法。针对一阶线性非完整系统, 得到了含有多余广义坐标的非完整系统带乘子的拉格朗日方程, 在此基础上推导了系统受到打击时, 打击前后系统状态之间的关系及打击期间的约束反力冲量。在算例中, 详细描述了当打击冲量未知时该方法的实现过程。