数据库中函数依赖集的泛系分析

本文从泛系分析出发对关系数据库理论中函数依赖集的闭包的结构进行了讨论。证明了在函数依赖集与函数依赖集的闭包之间存在着一个集合;函数依赖集的闭包可由该集合直接导出。本文的后半部分讨论了全体最小覆盖集的求解方法。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

依赖推导算法的研究

本文根据函数依赖成立的条件，给出了在关系ｒ中单属性左部属性集的求解算法，进而出了在给定关系中成立的函数依赖集的一个覆盖。     

一种有效的最小函数依赖挖掘方法

数据库设计和管理工具中，从已知数据库发现函数依赖是一个重要的技术。本文基于自由集的概念，讨论了最小函数依赖（FDs）的一个新特性和相关重要性质，并给出一个有效的最小函数依赖挖掘算法。     

函数依赖集在属性子集上投影的新方法

研究了函数依赖集在属性子集上投影的理论问题.在此基础上开发了算法,成功地利用消元法解决了函数依赖集在属性子集上投影的计算问题,对于数据库模式设计有一定的参考价值.     

面向对象数据库中的数据依赖和规范化

从分析面向对象数据库中的数据依赖着手，提出对象函数依赖概念，它反映了面向对象数据库中对象标识符，复杂对象及集合类型的特点，在对象函数依赖基础上，提出了分解为基础为模式规范化方法，并且特别引入语义相关集的概念，最后，给出类模式分解的形式化定义并证明了类模式的任一分解都是无损分解。     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

基于属性预扫描的不确定性函数依赖挖掘

函数依赖是关系数据库和数据建模中所需的关键约束知识。在海量数据中挖掘函数依赖时为降低噪音干扰和提高效率,该文采用带有满意度函数依赖的概念及挖掘带有满意度函数依赖的算法(MFDD),对噪音进行测度与表达,并有效挖掘得到函数依赖最小集。利用对属性散列度的测度概念,在带有满意度函数依赖的理论框架内采用3条优化策略,实现了属性预扫描算法。结果表明:基于该算法可显著提高挖掘效率。     

基于属性预扫描的不确定性函数依赖挖掘

函数依赖是关系数据库和数据建模中所需的关键约束知识。在海量数据中挖掘函数依赖时为降低噪音干扰和提高效率,该文采用带有满意度函数依赖的概念及挖掘带有满意度函数依赖的算法(MFDD),对噪音进行测度与表达,并有效挖掘得到函数依赖最小集。利用对属性散列度的测度概念,在带有满意度函数依赖的理论框架内采用3条优化策略,实现了属性预扫描算法。结果表明:基于该算法可显著提高挖掘效率。     

函数依赖集的扩展左部集

给出了扩展左部集的概念。了当ＦＤ集Ｆ无内部冲突时,Ｆ的扩展左部集的特点与求法,以及它与最小覆盖的左部集之间的联系,阐明了Ｆ的不同最小覆盖集左部集之间的关系。     

Hierarchical Symbolic Analysis of Large Analog Circuits with Totally Coded Method

Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation： expanded sum-ofproduct form and arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit. Nested form is neither canonical nor amenable to symbolic manipulation. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. This algorithm, called totally coded method （TCM）, consists of representing the symbolic determinant of a circuit matrix by code series and performing symbolic analysis by code manipulation. We describe an efficient code-ordering heuristic and prove that it is optimum for ladder-structured circuits. For practical analog circuits, TCM not only covers all advantages of the algorithm via determinant decision diagrams （DDD） but is more simple and efficient than DDD method.     

Fractal analysis on the spatial distribution of acoustic emission in the failure process of rock specimens

The spatial distribution of acoustic emission (AE) events in the failure process of several rock specimens was acquired using an advanced AE acquiring and analyzing system. The box counting method (BCM) was employed to calculate the fractal dimension (FD) of AE spatial distribution. There is a similar correlation between the fractal dimension and the load strength for different rock specimens. The fractal dimension presents a decreasing trend with the increase of load strength. For the same kind of specimens, their FD values will decrease to the level below a relatively same value when they reach failure. This value can be regarded as the critical value, which implies that the specimen will reach failure soon. The results reflect that it is possible to correlate the damage of rock with a macroscopic parameter, the FD value of AE signals. Furthermore, the FD value can be also used to forecast the final failure of rock. This conclusion allows identifying or predicting the damage in rock with a great advantage over the classic theory and is very crucial for forecasting rockburst or other dynamic disasters in mines.     

