元数据驱动的双向映射ETL模型研究

论文重点研究异构数据模型间的映射关系,并参考ETL框架思想,设计了针对异构数据模型间数据映射、转换和加载于一身的双向映射策略,分析并定义了数据模型间的映射关系与映射规则.基于元数据驱动理论方法设计了数据映射元模型,并将映射关系按照复杂程度分类,分为简单映射与复合映射关系,明确给出了分类原则.论文还对双向映射关系进行了描述,并分析了双向映射中遇到的问题.     

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

基于资源的需求描述方法

针对需求分析中的系统需求描述问题,本文提出了一种以资源描述需求的方法,分析了这种方法与传统需求描述方法的异同;实现了对资源及需求的形式化描述,并详细讲述了获取需求的过程;最后给出了需求的存储形式和需求同资源的映射算法。     

维修Agent模型的双指数映射参数化方法

复杂关节模型的运动参数化是虚拟人动作仿真的基础,传统的旋转矩阵、欧拉角方法和四元数等参数化方法在运动描述方面存在一定缺陷,都不能很好地解决复杂关节模型的运动参数化问题.对指数映射方法进行改进,提出一种双指数映射(DEM)运动参数化方法,用于同时描述关节模型的平移与旋转、线速度与角速度.首先阐述其在运动描述和参数计算方面的能力,然后进行了维修操作训练仿真实验.研究结果表明了该方法在求导和微分、常微分方程求解、优化控制和插值拟合等方面具有较强的描述功能.     

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的“主谓宾状”需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.     

一个基于模式和动作语义的MDA实现方法

基于模式和动作语义,结合EJB平台,提出了MDA的一个实现方法。说明了模式在MDA设计、映射、实现阶段的应用方法与步骤,采用动作语义元语言给出了对该方法的描述,最后,结合具体实例说明了该方法的可行性。     

业务管理网中可复用组件的划分与实现

针对业务管理网中动态变化的业务需求带来的业务管理的复杂度问题,提出面向业务网管中业务无关可复用组件的特征和描述方法。在此基础上对业务功能进行划分,形成可复用的业务组件,并给出一个业务功能向业务组件映射的实例。     

基于模型驱动的数据映射技术研究

给出了数据词典的逻辑结构,以数据词典的方式在元模型层上对数据模型进行统一描述,在数据词典的基础上分析了异构数据模型之间的数据映射关系。采用EBNF范式对描述映射关系的语法进行形式化定义和描述,给出映射关系的相关语义说明,为映射关系可视化建模提供图形符号元素的表示方法,使异构数据间的集成以模型驱动的方式实现。     

现代防空侦察监视系统仿真与评估

防空侦察监视系统在军事应用上主要用于发现、监视和跟踪远方目标.该文先从侦察监视系统的理论入手,阐述了某防空侦察监视系统的概念模型,然后利用经典的Bayes理论,对该模型进行了分析、推导,得出了某防空侦察系统的最大后验概率比判决模型;又在现代防空侦察监视系统理论的基础上,以该模型为准则、以雷达传感器为例,结合相关的实验数据,对该系统的整体性能进行分析、评估,给出了系统优化数据,最后得出系统优化的几点结论.     

基于威胁传播的多节点网络安全态势量化评估方法

传统的安全态势评估方法主要面向小规模网信息系统,忽略了网络节点间风险的关联性.针对能源互联网中复杂的网络结构,提出基于威胁传播的多节点网络安全态势量化评估方法,1)该方法提出能源互联网网络节点的概念和相关定义,并利用图理论对能源互联网的网络结构进行建模;2)提出基于威胁传播概率的安全态势量化方法,计算网络节点安全态势,并提出多节点网络的权重计算方法LR-NodeRank,进而评估整个网络的融合安全态势;3)提出一种基于最简威胁图的安全态势改进方法,计算需要开展安全加固的网络边界.实验结果表明:该方法能够准确评估多节点网络的安全态势,能够有效计算边界连接关系.     

面向区域侦察的实拍实传卫星规划推演系统

为支持多颗实拍实传卫星区域侦察任务,研制规划推演系统.设计了规划推演系统的总体结构和信息流程,并研究了系统研制所需关键技术,分别提出了面向区域侦察的数传任务规划算法、基于网格的卫星区域覆盖分析算法、基于OSGEarth的目标区域和侦察范围组合可视化方法.研制的规划推演系统已成功应用于某任务中,进行数传任务规划、能力分析和过程推演.     

分布式制造资源集成系统软件平台研究

