用于二维不规则排样的离散临界多边形模型

提出了一个用于求解二维不规则排样问题的离散临界多边形模型.Burke等人的BLF算法是求解排样问题的一种有效算法,但其算法对一些特殊实例会产生非法的解.为了解决这个问题,提出了一种基于离散临界多边形模型,并对其正确性作了严格证明.新模型是只含有点和区间的简单模型,在大大降低原问题几何复杂性的同时,也使许多启发式策略可以更容易地求解该问题.计算结果表明,基于离散临界多边型模型的排样算法是很有效的.     

义类自动标注方法的研究

句法分析不能满足汉语分析的需要,句法和语义相结合的分析方法适用于汉语分析。分析的基础要有一部语法语义词典。目前的机读词典多是语法词典,因而需要在语法词典中加入词的语义信息。《同义词词林》是一部较好的义类词典,但没有语法信息,可以《同义词词林》的分类体系对语法词典进行义类标注,得到语法语义词典。这一过程中有不一致的情况,特别地,对《同义词词林》中未收录的词就不能直接标注义类。本文采用《同义词词林》的分类体系,研究设计了一个汉语词自动义类标注算法,对北大《现代汉语语法信息词典》进行自动义类标注。实验结果较为满意,得到91%的准确率。     

多链ANN-HMM识别模型及其应用

本文提出了一种多链ANN-HMM识别模型.首先,通过将ANN集成到HMM模型中,利用ANN对HMM进行训练;其次,通过对HMM的单链进行扩充,使之成为多链,以实现多特征并行识别与重组.实验表明,该识别模型对多特征连续对象具有良好的识别能力.     

基于TLA＋的BRP协议规约及验证

BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA＋对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求，在此基础上建立了BRP的形式化模型，利用TLA＋先对不考虑实时要求的BRP进行规约，然后添加实时约束获得BRP完整的规约，最后使用模型检验器TLC验证BRP协议的各种性质。     

0—1整数规划在科技项目管理中的应用

1 前言电子政务建设中涉及到宏观规划、财政预算、项目立项、政府采购等诸多智能决策支持问题,这些决策问题都带有若干制约条件,比背包问题要复杂得多,但其最终目的都是要寻求一种好的方案,以较少的投资产生最大的效益。本文以政府决策中的科技计划项目立项决策为例,探讨这类问题的一种可行的实用解决方案。     

浅层语义分析研究

语义分析是自然语言理解领域研究的根本性问题,浅层语义分析为此提供了一种新的解决途径.从语义学的角度讨论了浅层语义分析的发展历史和理论基础,概述了语义角色标注任务的定义、相关资源与方法.还着重介绍并比较了当前英语两大语义角色体系和汉语角色体系,最后给出了浅层语义分析中统计模型的现有特征集的句法语义分类.     

支持智能体的通讯原语库系统GKD－APS的设计与实现

ＧＫＤ－ＡＰＳ是我们基于面向智能体程序设计范例，设计并实现的一个支持智能体相关概念及智能体间消息通讯的Ｐｒｏｌｏｇ解释器。它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通讯等概念，并提供了对这些概念的直接支持。ＣＫＤ－ＡＰＳ为实现多智能体间的知识通讯和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发。本文首先介绍了当前国际上关于智能体及面向智能体范例的研究进展，其次描述了ＧＫＤ－ＡＰＳ所涉及的基本概念及所实现的通讯原语的操作语义，然后给出了系统的构成及主要实现技术，最后介绍了ＧＫＤ－ＡＰＳ所提供的智能体操作原语。     

面向对象的3级数据模型

GIS（geographicinformationsystem）中的数据可以分为3种类型：几何数据、地理数据和图形显示数据．本文提出的面向对象3级数据模型对这3种数据进行抽象划分，用面向对象的模型描述它们及其之间的关系，并以此作为OOGDB（object－orientedseosraphicdatabase）的数据模型．     

ACUN理论一般合一化问题的合一化算法

ACUN理论是异或算子代数性质的刻画。基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法。