【摘 要】
：
通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究,提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。介绍了源码构件层次体系和逻
论文部分内容阅读
通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究,提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。介绍了源码构件层次体系和逻辑模式;定义了源码构件运算符;给出了构件及应用代码的形式化生成;并以重用因子K为标准,辅助衡量源码构件的代码片段划分和设计的合理性。该方法具有很好的实用性、可扩展性和通用性。
其他文献
花粉萌发率是检测花粉活力的一个重要指标,但实践中还缺少便捷、可靠的水稻花粉萌发率测定方法。作者在前人研究的基础上,以两系杂交中稻两优818为试验材料,采用液体培养基对
目的:建立鱼酱排毒合剂中鱼腥草、川芎、白芷的薄层鉴别方法。方法:采用TLC法对处方中鱼腥草、川芎、白芷进行定性鉴别。结果:薄层色谱均检出鱼腥草、川芎、白芷。结论:该方
从研究生教育质量文化的提出、构成及功能入手,归纳总结其内涵,结合研究生教育质量文化建设现状,重点剖析目前研究生教育质量文化建设过程中所面临的挑战以及存在的误区,并在
目的:总结产房新助产士上岗规范带教的实践体会。方法:回顾性分析2014年1月至2016年11月产科65名新进助产士带教资料,研究组34人采取CBL与PBL联合分阶段目标教学,对照组31人
蒙医药治疗系统性红斑狼疮的体会李红，白钢主题词系统性红斑狼疮；蒙医药治疗；＠干枯－３１味丸；临床应用系统性红斑狼疮（ＳＬＥ）是一种原因不明的免疫性疑难病。笔者自１９８４年至１９９３年用蒙药干枯－３１味丸共观察
目的:总结经手术病理证实的18例局限性胸膜间皮瘤的临床经验.方法:对手术确诊为局限性胸膜间皮瘤的18例临床资料,包括石棉接触史、临床表现、影像学检查、特殊检查进分析.结
本文围绕新形势下煤炭企业的现状,阐述基层党组织思想政治工作的出发点以及做好理论教育、意识教育、形势任务教育、安全教育的措施。
伴随着经济社会的快速发展,人们对电力的需求不断增加,变电运行中的停电问题会给人们的生活造成极大的影响。继电保护是保护变电运行的重要装置,为了保障电力正常运行,必须高
研究肝硬化患者肝容积、脾容积及脾 /肝比值的异常 ,评价对肝硬化CT定量诊断的价值。收集肝硬化患者 5 0例 ,正常对照组 5 0例。用CT分别测量两组的相关指标 ,并进行组间及组
对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的