On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

Optical properties of polarization-dependent geometric phase elements with partially polarized light

The behavior of geometric phase elements illuminated with partially polarized monochromatic beams is investigated both theoretically and experimentally. The element discussed in this paper is composed of wave plates with π-retardation and a space-variant orientation angle. We found that a beam emerging from such an element comprises two polarization orders; right-and left-handed circularly polarized states with conjugate geometric phase modification. This phase equals twice the orientation angle of the space-variant wave plate comprising the element. Apart from the two polarization orders, the emerging beam coherence polarization matrix includes a “vectorial interference matrix” which contains information concerning the correlation between the two orthogonal, circularly polarized portions of the incident beam. In this paper we measure this correlation by a simple interference experiment. In addition, we found that the equivalent mutual intensity of the emerging beam is modulated according to the geometric phase induced by the element. Other interesting phenomena concerning propagation will be discussed theoretically and demonstrated experimentally. The experiment made use of a spherical geometric phase element that was realized by use of a space-variant subwavelength grating illuminated with CO₂ laser radiation of 10.6 μm wavelength.     

A geometric formula for Haefliger knots

Haefliger has shown that a smooth embedding of the (4k−1)-sphere in the 6k-sphere can be knotted in the smooth sense. In this paper, we give a formula with which we can detect the isotopy class of such a Haefliger knot. The formula is expressed in terms of the geometric characteristics of an extension, analogous to a Seifert surface, of the given embedding. In particular, the Hopf invariant associated to the extension plays a crucial role. This leads us to a new characterisation of Haefliger knots.     

一类广义Lanchester模型的数值解及若干结论

本讨论了一类广义的Lanchester模型在一些限制条件下的近似解，并给出了若干结论。     

Constant Q-curvature metrics in arbitrary dimension

Working in a given conformal class, we prove existence of constant Q-curvature metrics on compact manifolds of arbitrary dimension under generic assumptions. The problem is equivalent to solving a nth-order non-linear elliptic differential (or integral) equation with variational structure, where n is the dimension of the manifold. Since the corresponding Euler functional is in general unbounded from above and below, we use critical point theory, jointly with a compactness result for the above equation.     

Polynomial expansion of basis sets: Alternatives to fully optimized exponents

Alternatives based on polynomial expansions of gaussian basis set exponents are introduced and evaluated. The formulas presented here outperform methods based upon the even-tempered formula or combinations of it. They closely match the performance of other methods based upon larger polynomial expansions of the logarithm of the exponents using the same or one less parameter per orbital angular symmetry.     

(ClAlNH)n簇合物的结构与稳定性

用量子化学从头算方法（HF／6－31G）和密度泛函理论（DFT）的B3LYP方法，以6－31G标准基组加一个极化函数，对（ClAlNH)n(n=1-10)簇合物的几何构型，电子结构和红外光谱进行了优化，并讨论了聚合反应（ClAlNH)m→(ClAlNH)n的热力学效应，结果表明，（ClAlNH)n系列簇合物的基态稳定结构为Cs(n=1),D2h(n=2),D3h(n=3),Td(n=4),Cs(n=5),D3d(n=6),Cs(n=7),S4(n=8),D3h(n=9),C2h(n=10,n=2,4,6,8,10等偶数对应的（ClAlNH)n簇化合物的结构比n等于奇数量更稳定。