Stable single-mode distributed feedback quantum cascade laser with surface metal grating

A design of single-mode distributed feedback quantum cascade lasers (DFB-QCLs) with surface metal grating is described. A rigorous modal expansion theory is adopted to analyse the interaction between the waveguide mode and the surface plasmon wave for different grating parameters. A stable single-mode operation can be obtained in a wide range of grating depths and duty cycles. The single-mode operation of surface metal grating DFB-QCLs at room temperature for lambda = 8.5 mu m is demonstrated. The device shows a side-mode suppression ratio of above 20 dB. A linear tuning of wavelength with temperature indicates the stable single-mode operation without mode hopping.

Effects of multistage coupling and disk flexibility on mistuned bladed disk dynamics

The effects ofdisk flexibility and multistage coupling on the dynamics of bladed disks with and without blade mistuning are investigated. Both free and forced responses are examined using finite element representations of example single and two-stage rotor models. The reported work demonstrates the importance of proper treatment of interstage (stage-to-stage) boundaries in order to yield adequate capture of disk-blade modal interaction in eigenfrequency veering regions. The modified disk-blade modal interactions resulting from interstage-coupling-induced changes in disk flexibility are found to have a significant impact on (a) tuned responses due to excitations passing through eigenfrequency veering regions, and (b) a design's sensitivity to blade mistuning. Hence, the findings in this paper suggest that multistage analyses may be required when excitations are expected to fall in or near eigenfrequency veering regions or when the sensitivity to blade mistuning is to be accounted for Conversely, the observed sensitivity to disk flexibility also indicates that the severity of unfavorable structural interblade coupling may be reduced significantly by redesigning the disk(s) and stage-to-stage connectivity. The relatively drastic effects of such modifications illustrated in this work indicate that the design modifications required to alleviate veering-related response problems may be less comprehensive than what might have been expected.

特定类有穷结构上的逻辑的表达能力

有穷模型论是受数据库理论和计算复杂性理论推动而发展起来的数理逻辑的一个研究领域。有穷模型论的主题之一就是探讨逻辑在有穷结构上的表达能力，本文围绕这一主题取得如下结果： 1. 使用Ehrenfeucht-Fraïssé博弈的方法，我们证明了在有穷纯算术结构类BFR上，Δ0≠Δ1，从而解决了Atserias博士论文中提出的一个开放问题 ； 2．提出一个新的在双射博弈中使用警察和强盗博弈的策略构造，利用这一策略构造，我们给出Dawar和Richerby的文章中的关键定理的正确证明，同时还对Atserias, Bultov和Dawar的文章中的一个关键结果作出改进 ； 3. 使用变型的Cai-Fürer-Immerman构造和Dawar和Richerby的条件，我们证明了在平衡图上，IFP+C不能刻画PTIME ，从而在“有无逻辑在完美图相关的图类上刻画PTIME”这一问题的研究上取得进展 ； 4. 利用所谓的扭结图和变异的扭结图，我们证明了可比较图，区间图以及AT-free图在FO(TC)中可定义，从而在“完美图相关的图类的逻辑可定义性”这一问题的研究上取得进展。

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

a higher-order duration calculus and its completeness

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

Long period grating for 3-5 mu m quantum-well infra-red photodetectors

By considering all possible high order diffracted waves, the authors calculate the coupling efficiency of long period gratings for 3-5 mu m quantum-well infra-red photodetectors (QWIPs) on the basis of the modal expansion model (MEM). A large coupling efficiency for 3-5 mu m QWIPs has been demonstrated. This greatly reduces the difficulties in fabricating 3-5 mu m grating coupled QWIPs and opens the way to fabricate high performance 3-5 mu m and two colour QWIPs image arrays.

Multi-mode Vortex-induced Vibration of Slender Cable Experiencing Shear Flow

