检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

新一代综合化航空电子系统构架技术研究

航空学报 2014年第6期35卷 1473-1486页

作者：王国庆谷青范王淼张丽花航空电子系统综合技术重点实验室上海200233 中国航空无线电电子研究所上海200233 西北工业大学计算机学院陕西西安710072

综合化航空电子系统根据应用的需求,基于已有的能力,采用综合技术,实现面向应用的任务合成,提升应用效能;面向能力的功能信息融合,提升能力品质;面向物理的操作模式综合,提升资源效率。针对新一代战机应用领域和战场作战的需求,围绕应... 详细信息

综合化航空电子系统根据应用的需求,基于已有的能力,采用综合技术,实现面向应用的任务合成,提升应用效能;面向能力的功能信息融合,提升能力品质;面向物理的操作模式综合,提升资源效率。针对新一代战机应用领域和战场作战的需求,围绕应用层面、能力层面和资源层面研究新一代综合化航空电子系统构架组成要素与建模技术,基于任务、功能、资源的生成与组织过程的分析,构建了面向现代战机不同任务目标、功能组织和系统能力的航空电子系统组织、实施构架,提出了分层的综合化航空电子系统构架——任务组织构架、功能组织构架和物理组织构架,实现了从应用空间-逻辑空间-物理空间信息处理的一致性,为新一代战机航空电子系统的综合化技术研究奠定了一定的技术基础。

关键词：综合化航空电子系统构架物理构架功能构架任务构架物理综合信息融合任务合成

在线全文

学校读者我要写书评

暂无评论

新一代飞机任务系统概念与构架

航空学报 2015年第8期36卷 2735-2752页

作者：王国庆谷青范吴建民王淼中国航空无线电电子研究所上海200233

新一代飞机是面向全球战略的空中力量组织,其任务系统是利用全球、全域和全空间能力组织,构建全球、全域和全空间警戒、到达和对抗的优势,实现面向全球的战略目标。从全球战略、战术和任务组织思想的角度,论述了新一代飞机任务系统战略... 详细信息

新一代飞机是面向全球战略的空中力量组织,其任务系统是利用全球、全域和全空间能力组织,构建全球、全域和全空间警戒、到达和对抗的优势,实现面向全球的战略目标。从全球战略、战术和任务组织思想的角度,论述了新一代飞机任务系统战略需求和存在的挑战,描述了任务系统的"蝴蝶效应"及其形成过程等基本概念,构建了基于战略、战术、任务构架组织的战略云、战术云和任务云的系统框架组织,论述了相应的复杂系统、不确定性和智能化处理思路。

关键词：战略组织与需求战略层云组织战术层云组织任务层云组织飞机任务系统

在线全文

学校读者我要写书评

暂无评论

基于全局支配图算法的覆盖测试方法

计算机工程 2010年第19期36卷 70-71,74页

作者：于炳霞谷青范南京航空航天大学信息科学与技术学院南京210016

目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序... 详细信息

目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序的最小测试用例集。实验结果表明,该算法能够减少覆盖分析时间,生成较少的测试用例和达到较高的覆盖率。

关键词：覆盖测试全局支配图算法测试用例程序流图代码插装

对象约束语言对武器系统效能评估指标体系的描述与验证

在线全文

学校读者我要写书评

暂无评论

计算机应用 2012年第A1期32卷 95-97页

作者：王兴敏谷青范南京航空航天大学计算机科学与技术学院南京210016

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引... 详细信息

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果。针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言(UML)规范的一部分对象约束语言(OCL)对其进行精确描述。最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据。

关键词：武器系统效能评估指标体系元模型统一建模语言对象约束语言

在线全文

学校读者我要写书评

暂无评论

民航综合信息平台核心服务的设计与实现

计算机工程 2008年第21期34卷 267-269页

作者：郑伟峰徐涛谷青范南京航空航天大学信息科学与技术学院南京210016 中国民航大学计算机科学与技术学院天津300300

