开放对象代数

本文主要讨论了开放对象的代数操作及其性质，这些操作提供了开放对象理解消息和构造消息的基本手段，同时还定义了偏序关系〖＾ｂ，并在其上讨论了这些操作的单调性，特别是递归查询。     

查询语句语义优化的一个方法

查询语句语义优化的基本思想是,数据库所反映的现实世界的特定知识可以用来将查询语句变换成语义上等价但句法上不同的形式,以期寻找常规优化方法不可能找到的最优执行方案。本文提出了建立在费用模型及约束强度概念上的语义优化策略,并对查询语句中连接运算的删除作了进一步讨论。     

关于相对化多项式界计算的一些结果

本文给出了三个相对化的 P 与 NP 的结果。在 S.Homer 及 W.Maass 的基础上,利用递归论中的优先方法,包括有穷损害优先方法。我们进一步研究相对化的 P 与 NP 问题的结构。比如,证明了存在两个互不可比的 P-禁集。此外,类似于递归中的算术分层及破分性,我们讨论了相对化多项式界计算的有关问题。     

钢铁机器人—1操作手动力方程的建立

本文应用拉格朗日方程和保罗近似方法[1]来建立我院钢铁机器人—1操作手的动力方程。为了突出动力方程的物理意义,而根据操作手机构的动能和势能,来找出各关节力矩与各关节角加速度之间的简单关系式;为了实际应用,利用保罗近似方法来简化求导计算过程。     

Implementation of an Autocorrelation Pitch Detector in Application to Query by Humming

A pitch detector for application in query by humming (QBH) is implemented in this paper. This algorithm is made up of two parts: note segmentation and pitch detection. In the first part, voiced/silence decision is made on each segment of the input signal by a pattern recognition approach, and further, the preparatory note borders are obtained; then, via analysis of the instantaneous energy contour, the adjacent notes that adhere to each other are separated. In the second part, pitch is estimated for all frames contained in a note‘s duration by an autocorrelation method and the mean of these pitch values is taken as the average pitch of this note. Moreover, in order to remove the effect of formant structure, a nonlinear preprocessing is adopted in the pitch detection part and the autocorrelation function is properly weighted before peak picking. Finally, hummings of several experimenters with different voice characters are recorded to test this pitch detector, whose efficiency and reliability are proved by the result.     

Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances

This paper proposes a checking method based on mutual instances and discusses three key problems in the method： how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instances. It provides the checking based on the weighted mutual instances considering fault tolerance, gives a way to partition the large-scale mutual instances, and proposes a process greatly reducing the manual annotation work to get more mutual instances. Intension annotation that improves the checking method is also discussed. The method is practical and effective to check subsumption relations between concept queries in different ontologies based on mutual instances.     

网格数据查询优化中的缓存管理研究

鉴于缓存管理在分布式系统中可以减少网络流量,提高系统响应速度,尤其在网格计算环境中可以克服网络连接的带宽瓶颈,提出了一个用于优化网格信息查询的缓存管理模型.网格搜索引擎进行信息检索时,依据用户的查询需求,从网格异地异构数据库中查询并自动抽取信息,进行查询集成并存储在高速缓存中;根据缓存调度算法合理地组织中间结果;按照打分函数的控制,在生成的评分表下进行Top-K排序,合并生成最终结果;在保证网格查询准确性的同时,提高网格异构数据源查询速度.实验表明此方法是有效的.     

点赋权图上固定顶点的树划分问题

考虑了点赋权图上固定k个顶点的树划分问题.首先证明了点赋树图上固定k个顶点的最小最大树划分问题是NP-难的,然后给出了该问题的一个启发式算法,最后证明了该算法是点赋权完全图上固定k个顶点的最小最大树划分问题的一个2-1k近似算法.     

基于PowerBuilder和MapObject水库洪水调度系统信息查询

针对复杂的水库防洪调度系统，利用ESRI公司的地图控件MapObjects2.0，在PowerBuilder环境下，开发成功了功能强大的水库洪水调度信息查询系统，实现了地图的缩放、漫游、导航、定位和直接在地图上进行查询、分析等功能，使信息查询更迅速、直观。实际开发表明，PowerBuilder与地图控件MapObjects2.0结合开发水库洪水调度系统， 不仅开发过程简单、开发速度快，而且充分发挥PowerBuilder管理、访问数据库的优势。     

耗散KdV方程的小波近似惯性流形及数值分析

利用田立新提出的小波近似惯性流形 ,将小波分析与无穷维动力系统相结合研究一类非线性孤立波方程 -耗散KdV方程的长期动力学行为 ,在已得到该类方程存在小波近似惯性流形及利用无穷维动力系统作更精确的误差估计的基础上 ,笔者用L2 (R)中Perrier -Bas devant样条周期小波基做小波分析 ,用低模态的小波近似惯性流形数值模拟耗散KdV方程的吸引子 数值结果表明 ,小波近似惯性流形方法比Fourier分析方法及小波Galerkin方法更能反映系统的局部动力学行为