本文提出了分布式制造资源集成系统的概念,分析了该系统的特点,给出了具有核心功能结构的分布式制造多智能体的系统框图。在研究了分布式制造资源集成系统软件平台的功能及其关键技术的基础上,给出了软件平台的有关流程、程序和界面。实验表明,这些工作对分布式制造资源集成系统软件平台的理论研究及应用均具有实际的意义。     

基于MAS技术的多星协同侦察任务规划系统设计*

基于MAS技术,提出用多agent系统来实现多星协同侦察任务规划系统,建立系统的总体结构,并对其中的关键技术进行分析,给出了基于合同网的多星协作结构,实现了侦察任务分解和任务分配;在单个agent中利用已有规划器SAPA实现单星行动规划。基于MAS建立的任务规划系统具有较好的智能性和自主性。     

缺值背景中的概念分析与知识获取

In formal concept analysis ,concept lattice as the fundamental data structure can be construct-ed front a formal context. Howevt, r,it is required that the relation between object and feature in the for-real context should be certain, For uncertain relation,this paper uses the thoughts of upper and lowerapproximation in rough set theory to deal with it ,and gives out the corresponding definitions of missing-value context and rough formal concept, Based on them, this paper employs rough concept lattice,formed by rough formal concepts and partial order relation on them,as the basic data structure for con-cept analysis and knowledge acquisition. Then a theroem is presented to describe the method of extract-ing rules from constructed rough formal concept lattice,and the semantic interpretation of discoveredrules is explained.     

航天侦察任务流重构方法研究

针对战场环境中多侦察任务同时并发或交错形成侦察任务流的现象,提出一种基于资源能力的侦察任务流重构方法.首先,定义侦察任务流、侦察资源的相关概念,给出了航天侦察资源能力统一度量模型.其次,提出了侦察任务流重构的流程框架,实现了基于信息共享的冗余任务分析消除、基于资源能力的任务分析与聚合、基于资源负载均衡的任务空间降维三种任务流重构算法.最后,结合试验案例进行验证.     

利用设计原型集成概念设计和结构设计

为了集成概念设计和结构设计,必须解决概念设计到结构设计的映射这个ICAD的瓶颈问题,文章采用基于设计原型的设计方法实现从概念设计到结构设计的映射。首先建立概念设计原型和结构设计原型,将概念设计原型和结构设计原型的信息进行分类,利用概念设计原型与结构设计原型信息之间的分类匹配关系进行原型的匹配推理,实现原型的选择与提取,完成从概念设计到结构设计的映射;再利用结构设计原型的丰富信息,从抽象的简单的概念设计信息开始,逐层利用原型,步步细化,完成产品设计。     

Functional Modeling for Monitoring of Robotic System

With the expansion of robotic applications in the industrial domain, it is important that the robots can execute their tasks in a safe and reliable way. A monitoring system can be implemented to ensure the detection of abnormal situations of the robots and report the abnormality to their human supervisors or cooperators. In this work, we focus on developing a modeling framework for monitoring robotic system based on means-end analysis and the concept of action phases from action theory. A circular cascaded action phase structure is proposed for building the model of cyclical robotic events. This functional model provide a formal way of decompose robotic tasks and analyze each level of conditions for an action to be executed successfully. It can be used for monitoring robotic systems by checking the preconditions in the action phases and identifying the failure modes. The proposed method is demonstrated by using a simulated robotic manipulation system. The simulation results demonstrate the feasibility of the developed functional model in finding errors during the execution monitoring.     

多策略概念相似度计算方法LMSW

本体映射是语义集成的关键,国内外对本体映射进行了深入的研究。将机器学习的方法引入到组合概念相似度的权值计算中来,提出了基于Widrow-Hoff理论的权值确定算法LMSW。通过梯度下降法来搜索最佳拟合训练样例的权向量,从而计算出组合的概念相似度,最终实现组合多种概念相似度算法的本体映射。实验表明该算法比单独使用概念相似度计算方法在查全率、查准率上均有所提高。     

一种改进的本体相似度综合映射方法研究

为了解决本体映射方法中计算量大、方法单一的问题,提出本体相似度综合映射方法。首先分解合适的本体,将规模比较大的本体分解为小本体,以降低映射计算的时间复杂度;然后根据本体映射的启发规则筛选出候选概念集,对候选概念集进行基于世界知识体系的本体概念相似度计算,再进行语义相似度和结构相似度计算,并把这3种不同算法得到的相似度值进行加权综合,给出最终的本体概念相似度值,再根据该值进行本体映射;最后通过设计实验来验证算法的正确性与有效性,结果表明本方法能在提高映射效率的同时保证良好的查询效果。