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.     

双包层椭圆光波导解析解

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

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

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

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     

Comparison of the thermal behavior of three cellulose fibers mercerized or submitted to solar degradation

Comparison of Lyocell, modal and viscose fibers was performed by means of differential scanning calorimetry, thermogravimetry and scanning electron microscopy. Thermal analysis was performed in air atmosphere. Samples were mercerized (21.3 g 100 mL-1) or submitted to solar radiation (seven months). Solar degraded samples presents a higher thermal stability and are initially less degraded. Furthermore, Lyocell fiber is the most stable under thermal degradation conditions. Heating produces a reduction of the fiber diameter (about 50%). This revised version was published online in July 2006 with corrections to the Cover Date.     

Measurement error and the Albert-Loewer problem

Modal interpretations of QM have the welcome consequence that unitarily evolved post-measurement states which superpose eigenstates of the anticipated pointer observable can represent devices registering determinate measurement outcomes. Albert and Loewer have claimed that modal interpretations cannot account for the outcomes of error-prone measurements. But Albert, Loewer, and their commentators have not always appreciated the relation of measurement error to the Albert-Loewer problem. I argue that measurement error is neither necessary nor sufficient to generate the Albert-Loewer problem, and use the Araki-Yanase theorem to show that measurements of a large class of observables, if they are error-free, are beset by the Albert-Loewer problem.