田径裁判员的智力结构

针对与田径裁判工作密切相关的观察力 ,记忆力 ,思维力三个方面对田径裁判员应具备的智力结构进行了简要论述     

基于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.     

动态等值论在文学翻译中的应用

美国的尤金·奈达博士(Dr.Eugene A. Nida)的动态等值论(Dynamic Equivalence)被许多学者推崇为评判译文质量优劣的标准以及翻译所追求的最终目标.在运用奈达的"动态等值"论来指导文学翻译时,应注意的问题是,译文如果要准确传递原文信息就要充分体现原作者的美学意图,这样才能使译文受众获得和原文受众基本一致的感觉.     

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

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

基于位移的抗震设计中位移模式的确定

根据地震强度、地震波、结构层数与跨度、强柱弱梁系数等影响水平位移模式的主要因素,通过大量算例分析,提出了确定基于位移的抗震设计中水平位移模式的方法.     

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

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

M——H(81)型状态方程用于二元非理想系等压汽——液平衡计算的研究

本文用M—H(81)方程计算H_2O(1)—DMF(2)二元非理想等压汽液平衡,并采用UNIFAC,WILSON两方程对该体系的计算结果进行了比较。编制了一套M—H(81)方程计算等压汽液平衡的程序,对M—H(81)方程用于计算H_2O(1)—DMF(2)精馏塔设计计算的可行性进行了讨论。     

城市化途径及其相关

对城市化途径有关各要素作了综合的叙述,并且指出研究的手段──自人口的聚集至城镇形成发展这一历史的纵剖面及地域、产业结构等横向有关要素作整体系统的分析与比较,并指出应重点研究人口指标分析、产业可比关系、城市化和城市化设施,以及城市体系的研究问题。     

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.