基于CFN的相似度计算在实例机器翻译中的应用

在信息检索,文本挖掘以及基于实例的机器翻译中,相似度计算都是一个关键问题.在实例机器翻译中,相似度计算一般是基于字符、词的匹配以及向量空间模型,但基于句子语义结构的相似度研究还不多见.借助了汉语框架语义网(Chinese FrameNet,简称CFN)的场景语义描述优势,提出了一种新的面向EBMT进行实例相似度计算的方...     

电子目录本体合并中的实例消重机制

为解决电子目录集成中的本体实例冗余问题,提出面向本体合并的电子目录本体实例消重机制,综合考虑实例的名称、属性和关系设计实例语义相似度算法。结合字符串匹配和基于Wordnet计算名称语义相似度,综合数据类型属性和对象类型属性计算属性语义相似度,依据类的多重继承关系计算关系语义相似度。当2个实例的语义相似度大于事先设置的阈值时,需删除其中一个以降低目标本体库的冗余度。实验结果验证了该机制的有效性。     

一种基于隶属函数的相似度计算方法及其应用*

针对在模糊实例检索中传统的基于距离函数相似度算法的复杂性和不精确性等缺点,通过分析隶属函数提出了基于隶属函数的相似度计算方法。该方法根据不同类型的检索需求,构建了针对模糊数字型需求和模糊语义型需求的相似度计算模型;同时考虑了属性权重问题,采用基于相似度离差信息的客观赋权方法将主观权重和客观权重加以组合,以组合权重来计算实例的全局相似度。以汽车发动机的概念设计为例,验证了基于隶属函数的相似度计算方法能对不同类型的需求实现快速而有效的实例检索。     

基于实例的多智能体水平井设计系统模型的研究

针对钻井水平井设计过程涉及的因素繁多,往往是根据以往类似设计问题的经验与结果来求解所面临的问题,论文利用基于实例推理和Agent的概念与技术,将水平井设计实例构造为具有知识、目标和能力的智能实体,提出一个基于实例的多智能体水平井设计模型,利用实例推理和移动计算技术来实现动态水平井设计的多方协作和并行设计。     

基于CBR的井下复杂情况与事故智能诊断和处理系统

分析了传统的钻井事故诊断与处理专家系统的不足,根据钻井专家决策时的认知过程,基于实例推理技术开发了井下复杂情况与事故智能诊断和处理系统。该系统收集了各油田已发生的各种复杂的事故实例,具有自学习功能,能实现各种复杂情况与事故的诊断和处理,并提供完整的有关复杂事故预防和处理的知识手册,可为钻井专家、技术人员提供决策支持。对系统的总体结构、工作流程以及系统实现的主要技术包括实例表示、实例库组织、实例检索和自学习等进行了详细描述。     

基于电路模型的复杂网络节点相似度度量

针对复杂网络中节点相似度度量的问题,在物理学相关知识的启发下,运用相关模型提出了一种基于物理学中电路模型的节点相似度度量的方法.纯粹从节点间的链接图结构来计算节点间的相似度,节点间的相似度用物理学电路模型中的电阻来衡量:电阻越小,相似度越大;电阻越大,相似度越小.实验结果表明了该方法的有效性和合理性,提供了一种借用其它学科方法来解决复杂网络节点相似度度量的新颖方法.     

多类别相关性结合的类属属性多标签学习

现有的类属属性学习方法在提取类别标签的特征时,大多仅单一考虑标签间的相关性,忽略实例和实例间以及特征与特征间的相关性,可能会降低分类精度.为了解决此问题,文中设计多类别相关性结合的类属属性多标签学习算法,考虑标签相关性、特征相关性和实例相关性.利用标签之间的余弦相似度计算标签相关性,构建相似图矩阵计算特征相关性和实例相关性.文中算法紧凑地选择标签的类属属性,提高分类精度,有效解决多标签分类遇到的维度过大问题.     

基于实例推理的注塑模概念设计

基于实例的推理方法是使用已有的经验来解决新问题,该文尝试把它用于注塑模的概念设计。首先分析了基于CBR的系统在表达模具设计领域强经验弱理论知识的优势,然后给出了注塑模概念设计系统工作流程。提出了模具设计实例特征描述模型和实例的框架表示。最后讨论了基于模糊相似优先比的相似度量及实例检索过程。     

