关于函数的原函数与可积性关系的讨论

本举例说明了可积函数未必存在原函数，而有原函数的函数未必可积。中定理2推广了华东师范大学的数学分析中的定理10.17，举例说明了其逆命峭成立。定理3给出了其逆命题成立的条件。     

A Framework of Semantic Information Representation in Distributed Environments

0 IntroductionOonft thhee gcloombaml uinnifcoartimoanti onentiwnofrraksst rhuacstu mread,et ahvea iglraebalte teox puasnesrisolarge number of autonomous data repositories ,however ,these repositories present different structures and semantics result fromthat distinct data sources may use different modeling methodsmaking very difficult to share and exchangeinformation.Recentlythere have been some works ,such as OntoBroker in Ref .[1] ansystemin Ref .[2] ,that focus on the umformrepresentation …     

Query through heterogeneous ontologies using association matrix

This paper introduces the definition and calculation of the association matrix between ontologies, h uses the association matrix to describe the relations between concepls ill different ontologics and uses concept vectors to represent queries; then computes the vectors with the association matrix in order to rewrite queries, This paper proposes a simple method of querying through heterogeneous Ontology using association matrix. This method is based on the correctness of approximate information filtering theory; and it is simple to be implemented and expected to run quite fast.     

Integrated semantic similarity model based on ontology

To solve the problem of the inadequacy of semantic processing in the intelligent question answering system. an integrated semantic similarity model which calculates the semantic similarity using the geometric distance and informarion content is presented in this paper. With the help of interrelationship between concepts, the information content ofconcepts and the strength of the edges in the ontology network. we can calculate the semantic similarity between two concepts and provide information for the further calculation of the semantic similarity between user‘s question and answers in knowlegdge base. The results of the experiments on the prototype have shown that the semantic problem in natural language processing can also be solved with the help of the knowledge and the abundant semantic information in ontology. More than 90% accuracy with less than 50 ms average searching time in the intelligent question answering prototype system based on ontology has been reached. The result is vety satisfied.     

可重构装配线多agent系统中的本体研究

提供多agent制造平台agent之间通讯所需的机器可理解的通讯内容语言，是构建多agent制造平台的重要内容。分析与总结出可重构装配线多agent平台对其本体模型存在提供装配制造知识及支持重构过程两方面需求，并因此将本体模型划分为通用本体与重构本体两部分．以某汽车变速器可重构装配生产线为背景，研究该环境下的具体本体建模技术。在设计了描述装配线制造知识与制造机理的通用本体基础上，通过分析可重构装配线多agent平台的重构机理，定义了由具有装配行为特征的重构动作原语组成的重构本体．构建的本体模型已应用于重构装配线多agent平台的开发。     

基于语义Web的知识管理系统的研究

知识管理是现代企业关注的热点,随着知识经济时代的来临,企业将主要通过知识而不是金融资本或自然资源来获取竞争优势.但是由于传统的知识管理系统都是通过关键字匹配来获取知识,这个会造成获取信息的不准确.本文将从知识管理的需求分析出发,给出了一种新的基于语义Web的知识管理系统的体系结构,并进行阐述.     

Scanning for sisnatures of geosraphically restricted selection based on population genomics analysis

Natural selection, as the driving force of human evolution, has direct impact on population differentiation. However, it is still unclear to what extent the genetic differentiation has been caused by natural selection. To explore this question, we performed a genome-wide scan with single nucleotide polymorphism （SNP） data from the International HapMap Project. Single locus FsTanalysis was applied to assess the frequency difference among populations in autosomes. Based on the empirical distribution of FsT, we identified 12669 SNPs correlating to population differentiation and 1853 candidate genes subjected to geographic restricted natural selection. Further interpretation of gene ontogeny revealed 121 categories of biological process with the enrichments of candidate genes. Our results suggest that natural selection may play an important role in human population differentiation. In addition, our analysis provides new clues as well as research methods for our understanding of population differentiation and natural selection.     

一种新的保留语义的P2P系统索引构造方法

提出了一种新的P2P系统索引构建方法.它使用多个简单本体(ontology),对同一资源进行描述,将各个ontology描述转化为相应的本体序号(ontology ID),然后使用Hilbert空间填充曲线,实现从多维ontology ID到一维索引值的映射,得到保留了语义的索引值.根据这个索引值,在Chord等结构化P2P上发布和查找资源.该方法对资源的描述更加准确、简单,资源的发布和查询也更加灵活和高效.     

基于模糊本体的智能交通系统知识建模

为有效处理交通知识建模中的模糊与不确定现象,提出包括领域本体与顶层本体的模糊本体模型.在领域本体中引进模糊概念属性值,并将普通的概念关系扩展为模糊关系与直觉模糊关系.顶层本体基于模糊语言变量的形式化表示,考虑了模糊概念间的实质性语义关系:集合关系、序关系与等价关系.以交通事故分析与预测系统为例,建立交通知识本体模型与基于语义的信息检索系统.该模型可有效进行智能交通系统的知识建模,有利于语义Web环境下智能交通的信息管理与知识管理.     

基于本体归集的全凭证域现金流量表制作模型设计

由于权责发生制会计分录会在转账中改变现金的最终实际流向,因此,有必要对全部的会计分录实施全凭证域现金流量分析.借助复式记账的借贷平衡结构和现金流量表本身的勾稽关系,设计建立"经营类、投资类、筹资类和汇率变动现金流量进出"模型和"经营活动产生现金流量净额与净利润间调整"模型,可以实现现金流量表及其附表项目的全部凭证直接法归集.在本体中间件理论及方法的支持下,能够通过表及其谓词演算的快速定义,实现现金流量表项目的归集,进而实现电算化操作,并能够随时查询和分析归集结果,从而能有效跟进企业经营业务的变化,实现对现金流量的控制运筹.