物理基础的坡面雨滴溅蚀模型

坡面雨滴溅蚀受各种因素的影响，是一个极其复杂的过程。本文利用因次分析，导出了雨滴溅蚀量的定量表达式。借助雨滴溅蚀有效径流深对溅蚀公式进行简化并分类。

基于抽象概念的知网词语相似度计算

针对基于知网的词语相似度算法进行研究,提出一种基于抽象概念的词语相似度的快速计算方法。将《知网》义项语义表达式中带有关系约束的第一独立义原定义成抽象概念,将义项语义表达式转换成一个多层次的抽象概念组;根据义项定义中的抽象概念将义项挂到《知网》现有的义原树中,形成一棵包含义原、抽象概念与义项等概念的义项树;利用义项树中的深度与路径,在现有优秀算法基础上,通过适当的义项定义的预处理与参数调节,直接计算义项间的语义相似度,避免复杂的意义相似性计算。实验结果表明,该方法对于MC30词对的相似度计算值与人工判定值相比,取得了0.84的Pearson相关系数,达到了目前优秀词语相似度算法的水平。

使用计算机生成树木笔绘图形方法的分析

首先对使用计算机生成树木笔绘图形的方法进行了综合介绍,并分析了它具有的优点,及适用的研究对象。进而介绍和讨论了常规的树木图形生成方法,着重阐述了使用计算机自动绘制树木笔绘图形的方法,步骤,关键概念,以及它的应用。最后指出了该方法中存在的不足之处和今后需继续深入研究的方向。

双目汇聚摄像系统深度信息测量研究

针对双目平行摄像系统中的盲区问题,首先提出了双目汇聚摄像系统的数学模型。然后基于这一数学模型,采用角点检测方法和外极线约束条件分别进行对应点提取和匹配,推导出双目汇聚摄像系统的物体深度计算公式。最后通过对双目汇聚模型的计算机仿真,验证算法的有效性。

基于搜索树的业务流程Petri网模型抽象化简方法

由于大型复杂的业务流程模型不便于用户形成快速的梗概理解,因此模型的抽象化简方法研究至关重要.已有的模型抽象化简方法大都考虑模型的控制流,很少考虑模型的交互语义,并且对于模型的待抽象区域定位模糊.本文利用Petri网的行为关系理论,结合深度优先搜索的思想,提出了基于搜索树的业务流程模型抽象化简方法.通过定义工作流网的3种块结构和边界库所的概念,得到网系统的变迁关联搜索树,进而利用变迁关联搜索树来识别模型中待抽象的区域,从而实现模型的抽象化简.最后,通过一个具体的实例来验证所提出方法的有效性和可行性.本文的主要贡献是:在同时考虑模型行为交互语义和控制流依赖关系的基础上,提出块结构的抽象化简方法和块结构的识别定位方法,算法的时间复杂度控制在多项式难度.

Incremental Computation of Success Patterns of Logic Programs

A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.

解释的深度:以伍德沃德和斯特雷文斯的理论为例

伍德沃德提出的因果解释的反事实理论与斯特雷文斯提出的解释的关键环节表述是当今较有影响力的科学解释理论。虽然他们都研究过解释的深度问题,但许多哲学家认为这两种解释深度理论是相互独立的,甚至是相互矛盾的。然而,经过笔者研究,这两种解释深度理论并非是相互独立和相互矛盾的;斯特雷文斯的解释的深度理论是对伍德沃德的解释的深度理论的继承和发展。