对无机化学教材中引进锰的自由能——氧化态图的探讨

本文对无机化学教材中引进锰的自由能——氧化态图进行了讨论.这对无机化学的教材改革是十分有意义的.对氧化态图直观性的分析和绘制氧化态图的研究对教学更具影响.     

Study on Approach for Computer-Aided Design and Machining of General Cylindrical Cam Using Relative Velocity and Inverse Kinematics

Cylindrical Cam Mechanism which is one of the best eq uipments to accomplish an accurate motion transmission is widely used in the fie lds of industries, such as machine tool exchangers, textile machinery and automa tic transfer equipments. This paper proposes a new approach for the shape design and manufacturing of the cylindrical cam. The design approach uses the relative velocity concept and the manufacturing approach uses the inverse kinematics concept. For the shape desig n, the contact points betw...     

基于APP平台的TDC-3000 DCS实时数据存取技术

探讨了基于Honeywell APP平台的TDC-3000 DCS实时数据采集方法,阐述了通讯系统的构成和软件的设计思路,并进一步研究了基于B/S结构的DCS实时数据在局域网上的存取和应用问题.此技术已获成功应用并具有通讯系统结构简单、技术可靠、实施成本低等特点.     

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.     

释“■”、“■”、“■”

“()”、“()”、“()”是在象形符号“()”上附加指事符号“一”、“二”、“三”构成的指事字,就是甲骨文“()(继)”。     

最新的电子设计自动化系统--Protel 2004

介绍了最新EDA系统Protel2004的特点、应用范围及该系统与其相关软件关系。     

称谓语的选用与社会身份关系之表达

称谓语是发话人用来称呼交际对方的用语。但其功能远不止于此，称谓语是社会关系在语言中的表现，它不单纯是语言的称谓系统本身。称谓语的选用能为整个交际活动定下基调，能清楚地反映出交际双方之间的社会关系和他们的社会地位。     

全站仪线路纵、横断面测量

运用全站仪放样及对边测量功能，在已知控制点上设站，方便、快捷、精确的进行线路的纵、横断面测量。     

平辊薄件轧制的刚塑性有限元计算

本文用钢塑性有限元方法,对平辊同步和异步薄件轧制进行了计算,求出力能参数、速度场和应力应变场,并对二者加以比较。之后,又对异步轧制的特征进行了分析。     

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.