面向对象的超媒体系统模型

本文将面向对象技术与现有的超媒体系统结构参考规范Dexter相结合，提出了一种面向对象的超媒体系统结构模型。它与已有模型相比具有结构清晰、易扩充、一致性好和有效减少用户“迷路”机会等特点。     

Dexter：一种超媒体参考模型

目前超媒体系统的应用领域变得越来越广泛，但是这些超媒体系统在设计和实现的过程中往往出现了术语不统一和系统描述方法大相径庭的问题，因此Ｄｅｘｔｅｒ模型的诞生为未来超媒体系统的设计起着参考的指导作用。本文首先对国内容易引起混淆且使用混乱的三个概念－超文本、多媒体和超媒体－予以明确的定义，然后详细介绍Ｄｅｘｔｅｒ模型的三层结构，最后总结了Ｄｅｘｔｅｒ模型的成功与不足之处。     

基于结构特性的超媒体模型

将超媒体的结构特性与形式语言学理论相结合,提供了一种有效地分析超媒体动态结构的特性的方法,该方法将超毁体组件集合映射为语言中的抽象符号集合,组件集合之上的链映射为语言中建立单词的方法,超媒体的结构化机械制映射为语言中的抽象符号集号,组件集合之上的链映射为语言中建立单词的方法,超媒体的结构化机制映射为语言中描述单词集合构造机制的语法,超媒体模拟为转换机,“链引导”动作模拟为“匹配对”序列,“链引导”的计算结果产生与上下文无关文法相对应的虚拟文档,从而为进一步研究超媒体的浏鉴语义及其它动态特性提供了理论基础。     

超媒体同步模型研究

本文以Ｄｘｔｅｒ超文本参考模型为标准,吸收了Ａｍｓｔｅｒｄａｍ超媒体和Ｔｒｅｌｌｉｓ模型的优点,将所提出的分布多媒体同步Ｐｅｔｒｉ网模型扩展到超媒体,即提出一种分布超媒体同步Ｐｅｔｒｉ网模型。该模型可较好地解决分布超媒体系统中超链、对象同步和用户交互三个关键问题。     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

超媒体技术研究

本文论述了在电子出版软件开发中有关超媒体模型的重要技术，描述了其思想框架和表现技术，概括了它们的综合特性，给出了实现方法。     

基于Agent模型的开发放超媒体个性化

该文提出了基于Ａｇｅｎｔ模型所实现的开放超媒体个性化，利用分布对象技术实现Ａｇｅｎｔ机制，并定义了多Ａｇｅｎｔ之间的通信的意义。利用这种Ａｇｅｎｔ机制实现了开放超媒体个性化的开发框架，可实现各个性化行为，以解决现有超媒体存在的问题。     

一种超媒体表现的时间合成模型

多媒体信息在时间上具有一定的意义，即媒体表现需要时间，而同时在超媒体系统中多媒体表现对于用户来说又是“有交互性参与创作再现”，因此还必须将文互性也“时间化”我们在“基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ多媒体创作平台ＨＣＳ”中采用了一种不确定的时间关系模型来统一描述超媒体表现及其交互的时间合成。它是一种即能表示定量时间关系，又能表示定性时间关系的模型，而且所有的时间关系都可以用图形表示，目的就是要建立一种     

一个事件驱动的超媒体模型

本文提出一个事件驱动的超媒体模型,较好地解决了超媒体链、对象同步和用户交互3个关键问题.该模型在结构上分为数据层、容器层和表现层3层,采用直观的时间轴定义各种对象同步关系,通过交互对象和内置的描述语言定义复杂动作,兼顾了直观性、灵活性和交互性;采用完善高效的超媒体链定位方法,支持多人同时工作.以EDHM(event-driven hypermedia model)为基础研制的多媒体著作工具Ark已在国家大型应用系统的开发中得到很好的应用.     

基于覆盖模型的适应性超媒体系统用户建模