基于多因素语义相似度的主观题自动评阅方法研究

主观试题自动评阅系统涉及人工智能、模式识别以及计算机自然语言理解等复杂的系统知识,是无纸化考试中自动阅卷系统的设计难点。为此,仿照传统考试过程中人工阅卷的基本思路,把主观试题的自动评阅问题分解为知识库的构建、概念相似度的计算以及语句结构的处理等三部分,并把一种改进的多因素语义相似度算法引入到概念相似度计算,详细设计了主观试题的计算机自动评阅模型。实例运行结果表明,占总数70%的计算结果在可接受误差范围内。     

一种快速高效的本体匹配方法

本体匹配是解决本体异构问题的主要方法之一,一个高效、精确的相似度计算方法是本体匹配的前提条件,针对目前本体匹配时计算复杂以及计算不精确的问题,提出了一种改进的本体匹配方法,该方法首先通过对本体库分类来确定候选匹配集,减少了相似度计算的工作量;进而根据本体的定义模型,从概念实例、概念属性和概念结构等方面来综合计算概念相似度,提高了相似度计算的精确度。实验表明该方法能在较少的时间复杂度上达到较好的匹配效果。     

基于本体和CBR的钻井工程风险决策模型研究

为了实现钻井工程风险智能决策,从钻井专家决策过程的特征出发,针对传统的CBR技术的不足,提出并构建了一种基于本体和CBR的钻井工程风险决策模型。通过对风险决策案例的分析,设计了钻井风险决策案例的结构,并结合本体技术构建了风险决策案例本体,使案例表示更规范化、语义化,同时为案例知识提供了良好的可扩展性与共享性;为了提高案例检索效率,按照本体中风险的类别对案例进行分层组织,建立了风险案例库;针对现有的案例相似度计算模型的缺陷,提出了一种改进的基于本体的语义相似度计算模型,并由此构建了风险案例检索模型,经现场实例测试,结果表明该模型有效地提高了案例检索的查准率和查全率。在以上基础上,开发了钻井工程风险决策原型系统,为钻井专家、技术人员提供了高效的决策支持。     

基于云计算的生产决策支持系统

为辅助企业进行高效率的生产,设计并实施了一种基于云计算的生产决策支持系统,云计算的运行平台为大规模应用和庞大数据处理提供了保障。系统架构为基于MVC(Model View Controller)模式的四层体系结构,系统模型库为决策功能的实现提供了大量的模型支持,数据层作为数据存储的媒介为系统提供了数据支持。在系统设计上充分考虑了人机交互,运行基本稳定,各模块衔接良好,能有效为企业提供科学化的生产决策支持。     

基于云计算和WebGIS的河口水环境决策支持系统

为了进一步强化水环境模型的模拟和预报能力,结合云计算、WebGIS等先进计算机技术,基于B/S三层架构开发模式,构建一个河口水环境决策支持系统。云计算性能分析结果表明,云计算对模型串行计算速度提升效果不大,对并行计算速度提升效果显著。系统简化繁杂的专业操作,强化模型的模拟和预报能力,为闽江水务管理部门提供决策支持,可进一步推广应用于其他河口的水环境管理。     

基于领域本体的语义相似度计算研究

本文介绍了有关本体的知识以及在领域本体参照下三种语义相似度的计算模型,并针对这三种计算模型的优缺点和领域本体所特有的性质提出了一种改进的基于领域本体的语义相似度计算模型.该计算模型的基本思想是：以基于距离的计算模型为基础,把概念的信息内容和概念的属性作为两个决策因子.实验结果表明,该方法能够比较准确地反映概
念之间的语义关系,为概念之间的语义关系提供一种有效的量化.     

基于云计算的营销决策支持系统

设计并实施了一种基于云计算的营销决策支持系统,和其他管理决策子系统发生交互,共同构成了完整的现代企业经营决策支持系统.系统的数据库采用分布式设计,使得系统既有独立处理本地数据库的能力,也可读取异地数据库中的数据.系统模型库包含多种营销因素的决策模型,并采用模型组合的思想,将复杂的决策问题通过模型之间的组合来实现.在流程设计上充分考虑人机交互,将用户的经验判断纳入到决策过程中.完成了系统的开发,并用仿真数据进行了系统测试,结果表明系统基本运行稳定,各子模块衔接良好,与其他子系统实现了数据共享.     

