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

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

基于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控制器可实现对堆芯功率的良好控制。     

基于PCA-GA-SVM的竖直下降两相流流型预测

为提高小样本条件下的流型识别精度和时效性,提出了一种融合小波包分解（WPD）、主元分析（PCA）、遗传算法（GA）和支持向量机（SVM）的优化识别模型,并成功应用在竖直下降两相流流型辨识工作中。利用WPD对非平稳电导波动信号进行分解、重构,提取小波包能量构造特征向量;通过PCA对特征向量进行降维,降低特征输入的复杂性;同时采取GA全局迭代寻优的方式确定SVM的关键参数惩罚因子（C）和核函数参数（g）。对PCA-GA-SVM识别效果进行验证后与SVM、PCA-SVM、GA-SVM网络进行对比。结果表明,经过PCA和GA优化后的SVM网络在流型识别精度和时效性方面均提升显著,对泡状流、弹状流、搅拌流和环状流的总体预测精度达到了94.87%,耗时仅3.95 s,可满足在线识别需求。      

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

由于嵌套循环连接操作过程中存在较大的高速缓存缺失,严重影响了连接查询的性能.提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法.通过高速缓存参数无关和缓冲技术,提高了连接算法的空间局部性和时间局部性.理论分析和实验结果表明,高速缓存优化后的串行连接算法的性能是原来的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%的带调音节和国标汉字的转换正确率。本文侧重报道该系统在汉语音字转换方面及与此相关的汉语切词和词性标注方面的一些实验结果, 也简要介绍该系统在语料库应用方面的一些思路。     

标准模型下基于口令的群密钥协商协议

基于口令的群密钥协商协议的目的是利用低熵的口令协商出高熵的会话密钥,并应用此会话密钥进行安全的通信,达到成员之间多方安全的要求。在Burmester及Desmedt协议的基础上,引入伪随机函数集和签名方案,提出一个标准模型下的可证安全的基于口令的协议,并对其进行安全性分析。