沼气在果菜粮贮藏业上的应用

文中介绍沼气这种新型绿色能源在果菜粮贮藏中的应用情况,详尽描述了其在贮藏果品、蔬菜中的应用过程,文中对其作用的原理和益处也给予了适当介绍。     

Expression and Characterization of HGV E2 cDNA in Pichia pastoris

A 559 base pair fragment of cDNA locating at the putative E2 region of GBV-C/HGV was in-serted into Pichia pastoris expression vector pPICgK in the reading frame of α-factor secreting signal pep-tide. The recombinant expression plasmid pPIC9K-E2 was introduced into P. pastoris GSll5 with electro-poration and recombined with the host genome by homological recombination. The His+Mut+ recombinantyeasts were selected and cultivated in the BMMY medium. After 3 days induction with 0. 5% methanol,the target protein(E2) accumulated up to 30% of total proteins in the supernatant. The expressed E2 pro-tein was proved possessing antigenicity and high specificity with Western blot and ELISA probed with serafrom the immunized rabbits and the patients infected by GBV-C/HGV.     

AC发泡剂新工艺研究—Ⅲ电解氧化法

用钌钛金属阳极在含有Ｃｌ—和Ｂｒ－离子的酸性溶液中进行电解氧化联二脲制备偶氮二甲酰胺，获得产品得率为９３—９８％、纯度为９９．６％、电流效率为８８－９２％。母液可循环使用，基本不产生废液．     

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.     

森林面积分布系统的最优控制存在性问题

本文研究森林面积分布系统的最优控制问题。本文将林木总和长消率作为控制变量，以“范数最小”来衡量其最优性，利用空间Ｌ＾２（０，Ｔ）Ｔ〉０的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。     

可压缩流体网络的建模方法

本文运用网络分析手段,首次提出了任意拓扑结构可压缩流体网络动态特性的建模方法.该方法突破了目前在流体网络分析中普遍采用的“小扰动”线性化处理方法的局限。     

Learning attention-based strategies to cooperate for multi-agent path finding

Multi-agent path finding (MAPF) is a challenging multi-agent systems problem where all agents are required to effectively reach their goals concurrently with not colliding with each other and avoiding obstacles. In MAPF, it is a challenge to effectively express the observation of agents, utilize historical information, and effectively communicate with neighbor agents. To tackle these issues, in this work, we proposed a well-designed model that utilizes the local states of nearby agents and outputs an optimal action for each agent to execute. We build the local observation encoder by using residual attention CNN to extract local observations and use the Transformer architecture to build an interaction layer to combine local observations of agents. With the purpose of overcoming the deficiency of success rate, we also designed a new evaluation index, namely extra time rate (ETR). The experimental results show that our model is superior to most previous models in terms of success rate and ETR. In addition, we also completed the ablation study on the model, and the effectiveness of each component of the model was proved.     

上海市集成电路及机电一体化产品的比较优势研究

本文用一种“节汇成本比较”的方法,对上海市集成电路及机电一体化产品的比较优势进行调查研究,提出了上海市在这两个产品领域发展重点的建议。     

胶东-辽东-朝鲜巨型金矿集中区的分离

胶东、辽东、朝鲜北部三区在地质上表现出了极大的相似性和稳定性。它们不但在元古代地层上可以相互对比,而且还有着一个统一的硼的地球化学省,在大地构造单元上也可以相互衔接。三区可以拼合为一个整体,使辽东的丹东金矿区、朝北的平安北道金矿区和胶东的招掖金矿区正好合成一个完整的整体,构成了一个巨大的金矿集中区。这个巨型金矿集中区是在统一的古陆块上由同一成因作用形成的,后因大陆的张裂和离散被分离。文中对它的分离机制和过程进行了探讨。     

大兴安岭草地的研究——Ⅰ 山地草原化植被

本文首次对发育于大兴安岭干旱阳坡上的草地植被进行了比较全面的分析,并依据该类型植被的特点将其命名为山地草原化植被,作为植被型处理.