给定度序列图的覆盖成本和反向覆盖成本的研究

具有n个顶点且度序列为(m,2,…,2,1,…,1)(1的重数为m)的连通图不止一个(这些图均为树),而每个树对应唯一一个段序列(l₁,l₂,…,l_m).通过对任意一树移动最长段的悬挂点到最短段悬挂点的方式得到另一树,比较前后两树的覆盖成本和反向覆盖成本,给出了具有最小覆盖成本和反向覆盖成本的极树,并且进一步给出了取得最小覆盖成本和反向覆盖成本的顶点.     

水流损失和热补偿共同作用对增强型地热系统(EGS)产能影响的研究

基于青海共和盆地-3705m地热田实测数据,结合流固耦合传热理论并运用Comsol软件,建立了离散型裂隙岩体流体传热模型。考虑水流损失和热补偿共同作用,模拟得到了开采过程中上、下岩层(盖层和垫层)为绝热不渗透、传热不渗透、渗透传热时,储层(上、下岩层和压裂层)温度场的变化特征,分析了产出流量、水流损失、产出温度、产热速率的变化规律。研究结果表明:采热过程中产出流量始终小于注入流量;产出流量增幅速率先增大后减小,最后趋于稳定,前3a产出流量增幅超过总增幅量的3/4;忽略水流损失,将高估产热速率,采热初期甚至达到考虑水流损失时产热速率的3倍以上;考虑水流损失,产热速率呈先快速上升再趋于稳定后逐渐下降的趋势,最优开采时间为3a^11a;研究上、下岩层对产出温度的影响,仅考虑传热,采热寿命延长5.43%,同时考虑渗流传热时,采热寿命延长2.71%;采热前9a,水流损失占主导作用,即流入上、下岩层水流损失对产热速率的影响高于热补偿效应,开采10a后,热补偿效应占主导作用;同时考虑水流损失和热补偿效应得到的产热速率变化规律与实际工程更为符合,建议选择低渗透能力的上、下岩层延长增强型地热系统(EGS)运行时间。     

逻辑函数高阶布尔e偏导数求解算法的实现

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.     

An identification method to estimate surface shortwave fluxes on temperature and thickness observations of sea ice in CHINARE 2006

In this paper, a parameter identification method to determine surface shortwave fluxes using temperature and thickness measurements of sea ice in CHINARE 2006 is presented. Adopting a new standard for the calculation of the thermodynamic properties of seawater named TEOS‐10, the surface shortwave fluxes are calculated by the temperature and thickness observations that were measured at Nella Fjord around Zhongshan Station, Antarctica. New simulations for temperature profiles in a different measurement period are performed by three parameterization schemes including the present method, Zillman and Shine. All numerical results are compared with in situ measurements. Results show that better simulations of the surface shortwave radiations and temperature distributions are possible with the identification method than Zillman and Shine. Therefore this method is valid, and the obtained shortwave radiation function can be applied in sea ice modeling. Copyright © 2015 John Wiley & Sons, Ltd.     

Finite groups with a given number of relative centralizers

We will study all finite groups and their subgroups with at most four relative centralizers.     

船舶与海洋平台结构冰载荷的高性能扩展多面体离散元方法

船舶与海洋平台结构的冰载荷是寒区海洋工程结构物设计中的关键参数,而离散元方法是有效计算结构冰载荷的重要手段. 本文采用基于闵可夫斯基和原理的扩展多面体离散元方法模拟船舶与海洋平台结构的相互作用过程. 其中,构造扩展多面体的近似包络函数并建立了基于优化模型的快速接触搜索算法;考虑单元间粘结作用的刚度软化过程建标识码元间的粘结-破碎模型. 同时,发展了 CPU-GPU 协同异构环境下的高性能并行算法. 为分析海冰与海洋结构作用中的冰载荷,采用ISO标准验证了扩展多面体离散元分析结构冰载荷的准确性. 采用离散元方法计算了船舶结构的冰载荷,研究了船舶结构表明的线载荷分布特点,并采用船舶结构冰阻力经验公式验证了计算结果的合理性. 采用离散元方法计算了平整冰区与多桩腿平台结构的相互作用,分析各桩腿上的冰载荷特点. 针对碎冰区的海冰管理过程,采用离散元方法分析了船舶结构绕行过程中的船舶和海洋平台结构冰载荷. 本文方法可有效应用于海洋结构冰载荷分析,能为极地船舶与海洋平台结构的设计和安全运行提供科学的分析手段.      

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

Micro‐ and Nano‐Liquid Phases Coexistent with Ice as Separation and Reaction Media.

Ice has a variety of scientifically interesting features, some of which have not been reasonably interpreted despite substantial efforts by researchers. Most chemical studies of ice have focused on the elucidation of its physicochemical nature and its roles in the natural environment. Ice often contains impurities, such as salts, and in such cases, a liquid phase coexists with solid ice over a wide temperature range. This impure ice also acts as a cryoreactor, governing the circulation of chemical species of environmental importance. Reactions and phenomena occurring in this liquid phase show features different from those seen in normal bulk aqueous solutions. In the present account, we discuss the chemical characteristics of the liquid phase that develops in a frozen aqueous phase and show how novel analytical systems can be designed based on he features of the liquid phase which are predictable in some cases but unpredictable in others.