摘要:证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c

摘要:手语是聋人使用的语言，是由手形动作辅之以表情姿势由符号构成的比较稳定的表达系统 ，是一种靠动作/视觉交际的语言.手语识别的研究目标是让机器“看懂”聋人的语言.手 语识别和手语合成相结合，构成一个“人-机手语翻译系统”，便于聋人与周围环境的交 流.手语识别问题是动态手势信号即手语信号的识别问题.考虑到系统的实时性及识别效率， 该系统选取Cyberglove型号数据手套作为手语输入设备，采用DGMM(dynamic Gaussian mixt ure model)作为系统的识别技术，并根据中国手语的具体特点，在识别模块中选取了多层识 别器，可识别中国手语字典中的274个词条，识别率为97.4%.与基于单个DGMM的识别系统比 较，这种模型的识别精度与单个DGMM模型的识别精度基本相同，但其识别速度比单个DGMM的 识别速度有明显的提高.

摘要:提出了广义模糊CMAC(cerebellar model articu lation controller)神经网络，并导出了其学习的充分条件.最后，证明了广义模糊CMAC在 平方误差意义下的学习收敛性.研究结果为广义模糊CMAC的广泛应用提供了基础.

摘要:提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精度 .同时还提出了一种可以从训练好的 FTART网络中抽取可理解性好、精度高的符号规则的方法 ,即基于统计的产生测试法 .实验结果表明 ,用该方法抽取的符号规则可以较好地描述FTART的功能.

摘要:入侵检测是近年来网络安全研究的热 点.首先说明入侵检测的必要性,并给出入侵检测的概念和模型,概述了多种入侵检测方法及 体系结构.最后,讨论了该领域当前存在的问题及今后的研究方向.

摘要:提出一种新的随机CSP(constraint sa tisfaction problem)模型,并且通过研究搜索树的平均节点数,分析了回溯算法求解该模型 的平均复杂性.结果表明,这种模型能够生成难解的CSP实例,找到所有的解或证明无解所需的 平均节点数即随变量数的增加而指数增长.因此,该模型可以用来研究难解实例的性质和CSP 算法的性能等问题,从而有助于设计出更为高效的算法.

摘要:资源预约是保证分布式多媒体应用服 务质量(QoS)的重要手段.提出一个应用级QoS协商算法,该算法有两个主要优点:一是局部参 数全局化,使预约变得灵活,便于直接对用户所关心的QoS参数进行预约;二是全局预约局部化 ,使预约变得简单,有利于实现最优延时分配.

摘要:改进了一个Bordat的建格算法,使之适合于集成挖掘的需要,进而提出一个从概念格上提取关 联规则和分类规则的算法,实现了关联规则和分类规则的挖掘在概念格框架下的统一.实验证明了算法的有效性.

摘要:并行程序的性能分析,特别是效率分析 往往需要程序在实际运行后,根据实验结果再对并行算法进行优化,或改变数据的分配策略, 甚至重新选择并行算法.结合通用并行计算模型BSP(bulk-synchronous parallel),提出一 种有效的并行程序效率评测模型,使得程序员在设计、分析阶段即可对程序效率进行分析和 评估,并据此进一步优化程序.实验结果表明,该模型的预测是精确的.

摘要:指出有关Agent社会规范研究中存在的问题,通过借鉴Coleman的社会学理论,提出一种基于权 利分配的Agent社会规范的概念.通过放宽平均权利分配的假设,给出了多Agent系统中社会规 范的形式定义,将规范的设计归结为约束满足问题.讨论了社会规范的合理性,并给出规范建 立和废除的条件.最后,针对对称利益局势讨论了社会规范的合理性，并给出了一个价值均衡 算法以改进规范的合理性,从而有助于推进基于市场的多Agent系统的研究.

摘要:提出一种可训练的快速汉语部分句法分析方法.此方法基于文中提出的扩充多层有限状态自 动机模型,其中引入错误驱动的机器学习方法使其正确率可以通过训练得到提高,初步结果表 明,该方法是行之有效的.

摘要:根据MHSC(methodology for high-level specification construction)方法论,提出一种 支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型 的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模 型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证.

