MAR

作品数：537被引量：921H指数：13
导出分析报告
相关领域：医药卫生更多>>
相关作者：王天云黎植昌张俊河刘炽清周丛照更多>>
相关机构：新乡医学院广西师范大学中国农业大学山东农业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划河南省科技攻关计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MARTE的面向混成系统的模型形式化转换
《计算机与现代化》2015年第6期64-68,共5页李国拯 曹子宁 
航空科学基金资助项目(20128052064);中央高校基本科研业务费专项资金资助项目(NZ2013306);国家重点基础研究发展计划项目(2014CB744903)
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE...
关键词：混成系统 混成ZIA MARTE模型 Object-Z语言 模型转换 
基于MDE的异构模型转换：从MARTE模型到FIACRE模型被引量：9
《软件学报》2009年第2期214-233,共20页张天 Frédéric JOUAULT Christian ATTIOGBE Jean BEZIVIN 李宣东 
国家自然科学基金;国家重点基础研究发展计划(973);国家高技术研究发展计划(863);江苏省自然科学基金~~
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的...
关键词：模型驱动工程 形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性 
大洋中脊研究进展被引量：3
《海洋科学》2006年第3期66-72,共7页薛发玉 翟世奎 
国家重点基础研究专项经费资助项目(G2000078503)
关键词：大洋中脊 地球表面 火山喷发 地形特征 岩浆作用 构造过程 演化历史 发展趋势 扩张 MAR 
谷子品种抗旱性的苗期快速鉴定被引量：32
《植物遗传资源学报》2005年第1期59-62,共4页张锦鹏 王茅雁 白云凤 贾晋平 王国英 
国家973计划资助项目(2003CB114300)
报道了在苗期快速鉴定谷子品种抗旱性的实验结果。通过比较种子在甘露醇渗透胁迫条件下的相对萌发率和芽生长抑制率、幼苗在适度控水条件下的相对含水量和水势、幼苗严重失水恢复供水后的存活率等几个指标,对5个谷子品种(鲁7060、羊角...
关键词：品种抗旱性 快速鉴定 谷子 苗期 相对含水量 胁迫条件 生长抑制率 变化趋势 筛选指标 两个指标 萌发率 甘露醇 MAR 幼苗 存活率 代表性 渗透 种子 控水 适度 羊 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部