论文部分内容阅读
为单片机程序建立状态机模型,研究用此模型描述程序行为的完整性,讨论此模型的源代码实现方式。
单片机程序的状态机模型
【摘 要】
：
为单片机程序建立状态机模型,研究用此模型描述程序行为的完整性,讨论此模型的源代码实现方式。
【机 构】
：
武汉工业学院计算机与信息工程系
【出 处】
：
武汉工业学院学报
【发表日期】
：
2004年02期
其他文献
目的了解结核分支杆菌耐药性与基因突变情况,分析耐药表型与基因突变的相关性。方法从临床标本中分离培养、鉴定结核分支杆菌;应用药敏试验、单链探针反向杂交试验技术(LiPA)
以3-醛基苯甲酸甲酯为原料,与盐酸羟胺反应后,再经脱水反应合成了3-氰基苯甲酸甲酯。考察了NaOH用量、溶剂乙醇用量、盐酸羟胺用量、脱水剂种类及用量和反应温度等条件对3-氰
本文对执法者职务犯罪中的人情因素的特征、现实表现、负效应以及执法者“人情观”形成的历史渊源、社会基础等作了全面论述，并提出了与社会主义市场经济相适应的执法伦理的对
在大断面的隧道施工中使用机械化程度也越来越高,但钻爆法在隧道开挖中仍然具有不可替代的地位。由于隧道施工中遇到的岩体较多,地质条件相对复杂,开挖技术的不同使岩受到的
从催化剂的制备方法、孔结构性质以及加氢活性等方面对不同种类的非负载型加氢精制催化剂进行了概述,并分析了其优缺点。其中,磷化态单金属催化剂的活性较高,但由于制备成本
在建筑工程中,建筑防水设计也是工程中的重要部分以及不可或缺的部分。本文主要从我国建筑防水现状问题入手进行分析探讨,进而提出一些解决问题的对策,希望能为我国的建筑防
<正>近日,内蒙古自治区锡林郭勒盟新核准了4个风电项目,建设规模共计750 MW,总投资约57.4亿元。项目具体如下:锡林浩特市京运通风力发电有限公司建设的京运通宝力格300 MW风
<正>2015年全国风电产业继续保持强劲增长势头,全年风电新增装机容量3297万千瓦,新增装机容量再创历史新高,累计并网装机容量达到1.29亿千瓦,占全部发电装机容量的8.6%。2015
<正> 自1995年起,我国大陆民事诉讼法学界开始了对既判力理论的研究,主要探讨了既判力的本质、客观范围、既判力原则的理论基础和理论构架,以及既判力的形成、发展和趋势等几
目的:探讨FOXO3a在缺氧诱导骨肉瘤细胞顺铂(cisplatin,DDP)耐药中的作用。方法:利用RT-PCR和Western blotting方法检测人骨肉瘤细胞U-2OS在常氧及缺氧条件下FOXO3a的表达水平