在适应性超媒体系统中,用户模型的建立是实现系统适应性的前提。提出的适应性学习系统,参考多种用户信息,包括用户的知识状态、认知风格,并根据用户与系统的交互行为,动态更新用户模型。作为智能型教学系统,可以帮助教师实施基于网络的课程,推荐给学生恰当的学习材料,从而提高学生的学习成绩。通过实验评估本系统的功能,对比在三种不同的网上学习环境中学生的学习效果,统计分析显示,适应性学习材料以及适应性呈现风格对于提高学生的学习成绩和学习效率是很有帮助的。     

超媒体系统中的一种图形对象数据模型

本文在分析了图形媒体对象结构的基础上，运用Ｄｅｘｔｅｒ超文本参考模型建立起一种图形对象的数据模型。在该模型中，通过概括和建立起对象的共享属性和操作机制；对象成员存储结构中的锚定点支持层、图元和区域热对象，属性集定义图形对象的类型和检索特性；图形成员对象的实例化向用表现多媒体成员，利用表现规范和锚定点的可视表示提供用户的交互、信息迁移和图元变换表现，实现编辑函数可以保存用户对图形成员对象的修改。     

工控软件设计中的复用技术研究

本文通过分析工控软件设计的特点和发展趋势,指出采用软件复用技术是解决目前工控软件设计过程中效率低,重复劳动多,软件灵活性差的一条很好的途径,并提出了一种全新的工控软件设计体系——部件化结构,作为工控软件设计过程中复用技术的一种解决方案．     

系统动态行为语义模型及其形式描述

文中综述刻画系统动态行为的计算模型和形式化方法,包括算法模型,逻辑模型,基于进程代数的模型和方法,Ｉ／Ｏ自动化,Ｐｅｔｒｉ网及Ａｃｔｏｒ模型,并有针对性地本质上分析和比较它们在描述系统动态行为方面的特点和优劣。文事还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征,包括交互,并发和分布等。     

安全协议的设计流程及层次模型研究

借鉴软件工程的思想,提出安全协议设计流程以及安全协议的层次模型和安全属性层次模型,并对该层次模型进行攻击分析。分析每一层面临的各种攻击手段和攻击方法,重点探讨了层间攻击,并用两个典型的例子给予说明。最后将提出的模型和框架作为安全协议工程的基础发展安全协议工程,以期最终解决安全协议设计和应用的问题。     

SoC设计中虚部件构建与封装方法研究

近年来,软硬件协同设计技术受到了系统级设计语言和基于平台设计方法的深刻影响。本文提出了一种基于层次平台的SoC系统设计方法,将SoC系统设计过程分为系统层、虚部件层和实部件层三个设计层次。分析了在虚部件层中设计虚部件时必须满足的三个方面的需求,提出了一种新的虚部件构建和封装方法。     

EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS

This article deals with the problem of providing Kowalski and Sergot's event calculus, extended with context dependency, with an efficient implementation in a logic programming framework. Despite a widespread recognition that a positive solution to efficiency issues is necessary to guarantee the computational feasibility of existing approaches to temporal reasoning, the problem of analyzing the complexity of temporal reasoning programs has been largely overlooked. This article provides a mathematical analysis of the efficiency of query and update processing in the event calculus and defines a cached version of the calculus that (i) moves computational complexity from query to update processing and (ii) features an absolute improvement of performance, because query processing in the event calculus costs much more than update processing in the proposed cached version.     

时态覆盖集诊断模型TGSC

本文通过引入时态一致覆盖集的概念，提出了一个基于时态推理与覆盖技术的时态覆盖集诊断模型ＴＧＳＣ。ＴＧＳＣ利用模糊描述有关征兆、故障及相互间关系的时态知识。文中建立了ＴＧＳＣ的基本框架。给出了基于假设图搜索的诊断问题求解方法，并伴以计算示例。