基于傅里叶描述子的形状特征匹配方法在机场掩体目标检测中的应用

文章研究了基于傅里叶描述子的形状特征匹配方法在机场掩体检测中的应用。本文利用傅里叶描述子对目标旋转、缩放和平移描述的不变性,确定了用基于傅里叶描述子的特征匹配方法来检测掩体目标,井对匹配方法的原理、步骤和方案进行了论述。用仿真数据进行了试验,试验结果验证了文中设计的形状匹配方法对掩体类目标检测的有效性。     

小角前向散射测粒仪光电探测元件的对中问题

利用经典Ｍｉｅ散射理论,讨论了小角向散射激光测粒仪光电探测器中问题导致的测量误差;提出了一种对中误计算模型,据此进行模拟计算,并对计算结果进行了分析 。     

利用轮廓分形区别人工目标与自然物体算法研究

根据人工目标和自然物体的固有差异，提出了一种在轮廓链码基础上提取轮廓粗糙性曲线的算法。在实际得到的水杯，车辆及岩石图像中，利用Ｖａｒｉａｔｉｏｎ算法进行了计算物体轮廓粗糙性曲线分维的实验。实验表明，水杯及车辆轮廓的分形维数较低，岩石则具有较高的分形维数，通过同二维结果的对比，从计算量的分形维数两证明用所提出的算法计算轮廓分形维数区别人工目标和自然物体是可行的。     

功能性消化不良患者食管运动功能的变化

探讨功能性消化不良患者食管运动功能变化。方法：采用ＰＣｐｏｌｙｇｒａｆＨＲ台式高分辨上消化道气压国管连续灌注测压系统对４０例ＦＤ患者和２０例正常人进行食管测压。结果：ＦＤ组食管下段蠕动压低于上段蠕动压的发生率显著高于对照组;ＦＤ组食管下段平均蠕动压显著低于对照组;ＦＤ组出现异常蠕动波２１例,表现为类型不同,次数不等的双峰波,三峰波、逆行收缩波、自发性收缩波和非同步收缩波等,以双峰波最多见。９例同时     

An optimized staggered variable-grid finite-difference scheme and its application in cross-well acoustic survey

In this paper, an optimized staggered variable-grid finite-difference （FD） method is developed in velocity-stress elastic wave equations. On the basis of the dispersion-relation-preserving （DRP）, e fourth-order finite-difference operator on non-uniform grids is constructed. The proposed algorithm is e continuous variable-grid method. It does not need interpolations for the field variables between regions with the fine spacing end the coarse one. The accuracy of the optimized scheme has been veri-fled with an analytical solution end e regular staggered-grid FD method for the eighth order accuracy in space. The comparisons of the proposed scheme with the variable-grid FD method based on Taylor series expansion ere made. It is demonstrated that this optimized scheme has less dispersion errors than that with Teylor＇s series expansion. Thus, the proposed scheme uses coarser grids in numerical simulations than that constructed by the Teylor＇s series expansion. Finally, the capability of the opti-mized FD is demonstrated for e complex cross-well acoustic simulation. The numerical experiment shows that this method greatly saves storage requirements and computational time, and is stable.     

用于精确定位的最佳匹配区选择分形法

图像中任意点局部邻域的分形维数越大,该领域图像数据的相关性越小,相关匹配搜索时定位该区域就越容易。由此提出了利用分形维数作为分离参数,在基准地图上选择最佳匹配区的方法。用相关法对选出的最匹配区验证表明,分形方法比传统的相关方法在选择最佳匹配区时,定位精度更高,计算更快。     

利用微正则退火算法求解车辆路径问题

在建立单配送中心的车辆路径问题模型后，提出了一种基于微正则退火算法的求解方法，对一个包含20个需求节点的单配送中心实例进行了实验分析。实验数据表明，微正则退火算法能以较大概率搜索到最优路径集，与传统模拟退火算法相比，它的优势是目标函数值下降更快，能够在较短时间内搜索到满意解。