嵌入式系统软件设计方法与技术专刊前言

来源 :软件学报 | 被引量 : 0次 | 上传用户:chungkhoan2002
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机硬件设备性能的迅速提高以及嵌入式系统应用领域的不断拓宽,嵌入式系统软件的规模和复杂性急剧增加,软件已经成为嵌入式系统的主要使能部件.近年来,物联网、移动计算、信息物理融合系统等嵌入式系统领域的相关热点不断出现,对嵌入式系统软件设计方法和技术提出了一系列新的挑战.本专刊收录的16篇论文反映了近年来我国学者在嵌入式系统软件设计方法和技术领域的部分研究成果.
其他文献
提出了一种将布尔公式划分为子句组来进行布尔可满足性判定的方法.CNF(conjunctive normal form)公式是可满足的当且仅当划分产生的每个子句组都是可满足的,因此,通过判定子句组的
一、企业技术标准战略重点1厦门厦工机械股份有限公司(下称“厦工”)根据闽质标[2007]407号文《关于公布全省第一批实施技术标准战略试点企业名单的通知》精神,按照福建省技监局
简要介绍了西门子S7-300PLC在丙纶纺粘热轧非织造布生产线上的应用,主要包括S7-300PLC与SIEMENS变频器PROFIBUS通讯和S7-300PLC、HMI之间的MPI通讯及通讯处理器CP340模块与RK
随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向
采用滞弹性近似研究了WAVE-CISK下对称性扰动的谱点分布,得到了WAVE-CISK下对称不稳定扰动谱点分布的半圆定理,用其可估计该对称不稳定增长率的上界.发现存在WAVE-CISK时加热
本文用中国科学院大气物理研究所的全球谱模式(T42L9)和国家气象中心提供的1994年3月到1995年2月36个例子(每月3个)的全球客观分析资料做了较系统的动力延伸(月)预报试验,检验了预报结果,分析了模式漂移
近些年来,不合理用药及由其导致的用药安全问题已成为一个不容忽视的威胁公众健康的问题。很多时候,不合理用药的危害甚至超过了疾病本身,必须引起人们的高度重视。笔者通过调查
本文用1959~1994年6,7,8月全国范围47个5°×5°经纬度网格降水资料分析了夏季降水异常空间模的月际差异,并在此基础上用西太平洋副高指数及青藏高原指数B分析降水异常空间模与环流的
科学家研究指出:人是惟一能接受暗示的动物。
东南亚夏季风开始于5月,它是大气环流向夏季环流过渡的一个重要阶段。本文用FGGE-IIIb全球网格点资料,分析1979年4月26日至5月25日,大范围(40°S ̄50°N,30 ̄160°E)温度、湿度和和风场变化特征,计算了垂直速