固体吸附制冷系统发生器温度场数值模拟

以内燃机排气－固体吸附制冷系统为背景，建立了固体吸附制冷系统发生器瞬态温度场数值计算模型，并讨论模型中涉及的部分物性参数。通过实验验证，该模型能较好地模拟发生器内瞬态温度场。     

插值Blaschke积的两个刻划定理

信据Ｂｌａｓｃｈｋｅ积在Ｈ＾∞的极大理想空间Ｍ上的零点分布，给出了Ｂｌａｓｃｈｋｅ积是插值Ｂｌａｓｃｈｋｅ积的两个刻划定理。     

点态化Fuzzy域及其性质

本文从点的角度重新定义了Ｆｕｚｚｙ域，并讨论了它的一些性质。     

YBa2Cu3O6+x光电导效应的研究进展

本就高温超导体YB2Cu3O6 x的光电导效应的研究现状进行了介绍，并就机理解释及未来的研究工作做了简单的评述。     

用~13CNMR波谱技术研究烃源岩显微组分的化学结构与成烃潜力

取１７个烃源岩的显微组分，用￣１３ＣＮＭＲ波谱技术进行了化学结构与成烃潜力的研究，按照脂碳的丰度与油气潜力碳的大小，各组分可按如下顺序排列：藻类体、树脂体、角质体、孢子体、木栓质体、镜质体、惰性体．以惰性碳、油潜力碳与气潜力碳划分显微组分为三组成，并构成三元图，藻类体位于图的上部，相当于Ｉ型干酪根；各稳定组分位于图的中部，相应干Ⅱ型干酚根；镜质体与惰质体位于图的左下部，相当于Ⅲ型干酪根．据此，可从烃源岩显微组分的分析组成估算它的生油与生气潜力     

武汉机场飞行区土方调配大系统优化方案研究

武汉机场是国家重点建设项目。本文提出了机场飞行区土方工程的最优调配问题。它是一个规模庞大的大系统最优规划, 变量多达一千四百九十六个, 一般计算机容量已不够。为此, 在工民建施工领域首次提出了大系统土方调配优化数学模型进行优化, 得出的优化方案可节约经费1073441.29元。所建立的大系统土方调配优化数学模型对工民建等大型土方调配优化有普遍的应用价值。     

江泽民发展战略思想的理论构架

与时俱进是马克思主义的理论品质。在新旧世纪之交的历史时刻，以江泽民为核心的党的第三代领导集体适时地提出了承接“三步走”战略的面向21世纪前五十年的发展战略。形成了具有鲜明时代特征的发展战略思想。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

非对称极化散射矩阵的目标识别方法研究

本文针对单基地测量时线性目标的极化散射矩阵为非对称这一实际情况．根据散射矩阵理论将其进行了对称性修正，在此基础之上，利用本征极化作为雷达目标极化特性的表征并进一步提取了目标的极化特征，同时对五种飞机目标进行了识别实验研究，取得了良好的目标分类或识别效果。     

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.