基于状态转换图同构求解的等价性验证算法

文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

基于GPRS无线通信的自动抄表系统

针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC294高效微处理器和μC/OS-Ⅱ嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案.在硬件方面主要介绍了GPRS数据通讯技术和CS5460A计量芯片的应用;软件方面主要讲述基于μC/OS-Ⅱ操作系统组件化移植方法和WINDOWS系统COM组件服务技术.由于具备了低功耗、速度快、数据吞吐量大等优点,本系统具有良好的市场前景.     

酵母和果蝇胚胎期核小体定位模式比较研究

在进行酵母与果蝇胚胎期核小体定位研究时,发现不同物种或同一物种中不同表达模式基因与全体基因的排列比较中,核小体分布呈现出差异性。我们观察到酵母全体基因中核小体排列对核小体缺失区域(NFR)的基因3’端比基因5’端的影响小,而果蝇中对两者的影响却是一样的。且酵母与果蝇胚胎期沉默型基因中NFR的两个边界之间的核小体排列都出现了相同规律。它揭示了核小体组织在基因组的整个进化过程中具有的前进性,同时也具有保守性。     

浅谈基于视频的高大空间建筑火灾探测与扑救技术

基于传统的高大空间建筑火灾探测与扑救技术是有局限性的,本文结合该技术在实践中的应用趋势,提出了基于视频的高大空间建筑火灾探测与扑救技术的设计方法。     

纳米羟基磷灰石及其复合材料作为药物载体的研究进展

纳米羟基磷灰石(HAp)具有良好的生物活性和药物吸附性,是一种理想的无机药物载体。本文从生物安全性、抗肿瘤活性和药物吸附性三个方面阐述了纳米HAp的载药特性,探讨了其微观形貌对载药性能的影响,对载药纳米HAp复合材料的分类、制备及载药和释药性能进行了系统综述,旨在为纳米HAp及其复合材料在药物载体领域的应用提供理论基础。      

书写文字识别算法研究

介绍模式识别的基本原理和对书写文字字符的识别以及文字识别,阐述模式识别的过程、图像文件的格式,介绍基于住图技术的模式识别理论;讨论分类器设计过程中的特征空间优化设计问题、分类嚣设计准则、基本方法和判别函数的知识,给出模板匹配法识别图像的原理.     

新型生态建筑材料在建筑设计中的应用研究

新型生态建筑材料,也可称作绿色建筑材料,无毒、无污染、可循环利用、节约能源。随着人们对物质水平要求的逐步提高,人们逐步重视环境,有一定环保意识,并且对于建筑设计也有了安全、健康的需求,针对这一需求,催生了新型生态建筑材料在建筑设计中的应用。新型生态建筑材料在建筑设计中的应用研究也具有一定的现实意义,因此,就新型生态建筑材料的定义、特点、类型、在建筑设计中的应用以及未来发展情况进行了相关的探讨。     

纯菌接种发酵技术在腌渍蔬菜加工上的应用研究 优良乳酸发酵菌种特性的研究及菌种筛选(1)

应用纯接种乳酸发酵技术生产泡菜是对传统自然发酵模式的一种变革,也是发酵技术现代化的一种标志。本文就影响发酵质量及成败的首要因素—所收集之不同乳酸发酵菌种的生长及发酵特性进行系统比较和研究,并在此基础上筛选并确定最适的乳酸发酵菌种及其组合供扩大试验及生产之用。