基于HLA的仿真程序设计研究及其应用

建模与仿真高层体系结构(HLA) 已成为电气和电子工程师协会( IEEE) 标准,正在成为今后仿真发展的主要方向.但是目前大多数学者只专注于HLA理论研究或者只从联邦内部数据交换的角度来研究基于HLA的仿真程序设计,缺乏直观性和实用性.文中从程序设计的角度、以C 语言实现为例剖析了HLA的编程代理模型和联邦成员代码的三个职责,并且还详细分析了FED文件中定义的对象类和交互类与联邦成员文件结构的对应关系,然后从联邦的执行过程出发给出了基于Windows方式下联邦成员的程序设计框架,最后以一个简单的planetrace联邦的例子来说明了联邦成员仿真程序的实现流程.     

精氩塔工况波动的原因分析与调整

介绍了粗氩塔和精氩塔的工况调整，分析了精氩塔内波动的原因，最终确认引起精氩塔波动的主要原因是液氮过冷度的影响，进行调整后，达到了稳定的工况。     

稳定化P204浸渍树脂吸附铟的性能

以乙烯砜作交联剂, 聚乙烯醇作包膜材料,对P204浸渍树脂进行稳定化处理,得到稳定化的P204浸渍树脂. 研究了该树脂在硫酸介质中吸附铟的性能.静态实验表明,稳定后的P204浸渍树脂对铟具有较好的吸附性能.经过8次吸附-洗脱-吸附循环后,该树脂的吸附容量变化很小.其最佳吸附pH为2.5, 最大吸附容量为16.7 mg·g-1.升温不利于吸附.其等温吸附式符合Langmuir式.     

内存数据库关键技术研究

随着存储器价格的下降、64位系统的引入和广泛使用，内存数据库（MMDB）技术得到了更广泛的研究，并出现了一些原型系统和商业系统。首先对比了内存数据库与磁盘数据库在查询处理、索引技术等几个方面的差异，总结分析了内存数据库的关键技术和研究内容，内存数据库需要研究的问题，最后展望了未来的研究方向。     

壳寡糖对胰岛β细胞的保护及其体内抗氧化作用的研究

研究了体外研究酶解法制备的壳寡糖(COS)对胰岛β细胞的保护作用,并进一步探讨COS对链脲佐菌素(STZ)诱导的糖尿病(DM)大鼠胰腺的保护及其抗氧化保护机制.通过壳聚糖酶降解壳聚糖制备得到水溶性、低分子量的COS,在细胞水平上,通过形态学观察、四氮唑蓝(MTT)比色法、DNA凝胶电泳、彗星电泳等方法研究不同浓度的COS对链脲佐菌素损伤胰岛β细胞的保护和抑制细胞凋亡的作用;进行了体内实验,通过一般状态观察和病理组织学检查研究了COS对链脲佐菌素诱导的DM大鼠的胰腺保护作用,并对血清中谷胱甘肽过氧化物酶(GSH-PX)、超氧化物歧化酶(SOD)、丙二醛(MDA)浓度、总抗氧化能力(T-AOC)进行了测定.结果表明,COS可以抑制链脲佐菌素诱导的胰岛β细胞凋亡,对受损的胰岛β细胞有显著的保护作用;COS各剂量组对DM大鼠总抗氧化能力和SOD活力均有显著改善,MDA浓度与STZ损伤组比较均有极显著差异;胰腺组织学检查表明COS能减轻胰岛萎缩、数量减少、胰岛细胞丢失、核固缩等胰岛细胞退行性改变症状.     

直流道PEMFC的综合三维数学模型Ⅱ单电池机理分析

目的研究质子交换膜燃料电池内部的流动和传质过程及电化学反应过程的机理.方法对直流道质子交换膜燃料电池建立综合的三维多组分数学模型,电化学反应速率采用团聚块模型修正,自主开发程序代码对电池内的复杂物理过程进行数值模拟.模拟得到电池内部反应气体的三维速度场、压力场,以及不同电流密度下的气体组分质量分数、局部电流密度和电极反应过电势的三维分布.结果反应气体在电极中的流速比在流道中小3个数量级以上,压力变化不大;阳极反应速率及氢气的传质速率高,电池的极化过电势主要来自于阴极反应;小电流密度下,阴极内氧的组分质量分数、局部电流密度以及电极反应过电势的分布均匀;随着电流密度的增加,这些量趋于不均匀分布,在传质困难的区域局部电流密度值很小,而局部电极反应过电势增大约0.1V,极化的原因主要由于氧组分的传质限制.结论反应气体在电极内的传质是主要由扩散作用引起,在小电流密度时浓差极化较小,随着电流密度的增加,阴极氧组分的传质速率低是产生电池浓差极化过电势的主要原因.     

控制污染物排放改善上海大气环境质量的研究

煤炭大量消费是造成大气环境污染主要原因之一,上海市2004年一次能源消费总量已达到7.24×107t标准煤.指出提高上海市大气环境质量、控制污染物排放的方法是加快调整能源结构、提高清洁能源天然气的使用比重,以及控制燃煤总量和采取相应的技术措施.     

北京昌平区城市夜景照明工程"多网合一"智能化照明控制系统的设计与实施

本文通过综述和分析北京昌平区夜景工程中使用的HDL无线智能照明控制系统的设计与应用,实践证明该系统不仅节约能源、节省人力资源、系统维护方便,还能延长灯具使用寿命。     

一种新的基于图谱理论的图像阈值分割方法

提出了一种新的图像阈值分割方法,该方法采用图谱划分测度作为区分目标和背景的阈值分割准则.采用基于灰度级的权值矩阵来代替通常所用的基于图像像素的权值矩阵来描述图像各像素的关系,因而算法所需的存储空间及实现的复杂性与其他基于图论的图像分割方法相比大大减少,从而有利于应用在各种实时视觉系统(如自动目标识别,ATR).大量的实验结果表明:与现有的阈值分割方法相比,文中提出的方法具有更为优越的分割性能.     

一个可抵抗临时指数泄露的密钥协商协议形式化安全模型

从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的HCMQV密钥协商协议,该协议在CMQV的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数 和抵抗反射攻击。为了证明协议的安全性,没有沿用HMQV协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到DDH问题上。事实证明,设计临时指数可泄露的安全密钥协商协议是可行的。