基于Spark的分布式交通流数据预测系统

在大数据时代,在城市复杂交通环境中,实现实时、准确的交通流预测,是实现智能交通系统的必要前提。提出了一种在Spark平台上基于梯度优化决策树的分布式城市交通流预测模型(distributed urban traffic prediction with GBDT,DUTP-GBDT);并提出了分布式情况下梯度优化决策树模型实现的优化方法,包括切分点抽样、特征装箱和逐层训练三种,提高了分布式情况下梯度优化决策树训练效率。基于Spark分布式计算平台高效、可靠、弹性可扩展的优势,以及梯度优化决策树模型准确率较高和时间复杂度较低的优点,利用时间特征、道路状况特征以及天气特征等特征参数,建立了DUTP-GBDT模型,实现了实时、准确的交通流预测。通过与GABP、GA-KNN、MSTAR等模型的对比,证明了利用Spark平台,DUTP-GBDT模型在分布式环境下准确率和训练速度方面均有所提高,符合城市交通流预测系统的各项要求。     

Synchronization through Communication in a Massively Parallel Processor Array

Programming MPPAs for complex real-time embedded applications is difficult with conventional multiprogramming models, which usually treat communication and synchronization separately. Based on a programming model for massively parallel embedded computing that is reasonable and productive for software developers, we developed a scalable MPPA chip architecture that delivers tera-ops performance with very good energy efficiency in an ordinary 130-nm ASIC. This MPPA's architecture is based on the structural object programming model, which composes strictly encapsulated processing and memory objects in a structure of self-synchronizing channels. Small RISC CPUs and memories execute the objects.     

普适计算环境下的动态访问控制模型

普适计算环境下,主体、客体的状态和上下文信息对授权结果具有决定性影响。针对已有授权模型由于主体、客体状态和上下文信息的缺失而导致模型不适合普适计算环境的问题,提出了一种基于主体、客体的状态和环境上下文信息对主体进行动态授权的访问控制模型,论述了模型的构成元素、体系结构和授权算法。与已有模型相比新模型采用统一的模式描述上下文信息对授权的影响,既保证了模型的简单性,又增强了模型的表达能力,更适合于普适计算环境。     

Verifying a signature architecture: a comparative case study

We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises several concurrently executing systems that authenticate users and generate and store digital signatures by passing security relevant data through a tightly controlled interface. The architecture is interesting from a formal-methods perspective as it involves complex operations on data as well as process coordination and hence is a candidate for both data-oriented and process-oriented formal methods. We have built and verified two models of the signature architecture using two representative formal methods. In the first, we specify a data model of the architecture in Z that we extend to a trace model and interactively verify by theorem proving. In the second, we model the architecture as a system of communicating processes that we verify by finite-state model checking. We provide a detailed comparison of these two different approaches to formalization (infinite state with rich data types versus finite state) and verification (theorem proving versus model checking). Contrary to common belief, our case study suggests that Z is well suited for temporal reasoning about process models with complex operations on data. Moreover, our comparison highlights the advantages of proving theorems about such models and provides evidence that, in the hands of an experienced user, theorem proving may be neither substantially more time-consuming nor more complex than model checking.     

面向并行可重构计算的集装箱码头生产调度建模与仿真

将集装箱码头物流系统（container terminal logistics systems, CTLS）视为一个大规模并行处理系统, 融合计算机体系结构中的并行计算和可重构计算的思想方法, 抽象出基于属性的有阻塞动态可重构混合流水车间调度（dynamic reconfigurable hybrid flow shops with blocking based on attributes, DR-HFS-BA）模型对CTLS控制决策进行描述, 得出面向DR-HFS-BA的CTLS多层双向作业体系。该生产调度模型能够精确描述CTLS的复杂结构和作业行为, 帮助港口建立敏捷鲁棒的生产调度和性能评估决策支持平台。最后, 一个集装箱码头生产实例被仿真和分析, 验证了上述建模思想的可行性和可信性, 从而为CTLS的任务调度和资源分配提出了新的解决思路。