一种基于双令牌的蓝牙调度算法

调度算法是短距离无线通信技术的主要问题。蓝牙网络中使用的Round Robin (RR)轮询调度算法严重影响了系统的性能，本文针对这个问题提出了一种改进的蓝牙调度算法——双令牌随机(DTPR)轮询算法．此算法有两个重要特点：一是访问采用随机次序解决从设备之间的不公平性；二是采用优先级调度策略，对拥有令牌的主从设备对进行调度，缩短了轮询周期。并对本文提出的算法与现已提出的算法进行了仿真实验，结果表明，本文提出的算法在系统的吞吐量、传输时延和公平性方面都优于现有的其它算法。     

门级逻辑模拟算法

本文论述了计算机辅助逻辑模拟的基本方法，给出了门级逻辑模拟算法，并在IBMPC-286上编程实现。文中对算法进行了分析。给出算法的时间和空间复杂度。最后给出实例，实践表明，使用本文给出的算法可取得与实际吻合的模拟结果。     

模拟退火算法的背景与单调升温的模拟退火算法

本文对模拟退火算法进行了分析。给出了一种改进算法－“单调升温的模拟退火算法”。文章对新算法的本质进行了论述，并通过实验对新旧算法进行了比较。     

约束维特比译码的算法与在其二进制均衡信道中的性能研究

约束维特比算法是利用已知的正确信息，对维特比算法进行改进。本文针对约束维特比算法进行了探讨，并对其性能进行了仿真实验。仿真结果证明，在二进制均衡信道中当采用约束维特比算法时，性能得到了较大的提高。     

IP报文分类算法综述与评价

本文主要从各算法所依赖的主要数据结构及核心思想的角度将现有的一些有效算法进行分类说明，提出对算法进行分析评价的体系和方法，从理论上比较了各算法的性能优势、适用情况和存在问题，并介绍相关的TCAM技术在分类算法中的应用。最后，本文分析并总结了今后设计高效分类算法较为有效的研究思路。     

构造基于Logistic映射的Hash函数

单向Hash函数是实现有效、安全可靠数字签名和认证的重要工具，是安全认证协议的重要模块。本文针对文[5]中基于混沌映射的Hash算法的一些缺陷，提出了一种解决方案和算法，并对该算法进行了仿真实验，还进行了混乱与散布性质统计分析，验证了本文所提出的算法的有效性。     

图象处理系统中快速凸化算法

本文提出了在二维空间上得到一个点集凸壳的新算法，与已知最好的算法进行比较，证明了新算法的可行性，提高了运行速度，给出了算法实现的程序框图。     

关联规则挖掘的研究及对Apriori算法的改进

本文对关联规则挖掘问题进行了介绍，并对其作了形式化描述；对Apriori算法进行了分析，针对该算法的缺点，提出改进算法apriori.new。改进的算法避免了模式匹配，减小了访问数据库的次数，从而提高了挖掘速度。     

归纳定义与递归算法

归纳定义是定义某些概念时常用到的一种定义方法，但是，什么叫做“归纳定义”并没有严格的说法，本文从代数系统的观点出发，对归纳定义进行了严格的数学定义。递归算法是编程时经常使用的一种算法设计方法，其思想就是算法本身调用自己。本文对归纳定义与递归算法之间的联系进行了深入的讨论和研究，结论是：利用归纳定义所定义的概念一定可以利用递归算法进行判定；反之，由递归算法可以判定的概念一定能够进行归纳定义。     

多边形合并的算法研究

本文介绍了多边形合并算法的发展现状和应用前景，提出一种新的基于扫描线技术的多边形合并算法，重点讨论了算法的技术支持，病态多边形的修复等，采用本文提出的新算法，在雷鸟750MHzCPU，内存128Mb的PC机上对4组复杂的多边形进行了合并计算，结果表明，本算法可行。     

一种产生式系统的并行推理模型

1.引言 在人工智能领域中,产生式系统是一种比较有效的知识表示方法,并得到了广泛应用。目前许多较为成功的专家系统都是用产生式系统实现的~[1]。随着应用领域的不断扩士其知识座的抓橄称渐增     

