一种语义逻辑关系表示模型

在计算机信息处理中，表达模型的选择具有重要意义。该文提出了一种用于描 述句子中各成分间的语义逻辑关系的模型，分析了该模型的特点，并描述了模型的关系库实 现方式。     

Snapshot加锁机制的研究

为解决事务中数据的并发访问问题，引入了各种加锁机制，本文在分析原有的传统加锁协议的基础上，提出一种新的加锁机制，基于Snapshot内存快照的加锁机制，并着重对它在并发多事务模型中的应用进行了研究。     

论知识表示

知识表示问题是探讨计算机中采用何种形式的语言来表达知识,从而在这种表达的基础上进行知识处理。这个问题可以说是计算机领域中比较老且没有很好解决的问题。目前主要的研究结论是某一种已存在的语言主要地支持某一种知识的表示,如命令型语言支持控制知识的表示,函数式语言支持功能的描述。但所有讨论的标准是比较含糊的,没有统一地在知识处理过程中讨论各种语言的特点。本文从人的思维过程出发,初步探讨了知识处理过程,给出了一个较合理的、但需要前一步发展的思维模型即V 序,在此模型中考虑了几种典型风格的计算机语言提供的知识表示的特点与不足。     

可扩展的桌面问题求解环境计算加速中间件

为利用多种高性能计算资源的计算能力,设计一种可扩展的桌面问题求解环境计算加速中间件,采用应用层、中间层和计算层3层结构,以降低系统设计的复杂度,支持多种并行后端、分布式扩展以及并行后端的即插即用。用该加速中间件进行Matlab中的LU分解实验,结果证明了其有效性。     

基于PC集群的并行数据仓库架构

针对数据仓库规模不断增长而导致难以确保即席查询分析性能的问题,提出一种构建在PC集群上的并行数据仓库架构——HDW,采用Google的GFS和Bigtable技术进行分布式存储管理,采用MapReduce技术进行并行联机分析处理,为前台应用程序提供遵循XMLA规范的统一接口。在18个节点的集群上进行实验,结果表明,HDW系统扩展性好,能快速处理至少千万条元组的数据。     

一种数据模型的范畴论建模方法

针对数据模型复杂语义建模的应用需求, 以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足, 建立了一种素描数据模型。该模型在模型范畴的形式化框架内, 用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述, 扩展了传统ER模型的表示与处理功能。基于素描对图形化建模规范的支持, 设计了ER模型向素描数据模型转换的算法, 以精确的语义联系保证模型转换的语义完整性, 并通过实验与对比分析了素描数据模型与算法的优势, 为数据模型的范畴论建模方法研究提供便利、高效的形式化理论框架。     

基于CSCW的分布式数据库系统

随着CSCW概念的引入,计算机已经能给人们提供一个更智能的工作环境,本文在分布式数据库系统的基础上提出了一种新的思想,将CSCW技术与分布式技术相结合,形成了一种新型的数据库系统,即基于CSCW的分布式数据库系统。它一方面解决了多用户对多类型数据库系统的协同操作问题,另一方面对数据库中数据的利用率和访问速度也作了有效的改进。     

基于功能视图的计算机辅助产品设计方法

通过对产品的多视图模型的研究,提出了基于分层递阶的功能视图模型设计方法,能够很快地实现产品的概念设计和物理设计。依据用户需求所确定的产品总体功能,对总体功能进行分解,确定产品的功能视图,再根据功能视图中各个分功能要素的物理机制,配置物理制造实体,结合成组技术和基于实例的推理方法,完成产品的概念设计和物理设计。     

基于改进Canny算子的CT图像边缘检测

结合CT图像的特点,在传统Canny算法的基础上提出了改进的Canny算法。该算法先用基于GCV准则的阈值函数平滑去噪,在得到非极大值抑制图像后用Otsu法自适应设定高低阈值,并用形态学结构元素细化边缘。实验证明,该方法能有效解决常见边缘检测算法对去除噪声和获取精细边缘之间的矛盾,使伪边缘现象大为减少,从而获得了比较理想的边缘检测效果,为提高医生诊断病情的准确率打下了良好的基础。