张凡

作品数：36被引量：155H指数：7
导出分析报告
供职机构：西北工业大学更多>>
发文主题：AADL架构模型网络处理器嵌入式软件软件架构更多>>
发文领域：自动化与计算机技术经济管理自然科学总论理学更多>>
发文期刊：《计算机仿真》《计算机技术与发展》《微处理机》《微型电脑应用》更多>>
所获基金：国家高技术研究发展计划西北工业大学研究生创业种子基金国家自然科学基金中国航空科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于扩展合同网协议的有人机/无人机任务协同方法被引量：1
《无人系统技术》2022年第5期72-80,共9页陈宣霏 沈博 张凡 杨刚 周兴社 
国家自然科学基金(61902295,62032018)。
针对有人机/无人机编队中出现的任务负载不均衡、实时性不足等问题,结合任务协同特点及实际作战需求,对传统合同网协议进行扩展,提出了一种有人机/无人机任务协同方法。根据战场实际需求分析有人机/无人机任务协同过程,建立有人机/无人...
关键词：有人机/无人机 任务协同 实时性 合同网协议 任务负载 任务执行时间 
结合结构重参数化方法与空间注意力机制的图像融合模型被引量：8
《计算机应用研究》2022年第5期1573-1578,1600,共7页俞利新 崔祺 车军 许悦雷 张凡 李帆 
航空科学基金资助项目。
针对深度学习在红外与可见光图像融合时无法同时满足运算效率和融合效果的问题,提出了一种无监督端到端的红外与可见光图像融合模型。该模型的图像特征提取模块采用结构重参数化方法,有效提升了算法的运行效率;同时引入了注意力机制,减...
关键词：结构重参数化 端到端 空间注意力机制 无监督学习 结构相似度 
支持时空隔离机制的微内核设计与实现被引量：1
《微电子学与计算机》2014年第9期11-14,19,共5页王晓鹏 张凡 苏卫宁 
航空科学基金支持(20111953016)
基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.
关键词：安全关键 微内核 时空隔离 
L4微内核操作系统及其应用技术研究被引量：1
《计算机技术与发展》2014年第4期29-32,37,共5页李鹏 张凡 
航空科学基金项目(20111953016)
嵌入式系统对其操作系统的可靠性、实时性和安全性有很高的要求,微内核操作系统技术能够很好地匹配该需求,因此研究微内核在实际系统中的应用和开发方法对嵌入式应用领域的发展有着重要意义。文中对L4微内核的结构及其实现原理进行了深...
关键词：微内核 嵌入式操作系统 进程间通信 L4 
领域自适应的分布式资源QoS评价模型研究被引量：1
《西北工业大学学报》2013年第1期49-54,共6页王涛 杨刚 周兴社 张凡 
分布式资源QoS的评价是指导大规模分布式系统进行资源选取与组合的主要手段。文章针对现有分布式资源QoS评价模型采用与应用领域无关的评价因子来评价分布式资源,不能全面衡量资源使用者对分布式资源QoS要求的不足,提出了一种领域自适...
关键词：分布式计算 数学模型 服务质量 领域自适应QoS评价模型 
AADL建模工具的设计被引量：3
《计算机工程》2012年第20期236-238,242,共4页侯永 吴晓 张凡 
国家"863"计划基金资助项目"面向信息-物理融合的系统平台"(2011AA010102)
设计一种架构分析与设计语言(AADL)建模工具,便于用户建立AADL模型。基于模型驱动体系结构思想,在Eclipse插件开发平台上开发可扩展的插件集合AADL模型设计工具。用户根据该工具建立的嵌入式系统AADL架构模型,通过XML文档保存,分析与验...
关键词：嵌入式系统 架构分析与设计语言 模型驱动体系结构 元模型 对象 ECLIPSE插件 
面向CPS系统仿真的建模方法研究与设计被引量：12
《计算机科学》2012年第7期32-35,68,共5页刘厦 王宇英 周兴社 张凡 
国家863计划主题项目(2011AA010101);西安市科技计划项目(CXY1008)资助
CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理...
关键词：CPS仿真建模 物理实体 计算实体 行为模型 面向时间的状态精化 
一种AADL系统可靠性模型转换方法被引量：6
《计算机工程》2011年第14期21-26,共6页高磊 董云卫 张凡 王广仁 
国家自然科学基金资助重点项目"高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究"(60736017);国家"863"计划基金资助项目"模型驱动的任务关键软件系统测试建模与支撑平台"(2007AA01Z147)
在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可...
关键词：架构分析与设计语言 广义随机PETRI网 可靠性模型 模型装换规则 可靠性评估 
基于Coq的微内核操作系统程序验证方法研究被引量：3
《计算机测量与控制》2011年第8期1939-1942,共4页张忠秋 董云卫 张雨 张凡 
国家自然科学基金项目(60736017);航空科学基金项目(20081953012)
机载嵌入式程序的可信属性验证是新一代飞机研制最关注的软件质量保障问题;基于定理证明的程序形式化验证方法是一种可靠和严格的软件正确性验证技术;文中在深入分析微内核操作系统的基础上,应用霍尔逻辑针对机载嵌入式软件核心代码开...
关键词：程序验证 霍尔逻辑 推理系统 定理证明 
基于AADL的软件重构工具设计与实现被引量：1
《计算机科学》2011年第7期121-125,共5页李龙 董云卫 覃杨森 张凡 
国家自然基金重点课题(60736017);国家863计划课题(2009AA01Z147);2009年度西北工业大学基础研究基金(JC200917)资助
模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构。目前,在对VxWorks系统下C程序的AADL架构进行模态的提取和蓝图制定过程中,还没有现成的工具。因而,设计一个基于AADL架构的软件重构工...
关键词：模态 重构 AADL 蓝图 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部