摘要:在当今世界，WWW已经成为新颖而强大的媒体，但是，现在运行于Web上的应用仍然不是完全多媒体化的.这主要是因为Internet网络是不可靠、尽力型的，无法提供数据实时传输的保证，尤其对那些大数据量的连续媒体(如视频与音频数据).因此，在Web环境中多媒体对象间的同步就变得格外复杂.该文提出了一种新颖的同步模型：弱同步.它使多媒体文档即使在多变的环境下也能获得最佳效果.在弱同步中，不仅可以定义对象间确定的时间关系，也可以定义非确定的时间关系.此外，媒体间的同步关系，如严格同步和松散同步，也可以在文档的同步描述中定义.

摘要:提出一种应用软件开发的新方法，称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法，强调用户在应用软件开发中的主导作用，试图将应用软件的开发过程变成用户详细定义过程，而不仅仅是传统的编程过程.它为越来越多的应用软件开发需求提供了可能有效的一个途径.

摘要:Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果，其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法，正好弥补了这一缺环.而取代2维on-line tesselation自动机，引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似，另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时，标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理.

摘要:该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式.

摘要:基于传统的Borǔ vka串行最小生成树算法，提出了一个在消息传递并行机上的高效的最小生成树算法.并且采用3种方法来提高该算法的效率，即通过两趟合并及打包收缩的方法来减少通信开销，通过平衡数据分布的办法使各个处理器的计算量平衡.该算法的计算和通信复杂度分别为O(n²/p)和O((t_sp+t_wn)n/p).在曙光-1000并行机上运行的实际效果是，对于有10 000个顶点的稀疏图，通过16个节点的运行加速比是12.

摘要:工作流技术是进入90年代以后计算机应用领域的一个新的研究热点.对工作流技术进行深入的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有着重要的意义.该文首先介绍了工作流技术的起源与发展;然后对工作流的研究现状进行综述,主要包括工作流定义、工作流模型、工作流实现方案以及工作流事务管理这4个方面;同时分析了目前工作流技术中所存在的不足以及造成这些不足的根本原因;最后指出了工作流技术的未来发展趋势.

摘要:数据模型是数据仓库研究的核心问题之一.很多研究表明,传统数据模型(如实体联系模型和关系模型)不能有效地表示数据仓库的数据结构和语义,也难以有效地支持联机分析处理(on-line analysis processing,简称OLAP).最近,人们提出了几种多维数据模型.但是,这些多维数据模型在表示数据仓库的复杂数据结构和语义以及OLAP操作方面仍显不足.该文以偏序和映射为基础,提出了一种新的多维数据模型.该数据模型能够充分表达数据仓库的复杂数据结构和语义,并提供一个以OLAP操作为核心的操作代数,支持层次结构间的复杂聚集操作序列,能够有效地支持OLAP应用.该数据模型支持聚集函数约束的概念,提供了表示层次结构间聚集函数约束的机制.

摘要:移动agent计算模式将成为未来网络计算的主流模式.移动agent的迁移机制是其技术核心之一.该文分析了现有移动agent系统中采用的几种代表性迁移技术,提出了一种新的结构化迁移机制.该机制的主要特点如下:(1) agent的旅行计划和功能体完全分离;(2) 旅行计划本身也具有严格定义的结构;(3) 提供了3种灵活有力的迁移模式.因此,它能有效地控制移动agent的复杂度,有利于agent的复用.在该机制的基础上,设计并实现了移动agent系统Mogent1.0.

摘要:提出了变形映射和变形源的概念，给出一种基于变形映射的二维工程图约束图有向化与求解新方法.同时，提出一种基于变形映射的约束图有向化新方法,并在约束图分解的基础上,给出了一个基于复合节点及虚拟约束的约束图变形求解新算法.应用此方法,可提高约束图有向化的可靠性、降低计算复杂度,且能方便地求解带有循环约束的约束图.

摘要:针对现有的方法不能很好地满足CSCW系统对访问控制提出的新的需求,该文提出了一个基于角色的CSCW系统访问控制模型RBCSAC(role-based collaborative systems access control).该模型形式化地描述了数据、操作、权限、角色和用户等要素及其相互间的关系,提供访问控制信息的记录方法,通过分配和取消角色来完成对用户权限的授予和取消,并且提供了角色分配规则和操作合法性检查规则.该模型针对CSCW系统的多用户、交互、协作、实时、动态等特性,能较好地满足CSCW系统对访问控制的需求.

