并发更新环境下的视图维护异常研究

通过对视图维护过程中的更新异常进行分析,发现并发更新是导致视图维护异常的主要原因.在并发环境下,数据更新和模式更新极有可能同时存在,这对视图维护工作带来极大的困难.在实例分析基础上,深入而细致地刻画了模式与数据全面并发的典型情形,为视图维护工作奠定基础.     

模糊超球神经网络的条件重叠学习算法

模糊超球神经网络的聚类学习算法采用形状因子θ实行有指导的学习.针对θ的引入所带来的问题,提出一种新的无指导学习算法--条件重叠学习算法.算法不受模糊超球形状因子θ的影响,学习速度快,学习后的模糊超球个数更少,识别正确率更高.     

CORBA系统事务处理的模拟和分析

事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处理与对象在ORB层上结合.事务成为分布式对象系统中恢复、一致性、并发的基本单位.用着色时序Petri网模拟和分析CORBA环境下的事务处理.     

元计算环境下阶段启发式任务分解与调度策略研究

提出了基于元计算环境下阶段启发式任务分解和调度的协同工作模型，给出了任务分解过程中任务间依赖关系的数学描述，通过任务粗粒度分解策略，探讨在分解算法中任务完全组合导致的开销指数递增问题。     

建立本体的协作-挖掘方法

提出建立本体的协作-挖掘方法,即领域专家、知识工程师、领域终端用户通过互联网,协作建立本体.利用网络爬虫从语义网搜索并收集RDF文档或片段,自动分析初步建立RDFDB.自动分析领域专家、领域终端用户使用半形式化语言RDFL书写的实例文档和它们使用引导程序输入的记录,完善RDFDB.检验清洗RDFDB数据,并设计本体挖掘算法挖掘产生初始领域本体.挖掘算法使用红黑树建立索引,最坏时间复杂度为O(n 3log 2n).验证、评估初始本体产生领域本体,并产生文档说明.建立新本体时,可合并RDFDB集成现有本体.在实验系统中,应用该方法建立计算机硬件信息领域本体.实验结果表明该方法是可行和高效的.     

一个基于模块PASCAL的结构编程环境

本文首先介绍在PASCAL语言中如何引入模块功能,使其更利于数据表示的抽象,然后着重讨论一个基于这种模块PASCAL的编程环境,用以支持自顶向下的结构化程序设计方法,该系统主要包括两个功能块:模块PASCAL的语法制导编辑和预处理.     

支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。     

一种基于事例推理的检索模型

以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题,该模型采用基于事例的推理方法来进行推理,并将领域知识、控制性知识与事例知识分别统一到对象类层次结构上,因此结构清晰,可重用性高