Sagnac Effect of Gödel's Universe

We present exact expressions for the Sagnac effect of Gödel's Universe. For this purpose we first derive a formula for the Sagnac time delay along a circular path in the presence of an arbitrary stationary metric in cylindrical coordinates. We then apply this result to Gödel's metric for two different experimental situations: First, the light source and the detector are at rest relative to the matter generating the gravitational field. In this case we find an expression that is formally equivalent to the familiar nonrelativistic Sagnac time delay. Second, the light source and the detector are rotating relative to the matter. Here we show that for a special rotation rate of the detector the Sagnac time delay vanishes. Finally we propose a formulation of the Sagnac time delay in terms of invariant physical quantities. We show that this result is very close to the analogous formula of the Sagnac time delay of a rotating coordinate system in Minkowski spacetime.     

Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

大焦深成像系统仿真实验研究

如何增大非相干光学成像系统的焦深是应用光学研究领域的热点问题.本文对采用高次非球面光学掩模板与图像处理相结合增大成像光学系统焦深的新方法进行了深入分析,建立了大焦深成像系统仿真实验模型,并进行了大焦深成像系统仿真实验.实验结果证明了该方法在维持原相对孔径的同时使光学系统在较大的离焦范围内有好的成像质量.实际应用中还要综合考虑模板参量、信噪比等关键因素.     

一个耦合系统自由边界问题的整体古典解

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒｗｅｄｉｓｃｕｓｓｔｈｅｇｌｏｂａｌｃｌａｓｓｉｃａｌｓｏｌｕｔｉｏｎｏｆａｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｑｕａｓｉｓｔａｔｉｏｎａｒｙｐｒｏｂｌｅｍ .Ｔｈｅｐｒｏｂｌｅｍｃｏｍｅｓｆｒｏｍｔｈｅｄｉｓｃｕｓｓｉｏｎｏｆａｇｒｏｗｔｈｍｏｄｅｌｏｆｓｅｌｆｍａｉｎｔａｉｎｉｎｇｐｒｏｔｏｃｅｌｌ(ｓｅｅ [1— 3])ｉｎｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｃａｓｅ .Ｔｈｅｐｒｏｔｏｃｅｌｌｃａｎｂｅｖｉｓｕａｌｉｚｅｄａｓｈａｖｉｎｇａｐｏｒｏｕｓｓｔ…     

网络环境下会计信息系统的创新

从我国会计软件的发展历程及网络环境方面，对会计信息系统软件功能的创新、会计信息系统基本结构的创新作了分析和探讨，提出了会计软件未来发展与创新的基本思路和设想．     

Analytical study of a flattened Gaussian beam through multi-apertured optical imaging systems of B = 0

By using the methods of the matrix decomposition and expansion of the hard-edged aperture function into a finite sum of complex Gaussian functions, the recurrence propagation expressions for a flattened Gaussian beam (FGB) through multi-apertured optical imaging systems of B = 0 are derived and illustrated with numerical examples. Comparisons with the straightforward numerical integration of the Collins formula and with the previous work are made. It is shown that the main advantages of our methods and results are the more accuracy and great reduction of computer time.     

Bush连续不可微函数的分形性质

本文对用递推关系确定的Bush连续不可微函数,找出了迭代函数系(IFS),从而得到它的级数表达式和所具有的自仿射分形的有关性质.最后还计算出函数图象的Hausdorff 维数的准确值.     

电子储存环中插入元件的非线性束流动力学的Lie代数方法

介绍了用能保证哈密顿系统“辛”性质的Lie映射方法来研究电子储存环中的插入元件对束流动力学的影响.并以此方法对合肥光源中将要安装的波荡器UD?–?1对储存环的影响作了初步的研究     

Lyapunov-type inequalities for nonlinear systems

In this paper, by using elementary analysis, we establish some new Lyapunov-type inequalities for nonlinear systems of differential equations, special cases of which contain the well-known equations such as Emden-Fowler-type and half-linear equations. The inequalities obtained here can be used as handy tools in the study of qualitative behaviour of solutions of the associated equations.