介绍基于面向服务体系结构的民航综合信息平台,根据民航业务自身特点,利用面向服务的设计思想对综合信息平台的核心业务逻辑进行自上而下的组件设计,并将其封装成平台的核心服务,实现了对下层数据库的操作。实验结果表明,该服务系统是... 详细信息

介绍基于面向服务体系结构的民航综合信息平台,根据民航业务自身特点,利用面向服务的设计思想对综合信息平台的核心业务逻辑进行自上而下的组件设计,并将其封装成平台的核心服务,实现了对下层数据库的操作。实验结果表明,该服务系统是有效的。

关键词：面向服务体系结构 SQL语言服务设计

在线全文

学校读者我要写书评

暂无评论

ARINC653分区调度算法的研究与改进

计算机工程 2011年第20期37卷 249-251,263页

作者：乔乃强徐涛谷青范南京航空航天大学信息科学与技术学院南京210016 中国民航大学计算机科学与技术学院天津300300

基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能... 详细信息

基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能够缩短任务的平均响应时间。

关键词：综合模块化航电系统 ARINC653标准分区调度二级调度可调度性分析

在线全文

学校读者我要写书评

暂无评论

面向服务的网格调度组件的设计与实现

计算机工程与应用 2008年第11期44卷 107-110页

作者：顾海花谷青范孙志挥南京信息职业技术学院软件学院南京210046 南京航空航天大学信息科学与技术学院南京210016 东南大学计算机科学与工程系南京210096

针对当前网格调度体制的研究仅从功能需求、执行过程方面进行描述,尚未对调度过程中的接口和交互协议进行定义,缺乏对语义支持的现状。结合语义Web服务技术,从实现角度讨论服务网格环境下的调度机制。从分析服务调度过程入手,讨论服务... 详细信息

针对当前网格调度体制的研究仅从功能需求、执行过程方面进行描述,尚未对调度过程中的接口和交互协议进行定义,缺乏对语义支持的现状。结合语义Web服务技术,从实现角度讨论服务网格环境下的调度机制。从分析服务调度过程入手,讨论服务网格中动态调度系统的组成、系统架构及实现技术,初步设计和实现能够完成服务网格中调度需求的服务调度组件——G-Sched,并以模拟网络化虚拟制造作为应用示例来验证所提出方法的可行性和有效性。

关键词：网格调度网格服务开放网格服务体系结构服务调度

在线全文

学校读者我要写书评

暂无评论

基于UML的可执行模型实现机制研究

航空电子技术 2013年第1期44卷 10-14页

作者：付佩谷青范南京航空航天大学南京210016 中国航空无线电电子研究所上海200241

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和... 详细信息

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。

关键词：对象可执行框架状态图模型验证统一建模语言(UML)

在线全文

学校读者我要写书评

暂无评论

基于DDS的实时中间件的研究与设计

航空电子技术 2011年第3期42卷 41-46,54页

作者：冯国良谷青范南京航空航天大学南京210016 中国航空无线电电子研究所上海200233

为满足分布式实时应用的需求,项目管理组(OMG:Object Management Group)提出并发布了实时系统用数据分配业务(DDS:Data Distribution Service for Real-time Systems)规范。基于该规范,本文研究了发布/订阅系统的理论模型,设计了一个灵... 详细信息

为满足分布式实时应用的需求,项目管理组(OMG:Object Management Group)提出并发布了实时系统用数据分配业务(DDS:Data Distribution Service for Real-time Systems)规范。基于该规范,本文研究了发布/订阅系统的理论模型,设计了一个灵活、可靠的实时中间件(RTDDS:Real-time Data middleware),从而降低了各节点之间的时空耦合性,解决了分布式环境下数据传输的QoS和实时性问题。最后,本文给出了基于RTDDS的一个应用实例。

关键词： DDS规范中间件发布/订阅数据分发