摘要：提出了一种嵌入式操作系统的规范化内核设计方法，并基于规范设计方法建立了一个嵌入式系统模型ＲＥＰＭＭ，讨论了其结构、特征和实现过程．

摘要：在软硬件协同设计中,常常需要改变嵌入式处理器的体系结构,并评价其对系统各种优化目标的影响。以便产生高效的目标代码。可重定向编译技术正好能满足这一需求。可重定向编译器和传统编译器之间的本质区别在于前者要求编译器代码尽可能重用,以便辅助体系结构设计者探索设计空间。本文综述了已有的主要可重定向编译技术,并指出了所遇到的问题和困难。

摘要：为了快速、准确地鉴别低温刺激型秀珍菇菌株,在对18个供试菌株进行拮抗试验、现蕾出菇试验、ISSR图谱分析的基础上获得了秀珍菇菌株的ISSR特异性标记,将其克隆、测序。根据测序结果,应用Primer 6.0软件设计SCAR引物进行引物筛选,获得1对引物并成功转化为低温刺激型秀珍菇的稳定SCAR标记。采用该引物对供试秀珍菇菌株的基因组DNA进行PCR扩增,低温刺激型秀珍菇菌株均能扩增出大小为205 bp的特异性DNA片段。该ISSR-SCAR标记能快速、有效地鉴别出低温刺激型秀珍菇菌株,准确率达100%,为秀珍菇种质资源的鉴别和分类提供了技术支撑。