“三软”矿区采掘工作面煤与瓦斯延期突出机理

针对我国"三软"矿区含瓦斯软煤严重的蠕变失稳问题,串联一个非线性黏塑性体与四元件线性黏弹性伯格体模型,建立含瓦斯软煤非线性黏弹塑性流变模型,并据此推导了煤壁蠕变失稳时间公式.针对采区工作面前方的矿压时空演化特征,建立了地应力和瓦斯压力随时间变化的函数M(t);通过煤与瓦斯突出判断条件,探讨了卸压区的形成对煤与瓦斯延期突出的影响.结果表明:"三软"矿区延期突出的滞后时间为第1阶段卸压带形成时间与第2阶段应力集中带软煤蠕变失稳时间之和.     

两相混合式换热器瞬态工况热力学模型及应用

换热器是能量系统的重要设备,两相混合式混热器作为换热器内部能量交换比较复杂的设备,研究其能量分布具有重要意义。通过对混合式换热器进行了研究,建立了两相混合式换热器的热力学模型,相对以往的稳态研究加入了瞬态项的影响。运用所建模型,对某除氧器进行模拟,得到了其瞬态工况的能量分布,为了验证瞬态模型的计算结果,采用稳态模型进行了计算,并与瞬态结果进行了对比,差别主要在工质蓄热火用上,并给出了影响蓄热火用的主要因素。     

铬铁矿高效还原的动力学分析

铬铁矿是生产铁铬合金和不锈钢的重要原料,掌握其还原行为对于优化生产工艺和高效利用资源非常重要.本文综述了近40年来对铬矿还原动力学的研究进展,比较了文献中对不同铬铁矿的还原动力学研究,分析了温度、原料条件、还原剂条件和添加剂成分对还原过程的影响,并结合动力学模型对其还原机理进行了探讨,给出了提高还原率的思路方法.     

基于MPMS计算模型的PUREX 1B流程模拟研究

为模拟铀钚氧化还原萃取（PUREX）的U/Pu分离流程（简称1B流程）,以多级混合澄清槽为萃取设备,以化学反应体系和经验萃取体系为基础,基于MPMS计算模型框架建立了以NH₃OH+-N₂H₄（HAN-HYD）作为还原萃取剂的1B流程数学模型。通过对比文献数据,验证了模型的有效性。应用该数学模型探究了某低流速高酸洗涤液在特定参数条件下的1B流程中发挥的效应,结果表明该低流速高酸洗涤液的引入会降低U/Pu回收率。为进一步评估不同条件下低流速高酸洗涤液对1B流程分离效率和回收效率的影响,通过改变模型中低流速高酸洗涤液的工艺参数获得不同的U/Pu分离效果。计算结果表明,在不引入低流速高酸洗涤液的条件下,1B流程能获得最优的U/Pu分离效率。该数学模型将为基于多级混合澄清槽的1B流程工艺评估和预测等提供有益帮助。      

基于模糊多模型的堆芯功率控制

传统的堆芯功率PID控制器是基于单一功率水平处的堆芯局部模型设计的,难以准确描述整个堆芯功率水平范围的控制。因此,本文基于5个不同功率水平下的传递函数模型,通过三角隶属度函数加权,建立堆芯模糊多模型,并依据该模型设计堆芯功率模糊PID控制。以TMI型压水堆堆芯为对象,开展不同初始功率水平下的堆芯功率跟踪、堆芯进口温度扰动的控制仿真。结果表明,基于模糊多模型设计的堆芯功率模糊PID控制器可实现对堆芯功率的良好控制。     

高速缓存优化的并行连接算法

由于嵌套循环连接操作过程中存在较大的高速缓存缺失,严重影响了连接查询的性能.提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法.通过高速缓存参数无关和缓冲技术,提高了连接算法的空间局部性和时间局部性.理论分析和实验结果表明,高速缓存优化后的串行连接算法的性能是原来的2倍,其并行算法效果近似线性加速比.     

基于Web服务的模型生成与链接

针对供应链中群体决策的模型分析的需求，提出了基于Web服务的分布模型管理系统构架，在运用面向对象的思想分析原子模型和复合模型的构成基础上，用C语言描述了模型的生成与链接技术，为分布模型管理系统中的模型生成与链接的计算机自动构建提供技术基础。     

Research on theory and key technology of trusted computing platform security testing and evaluation

Trusted computing has become a new trend in the area of international information security, and the products of trusted computing platform begin to be used in application. Users will not use the products of information security, unless it goes through the testing and evaluation. Here we concentrate on the testing and evaluation problem of trusted computing platform, begin with constructing proper formalization model of trusted computing platform for testing, and establish a mathematical chain of trust model...     

统计语言模型及汉语音字转换的一些新结果

汉语音字转换是一个重要而困难的问题。语料库语言学为我们提供了新思路。作者们通过建立统计语言模型, 将基于语料库的方法与传统的基于规则的方法结合, 研制了THED新一代音字转换系统。该系统对随机抽取的祈华社新闻语料有不低于95%的带调音节和国标汉字的转换正确率。本文侧重报道该系统在汉语音字转换方面及与此相关的汉语切词和词性标注方面的一些实验结果, 也简要介绍该系统在语料库应用方面的一些思路。