盾构隧道壁后注浆可视化注浆检测技术

盾构隧道壁后注浆是控制隧道沉降与地表塌方的重要措施,在实际工程中,存在壁后注浆的实际效果难以控制等技术难题,缺乏切实可靠的检测手段,针对这一问题,本文自主创新开发了上海隧道壁后可视化雷达检测技术,适用于隧道壁后注浆质量检测控制.该方法使用方便,开发了集资料处理及成果智能解释于一体的专用雷达软件系统,可以有效进行壁后注浆风险控制.     

0.1meV能量分辨率扫描隧道谱的发展及其在单自旋态探测中的应用

本研究利用低温扫描隧道显微镜研究了吸附在超导体表面上的磁性杂质诱导的束缚态。通过提高扫描隧道谱的能量分辨率,可以观察到对应于不同角动量散射通道的多重束缚态。该工作提供了一种探测单个自旋态以及研究磁性与超导相互竞争等的灵敏实验手段。     

火山灰铸就的永恒之城

2000年以来,罗马被誉为全世界最伟大的帝国之都,因为它的修建运用了天才的工程原理,而它在地质方面也得天独厚。目前,一支由岩洞科学家组成的团队,准备到罗马市地下的世界去探索一番。他们进入了一座有2000多年历史的巨大隧道迷宫,这些古代洞穴里藏着罗马工程师如何建造这座不朽城市的秘密。一位参与考察的岩洞科学家说:"这些是鹤嘴锄留下的痕迹,这里是罗马人挖隧道的地方,也是罗马人采石的地方。这种石头由火山灰构成,是一种很耐用的材料,很适合用来修建建筑物。这些火山灰来自罗马附近的火山。"罗马位于一条山谷里,紧挨着     

关于知识-机器互动机制的可能性的探讨

作者提出运用计算机系统对修正了的三个世界相互作用理论和逻辑推理进行模拟验证，使之臻于完善。建议的实验方案是，在类似于虚拟现实系统的预设运算环境中加入非人为控制的知识或物理信息，期待某种新知识产生。意义在于，从科学技术与哲学社会科学相结合角度提出一种解释人—机关系新理论，提出未来社会中知识生产新机制，尝试运用计算机系统模拟验证哲学概念推理。     

长大隧道沥青混凝土路面的防灾安全性能研究

我国是目前世界上隧道总长最长、数目最多的国家,隧道是高速公路交通事故易发地段.沥青混凝土路面因长期抗滑稳定性优于水泥混凝土路面而广泛应用于高速公路隧道,以提高行车安全.但由于沥青具有可燃性,人们对沥青混凝土路面在隧道火灾中的安全性一直存在争议,迄今为止国内外对此仍缺乏深入研究,这极大地制约了沥青混凝土路面在我国高速公路隧道中的应用推广.     

科学理论成真概率的逻辑演绎——理查德·斯温伯恩科学哲学中的解释学原理

科学理论如何能够被我们判定其真或伪,成真的概率有多大,是科学哲学认识论的基本问题之一。当代英国哲学家理查德·斯温伯恩对科学理论的成真概率进行了逻辑演绎。他提出,科学理论的成真概率包括两个方面,其一是经验成真概率;其二是先验成真概率。前者依靠科学理论的"解释力";后者则依靠科学理论预设条件的"简单性"。两者一并构成了我们判定科学理论成真概率的原理。斯温伯恩关于科学理论成真概率的原理不仅适用于非生命事件的解释领域,而且也适用于有生命的人格性事件的解释领域。     

生命之可能性的先验根据:作用因与目的因——康德的生命科学方法论思想研究

康德以其先验哲学的视角指出以“作用因”为其先验根据的牛顿力学原理在解释生命之独特性时是不充分的。在对传统目的论思想进行批判性改造的基础上,他提出了把目的论与机械论结合起来的生命科学方法论,由康德倡导的方法论对生命科学产生了深刻的影响。     

地铁土压平衡盾构的研制与应用

“地铁土压平衡盾构的研制与应用”为“十五”期间国家863计划的重大专项课题（编号：2002AA420020），是用于地铁隧道施工的装备。承担单位为上海隧道工程股份有限公司。     

上海盾构设计试验研究中心有限公司

盾构掘进机是隧道工程尤其是软土隧道施工的关键设备。长期以来，我国除了能够制造一些自动化程度较低的全机械盾构外，盾构机主要依赖从发达国家进口。2002年，国产盾构研制开发项目被列入“十五”国家863计划。经过一年多的努力，上海隧道工程股份有限公司研制成功了一台直径为6．34米的土压平衡盾构，实现了国产盾构设计制造零的突破。为了进一步将施工实践、机械制造和理论研究结合起来，有效提升国产盾构掘进机设计研究制造能力，进一步为开发地下空间发挥作用，在国家科技主管部门的牵头下，由上海隧道工程股份公司发起，上海科投、中铁隧道以及浙江大学、     

你绝对想不到如此怪异的

最凉快的汽车，这辆颇具创意的甲壳虫不知是出自哪位能人之手，不用空调和天窗都绝对的盗塞丕婪，下雨时怎么开呢？一只手开车．一只手打伞？……     

空天飞行器先进风洞实验技术及我国发展建议

