事件的持续时间的表示与推理

现实世界中事件的持续时间是难以精确测量的,其起始时刻及结束时刻经常是模糊的。本文用事件的持续函数的概念来表示事件的持续时间,并用有限的近似区间的概念来描述无限的持续函数,应用Heisenberg测不准原理,将Allen的区间代数网络的13种基本时态关系压缩为7种基本时态关系,并构造了新的基本时态关系的复合运算表。     

基于.NET的无证无照监管系统的设计与实现

随着城市发展的不断加速,无证无照经营的监管是当今城市管理当中的一个热点难题.在城市管理信息化的发展进程中,开发研究无证无照监管系统是具有相当大的意义与价值.本文根据查处无证无照经营单位的具体工作出发,了解该项工作面临的实际问题,深入研究其实际需求,采用B/S体系结构,以无证无照经营单位的监督管理为主要功能,实现一款基于.NET的无证无照监管系统.     

知识图在问答系统中的应用

基于判定问答系统当前问题是否是话题的一个部分以及正确地理解自然语言,提出了基于规划知识图的识别方法,结合问句的语境分析处理问题。给出了一个带有智能规划和识别句子完整性的系统模型。利用规划库将句子缺省信息和隐含信息表示完整,再结合句子语境检索。得出了利用规划知识图可以正确的理解用户意图,结合语境分析用户当前的动作可以提高理解的准确率,从而提高用户对系统的满意度。     

INDU网络对于战场动态协同的支持

为了在多维战场上赢得胜利．我军必须做到诸作战单元之间的精确协同。本文分析了战场上动态协同的各种情况，描述了战斗动作间的时态依赖和逻辑依赖，介绍了区间代数的扩展—INDU网络，并利用它来支持战场上的动态协同。     

求解连通无向简图的所有连通子图的算法及其应用

讨论了求解连通无向简图的所有连通子图的算法，并将其应用于化学领域：如何将许多具有某种共同属性的物质的分子结构图形分解成子分子结构，进一步地试图找出存在于大多数具有该属性的物质中的子分子结构，并讨论这样的子分子结构导致物质具有该共同属性的概率。     

结点可同名的无向简图的相似度

本文研究了结点可同名的无向简图(下称H图)间的4种相似度:等价关系、邻域等价、同构关系、度数同构。用邻接矩阵表示H图,同名结点加上标区分。例如:三个结点同名皆为C,则在邻接矩阵中用C1,C2,C3区分开来。为区分结点数相同的相异H图,邻接矩阵需附加结点信息,因此,一个n个结点的图,可用(n 1)×(n 1)的矩阵来表示,其中第0行及第0列表示结点信息,这些结点按词典序排列,第1行至第n行及第1列至第n列表示结点间的相邻关系。     

求结点可同名的森林所有子树的算法

讨论了求结点可同名的森林的所有子树的算法,并将其应用于化学领域:如何将许多具有某种共同属性的物质的分子结构图形分解成子分子结构,进一步地试图找出存在于大多数具有该属性的物质中的子分子结构,并讨论这样的子分子结构导致物质具有该共同属性的可能性。     

结点可同名的连通无向图的子图研究

给出了求解结点可同名的连通无向图的所有边极大连通子图的算法,并将其应用于化学领域: 将许多具有某种共同属性的物质的分子结构图形分解成子分子结构,进一步地试图找出存在于大多数具有该属性的物质中的子分子结构,并讨论这样的子分子结构导致物质具有该共同属性的可能性.     

结点可同名的连通无向图的子图研究

给出了求解结点可同名的连通无向图的所有边极大连通子图的算法,并将其应用于化学领域:将许多具有某种共同属性的物质的分子结构图形分解成子分子结构,进一步地试图找出存在于大多数具有该属性的物质中的子分子结构,并讨论这样的子分子结构导致物质具有该共同属性的可能性。