Tableau-based算法的改进与有限步终止定理

对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.     

中深层地热能取热技术研究进展

 总结了国内外关键取热技术研究现状，包括对井循环取热技术、单井闭式循环取热技术、重力热管循环取热技术、单井开式循环取热技术、U型井闭式循环取热技术和多分支径向井循环取热技术，分析了关键取热技术的特点、适用条件和未来攻关方向，阐述了不同取热技术的发展阶段和应用场景，提出了面向中深层地热能高效开采的发展建议。     

深层页岩气水平井井筒瞬态温度场研究与应用

深层页岩气水平井钻井过程井筒瞬态循环温度对旋转导向工具的选择具有重要作用。基于井筒与地层间的对流换热机理及能量守恒原理，建立了井筒瞬态温度场模型；分析了循环时间、排量、水平段长度和入口温度对井筒瞬态温度的影响；优选了页岩气水平井轨迹控制方法，提出了降低井底循环温度的工程措施。结果表明，上部井段环空钻井液循环温度随循环时间和排量的增加而增加，而下部井段环空钻井液循环温度反而降低；随着水平段长度增加，环空钻井液循环温度增加，水平段越长，循环降温效果越低；随着钻井液入口温度增加，钻井液出口温度增加，下部井段环空钻井液循环温度随入口温度的变化较小。当垂深超过4 000 m后，水平段较短时，可采用旋转导向钻井工具；水平段较长，井底循环温度高于135℃后，推荐采用螺杆配LWD测量工具。采用增加循环时间、排量及边循环边下钻的方式可降低井底循环温度，以确保旋转导向工具和LWD工具处于安全工作温度内。     

循环累积增强：区域创新发展基本规律探析

循环累积增强作为区域创新发展的基本规律，具有普遍性、基础性，无论是从发展要素维度、空间维度，还是宏观、中观、微观层面，都可能是适用的。区域循环累积增强可表现为正向或负向，区域创新要素特别是企业集聚即呈现正向循环累积效应，带来区域的发展；反之，解聚即呈现负向循环累积效应，带来区域的衰退。科学知识等许多循环累积现象表现为指数增长曲线。在区域创新发展中，持续创新、通用使能技术、城市圈及城市群、创新与产业生态等四大因素影响循环累积增强效应。区域创新发展至少包括发展要素维度和空间维度的循环累积增强。在发展要素维度方面，概述了微观层面的生产要素、科技要素自循环与要素之间的互循环；中观层面的科学技术链、创新链、产业链多要素链式循环与跨链循环；宏观层面的多系统联动循环，包括科技经济联动循环、军民融合联动循环等。在空间维度方面，简述了当前我国城市、园区等创新体系的循环累积关键措施。最后，提出了遵循循环累积增强规律、促进区域创新发展的4个方面的政策启示：一是注重循环累积增强中的存量维护与增量引育的互补效应；二是把握关键技术进步因素在区域循环累积增强中的杠杆效应；三是紧紧抓住区域保持正向循环累积增强的关键因...     

下排气中温分离器型循环流化床锅炉的研究与设计

根据我国循环流化床锅炉燃煤宽筛分的特点，从循环倍率和密相区吸热量、燃烧分额、出口温度及分离效率等关系深入分析了密相区热量平衡，对中温下排气分离器内三维速度场进行分析研究，并以４１０ｔ／ｈ循环流化床锅炉方案设计为例，提出了宽筛分，中、低循环倍率，中温下排气分离器，п型布置的循环流化床的构思。     

回热型吸附式制冷系统的最优运行研究

在吸附式制冷系统中，许多因素影响着系统的实际运行，包括运行工况、实际循环与理想循环的偏离程度、循环周期以及工质对的匹配等等。要进行系统的优化设计，并使系统优化运行，就必须首先考虑这些因素的影响。文中以连续回热型吸附式制冷系统为例，分析了系统运行的理想循环，以及实际循环偏离理想循环的诸多因素，探讨了系统运行的最优解吸温度和最优循环时间，并以此为依据，完成了最优运行系统的设计。     

多循环频率时差Doppler估计方法及性能分析

单循环频率循环估计子由于只利用了单个循环频率处的信号信息，其估计性能及适用条件受到了较大限制. 针对这一局限性，文中研究了综合利用多循环频率信号信息的多循环频率循环估计子，其基本思路是将多个单循环频率循环估计子按一定准则融合在一起，解决单循环频率循环估计子面临的困难. 文中还以时差估计为例，详细推导了多循环频率循环估计子对时差的估计理论精度，并不加推导地给出了频移估计的理论精度. 理论计算和数字仿真实验结果均说明多循环频率循环估计子确实具有较单循环频率循环估计子和传统相关方法更好的估计性能，并且这种估计方法具有较好地适应不同特性噪声的能力.     

液态铅铋合金自然循环实验与数值模拟

铅铋合金(lead-bismuth eutectic,LBE)自然循环流动与输传热特性的研究，对自然循环铅铋快堆的设计运行、提高反应堆自然安全性能有重要意义。为进一步探究铅铋合金的自然循环流动传热特性，本文基于自然循环理论分析，并结合其他冷却剂介质（钠、水），对比研究了LBE自然循环稳态流动与输传热行为规律与特点；同时基于LBE自然循环瞬稳态实验，对快堆系统分析程序FRTAC模拟LBE瞬、稳态自然循环的适宜性进行了初步验证；基于FRTAC程序计算，量化分析了不同运行工况、回路流道结构参数和回路阻力等因素对LBE自然循环的影响。结果表明，不同因素对LBE自然循环的影响程度不同，不同的回路运行温度水平对自然循环流动特性影响较小，而传热特性受回路不同运行温度水平影响的敏感性相对较大；自然循环高度（冷热心位差）对自然循环质量流量影响较显著。此外，回路整体管径增大将导致循环质量流量增加，加热区内温升与换热温差降低。     

一种新型蒸气压缩／喷射混合制冷循环的探讨

提出一种压缩／喷射混合制冷循环，该循环相对蒸气压缩制冷循环改动较小，易于实现，钍对此循环进行了理论分析和计算，并与相同工况下的简单蒸气压缩制冷循环作了比较，对７种不同制冷工质讨论了喷射器喷射系数及其效率对循环性能的影响，分析了变工况条件下循环性能系数ＣＯＰ的变化，计算结果表明，新循环能有效地提高循环性能系数。     

R290/CO2自然工质低温复叠式制冷循环理论分析

介绍了低温环境下采用自然工质R290和CO2的复叠式制冷循环。分析了R290和CO2的物性特征，通过对R290／CO2复叠式制冷循环的理论分析，在一定的蒸发温度和冷凝蒸发器传热温差下，计算出循环存在最优的低温循环冷凝温度和最优质量流量比；为提高循环效率和保证循环的安全运行。应尽可能地升高蒸发温度、降低冷凝温度和减少冷凝蒸发器的传热温差，可以看出R290／CO2的复叠式制冷循环在低温制冷条件下有很好的发展前景．