Feller—Trotter算子的局部饱和定理

利用Bajsanski-Bajanic抛物线引理建立Feller-Trotter算子的局部小“ο”饱和定理,进一步地应用所得到结论建立了(C_)类算子半群概率表示的局部饱和定理。     

用焓法有限元解相变问题的离散化方法

为了消除应用焓法进行含有相变的有限元传热计算结果呈台阶形的现象,本文作者提出“焓计算单元”和“固相分数”的概念,并将几种一维有限元实施方案的计算结果与精确解对比,说明采用所提出的概念,可以使有限元计算得出更为合理的结果。     

Liénard方程极限环的电子计算机计算分析

本文提供了用电子计算机计算分析和绘制Ｌｉｅｎａｒｄ方程极限环的方法及其ＢＡＳＩＣ 语言程序,并利用此方法构造了具有三个极限环的两个Ｌｉｅｎａｒｄ方程,绘制了极限环 图形,指明了Ｃ．Ｃ．Ｐｕｇｈ猜想中极限环的存在性与特征函数的二阶导数Ｆ（Ｚ）的变号 有相当的关系。     

微型计算机中西文表格自动处理软件的算法设计

本文讨论了在微机中西文表格自动处理技术中一些特殊功能的算法设计,分析了设计思想,提供了部份实用算法,并对某些算法的时间复杂度进行了评述。这些算法均已在本校研制的“IBM-PC/XT微型机中西文数据库管理系统”的表格自动处理软件中实现,并已应用于百多家企、事业单位的计算机管理系统中。     

稀土高碳当量灰口铸铁组织与性能的研究

本文研究了利用稀土合金改善高碳当量灰口铸铁质量的可能性,稀土合金对高碳当 量灰口铸铁组织和性能影响的规律,以及稀土夹杂物在铸铁各相中分布的规律．发现了 稀土合金加入量与铸铁的机械性能之间明显的对应关系——“双峰值效应”。对稀土高 碳当量灰口铸铁的某些高温机械、物理、化学性能进行了研究。结果表明稀土合金加入 到高碳当量灰口铸铁中以后能净化铁水,改善组织,并提高其性能．     

蒸发盐沉积若干问题的实验研究

在实验研究的基础上,本文探讨了广泛分布于我国境内蒸发盐的沉积机理,论述了硫酸钠亚型不同组分卤水的演化、矿物形成条件及析盐序列等,指出钾盐沉积出现的可能性。实验证明钾盐沉积物的形成,不一定达到国内外某些学者认为的“干湖”阶段,从而发展了成钾理论。文中阐明了介稳平衡和稳定平衡的不同性质,在卤水组分和温度相同的条件下,析盐的种类和组合关系不同。在蒸发盐矿床形成过程中,两类平衡所起的作用不同,盐类矿物沉积阶段主要处于介稳平衡状态。     

Earthshaker: A mobile rescue robot for emergencies and disasters through teleoperation and autonomous navigation

To deal with emergencies and disasters without rescue workers being exposed to dangerous environments, this paper presents a mobile rescue robot, Earthshaker. As a combination of a tracked chassis and a six-degree-of-freedom robotic arm, as well as miscellaneous sensors and controllers, Earthshaker is capable of traversing diverse terrains and fulfilling dexterous manipulation. Specifically, Earthshaker has a unique swing arm—dozer blade structure that can help clear up cumbersome obstacles and stabilize the robot on stairs, a multimodal teleoperation system that can adapt to different transmission conditions, a depth camera-aided robotic arm and gripper that can realize semiautonomous manipulation and a LiDAR aided base that can achieve autonomous navigation in unknown areas. It was these special systems that supported Earthshaker to win the first Advanced Technology & Engineering Challenge (A-TEC) championships, standing out of 40 robots from the world and showing the efficacy of system integration and the advanced control philosophy behind it.     

Structure of the human CLC-7/Ostm1 complex reveals a novel state

CLC-7 functions as a Cl?/H+ exchanger in lysosomes. Defects in CLC-7 and its β-subunit, Ostm1, result in osteopetrosis and neurodegeneration. Here, we present the cryogenic electron microscopy (cryo-EM) structure of the human CLC-7/Ostm1 complex (HsCLC-7/Ostm1) at a resolution of 3.6 ?. Our structure reveals a new state of the CLC-7/Ostm1 heterotetramer, in which the cytoplasmic domain of CLC-7 is absent, likely due to high flexibility. The disordered cytoplasmic domain is probably not able to restrain CLC-7 subunits and thus allow their relative movements. The movements result in an approximately half smaller interface between the CLC-7 transmembrane domains than that in a previously reported CLC-7/Ostm1 structure with a well-folded cytoplasmic domain. Key interactions involving multiple osteopetrosis-related residues are affected by the interface change.     

区间删失数据下基于OLLGG分布的多参数回归模型的参数估计

该文基于Ⅱ型区间删失数据,在OLLGG分布下提出多参数回归模型,通过线性回归刻画分布参数与协变量之间的关系,并通过极大似然方法给出了模型的参数估计,数值模拟验证了模型参数的估计有良好的性质,将提出的模型应用到血友病患者HIV感染的数据中,发现提出的模型对数据有灵活的拟合效果.