摘要:数据库技术的广泛应用以及数据仓库技术的出现为决策支持系统提供了新的发展方向.联机 分析处理(online analytical processing,简称OLAP)正是在数据仓库的基础上发展起来的 一门崭新的决策支持技术.在给出用于保险业务的中间数据库的设计、多维分析模型的实现 和OLAP分析系统的模块结构框架之后,具体讲述了OLAP功能设置子系统以及分析子系统的实 现,全面满足E.F.Codd提出的OLAP的12条准则,并在实际应用的基础上作出了相应的提高.

摘要:边界网关协议BGP(border gateway pr otocol)是Internet上用于自治系统之间交换路由信息的动态路由协议.介绍了在清华大学研 制的国产高性能路由器中分布式路由协议BGP-4的具体实现.为了实现这一复杂的动态协议, 提出基于事件驱动的设计和实现方法.事件驱动机制能够精确地反映网络报文交换行为的实 现机制,因而很适合Internet高层协议的实现.该方法也可以用于实现其他的Internet高层协议.

摘要:建立Agent思维状态模型是Agent理论 研究的一个重要课题.结合效用提出一种Agent思维状态模型BDICU(belief desire intentio n combined with utility),使Agent的行为具有逻辑理性和决策理性,为副作用问题提供了 解决方法.同时，给出目标和意图的生成和更新规则.BDICU模型改进和扩充了Rao和Georgeff 的信念-期望-意图理论,为逻辑和效用理性Agent系统提供了实现支持.

摘要:提出一种混合型的汉语篇章结构自动分析方法.此方法主要基于RST(rhetorical structure theory)分析、主位模式分析等多种语言学方法,还利用了向量空间模型等统计方法.提出并 实现了一种确定性RST分析算法.与其他现有方法相比,此方法具有更大的适用范围和更高的 处理精度.

摘要:汉字简繁体转换对于港澳台及世界华人地区与中国大陆之间文化经济的交流极其重要.以已 完成并投入使用的一个自动转换系统为基础,介绍了系统的设计与实现.给出了系统的总体结 构,描述了系统的重要数据结构——词库和对照表.解释了系统处理流程,包括预处理和后处 理、消除歧义、语词转换等，并对系统性能进行分析，同时，给出了测试结果.

摘要:指出本地化的缺点.深入分析了Java语 言的内部编码,设计并实现了支持国际化的编译器,采用字符编码转换的方案,使多语种字符 、字符串的操作达到了与英文字符、字符串完全一致的目标,并节省了类文件的存储空间,也 使程序具备了有条件的字符集无关性,在一定程度上解决了“万码奔腾”的问题.采用编译信 息和与语境无关的程序代码分离的方案解决了提示信息的国际化问题.提出了采用小字库方 案来解决含有本地字符的程序的真正跨平台问题.通过在加载类时采用对类名进行字符编码 转换的方案解决了JDK(Java development kit)所未能解决的含有本地字符的类名的支持问 题;针对JDK不同版本间的兼容性问题,提出采用根据字符编码特点来选用不同编码转换机制 的解决方案.测试结果证明,采用所设计的国际化方案可实现彻底的国际化支持.

摘要:双语库对齐是自然语言处理研究的重 要课题之一.其中,双语库段落对齐是指找出源文和译文中对应的翻译段落的对齐过程.它上 承篇章对齐,下接句子对齐,在整个双语库的对齐中起着承上启下的重要作用.但由于种种原 因,双语库段落对齐在当今研究中没有受到应有的重视.直接进行通用的段落自动对齐具有相 当的难度，也不必要,鉴于此，提出将段落对齐转化成分段对齐进行实现.通过汉英词汇对之 间的特征比较,首先找到可以用于汉英双语库分段的锚点词汇对,在此基础上,通过锚点词所 在句子的匹配获得锚点句子对来进行分段.实验结果表明,该方法具有良好的使用价值,可以 用于其他语言对的对齐.

摘要:人们对孤立的手写体汉字字符的离线 识别做了大量的研究工作,而走向实用化的进展并不快.除了单字识别率不理想以外,从文本 中正确分割出单个汉字字符也是一个主要难题,因为字符的识别离不开正确分割.利用汉字的 基本结构特征,根据两个组件之间的上下、左右和包围关系,对组件进行合并形成完整的汉字 图像.对整个汉字字符串中组件的宽度和相邻组件的间距进行分析,有助于左右关系组件的合 并.实验结果表明,该方法对手写体汉字字符串具有理想的分割效果.

摘要:Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.