块体形状分类新方法

岩体的特性很大一部分受岩体内块体形状的影响,因此确定原岩的块度形状特征和块体的几何特征分布非常重要,以前的块体形状分类方法都是基于块体是正交体的假设建立的,不被广泛接受,本文提出了一种以共线性ε和容积系数κ为参数,采用三角形分类法对块体形状进行分类的新方法,实现了对矿岩块体体积和形状的联合统计分析.提出了基于块体形状的矿岩块度等效尺寸计算方法,对块体的筛上累计百分率进行了统计分析.并应用三组接近正交的理想节理组,对块度进行了模拟,验证了块体形状分类的效果.     

面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

基于模型堆叠的上网行为日志用户画像方法

上网行为日志数据中包含着大量的用户个性化信息,如何充分挖掘和分析这些信息至关重要。在分析上网行为日志数据的重要性后,提出了一种基于上网行为日志用户画像方法。在该方法中,首先通过特征选择和特征提取方式构建用户特征集,然后利用模型堆叠的技术组合多种单一分类器,构建用户画像模型。利用校园网行为日志数据对性别、年级、年龄三个维度进行用户画像,实验结果表明了所提方法的有效性。     

基于Web的数学概念知识问答系统研究

数学领域知识的获取和管理受到越来越多的关注。介绍了数学知识工程NKIMath中融合本体、框架与逻辑的概念知识表示方法。给出半结构化的数学知识自动获取途径。给出了基于Web的数学概念知识问答系统，研究了问答系统中查询语言的命名独立性及实现方法。     

自动问答系统研究综述

自动问答系统是自然语言处理领域中一个非常热门的研究方向,它综合运用了多种自然语言处理技术。本文综述了国内外自动问答技术的发展现状,对系统三个主要组成部分：问题分析、信息检索和答案抽取进行了深入的分析,通过比较,得出了自动问答系统运用各类技术之间的优势与不足。在此基础上,提出了自动问答系统的发展方向。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

3 D structure parameterization design and modeling for irregular structure of stope bottom

Stope mining design is a very important and complicated task in daily production design and technical management of an underground mine.Based on workface technology and human-computer interaction technology, this study introduces a method of 3D parametric design for the irregular struc-ture of stope bottoms, and focuses on solving technical problems in surface modeling of stope bottom structure.Optimization of the minimum span length algorithm ( MSLA) and the shortest path search algorithm ( SPSA) is conducted to solve the problem of contour-line based instant modeling of stope bottom structures, which makes possible the 3D parametric design for irregular structure of stope bot-tom.Implementation process and relevant methods of the proposed algorithms are also presented. Feasibility and reliability of the proposed modeling method are testified in a case study.In practice, the proposed 3D parameterization design method for irregular structure stope bottom proves to be very helpful to precise 3D parametric design.This method is capable of contributing to improved efficien-cy and precision of stope design, and is worthy of promotion.     

NKIMathE-数学知识获取和管理平台的设计与实现

介绍基于本体的半结构化数学文本知识获取方法以及获取后的知识管理问题。着重介绍了数学知识获取和管理平台NKIMathE的相关工作，包括知识的正确性检查、知识的组织、知识的共享性等，给出了NKIMathE的设计架构及实现方法。     

同步与共享合成操作中子网的求解方法

Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要，本文将同步合成与共享合成拓展为多个Petri网之间的操作，证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成，并分别给出了合成操作中子网的求解方法。     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.