并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

用于流动显示的多功能循环水槽

自1985年以来，已研制了10多台多功能循环水槽。除用于流动显示外，还可满足流体力学的基础实验。实践证明，该设备流速在0．2—0．8m/s时，无级调速、流场均匀、流态稳定、重复性好、操作简便、可作长时间运行。     

清洁生产的热力学循环探讨

通过对工业系统和热力系统的对比分析，提出运用热力学原理来诠释清洁生产的理论．在此基础上．对工业生产的三种模式和清洁生产的评价体系进行热力学解释，并将热力循环运用于清洁生产，试图从热力学原理中找到清洁生产理论的新突破。     

循环矩阵求逆的两个简便方法

文章对循环矩阵的逆问题进行了探讨,提出了求解循环矩阵的逆的两个方法,文中所提方法比现有的方法简单实用。     

中小型循环流化床锅炉的点火运行技术

介绍一种经济的、可操作性强的中、小型循环流化床锅炉的点火技术——木柴木炭点火的过程和经验。     

吖啶酮类衍生物的合成及其电学性质研究

由取代苯胺和邻氯苯甲酸合成了7个吖啶酮类衍生物,用循环伏安法测出它们各自的电势,发现所合成的吖啶酮类衍生物都比常用的电子传输材料2-(4-联苯基)-5-(叔丁苯基)-1,3,4-二唑(PBD)容易被还原,具有较高的电子亲和势.     

固体氧化物燃料电池系统零排放新思路研究

提出了固体氧化物燃料电池零排放新思路设计,该设计具有高发电效率、温室气体零排放、回收利用二氧化碳以及使用环境友好的可再生循环二氧化碳吸收材料等优点.此外,还介绍了电池构件材料以及二氧化碳吸收材料的制备,最后测试了材料的二氧化碳吸附性能.结果表明最大体积吸收比可高达993倍,最佳吸收温度为700 ℃,同时可实现在800 ℃以上2 h内将所吸附的二氧化碳完全解析.     

复合型加载下缺口前应力应变分布的有限元分析

用有限元法计算了一种低合金高强钢缺口试样在非对称四点弯曲加载(Ⅰ Ⅱ型复合加载)下缺口前端的变形和应力应变分布.研究结果表明:纯Ⅰ型加载时,缺口前端变形和塑性区形状对称分布.Ⅰ Ⅱ型复合加载下缺口前端的变形为一侧钝化,另一侧锐化,塑性区顺时针旋转一个角度θ,且θ随Ⅱ型载荷比例的增加而增大.表征缺口前端变形程度的d/b0值,随外加载荷P/Pgy的增加和Ⅱ型载荷比例的增加而增大.另外,对缺口前端最小塑性区路径上的最大切向正应力σθθ、三相应力度σm/和等效塑性应变εp的分布,以及它们随外加载荷P/Pgy和Ⅱ型载荷比例的变化规律也进行了分析,发现缺口试样的开裂遵循最大切应力判据.     

土壤中磷素的有效性及其循环转化机制研究

磷是动植物生长所必需的元素,特别是植物.本文阐述了磷素在土壤中的形态及分类,重点分析了磷素的植物营养学原理、对植物的有效性及其影响因素,进而分析磷在全球尺度和土壤—植物系统中的循环机制;对于磷素的分级方法进行了总结,最后对磷素的研究进展及发展趋势提出了自己的观点.     

循环流化床锅炉燃烧过程的小波建模研究

针对高维非线性系统，分析了基于多分辨分析的正交小波网络的建模能力。并用于循环流化床锅炉燃烧过程的动态建模，根据现场采集的实时数据进行网络训练和泛化实验。理论分析和实验结果表明网络具有良好的辨识精度和泛化能