摘要:该文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求合并在一起的综合方案.在这个方案中,分组丢失控制是基于动态缓冲阈值(dynamic buffer threshold,简称DBT)方案.在DBT方案中,缓冲控制阈值基于分组丢失行为而动态地变化.在静态缓冲阈值(static buffer threshold,简称SBT)方案中,分组丢失变化没有控制,丢失率变化大.对于缓冲控制阈值的确定,没有简明的数学表达方式.由于SBT不能随着传输突发特性的变化而变化,从而影响网络的系统性能.该文提出的DBT方案不但可以克服这些问题,而且可以确定和控制标志分组与非标志分组丢失率之间的比例关系.文章给出了所提出方案的随机Petri网性能模型、不同分组级别之间的丢失比例数学公式以及此方案重要性能的模拟和分析结果.

摘要:众所周知,“模式定理”和“隐性并行性”是遗传算法(genetic algorithms,简称GA算法)的两大理论基础.该文对这两个原理进行分析,指出这两个原理存在有不严格和不足之处,即作为GA算法的基础,这两个原理尚欠完善.为加深对GA的理解，文章提出遗传算法的一个新的改进模型——理想浓度模型.通过对此模型的分析,得出遗传算法本质上是一个具有定向制导的随机搜索技术.其定向制导原则是,导向以适应度高的模式为祖先的染色体“家族”方向.最后给出两个典型的函数求最大值的模拟例子.从模拟结果看,改进后的GA算法大大提高了算法的速度,解的精度也有所提高.这说明新算法具有应用的潜力.

摘要:针对传统自组织竞争学习方法的不足,将模糊竞争学习引入竞争Hopfield网络中,由此设计了一个用于图像分割的模糊竞争Hopfield网络,通过将图像空间映射到灰度特征空间，实现灰度特征集的模糊聚类,进而实现图像分割.实验结果表明:对于二值分割,与Ostu方法相比，此算法在分割效果和对噪声的自适应能力方面具有明显的优点.对于多类分割,此算法比目前的FCM(fuzzy C mean)算法的处理速度要快.

摘要:如果能自动地从航空遥感图像中提取出道路网,将会简化城市地物目标的分类和测量过程.该文根据城市主要道路在图像中的特性进行了模型化处理,进而提出了基于直线的、自动提取的方法.算法重点考虑到成像过程中必然引入的各种噪声,用高斯分布函数模糊化直线参数,使提取具有良好的稳健性.算法中的参数选择都是通过理论分析所得,因此，提取过程实现了自动化.实验结果表明,该方法能够从实际航空遥感图像中提取出主要道路网.

摘要:意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型，但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如，副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比，比较简单、自然,且满足K公理和联合一致性原理,实际上，为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.

摘要:统计语言模型在语音识别中具有重要作用.对于特定领域的识别系统来说,主题相关的语言模型效果远远优于领域无关的语言模型.传统方法在建立领域相关的语言模型时通常会遇到两个问题,一个是领域相关的语料不像普通语料那样充分,另一个是一篇特定的文章往往与好几个主题相关,而在模型的训练过程中,这种现象没有得到充分的考虑.为解决这两个问题,提出了一种新的领域相关训练语料的组织方法——基于模糊训练集的组织方法,领域相关的语言模型就建立在模糊训练集的基础上.同时,为了增强模型的预测能力,将自组织学习引入到模型的训练过程中,取得了良好的效果.

摘要:虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.

摘要:分枝界限算法是解决组合优化问题的常用方法之一.对于给定的问题和分枝策略,算法的运行时间取决于实现算法的数据结构.该文讨论了立体堆及其上的插入、删除算法;通过将分枝界限算法的运作过程与排序过程建立对应关系,给出了一般分枝界限算法的复杂度下界Ω(m+hlogh),其中m为评估的结点数,h为扩展的结点数;得出了立体堆为实现一般分枝界限算法的几乎最优数据结构;并对具体的作业分派问题实现了一个使用立体堆的分枝界限算法;提出了改善立体堆平衡性的措施.

摘要:提出了自适应多尺度边缘检测算法及其快速实现办法.算法通过自适应确定边缘像元的最佳滤波尺度来检测边缘,计算量较小.同时提出了一种自适应确定一幅图像边缘的尺度范围的方法,并为描述边缘特性增加了一个边缘尺度参数.用于检测实际图像边缘的实验结果是令人满意的.