我国林科类高等教育发展重心的思考

本文说明了林业高等教育由学术型向应用型转变的重要性,探讨正确把握人才培养类型、培养模式、优化课程体系、改进教学方法等问题。     

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.     

用PowerPiont 2000制作电子教案

针对当前教学体制改革,用实例阐述了如何用PowerPiont2000制作电子教案,在教学过程中充分利用计算机、大屏幕投影设备等先进的教学设施,改变教学模式,提高学生的学习兴趣,提高教学效率。     

旅游企业员工流失问题浅析

员工的过度流失会给旅行社、饭店等旅游企业的经营与管理带来一系列的负面影响，同时也反映了旅游企业的管理及旅游院校的传统教育模式存在着严重问题。本从员工流失的原因、影响等方面进行分析、探讨，并从旅游企业管理和旅游院校教育两个角度提出了解决这一问题的思路与对策。     

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.     

正交激励超声切削装置的椭圆轨迹偏转与校正

为研究超声椭圆振动切削（ultrasonic elliptical vibration cutting,UEVC）刀尖轨迹形成及控制,解决刀尖轨迹非正椭圆问题,建立二维正交柔性导波UEVC装置刀尖轨迹的运动学模型;分析90°相位差下非正椭圆轨迹产生原因,建立刀尖轨迹校正模型,并推导出基于正椭圆轨迹下的刀尖轨迹偏转模型。通过实验对刀尖轨迹校正模型进行验证,校正后轨迹偏离坐标轴1.67°,小于校正前偏离角度。实验结果表明,该模型能够有效地校正刀尖轨迹,可在轨迹控制方面为后续研究刀尖轨迹偏转及变刀尖轨迹超声振动加工提供理论基础。     

具有不定位势Kirchhoff型Schrödinger-Bopp-Podolsky系统解的存在性

研究Kirchhoff型Schrödinger-Bopp-Podolsky系统,考虑位势函数V不定的情况。此时Schrödinger算子-Δ+V具有有限维负空间。利用Morse理论,得到Kirchhoff型Schrödinger-Bopp-Podolsky系统非平凡解的存在性。