角域上的调和函数与条件Brown运动

设中的角域．该文绘出了A上正调和函数的Martin表示，讨论了极小调和函数与条件Brown运动的一个0—1律之间的关系，并给出了A上极小调和函数的表现形式，     

Reflection of Long Game Formulas

We study game formulas the truth of which is determined by a semantical game of uncountable length. The main theme is the study of principles stating reflection of these formulas in various admissible sets. This investigation leads to two weak forms of strict-II¹₁ reflection (or ∑₁-compactness). We show that admissible sets such as H(ω₂) and L_ω2 which fail to have strict-II¹₁ reflection, may or may not, depending on set-theoretic hypotheses satisfy one or both of these weaker forms. Mathematics Subject Classification : 03C70, 03C75.     

数学分析中的一题多解问题

通过两个积分 (一个是不定积分 ,一个是定积分 )及一个极限 ,说明如何灵活使用积分法解决积分问题 ,方法灵活、巧妙 ,适用范围广 .     

Horizontal Connection and Horizontal Mean Curvature in Carnot Groups

In this paper we give a geometric interpretation of the notion of the horizontal mean curvature which is introduced by Danielli Garofalo-Nhieu and Pauls who recently introduced sub- Riemannian minimal surfaces in Carnot groups. This will be done by introducing a natural nonholonomic connection which is the restriction （projection） of the natural Riemannian connection on the horizontal bundle. For this nonholonomic connection and （intrinsic） regular hypersurfaces we introduce the notions of the horizontal second fundamental form and the horizontal shape operator. It turns out that the horizontal mean curvature is the trace of the horizontal shape operator.     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

晶体学与准晶体学点群的母子群关系

依据群论，得出了准晶体学点群的直积或半直积推导算式；依据结晶学理论，绘出了五角、八角、十角和十二角晶系各点群的极赤投影图.据此推导出了每一个准晶体学点群的全部最大子群，从而推导并绘制出了三维晶体学和准晶体学点群之间的母子群关系(60个点群的“家谱”).该“家谱”以最大子群链的图解形式直观地给出了每个点群的最小母群和最大子群. 关键词： 准晶体 晶体 点群 最大子群 最小母群 群链     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

光束偏转法自动测试激光等离子体冲击波系统的研制

根据光束偏转原理，研制了激光等离子体冲击波自动测试系统的硬件和软件。该系统使用计算机与可编程序控制器作为上下位机，采取上下位机通讯的方式控制步进电机及二维移动架的移动，以改变探测光的相对位置，并利用单模光纤和光电倍增管将探测到的光偏转信号传入数字示波器进行存储，最后计算机将示波器中采集到的光偏转信号进行分析处理。使用该系统对激光等离子冲击波的衰减过程进行了实际测试，得到了较为理想的实验结果。     

Paul阱中共面两离子系统的能量本征态

通过对Paul阱中共面两离子体系的研究，考虑共面两离子在Paul阱中库仑关联，得到了两离子系统Schrdinger方程的精确解；椐方程的精确解，分析了质心能级简并情况，计算了两离子的平衡距离和低能级的几个态函数，设计程序作出了质心径向概率分布图. 关键词： Paul阱 两离子 共面 量子逻辑操作