随着空间科学蓬勃发展,各国争相抢占空间科学的战略制高点,发展高超声速风洞技术的战略意义日渐凸显。我国在爆轰驱动高超声速激波风洞研究方面已经走在国际前列,核心技术具有自主知识产权。如何发挥已有设施的作用,加强风洞实验测量技术的研究与开发,提高实验数据的分析能力和在实际空天工程中的应用是我国下一步需要思考的问题。     

HEMS深井降温系统研发及热害控制对策

深井高温热害是深部煤炭资源开采过程中的严重灾害,高温不仅影响了围岩的力学性质,而且严重影响矿井生产安全。本研究针对国内外矿井降温技术存在的问题,提出了以矿井涌水作为冷源的深井开采高温热害控制HEMS（High Temperature Exchange Machinery System）技术,利用提取出的冷量与工作面高温空气进行换热作用,降低工作面的环境温度及湿度。该技术结合夹河矿深井降温工程,建成了国内第一个控制深井热害的深部科学与工程实验室（DUSEL）。系统运行结果表明,工作面温度降低4-6℃,最高温度控制在28—290℃以内,相对湿度降低5％-10％,极大改善了井下工作环境,热害控制效果显著,具有广阔的推广应用前景。     

技术创新的域、势、能

技术创新是特定域内的一种科学和技术的涌现,这种涌现取决于技术创新所在域内的势与能,域是创新的根基,具有边界有形性、区隔性和分层性等特征;势是域内创新的事物充满张力的局态,体现为吸附性和凝聚性;能则是域内创新的事物所具有的潜在能量与动力,体现为动力本源性和持续性。国家或地区的技术创新通过一定的域,形成一定的势,对外吸附外在资源,对内聚集资源,最终以持续的技术创新来促进国家或地区的经济、文化、政治的跨越性发展。     

Maximum Likelihood Estimation and Model Comparison for Mixtures of Structural Equation Models with Ignorable Missing Data

The objective of this paper is to develop the maximum likelihood approach for analyzing a finite mixture of structural equation models with missing data that are missing at random. A Monte Carlo EM algorithm is proposed for obtaining the maximum likelihood estimates. A well-known statistic in model comparison, namely the Bayesian Information Criterion (BIC), is used for model comparison. With the presence of missing data, the computation of the observed-data likelihood function value involved in the BIC is not straightforward. A procedure based on path sampling is developed to compute this function value. It is shown by means of simulation studies that ignoring the incomplete data with missing entries gives less accurate ML estimates. An illustrative real example is also presented.     

Clustering the rows and columns of a contingency table

A number of ways of investigating heterogeneity in a two-way contingency table are reviewed. In particular, we consider chi-square decompositions of the Pearson chi-square statistic with respect to the nodes of a hierarchical clustering of the rows and/or the columns of the table. A cut-off point which indicates significant clustering may be defined on the binary trees associated with the respective row and column cluster analyses. This approach provides a simple graphical procedure which is useful in interpreting a significant chi-square statistic of a contingency table.The author gratefully acknowledges the constructive comments of the referees and the editor.     

Evolution of Cognition: Towards the Theory of Origin of Human Logic

The main problem discussed in this paper is: “Why and how did animal cognition abilities arise?” It is argued that investigations of the evolution of animal cognition abilities are very important from an epistemological point of view. A new direction for interdisciplinary researches – the creation and development of the theory of human logic origin – is proposed. The approaches to the origination of such a theory (mathematical models of ``intelligent invention'' of biological evolution, the cybernetic schemes of evolutionary progress and purposeful adaptive behavior) as well as potential interdisciplinary links of the theory are described and analyzed.     

The runt test for multimodality

Single linkage clusters on a set of points are the maximal connected sets in a graph constructed by connecting all points closer than a given threshold distance. The complete set of single linkage clusters is obtained from all the graphs constructed using different threshold distances. The set of clusters forms a hierarchical tree, in which each non-singleton cluster divides into two or more subclusters; the runt size for each single linkage cluster is the number of points in its smallest subcluster. The maximum runt size over all single linkage clusters is our proposed test statistic for assessing multimodality. We give significance levels of the test for two null hypotheses, and consider its power against some bimodal alternatives. Research partially supported by NSF Grant No. DMS-8617919.     

军事概念体系的建立

军事概念体系的建立是军事术语体系建立的基础和前提。军事概念是军事认识客体在军事认识主体心理上的反映，军事概念体系反映相应的军事知识体系；概念用定义描述，被赋予约定的指称；概念的特征是构成概念的任何特点、属性或关系；概念之间存在着层级关系和非层级关系，正是基于这些关系，才有可能把军事领域的各专业知识概念组成一个协调一致的军事概念体系。军事概念体系的构建必须经过一系列交互作用的操作，它们反映出该体系建立的基本过程。     

A note on Cohen's profile similarity coefficientr c

Analytic procedures for classifying objects are commonly based on the product-moment correlation as a measure of object similarity. This statistic, however, generally does not represent an invariant index of similarity between two objects if they are measured along different bipolar variables where the direction of measurement for each variable is arbitrary. A computer simulation study compared Cohen's (1969) proposed solution to the problem, the invariant similarity coefficientr _c , with the mean product-moment correlation based on all possible changes in the measurement direction of individual variables within a profile of scores. The empirical observation thatr _c approaches the mean product-moment correlation with increases in the number of scores in the profiles was interpreted as encouragement for the use ofr _c in classification research. Some cautions regarding its application were noted.This research was supported by the Social Sciences and Humanities Research Council of Canada, Grant no. 410-83-0633, and by the University of Toronto.