一类常微分方程组的紧支撑样条小波方法探讨

应用三次紧支撑样条小波插值函数得到了求一类常微分方程组数值解的隐式公式,并求得到其局部截断误差为O(-h5).在此基础上给出1个显式校正求解公式,并讨论得到其局部截断误差为O(-h4).     

Finite element modal solutions of planar photonic crystal fibers with rectangular air-holes

Modal solutions of planar photonic crystal waveguides with rectangular air-holes are presented by using a rigorous full-vectorial finite element-based approach. The effective indices, mode field profiles, spot-sizes, power confinements, modal hybridness, beat lengths and group velocity dispersions are shown for the fundamental and higher order modes of the quasi-TE and TM polarizations.     

Boundedness and Dissipativity of Truncated Rotations on Uniform Planar Lattices

The finiteness of computer arithmetic can lead to some dramatic differences between the behaviour of a continuous dynamical system and a computer simulation. A thorough rigorous theoretical analysis of what may or what does happen is usually extremely difficult and to date little has been done even in relatively simple contexts. The comparative behaviour of a rotation mapping in the plane and on a uniform lattice in the plane is one such example. Simulations show that the rounding operator applied to a planar rotation mapping more or less preserves the qualitative behaviour of the original mapping, whereas the application of the truncation operator to a planar rotation can lead to quite different dynamical features. In this paper a theoretical justification of the properties of the planar rotation mappings under truncation to a, uniform integer lattice is provided, in particular properties of boundedness and dissipativity are investigated.     

双包层椭圆光波导解析解

解析求解了双包层椭圆光纤中的波动方程，得到了模式精确解有模式特征方程。对基模的特征方程进行了数值计算，给出了不同椭圆比下的归一化双折射和模间色散随归一化频率的变化关系曲线，并与高斯近似解的结果进行了比较。     

矩孔金属光栅矢量模式理论的数值计算

根据矩孔金属光栅的矢量模式理论，计算了不同入射方向，波长及偏振态情况下衍射场的分布，研究了不同光栅结构对衍射效率，偏振态变化的影响；同时，根据实际需要，加工制作了一批不同深度的矩孔光栅样品，进行了实验测量，并将计算值与实验值进行了比较，两者基本相符。     

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.     

Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

振动系统的模态分析实验设计

利用模态分析原理和简单试验仪器，得到了直观的悬臂梁和圆盘前4阶模态振型，使学生熟悉了模态分析原理和测试方法，有利于学生对振动规律的理解．     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95