【摘 要】
：
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言
论文部分内容阅读
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成
其他文献
居民消费状况对一个地区的经济发展和社会稳定有非常大的作用。该文以近17年来新疆居民消费为研究对象,通过多元线性回归模型的统计检验、经济意义检验和显著性检验,最终建立
旅游业和网络时代高速发展,导致旅游信息过载问题日益严重,旅游推荐方法对解决信息过载问题十分重要。传统推荐算法只针对用户和项目之间的评分和基本属性计算相似度进行推荐
根据三维视景仿真场景实时性要求高的特点,对三维模型的建模及优化提出了更高要求。综合利用MultigenCreator和TerraVista等软件,以"MQ-1捕食者"无人机为例,在虚拟现实技术的基础上,利用构造无人机模型过程中的自由度(DOF)控制技术、模型数据库优化技术和纹理映射技术等关键技术来实现对无人机动态实体模型的构建和任务飞行的模拟。对以无人机为主体的虚拟环境视景仿真建模关键技术进行研究
在下行云接入网络(C-RANs)中,核心网络内基站处理单元(BBU)通过前向回传线路向远端无线电头端(RRH)传输数据,然后RRHs通过无线接入链路转发数据。目前,C-RANs的下行链路的能
针对传统跨域密钥协商协议安全性不足问题,提出一种新的跨域量子密钥协商协议。在无证书密钥协商体系下,采用量子密钥协商与经典密码算法结合的方案,提高了协议适应现有通信
为了实现缺陷圆圆心与半径参数的检测,本文提出一种基于随机抽样与投票策略的检测方法。通过在目标轮廓上随机提取三点并由此获得任意两条弦,计算它们各自对应的垂直平分线的交点。重复上述过程可得到若干候选圆心坐标,应用投票策略检测出频数最高的坐标值,得到理想圆心。在此基础上再根据投票策略获取半径参数。仿真和实验结果表明,本文方法适应性强,鲁棒性好,可应用于不同类型缺陷圆检测;其检测结果准确可靠,易于实现,可
科学判断在储饮食装备寿命,是充分发挥饮食装备的军事经济效益,减少资源浪费的有效手段,也是提高饮食装备保障能力,提高军需建设质量的必然途径。论文基于寿命周期理论,分别
针对传统的基于文档式的需求工程方法无法满足当前复杂系统的需求分析,论文提出一种基于模型系统工程(Model-Based Systems Engineering,MBSE)思想的传感器系统需求建模分析
下一个购物篮推荐旨在为用户推荐下一次想购买的商品,与传统推荐不同,它考虑了商品间的时序相关性,购物篮中的商品可能相互依赖,而非彼此独立。如何更好地挖掘用户的时序行为
近年来,深度学习凭借其优越的性能广泛应用于图像处理、自然语言处理、语音识别等领域,它对性能的提升远超于以往的传统方法。论文采取循环神经网络(Recurrent Neural Networ