国家科技成果网
热门搜索:  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

国家科技成果网 首页 成果 查看内容

物联网应用的嵌入式系统优化软件设计与实现

2015年 应用技术  初期阶段
  • 成果简介
研究了描述契约的数学模型,提出了相应统计分析模型和分析方法,为设计的工程需求架构和工具提供了基础准备;对多抽象层的系统需求模型、契约规格和验证等具体问题进行了相关分析;对契约设计的组织响应和随时间演化系统的配置和管理等问题也进行了系统分析。发表论文3篇,取得专利1项、软件版权1项,完全达到项目一期目标,同意结题。...
相关成果

标签云

相关机构

Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位:科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统