关系数据语义集成中的查询语言转换方法研究

为解决关系数据语义集成中语义查询语言和关系模型查询语言的转换问题,定义了SPARQL(Simple Protocol And Rdf Query Language)图模式的关系代数和五种基本运算的查询语义,给出了该关系代数与SQL语句之间的对应关系,在此基础上,提出了SPARQL到SQL的查询转换算法,并通过实例进行了说明。     

海战潜艇兵力作战任务聚合、解聚与重构实现

根据海战仿真对潜艇作战仿真的多分辨率需求,采用聚合与解聚的方法对潜艇智能兵力作战行为模型进行层次划分和结构化设计,利用J2EE/EJB组件建模技术构建了潜艇智能兵力作战行为仿真组件模型,通过行为决策模型构建和多分辨率接口设计,对兵力作战任务进行解聚和聚合,仿真不同分辨率下的作战任务行为和作战指标,并通过任务行为决策控制参数调整实现兵力作战行为重构,满足了系统对智能兵力作战行为多分辨率建模和战法战术验证的功能需求,并有效提高了模型利用效率和可重用性。     

HESTool:基于层次链知识组织的专家系统工具

提出了任务 (Task)的概念 ,每个任务代表一种知识源。不同的任务可以采用不同知识表示形式及推理策略。一个知识库由一组前向或后向链构成的任务链组成 ,实现了知识库的结构化、可视化 ,支持知识部件的可重用与共享。同时 ,结合可视化技术、数据库技术 ,开发出实用性较强的专家系统工具HESTool,该工具提供了一种知识建模机制     

装甲兵作战多智能体建模技术及其应用

利用作战领域启发知识,综合传统建模技术和智能体优点,首先按照分层结构化组合思想建立了装甲兵兵力智能体模型,并基于层次任务网的决策规划机制和基于军事命令控制结构构建了多智能体模型,然后采用VRMS平台开发了装甲兵作战多智能体应用验证演示系统,最后结合实例探索了多智能体系统在模拟训练、作战实验、辅助决策等领域的仿真应用,其研究有效地提高了装甲兵作战行为仿真的智能性、自主性和逼真性。     

结构化装备型号需求论证模式研究

结构化是系统工程分析问题的重要手段。为给装备型号需求论证工程化提供理论依据与技术支撑,对结构化装备型号需求论证模式的相关问题进行了研究。分析了装备型号需求论证流程,界定了装备型号需求论证工作范围,明确了装备型号需求论证的内部流程和外部边界;针对一体化联合作战要求,提出了有指导性的需求论证策略,确保结构化装备型号需求论证模式的科学性;借鉴美军体系结构技术,构建了结构化装备型号需求论证空间,对整个论证空间的结构设计、论证域的划分和各论证环节的论证任务进行了深入研究,从技术角度实现了需求论证过程的结构化。     

导弹武器系统可用度动态建模与分析

为了解决任务阶段导弹武器系统可用度评估问题,提出了基于UML(unified modeling language)和ASPN(arbitrary distribution stochastic Petri nets)的导弹武器系统可用度动态评估原理。探讨了利用UML进行可用度评估中数据收集和结构化表述的方法和步骤,并给出了基于结构类图的可用度概念模型、基于序列图的可用度时间划分、基于故障/战损的可用度建模描述。构建了基于状态的随机动态网络模型,用于刻画任务过程中与装备可用度密切相关的设计、使用与生存特性,以及它们的状态转移过程。通过ASPN将静态的概念模型转化为动态仿真评估模型,并进行实例分析,验证模型和系统的有效性。仿真的结果与实际试验情况吻合较好,表明这种动态评估方法快捷有效,可以应用于工程分析,为导弹武器系统可用度研究提供了一条新的思路。     

基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

集团军跨域应急作战装备保障能力建设研究

加强应急作战装备保障能力建设,是提高战斗力的重要组成部分。本文针对新体制、新形势下的军队战争形态、使命任务和训练要求,分析了集团军跨域应急作战装备保障的主要特点和当前装备保障存在的不足,并在此基础上,从构建理论体系和装备保障平台、人才队伍建设,装备保障模式以及装备保障实战化训练五个方面给出了集团军跨域应急作战装备保障能力建设和应对措施。     

防空雷达预警监视系统作战建模与仿真一体化框架研究

在对防空雷达预警监视系统作战复杂性分析的基础上,以＂面向任务＂、＂基于效果＂作战理念为牵引,立足体系对抗的作战层面,基于实体M＆S方法,提出了由＂一个核心＂、＂二个系统＂和＂四个模型＂组成的防空雷达预警监视系统作战建模与仿真一体化框架,分析了框架中问题域的真实系统、任务空间模型、数学模型,仿真域的仿真概念模型、仿真模型和仿真系统。     

中文分词与命名实体识别的联合学习

