一种模糊时态描述逻辑

针对现实生活中信息的时间性和模糊性,在模糊描述逻辑和时态逻辑的基础上,提出了一种模糊时态描述逻辑FTDL,并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比,FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。     

基于描述逻辑的CIM模型

分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。     

基于互补特征和类描述的商品图像自动分类

实现电子商务中的在线商品自动分类是电子商务智能化的迫切要求。该文研究如何运用图像特征和分类算法对商品图像的一些具体信息进行自动分类,如长袖衬衫和短袖衬衫、圆领T恤与V领T恤等。图像特征采用了具有互补特性的塔式梯度方向直方图(PHOG)和塔式关键字直方图(PHOW)相结合;在分类器设计方面提出了基于图像类描述的改进最近邻分类算法。实验结果证明本算法能使2类和3类商品图像分类正确率达到70%-99%,且能够实现快速实时分类,相对于现有方法有了明显提升。     

P2P环境下基于描述逻辑的信息集成

分析了描述逻辑与信息集成的关系,以及描述逻辑在信息集成中的研究现状和存在的问题。在DCal-vanese的工作基础上,进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制,提出了基于DLR的P2P信息集成系统的形式化定义,重点研究了如何将P2P信息集成系统转化为一个统一的描述逻辑系统GDL,并证明了该转化方法的正确性,给出了P2P环境下基于DLR的信息查询方法及其实现方法。     

基于描述逻辑的告警信息关联

随着网络安全问题的日益突出,IDS被更多地用于安全防护,然而每天数以千计的告警信息却使得安全管理员无从招架。因此,自动关联有逻辑联系的告警信息从而减少告警数量已成为IDS日后发展的关键。论文以描述逻辑为基础,用它对攻击进行统一定义;以攻击场景为载体,用它来分析匹配相继出现的告警信息;以能力集为纽带,用它来串联起一幅幅攻击场景,从而能清晰地展现不同告警之间所隐含的逻辑关系,进而为实现关联归并提供依据。     

基于属性描述的构件分类及检索方法

构件技术是继OO(面向对象)技术后又一改变软件产业发展的技术,随着构件数量的增加,对构件的搜索成为了一个热门的研究课题.在总结已有构件搜索方法的基础上,从基本信息、外部信息和所需环境三个方面对构件进行描述,提出了一种基于属性描述的构件分类检索方法,并对其实现做了详细讲述.     

基于常规逻辑门和原理图方式的可逆逻辑描述

针对可逆逻辑综合在设计较大规模可逆逻辑电路(ALU)时遇到的瓶颈问题。文中借用现行EDA技术的逻辑描述和验证能力,可逆逻辑门的功能表达式为依据,设计具有等功能的常规逻辑组合电路,通过等功能代换的方法,设计实现以常规原理图方式描述的可逆ALU。仿真图中显示的16种运算结果表明,该方法具有一定的可行性和有效性。     

基于时间区间的模糊描述逻辑的Tableau算法

基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑.TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充.研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau...     

基于描述逻辑的商贷本体元数据模型研究

为了解决自适应的商业信贷成员间不能有效共享信息的问题,在此针对现有方法在概念表示和语义扩展方面的不足,在对商业信贷业务概念领域详细分析的基础上,对信贷业务参与者间流转信息结构和内容进行梳理,应用描述逻辑原语,将问题领域中的概念和关系抽象成相应的本体模型,并将本体的表示方法同描述数据的元数据结合起来,形成根据业务需求可扩展语义,可推理的本体元数据模型,用于表示异构信息。期望为异构信息源间信息的共享提供有效的解决办法。     

基于攻击效能的网络攻击法分类与形式化描述

网络攻击方法的分类和形式化描述是对网络攻击进行深入研究的基础。分析了现有攻击分类的不足，提出了基于攻击效能的分类方法(NACR)，将攻击方法、攻击工具和漏洞紧密联系在一起；然后，在NACR的基础上提出了一种新的形式化描述方法，给出了与攻击效能密切相关的参量定义，阐述了攻击方法之间的相互关系；最后，通过一个攻击实例具体阐述了网络攻击方案的形式化描述问题。     

基于本体论的电子商务知识描述语言

应用本体论对电子商务知识建模,提出电子商务知识描述的分层框架,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言(KDL).介绍了KDL的语法,从一阶逻辑的角度分析KDL的语义特征,提供KDL描述到一阶逻辑表达式的映射方法.最后,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力.     

基于OWL-S的Web服务质量本体的描述模式的设计

基于WSDL的Web服务描述没有涉及到Web服务语义信息的表示,仅仅从语法的角度解决了Web服务信息的描述。随着语义Web概念的提出,如何描述Web服务的语义信息成为学术界研究的热点。论述了OWL S语言如何实现对Web服务的语义描述。同时针对OWL S在描述服务质量方面的不足,提出了Web服务质量本体的描述模式,以方便根据Web服务的质量信息对服务类中的服务进行筛选。     

自动分类中的文档表示及其改善方法研究

文档表示(Document Representation)是对文档的主题内容进行揭示、描述的结果,根据文档的内容得到其文档表示是对文档进行自动分类的前提.对自动分类领域中常用的文档表示方法--向量表示法、语言模型表示法和图型表示法等进行了总结,并对四种改善文档表示效果的方法,即同义词扩展、共现信息的应用、句法信息的应用、语义信息的应用等进行了讨论.     

基于互表性的个性化网页研究

为了适应各种用户需求,为用户提供全面的信息,网页往往都包容万象具有丰富庞大的信息量,然而,每个用户只关心自己感兴趣的信息.本文把网页信息和用户偏好看成模糊本体,通过求这两个模糊本体的交集得到用户感兴趣的网页信息,为用户提供高效、便捷的个性化服务.     

Computer simulation of an automatic classification procedure for digitally modulated communication signals with unknown parameters

The surveillance and control of the broadcasting activity, especially in the HF band, is a difficult task for the authorities like the post-office for example. Even experienced people with modern special equipment are often unable to classify unknown, differently modulated signals in real time. In this paper a procedure is described which allows an automatic real time classification of the following modulation types: Amplitude-Shift Keying (ASK), Frequency-Shift Keying (FSK) with small frequency deviation, and Phase-Shift Keying (PSK). The procedure has been tested by simulation on a computer and has proven to be reliable and robust against the expected perturbing factors such as noise, mismatch of centre frequency or bandwidth, and cross-talk of signals in adjacent frequency channels. A more detailed discussion is contained in [1].     

文本自动分类系统的研究与实现

利用贝叶斯算法，通过对训练文本的学习，构建了一个文本分类器，从而实现了本文提出的自动分类的目标。贝叶斯分类算法是现在比较流行的方法，它的分类效果比较好，简单而且高效，可以通过大规模的训练语料提高分类的质量。文本的分类是选择最有可能生成该文本的类。只有建立了知识库，分类进行训练，才可以构造相应的分类器，对相关的文本进行分类。     

基于动态描述逻辑的服务组合及质量模型

 本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构.     

本体的自动构建方法

基于本体的信息集成方法是解决语义异构的最有效途径,但是传统的本体构建需要大量的人力物力。借助人工智能技术和WordNet等知识库实现本体的自动构建,将节省大量的社会成本,将是现在以及未来的本体构建方面研究的重点。文中对当今世界上主流的本体自动构建方法进行归纳总结,得出未来本体自动构建技术的主要发展方向。