期刊文献+
共找到1,030篇文章
< 1 2 52 >
每页显示 20 50 100
Ripple-effect analysis for operational architecture of air defense systems with supernetwork modeling 被引量:5
1
作者 Zhigang Zou Fuxian Liu +2 位作者 Shiman Sun Lu Xia Chengli Fan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2014年第2期249-264,共16页
In order to solve the problem that the ripple-effect analy- sis for the operational architecture of air defense systems (OAADS) is hardly described in quantity with previous modeling approaches, a supernetwork model... In order to solve the problem that the ripple-effect analy- sis for the operational architecture of air defense systems (OAADS) is hardly described in quantity with previous modeling approaches, a supernetwork modeling approach for the OAADS is put for- ward by extending granular computing. Based on that operational units and links are equal to different information granularities, the supernetwork framework of the OAADS is constructed as a “four- network within two-layer” structure by forming dynamic operating coalitions, and measuring indexes of the ripple-effect analysis for the OAADS are given combining with Laplace spectral radius. In this framework, via analyzing multidimensional attributes which inherit relations between operational units in different granular scales, an extended granular computing is put forward integrating with a topological structure. Then the operation process within the supernetwork framework, including transformation relations be- tween two layers in the vertical view and mapping relations among functional networks in the horizontal view, is studied in quantity. As the application case shows, comparing with previous modeling approaches, the supernetwork model can validate and analyze the operation mechanism in the air defense architecture, and the ripple-effect analysis can be used to confirm the key operational unit with micro and macro viewpoints. 展开更多
关键词 operational architecture air defense system super-network model Laplace spectral radius ripple-effect analysis.
下载PDF
A super-network equilibrium optimization method for operation architecture with fuzzy demands 被引量:2
2
作者 XING Qinghua GAO Jiale 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2020年第5期969-982,共14页
From the view of information flow, a super-network equilibrium optimization model is proposed to compute the solution of the operation architecture which is made up of a perceptive level, a command level and a firepow... From the view of information flow, a super-network equilibrium optimization model is proposed to compute the solution of the operation architecture which is made up of a perceptive level, a command level and a firepower level. Firstly, the optimized conditions of the perceptive level, command level and firepower level are analyzed respectively based on the demand of information relation,and then the information supply-and-demand equilibrium model of the operation architecture super-network is established. Secondly,a variational inequality transformation(VIT) model for equilibrium optimization of the operation architecture is given. Thirdly, the contraction projection algorithm for solving the operation architecture super-network equilibrium optimization model with fuzzy demands is designed. Finally, numerical examples are given to prove the validity and rationality of the proposed method, and the influence of fuzzy demands on the super-network equilibrium solution of operation architecture is discussed. 展开更多
关键词 super-network equilibrium operation architecture fuzzy demand information flow variational inequality transformation
下载PDF
The Architecture and Operation Mode of Virtual Supply Chain 被引量:4
3
作者 Xumei Zhang Dan Bin 《Chinese Business Review》 2003年第4期53-59,共7页
Virtual supply chain, as a modern collaborative mode of enterprises, is important to decrease the cost and improve the efficiency and the quality of supply chains, and to satisfy customers. Based on the analysis of th... Virtual supply chain, as a modern collaborative mode of enterprises, is important to decrease the cost and improve the efficiency and the quality of supply chains, and to satisfy customers. Based on the analysis of the conception and characteristics of the virtual supply chain, the architecture of virtual supply chain is built, and corresponding objects, tasks, information and technologies are described. Three operation modes-Order-driven, manufacturer-centered, and retailer-centered are researched. As a case, virtual supply chain is applied in the electronic commerce and networked customization system of ceramic products. 展开更多
关键词 virtual supply chain architecture operation mode
下载PDF
Research on construction of operation architecture based on complex network
4
作者 You Chen Xing Wang +2 位作者 Yuan-zhi Yang Cheng-wei Ruan Yi-peng Zhou 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2020年第1期232-241,共10页
Operation architecture plays a more important role in Network Centric Warfare(NGAV),which involves dynamic operation networks with complex properties.Thus,it is essential to investigate the operation architecture unde... Operation architecture plays a more important role in Network Centric Warfare(NGAV),which involves dynamic operation networks with complex properties.Thus,it is essential to investigate the operation architecture under the informatization condition within NCAW and find a proper network construction method to efficiently coordinate various functional modules on a particular situation,i.e.,the aerial combat.A new method integrating the physical level and functional level of NCW is proposed to establish the operation architecture,where the concept of network operation constraints unit and net constructing mechanisms are employed to avoid conflicts among different platforms.Meanwhile,we conduct simulations to assess the effectiveness and feasibility of the constructed operation architecture and analyze the influence of the network parameters. 展开更多
关键词 operation architecture NETWORK centric warfare TOPOLOGY COMPLEX NETWORK
下载PDF
Architecture of Graphics System with 3D Acceleration Support for Embedded Operating Systems
5
作者 Alexander Giatsintov Kirill Mamrosenko Pavel Bazhenov 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2024年第3期863-873,共11页
An increasing number of tasks now require the use of hardware accelerators to reduce the time required for computation and display the computational results.This paper presents a new graphics system architecture for o... An increasing number of tasks now require the use of hardware accelerators to reduce the time required for computation and display the computational results.This paper presents a new graphics system architecture for operating systems(OSs)with microkernel architecture,including real-time OSs.The proposed system architecture provides capabilities for displaying graphical images on various information display devices and for accelerating graphical operations on GPU.The architecture of the graphics system uses a concept of allocators to manage system and video memory,provides an abstraction of memory operations with a single interface for video memory management,and simplifies memory handling where incorrect operation is the cause of many failures.A comparison between the performance of a real-time OS and Linux OS implementing the graphics system using the example of a glmark2 benchmark is presented,thereby the superiority of the proposed architecture in several scenarios is demonstrated. 展开更多
关键词 real-time operating system(RTOS) graphics system RENDERING system architecture operatingsystem VISUALIZATION system programming
原文传递
A Hull-Inspect ROV Control System Architecture 被引量:2
6
作者 李晔 庞永杰 +2 位作者 陈艳 万磊 邹劲 《China Ocean Engineering》 SCIE EI 2009年第4期751-761,共11页
The control architectures of "SY-2" Remote Operated Vehicle (ROV) are introduced. Both hardware architecture and software architecture are discussed. PC/104 embedded computer is used to control equipment for colle... The control architectures of "SY-2" Remote Operated Vehicle (ROV) are introduced. Both hardware architecture and software architecture are discussed. PC/104 embedded computer is used to control equipment for collecting sensor data and sending control commands. PC/104 embedded computer is integrated with A/D, D/A, 8 serial ports card and power supply unit. The surface computer is a X86PC. They transfer data through a fiber line. For software, real-time OS VxWorks is embedded in PC/104. A/D, D/A and serial ports operation are based on VxWorks OS, which increase the real-time quality of control system. Surface computer is the center of motion control and data processing. It is communicated with underwater PC/104 by socket. The whole system has been tested both on land and in tank. 展开更多
关键词 Remote operated Vehicle hull inspection control system architecture
下载PDF
A policy-based billing management architecture for the next generation IP-based network
7
作者 成璐 Qiu Xuesong Meng Luoming 《High Technology Letters》 EI CAS 2006年第3期300-303,共4页
IP billing is not only a basic functionality to operate IP sen'ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be t... IP billing is not only a basic functionality to operate IP sen'ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be the core network of NGN, and existing IP billing system is too simple to fulfill the emerging requirements, the next generation IP billing has become an interesting topic in recent years. Policy-based management brings flexibility and scalability to systems by describing management logic and functions through policies, and thus reduces the complexity of the management of large-scale systems. Working on existing efforts, this paper proposed an improved IETF policy framework based upon which a policy-based billing management architecture for the next generation IP-based network was presented. Then a prototype with some basic functionalities was developed. The results of the experiment validated the expected improvements specified in this paper. 展开更多
关键词 Policy-based architecture IP billing operation system
下载PDF
基于数字孪生的智能运维理论体系与实现方法 被引量:6
8
作者 刘占省 史国梁 +1 位作者 杜修力 焦泽栋 《土木与环境工程学报(中英文)》 CSCD 北大核心 2024年第1期46-57,共12页
在建筑行业转型升级的背景下,针对大型建筑运维过程管理效率低、各类运维事件决策分析精度不足、智能化程度有待提高等问题,提出基于数字孪生的智能运维理论体系与实现方法。总结归纳大型建筑智能运维需要采集的信息,分析智能运维亟待... 在建筑行业转型升级的背景下,针对大型建筑运维过程管理效率低、各类运维事件决策分析精度不足、智能化程度有待提高等问题,提出基于数字孪生的智能运维理论体系与实现方法。总结归纳大型建筑智能运维需要采集的信息,分析智能运维亟待解决的问题,融合智能感知与数字孪生技术,给出智能运维运行机理,建立针对大型建筑的智能运维架构体系与多维多尺度的孪生模型。研究建筑智能运维的实现方法,其中包含智能运维全要素信息的采集与传输、智能运维孪生体的构建与运行、智能运维孪生数据的管理机制及智能运维平台的架构。在智能运维理论体系和实现方法的指导下,搭建了智能运维平台,并应用于某大型建筑工程的运维管理。考虑运维管理过程中的虚实交互与时空演化,初步验证了数字孪生在提高运维管理智能化程度方面的有效性。 展开更多
关键词 建筑运维 智能运维 数字孪生 智能管理
下载PDF
数据要素市场体系建构与价值实现路径探索 被引量:3
9
作者 孙建军 巴志超 夏义堃 《情报学报》 CSSCI CSCD 北大核心 2024年第1期1-9,共9页
数据要素市场体系的顶层设计是加快推进数字要素市场化配置、推动我国数字经济高质量发展的前提基础与关键部署。通过剖析当前全国数据要素统一大市场建设面临的瓶颈与挑战,本文分析数据要素市场建设的特殊性,提出全国统一数据要素市场... 数据要素市场体系的顶层设计是加快推进数字要素市场化配置、推动我国数字经济高质量发展的前提基础与关键部署。通过剖析当前全国数据要素统一大市场建设面临的瓶颈与挑战,本文分析数据要素市场建设的特殊性,提出全国统一数据要素市场体系“一体两翼”“三基”“七要点”的总体架构思路,以及战略布局、结构布局和空间布局相统一的总体布局方案,并从市场体系建设新特征、内在结构与运行模式解析、数据要素市场与传统要素市场一体化联动机理揭示与场景应用示范等方面探索促进数据要素市场价值升级与高质量发展的实现路径,从而为推动数据资源化、资产化和资本化的可持续运营提供参考借鉴。 展开更多
关键词 数据要素 市场体系架构 价值实现路径 运行模式 联动机制
下载PDF
OBE+CDIO理念的园林专业实践教学体系研究与探索
10
作者 李英杰 岳永杰 +2 位作者 赵红霞 胡晓龙 闫晓云 《实验室研究与探索》 CAS 北大核心 2024年第4期179-183,共5页
以园林专业就业与实践教学环节中的实际问题为导向,将课程目标与学生就业需求相结合,依托行业资源共建专业教学资源平台。将CDIO理念分解到实践教学体系中,建立适应园林专业教育需求“以点串线、以线带面、以面连体”的互联互通,渐进共... 以园林专业就业与实践教学环节中的实际问题为导向,将课程目标与学生就业需求相结合,依托行业资源共建专业教学资源平台。将CDIO理念分解到实践教学体系中,建立适应园林专业教育需求“以点串线、以线带面、以面连体”的互联互通,渐进共融式的新型教学模式。该模式的实施,实现了对实践教学模式的系统性改革,包括梳理了人才培养方案、优化了实践教学内容、更新了实践教学理念,并强调了学生学习自主性的教学目的,从而提升了学生的综合素质和就业竞争力。 展开更多
关键词 OBE CDIO 应用型 园林专业 实践教学体系
下载PDF
模板运算代码的自动生成与调优框架
11
作者 刘金硕 文尧 《计算机工程》 CAS CSCD 北大核心 2024年第6期35-47,共13页
针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统... 针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统一计算设备架构(CUDA)核函数,同时根据单GPU或多GPU环境生成不同的主机端代码。在代码调优阶段,根据不同的GPU型号确定候选参数范围,动态调用生成的CUDA核函数以确定最优参数。在多GPU的情况下,自动生成的主机端代码能够使用计算与通信重叠的方法进行边界数据交换。在4种不同的GPU与7、13、19、27点模板运算中,该框架能找到最优的参数配置。实验结果表明,对于Tesla V100-SXM2,以调优过的参数进行模板运算,该框架在单精度4种模板运算下的每秒万亿次浮点运算数(TFLOPs)分别为1.230、1.680、1.120、1.480,在双精度下分别为0.690、1.010、0.480、1.470,平均性能达到手工优化代码的98%,并且描述更简单,支持多GPU扩展。 展开更多
关键词 模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优
下载PDF
基于STIRPAT模型的山东省居住建筑运行碳排放影响因素研究
12
作者 李明柱 刘梦雪 李华林 《建材技术与应用》 2024年第3期14-19,共6页
为有效实施建筑领域节能减排,实现双碳目标,以2005-2021年山东省居住建筑运行阶段碳排放数据为研究对象,利用STIRPAT模型对人口数量、人均GDP、人均消费支出、人均可支配收入、城镇化水平、居住建筑面积、单位建筑面积能耗、能源消耗强... 为有效实施建筑领域节能减排,实现双碳目标,以2005-2021年山东省居住建筑运行阶段碳排放数据为研究对象,利用STIRPAT模型对人口数量、人均GDP、人均消费支出、人均可支配收入、城镇化水平、居住建筑面积、单位建筑面积能耗、能源消耗强度和能源结构等影响碳排放的因素进行岭回归分析。结果表明:人口数量、人均GDP、人均消费支出、人均可支配收入、城镇化水平、居住建筑面积、单位建筑面积能耗和能源消耗强度等的增加会促使碳排放量的增加,但能源结构的增加会抑制碳排放量的增加,其中人口数量是影响碳排放的关键因素。据此提出山东省居住建筑节能减排的建议和对策。 展开更多
关键词 居住建筑 运行碳排放 STIRPAT模型 影响因素强度 岭回归分析
下载PDF
医院DRG运营管理系统设计与应用 被引量:1
13
作者 熊尚华 郭佳奕 +2 位作者 颜梅 郑盼 黄玉清 《中国卫生信息管理杂志》 2024年第2期240-245,251,共7页
目的设计一种交互性好、可用性高、扩展性强的疾病诊断相关分组(DRG)运营管理系统,为医院具体实施DRG付费和医疗服务绩效评价提供信息化支撑。方法通过研究DRG管理工具,从系统架构、数据管理、指标体系、系统功能4个方面提出医院DRG运... 目的设计一种交互性好、可用性高、扩展性强的疾病诊断相关分组(DRG)运营管理系统,为医院具体实施DRG付费和医疗服务绩效评价提供信息化支撑。方法通过研究DRG管理工具,从系统架构、数据管理、指标体系、系统功能4个方面提出医院DRG运营管理系统的设计思路,结合联机分析处理、数据挖掘、可视化等技术,实现医院运营数据的多维联机分析和内涵挖掘。结果实现了医保合理控费、临床路径管理、医疗服务绩效评价三大场景管理应用,相较2020年,2021年平均住院日下降0.5天,住院均次费用下降526.88元。结论在满足国家、省、市三级DRG管理体系建设要求的基础上,融合了DRG付费和医疗服务绩效评价的一体化运营管理,实现了医疗服务质量和医疗资源合理消耗的均衡发展。 展开更多
关键词 医院运营管理 DRG付费 医疗服务绩效评价 微服务架构
下载PDF
基于氢储能的偏远地区零碳微能网构建及运行策略研究 被引量:1
14
作者 李星仪 沈小军 金钰 《可再生能源》 CAS CSCD 北大核心 2024年第2期223-232,共10页
针对绿色能源富集的偏远地区外部供能代价大、内部绿色微电源可靠性低、柴油发电机作为后备电源成本较高等问题,文章提出了离网型储氢供能场景下基于氢储能的微能网设计。根据可再生能源富集偏远地区能源时空分布特性,提出了基于氢储能... 针对绿色能源富集的偏远地区外部供能代价大、内部绿色微电源可靠性低、柴油发电机作为后备电源成本较高等问题,文章提出了离网型储氢供能场景下基于氢储能的微能网设计。根据可再生能源富集偏远地区能源时空分布特性,提出了基于氢储能的零碳微能网构建框架,构建了绿色能源富集区建设氢能零碳微能网的资源禀赋约束及微能网运行约束,制定了能源富裕及短缺期微能网运行策略,并对云南省某村镇案例进行仿真。结果表明,文章构建的微能网运行策略能有效消除区域绿色微电源出力不稳定以及季节性短缺对供电系统可靠性的影响,减轻区域热负荷负担。研究成果可为偏远地区、海岛等绿色能源富集区域的用能改善及降碳提供参考。 展开更多
关键词 零碳微能网 氢储能 系统架构 运行策略
下载PDF
多主体参与的区域综合能源系统集中-分布式需求响应机制 被引量:2
15
作者 董萌苇 朱勐婷 +1 位作者 徐成司 董树锋 《电网技术》 EI CSCD 北大核心 2024年第6期2336-2345,I0026-I0031,共16页
区域综合能源系统是能源互联网建设背景下能源供给体系的重要发展方向,随着城镇区域内微能源网、虚拟电厂等具备电网互动能力的新用能主体相继出现,该文针对区域综合能源系统需求响应这一重要调控问题,提出一种考虑区域系统运营商与区... 区域综合能源系统是能源互联网建设背景下能源供给体系的重要发展方向,随着城镇区域内微能源网、虚拟电厂等具备电网互动能力的新用能主体相继出现,该文针对区域综合能源系统需求响应这一重要调控问题,提出一种考虑区域系统运营商与区域内多用能主体利益协调的实现机制。首先,针对传统集中式调度在保护用户信息和控制自主权方面的不足,构建了由运营商集中调度、新用能主体分布协同的集中-分布式架构。其次,针对运营商和各新用能主体的调峰责任分配和利益协调问题,引入区域调峰需求响应市场,并设计了相应的奖惩机制,在激励用户的同时,规范市场行为。此外,考虑供能安全性和新能源不确定性,建立区域供能系统和新用能主体双层用能优化模型,实现多能互补和能源梯级利用。最后,通过算例验证了所提机制的合理性和有效性,运营商和各新用能主体获得更高收益,且数据交互量少、业务流程简便,适用于现行市场机制下的实际应用场景。 展开更多
关键词 区域综合能源系统 综合需求响应 集中-分布式架构 优化运行 多能互补
下载PDF
关于建筑设计管理平台上对于数字信息化技术的应用与探究 被引量:1
16
作者 杨琳 《智能建筑与智慧城市》 2024年第1期131-133,共3页
数字化时代的全面覆盖,在建筑行业领域中对建筑设计管理具有极大的应用价值。通过对数字化在建筑设计管理平台上的应用价值分析,对应用途径、应用难点等方面的研究,探讨如何更好地开展数字化技术管理手段,使建筑设计管理更加科学、合理... 数字化时代的全面覆盖,在建筑行业领域中对建筑设计管理具有极大的应用价值。通过对数字化在建筑设计管理平台上的应用价值分析,对应用途径、应用难点等方面的研究,探讨如何更好地开展数字化技术管理手段,使建筑设计管理更加科学、合理、精细化。 展开更多
关键词 建筑设计管理 数字信息化技术 智慧运维
下载PDF
基于连通度的作战体系结构可靠性分析方法
17
作者 丁泽柳 季明 杜静 《系统工程与电子技术》 EI CSCD 北大核心 2024年第9期3112-3117,共6页
具备坚实可靠的组成结构是作战体系有效执行作战任务的基础和充分发挥体系效能的前提。为了判断评价作战体系结构在遭到打击破坏或出现故障损耗情况下的持续运行能力,基于体系结构要素之间的相互连通程度,从点连通度和边连通度两个角度... 具备坚实可靠的组成结构是作战体系有效执行作战任务的基础和充分发挥体系效能的前提。为了判断评价作战体系结构在遭到打击破坏或出现故障损耗情况下的持续运行能力,基于体系结构要素之间的相互连通程度,从点连通度和边连通度两个角度入手,研究给出一种作战体系结构可靠性分析方法,利用算例对所提方法进行了检验,可服务于作战体系设计与建设。 展开更多
关键词 连通度 作战体系结构 可靠性
下载PDF
面向服务的混合架构测运控一体化云中心设计
18
作者 唐沛蓉 喻韬 闫宇晗 《指挥信息系统与技术》 2024年第2期28-32,50,共6页
针对构建快速、灵活、弹性和高效的地面中心系统以及提升互联网海量用户前提下的系统响应时效性和精准性的挑战,提出了面向服务的混合架构测运控一体化云中心设计思想。首先,通过构建云平台、分布式面向服务软件架构,提升中心的弹性并... 针对构建快速、灵活、弹性和高效的地面中心系统以及提升互联网海量用户前提下的系统响应时效性和精准性的挑战,提出了面向服务的混合架构测运控一体化云中心设计思想。首先,通过构建云平台、分布式面向服务软件架构,提升中心的弹性并行任务执行能力;然后,通过采用“中心化”和“去中心化”软件交互模式,提升中心统一资源调度与管理能力以及系统的易集成和易扩展程度;最后,通过构建面向服务架构的软件系统,提升中心海量用户的服务实时响应能力。 展开更多
关键词 云架构 面向服务架构 测运控应用系统
下载PDF
医院智慧后勤运维管理体系的构建
19
作者 张钰 《现代医院管理》 2024年第3期113-116,共4页
随着医院后勤保障设施设备数量逐渐增加、医疗服务质量要求的不断提高以及市场竞争的加剧,医院后勤管理变得更加复杂,导致出现管理成本高、效率低、服务质量差等诸多问题,需要有更高效、精细化的运维管理方式来应对。随着智能化技术的... 随着医院后勤保障设施设备数量逐渐增加、医疗服务质量要求的不断提高以及市场竞争的加剧,医院后勤管理变得更加复杂,导致出现管理成本高、效率低、服务质量差等诸多问题,需要有更高效、精细化的运维管理方式来应对。随着智能化技术的发展以及国家医疗改革的不断深化,智慧医院概念应运而生,为当前医院后勤管理困局提供了可行的路径。在此背景下,探讨了医院智慧后勤运维管理的现状、难点,提出了医院智慧后勤运维管理的实施流程、策略、整体架构及配套应用系统,为医院后勤管理的转型升级提供借鉴。 展开更多
关键词 医院后勤 智慧化 运维管理 流程 架构
下载PDF
面向国产机载操作系统的IMA软件代码生成方法
20
作者 凌仕翔 杨志斌 +1 位作者 郭鹏 周勇 《航空计算技术》 2024年第4期84-88,93,共6页
随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首... 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。 展开更多
关键词 综合模块化航空电子系统 国产机载操作系统 AADL 代码生成 模型/代码语义一致性
下载PDF
上一页 1 2 52 下一页 到第
使用帮助 返回顶部