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

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

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

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

块体形状分类新方法

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

自动问答系统研究综述

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

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

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

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

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

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.     

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

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

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

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

面向并行工程的知识库校验模型与方法研究

主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 .