Agent在网格资源管理中的应用研究

由于网格资源的自治、分布、异构和动态变化等特性,如何有效地管理和调度资源是网格计算领域中的一个关键问题,至今仍未得到满意的解决。提出了一种基于Agent的网格资源管理模型,为各类Agent设计了动态模糊知识库,并研究了基于动态模糊知识的模糊Q学习算法。算法较好地满足了网格资源管理中的智能适应性、扩展性及调度优化的需要。通过模拟实验验证了所研究模型和算法的有效性和效率。     

飞行员辅助决策系统中知识库系统的体系结构研究

本文有创新性的提出了一种层次化结构和模块化结构相结合的知识库系统实现方法,并结合飞行员辅助决策系统的开发,说明了这两种结构的实现方法以及它们应用于飞行员辅助决策系统中的优势。     

知识库系统的逻辑基础

针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,义能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.     

Measuring inconsistency in knowledgebases

It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the inconsistency of various knowledgebases, represented as first-order logic formulas. We use quasi-classical (QC) logic for this purpose. QC logic is a formalism for reasoning and analysing inconsistent information. It has been used as the basis of a framework for measuring inconsistency in propositional theories. Here we extend this framework, by using a first-order logic version of QC logic for measuring inconsistency in first-order theories. We motivate the QC logic approach by considering some formulae as database or knowledgebase integrity constraints. We then define a measure of extrinsic inconsistency that can be used to compare the inconsistency of different knowledgebases. This measure takes into account both the language used and the underlying domain. We show why this definition also captures the intrinsic inconsistency of a knowledgebase. We also provide a formalization of paraconsistent equality, called quasi-equality, and we use this in an extended example of an application for measuring inconsistency between heterogeneous sources of information and integrity constraints prior to merging.     

施工方案智能决策支持系统的面向对象模型

本文应用面向对象技术分析建筑施工组织设计，建立了包括施工项目子模型和施工活动子模型的施工领域模型，并在此基础上建立了施工方案智能决策支持系统模型。同时以钢筋砼建筑的施工方案决策为例，提出了知识库中知识的面向对象表示与增长机制以及决策过程的实现方法。     

利用ADO技术实现对数据库的操纵

作为新型的数据库访问技术，介绍了ADO技术及其特点，利用ADO技术实现了对数据库的添加，删除、更新、查询等功能，并应用于专家系统中的知识库，从而可以不断地扩充知识库，体现了知识库的健壮性，并且有益于知识库维护的一致性和完整性，最后用Visual C 语言实现了编程。     

基于知识推理的小卫星综合测试知识库系统架构设计与应用

批量化、产业化足小卫星应用领域未来的发展趋势,将多媒体技术与智能化手段用于卫星综合测试必将提高小卫星地面并行,批量同步测试的可靠性和效率;基于小卫星综合测试知识提出了一种实时监视卫星状态诊断知识库系统的架构设计方法,给出了系统的拓扑结构,对该系统的各模块原理、功能进行了系统的论述;从工程应用角度出发,分析了在设计过程中的关键技术问题.     

基于知识库的知识发现的研究

传统的知识发现都是基于数据库进行的,但数据库中存储的数据缺乏语义性,对知识的发现缺乏全面性.将本体和移动代理技术引入知识发现中,首先从数据中获取语义信息并将其与知识一起存储进知识库,然后基于知识库提出了一种的新的知识发现系统,为知识发现提供了一种新的思路和方法.     

Time-sensitive Arabic multiword expressions extraction from social networks

In this paper, we present a comprehensive approach for extracting and relating Arabic multiword expressions (MWE) from Social Networks. 15 million tweets were collected and processed to form our data set. Due to the complexity of processing Arabic and the lack of resources, we built an experimental system to extract and relate similar MWE using statistical methods. We introduce a new metrics for measuring valid MWE in Social Networks. We compare results obtained from our experimental system against semantic graph obtained from web knowledgebase.