基于组件的空间信息管理系统及典型应用案例

基于组件式地理信息系统(GIS)技术设计了空间信息管理系统的架构,作为典型应用案例,开发了基于组件的农业空间信息管理系统,验证了提出的通用架构的可用性和合理性,并详细分析了系统开发过程中的关键技术问题及其解决方法,主要包括多源空间数据集成、空间数据安全管理、Web GIS实现方法等.     

无界Petri网的进程表达式

借助进程网系统的概念，首先证明了无界Petri网∑的进程与其进程网系统∑p，的语言之间存在一一映射关系，将求取∑的进程表达式的问题转化成求取∑p，的语言问题．由于∑p，的结构一般比较复杂，直接求取其语言仍然比较困难．通过定义库所的指标函数，将结构复杂的∑p，分解成结构简单的子网系统，引入了语言的同步交运算，给出了利用这些子网系统求取结构复杂的∑p，语言的方法，从而得到了求取无界Petri网∑的进程表达式的算法．     

Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述．本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据，随后证明了Petri网的进程表达式与语言表达式的类型一致性，由此给出了由进程表达式求取语言表达式的算法，为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径．     

支持活动语义度量的用户行为相似度计算方法

针对基于活动序列的用户行为相似性度量方法未见考虑活动的语义相似性度量,提出一种支持活动语义度量的用户行为相似性计算方法。首先结合活动间的邻接关系与标签文本语义计算活动间的相似度;其次,定义了活动编辑权值函数和活动序列距离;最后,利用活动序列多重集建模用户行为并利用推土机距离计算用户行为相似度。与目前主流算法在度量性质可满足性、现实数据集实验评估等方面进行对比分析,验证了所提方法的可行性和有效性。     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

S-网的进程表达式及求取方法研究

Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为，给出各种类型的S-N的进程表达式的描述方法，为结构复杂Petri网系统的进程描述提供借鉴和帮助。     

Progress in the Development of National Knowledge Infrastructure

This paper presents the recent process in a long-term research project,called National Knowledge Infrastructure(or NKI).Initiated in the early 2000,the project aims to develop a multi-domain shareable knowledge base for knowledge-intensive applications.To develop NKI,we have used domain-specific ontologies as a solid basis,and have built more than 600 ontologies.Using these ontologies and our knowledge acquisition methods,we have extracted about 1.1 millions of domain assertions.For users to access our NKI knowledge,we have developed a uniform multi-modal human-knowledge interface.We have also implemented a knowledge application programming interface for various applications to share the NKI knowledge.     

基于MICROMINE系统的露天矿山三维可视化技术研究

以某露天铁矿为研究对象,利用M ICRONM INE软件建立露天矿山的三维实体模型。结果显示,建立的三维实体模型能更加准确、直观反映矿床与工程实体的形态及其空间分布关系。根据建立的三维实体模型,进行了储量计算、开采境界优化、坑内公路设计等工作,并为后期的生产计划编制和生产过程控制提供了可靠的依据。     

自然崩落法诱发井下泥石流降雨临界阈值试验

诱发井下泥石流灾害的降雨阈值是矿山井下泥石流防控重要参数。为获得普朗铜矿诱发井下泥石流的降雨临界阈值,以室内试验为研究方法,开展矿区不同降雨强度工况下诱发井下泥石流的降雨量阈值及暴发时间研究。结果表明：当雨强为0.563 mL/min时发生破坏性较大井下泥石流概率较大,当雨强为0.293 mL/min时诱发井下泥石流概率较小,当雨强为0.186 mL/min时则不易形成井下泥石流;降雨强度0.293 mL/min是井下泥石流发生的极限临界状态,也即是诱发井下泥石流的降雨阈值;降雨强度0.563 mL/min时,3#、4#和2#不同放矿口诱发井下泥石流的暴发时间分别为240、260和220 min;降雨强度0.293 mL/min时,3#、4#和2#放矿口诱发井下泥石流的暴发时间分别为180、200和220 min;最后基于水量总量原理验证了试验确定降雨临界阈值的科学性和合理性。研究成果为普朗铜矿及类似矿山井下泥石流的预防和管控提供重要的科学理论依据。