基于储氢合金的太阳能制冷系统理论研究

结合金属氢化物的特点,提出了一种新型太阳能吸附式制冷循环系统;具体介绍了系统结构形式,建立了系统能量转换与分析模型,并对构成系统的各部件进行了分析;根据具体算例,计算了系统各部件的效率与损失,结果表明,系统具有较好的节能效果,且系统优化应以太阳能辐射量为基准,以提高金属氢化物系统中的氢气转化率为目标进行。系统优化的另一方向在于发展与其他太阳能利用技术相结合的复合式系统。     

基于功率分配的空间耦合数据传输性能分析

通过研究功率分配对空间耦合数据传输的性能影响,在空间耦合数据流间干扰完全消除的情况下,利用密度进化与势能函数证明了等功率传输性能最优.为了以较少的性能损失为代价,减少等功率传输引起的高检测复杂度,提出了一种功率分配算法实现非等功率传输.外信息转换图分析和仿真结果证实了理论分析的正确性和所提算法的可行性.     

基于脉冲激励响应的风力机叶片结构阻尼计算

针对大型风力机叶片气弹振动问题,提出一种基于脉冲响应的大型风力机柔性叶片结构阻尼有效分析方法.采用一种5自由度的超级单元,将柔性叶片离散成由若干超级单元构成的多体系统,基于计算多体系统动力学中的R-W方法建立了叶片的动力响应模型.以美国可再生能源实验室(NREL)发布的5 MW近海风力机叶片为研究对象,通过分析叶片在脉冲激励下的动力学响应得到其传递函数,由半功率带宽法计算叶片在静止和运转工况下的挥舞与摆振结构阻尼,从而为确定叶片气弹稳定性的边界提供依据.该研究对于指导叶片结构与气动外形设计、帮助确定其气弹稳定性边界具有重要意义.     

家蚕杆状病毒表面展示SARS-CoV的RBD蛋白及其免疫原性研究

利用杆状病毒表面展示技术,构建展示SARS-CoV的棘突蛋白（spike protein）受体结合结构域（receptor binding domain,RBD）的重组杆状病毒vBmgp64-RBD,并进一步研究其展示目的蛋白的免疫原性。结果表明：RBD蛋白正确表达并成功展示在病毒囊膜表面,将灭活的纯重组杆状病毒vBmgp64-RBD皮下注射BALB/c小鼠能产生抗RBD蛋白的特异性抗体,且抗体具有抗RBD蛋白的中和作用。证明vBmgp64-RBD有可能作为一种基于杆状病毒的新型SARS疫苗,为SARS的体外检测及后续疫苗的研究开发奠定了基础。     

双库连通水库调洪演算的方法研究

该文以合肥市杜集水库为例,分析和研究双库连通水库受下游河道影响的调洪演算的理论方法,通过建立双库连通水库计算模型进行调洪演算;计算结果表明,该方法理论合理,操作性强,成果可靠,可应用于双库连通水库的防洪调度和调洪演算。     

形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

抽水蓄能机组设计经验

抽水蓄能电站机组的设计必须保证高峰负荷运行的高可用性和可靠性。在过去50多年间。阿尔斯通公司为提升机组运行性能、效率和可靠性,不断改进其设计。深入研究了阿尔斯通公司设计和安装可逆式抽水蓄能电站的经验。     

首台新型水轮发电机组在挪威海格塞特大坝进行中间试验

清洁能源公司（Clean Power）已在挪威海格塞特（Hegset）大坝安装其首台Turbinator机组,这是一种新型的水轮发电机组。Turbinator机组是将一台轴流式水轮机和一台发电机紧凑而又密封地组合在一起,利用环境排水口的泄水发电。对这种新型水轮发电机组的研发过程及优良性能等作了简单介绍,并对其开发利用前景进行了展望。     

多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。