The dynamic characteristics of slender cable often present serried modes with low frequencies due to large structure flexibility resulted from high aspect ratio (ratio of length to diameter of cable), while the flow velocity distributes non-uniformly along the cable span actually in practical engineering. Therefore, the prediction of the vertex-induce vibration of slender cable suffered from multi-mode and high-mode motions becomes a challenging problem. In this paper a prediction approach based on modal energy is developed to deal with multi-mode lock-in. Then it is applied to the modified wake-oscillator model to predict the VIV displacement and stress responses of cable in non-uniform flow field. At last, illustrative examples are given of which the VIV response of flexible cable in nonlinear shear flow field is analyzed. The effects of flow velocity on VIV are explored. Our results show that both displacement and stress responses become larger as the flow velocity increasing; especially higher stress response companied with higher frequency vibration should be paid enough attention in practical design of SFT because of its remarkable influence on structure fatigue life.

Preliminary analysis of grain-size populations with environmentally sensitive terrigenous components in marginal sea setting

Terrigenous components were separated from the bulk sediment of Core A7 from the Okinawa Trough and Core A37 from the Ryukru Trench and grain-size distributions of these sub-samples were analyzed. Based upon an analysis of the grain-size data of the two sedimentary sequences, grain-size populations are identified to be sensitive to sedimentary environmental changes. The modal values and size ranges of the two main grain-size populations in Core A7 are evidently different from those of Core A37, indicating the spatial variability of sediment sources and transport processes between the two places. The downcore variations in the content of the environmentally sensitive grain-size populations reveal that during the accumulation of sedimentary material the environment remained relatively stable at the site where Core A7 was collected, except for the apparent events for the formation of two turbidite layers and a volcanic ash layer. However, the sedimentary sequence of Core A37 shows six sedimentary cycles, indicating a highly variable sedimentary environment at this location.

Resuspension and advection processes affecting suspended particulate matter concentrations in the central English Channel

Suspended particulate matter (SPM) measurements obtained along a cross-section in the central English Channel (Wight-Cotentin transect) indicate that the area may be differentiated into: (1) an English coastal zone, associated with the highest concentrations; (2) a French coastal zone, with intermediate concentrations; and (3) the offshore waters of the Channel, characterised by a very low suspended-sediment load. The SPM particle-size distribution was modal close to the English coast (main mode 10-12 mu m); the remainder of the area was characterised by flat SPM distributions. Examination of the diatom communities in the SPM suggest:; that material resuspended in the intertidal zone and the estuarine environments was advected towards the offshore waters of the English Channel. Considerable variations in SPM concentrations occurred during a tidal cycle: maximum concentrations were sometimes up to 3 times higher than the minimum concentrations, Empirical orthogonal function (EOF) analysis of the SPM concentration time series indicates that, although the bottom waters were more turbid than the surficial waters, this was not likely to be the result of in situ sediment resuspension. Instead, the observed variations appear to be controlled mainly by advective mechanisms. The limited resuspension was probably caused by: (1) the limited availability of fine-grained material within the bottom sediments, and (2) 'bed-armouring' processes which protect the finer-grained fractions of the seabed material from erosion and entrainment within the overlying flow during the less energetic stages of the tide.

Metasomatism of the peridotites from southern Mariana fore-arc: Trace element characteristics of clinopyroxene and amphibole

Modal composition and mineral composition of harzburgites from the southern Mariana fore-arc show that they are highly refractory. There are a few modals of clinopyroxene (0.7 vol %) in harzburgites. Two types of amphibole are found in these harzburgites: magnesiohornblende accompanied by clinopyroxene with higher Al2O3 content (> 7%) and lower Mg-#; tremolite around orthopyroxene with lower Al2O3 content (< 2%) and higher Mg-#. Trace element of clinopyroxene and two types of amphibole are analyzed. Primitive mantle-normalised REE patterns for clinopyroxene and magnesio hornblende are very similar and both show HREE enrichment relative to LREE, while magnesiohornblende has higher content of trace element than clinopyroxene. The contents of trace element of tremolite are much lower than those of magnesiohornblende. Clinopyroxene shows enrichment of most of the trace element except HREE and Ti relative to clinopyroxene in abyssal peridotites. Petrology and trace element characteristic of clinopyroxene and two types of amphibole indicate that southern Mariana fore-arc harzburgites underwent two stages of metasomatism. The percolation of a hydrous melt led to mobility of Al, Ca, Fe, Mg, Na, and large amounts of trace element. LILE and LREE can be more active in hydrous melt than HREE and Ti, and the activities of most of the trace element except some of LILE are influenced by temperature and pressure.