将卷积结构引入循环神经网络,从而构建卷积循环神经网络。以此为基础,研究构建了面向中文分词与实体识别联合学习的序列标注模型。该模型依托卷积循环神经网络构建特征编码层,实现中文字序列局部空间特征和长距离时序依赖特征的联合提取;依托改进的循环神经网络构建标签解码层,实现标签序列长距离时序依赖的有效建模;依托统一的分词与实体识别序列标注模式实现分词信息与实体信息的联合学习,避免传统流水线法的误差传播问题。在人民日报语料和微软标注语料上的实验结果显示,该框架较传统统计模型和神经网络模型有显著的性能提升,尤其是在识别字数较多的命名实体时,其效果明显优于其他方法。     

利用PB 6.0实现数据库动态查询

在分析关系数据库SQL查询语言原理的基础上,通过一个具体的例子介绍了如何利用PB6.0实现数据库动态查询.     

基于RNN汉语语言模型自适应算法研究

深度学习在自然语言处理中的应用越来越广泛。相比于传统的n-gram统计语言模型,循环神经网络(Recurrent Neural Network,RNN)建模技术在语言模型建模方面表现出了极大的优越性,逐渐在语音识别、机器翻译等领域中得到应用。然而,目前RNN语言模型的训练大多是离线的,对于不同的语音识别任务,训练语料与识别任务之间存在着语言差异,使语音识别系统的识别率受到影响。在采用RNN建模技术训练汉语语言模型的同时,提出一种在线RNN模型自适应(self-adaption)算法,将语音信号初步识别结果作为语料继续训练模型,使自适应后的RNN模型与识别任务之间获得最大程度的匹配。实验结果表明:自适应模型有效地减少了语言模型与识别任务之间的语言差异,对汉语词混淆网络进行重打分后,系统识别率得到进一步提升,并在实际汉语语音识别系统中得到了验证。     

基于传递闭包的任务时序依赖关系建模方法

建立正确、有效的任务模型是正确引导出信息系统需求的关键步骤。文中针对任务间时序依赖关系,给出与任务建模相关的若干形式定义和命题,帮助分析人员判断任务间的并发和死锁。给出任务间时序依赖关系建模的详细步骤,并根据时序依赖关系的传递性质,给出一种任务关系图上的传递闭包方法,可以帮助分析人员直观地判断任务间时序依赖关系的问题和错误,科学、合理地标记各个任务的时序等级属性,帮助建模人员从全局上明确各个任务在执行时所处的相对位置,以及在每个阶段需要同时展开哪些任务。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

并行面向对象数据库中的查询优化

为了在开发并行性的同时，进一步提高查询处理的效率，本文针对并行面向对象数据库的异步并行查询执行模型的特点，提出了三种并行查询优化策略：（１）数据子集预选策略；（２）信息流延迟策略；（３）信息流消减策略。它们既适用于单查询处理，又适用于多查询处理，测试结果表明它们是实用有效的并行查询优化策略。     

面向概念设计的虚拟原型描述模型与语言

针对概念设计的特点以及虚拟原型的特征分类 ,提出了基于虚拟原型的概念设计模型V -desModel及其描述语言VPML ,其核心是利用产品视图模型描述设计对象 ,将虚拟特征概念融入视图模型中 ,并采用可扩展“三维实体 -约束图”描述设计对象之间的约束关系。V -desModel模型和VPML语言能有效地支持基于虚拟原型的概念设计过程 ,较好地解决了概念设计中产品虚拟原型的逼真性要求和设计信息不完备之间的矛盾 ,为多领域系统在概念设计阶段的协同设计、并行设计及联合仿真过程提供一致的模型描述     

HBase中半结构化时空数据存储与查询处理

针对在HBase中如何进行有效的半结构化时空数据存储和查询问题展开研究,对该问题进行形式化描述,并利用半结构化处理方法 TwigStack提出HBase的半结构化时空数据存储模型,在此基础上开展了半结构化的时空范围查询和kNN查询。在真实数据集中进行实验,与需要硬件配置较高的MongoDB进行了对比,结果表明在普通配置的机器上,所提出的半结构化时空查询算法与MongoDB性能相近,在实际中具有优势。     

调度感知同步数据流建模

对流应用系统进行吞吐量分析需要将周期静态顺序调度建模到数据流图中,吞吐量分析效率依赖于数据流图的规模及建模时间。为了提高吞吐量分析效率,提出基于同构同步数据流图的调度感知同步数据流模型及相应建模方法。通过利用应用模型结构特征及周期静态顺序调度,可减少模型中的任务、边和初始符号数目;可以使用已有分析方法对模型进行吞吐量分析。实验结果表明,所提建模方法优于已有方法,可有效提高吞吐量分析效率。     

基于IDEF3的指挥控制任务描述方法

指挥控制任务的描述是实现任务和资源优化匹配的基础.给出了指挥控制任务的形式化定义,提出了一种基于IDEF3的指挥控制任务描述方法.在IDEF3的过程流网中可能存在死锁和同步丢失这两类结构性冲突.为了确保所建立的指挥控制任务描述模型的正确性.提出了基于图化简方法的IDEF3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突.最后给出了一个简单的示例.     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。