Mitochondrial genomes of two luminous beetles, Rhagophthalmus lufengensis and R-ohbai (Arthropoda, Insecta, Coleoptera)

We determined the mitochondrial MA (mtDNA) sequences of two luminous beetles (Arthropoda, Insecta, Coleoptera), Rhagophthalmus lufengensis from Yunnan, China and Rhagophthalmus ohbai from Yaeyama Island, Japan. We identified all the 37 mtDNA genes of R. l

Optical and surface properties of hybrid TiO2/ormosil planar waveguide prepared by the sol-gel process

Two kinds of silanes, 3-glycidoxypropyltrimethoxysilane (GLYMO) and 3-trimethoxysililpropylmethacrylate (TMSPM), were used to prepare ormosil waveguide films by the sol-gel method. Thirty percent Ti(OBu)(4) and 70% silane were contained in the precursor sets. The properties of films were measured by scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FTIR), UV/VIS/NIR spectrophotometer (UV-vis), atomic force microscopy (AFM), m-line and scattering-detection method. The films from GLYMO and TMSPM precursors exhibit similar thickness (2.58 mu m for GLYMO, 2.51 mu m for TMSPM) and refractive index (1.5438 for GLYMO, 1.5392 for TMSPM, lambda=632.8 nm), but the film from TMSPM precursor has higher propagation loss (1.024 dB/cm, lambda=632.8 nm) than the film prepared from GLYMO (0.569 dB/cm, lambda=632.8 nm). Furthermore, the film prepared from TMSPM is easy to be opaque and cracks during coating whereas the same phenomenon was not found for the film prepared with GLYMO. It is confirmed that GLYMO is a better precursor than TMSPM for waveguide film preparation. (C) 2005 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

Holmium laser in-band pumped by a thulium laser in the same host of YAlO3

We report on the room-temperature continuous-wave (CW) operation of a Ho:YAlO3 laser that is resonantly end pumped at 1.94 mu m by a diode-pumped thulium-doped laser in the same host. Through the use of a 1 at % Ho3+-doped 20-mm-long YAlO3 crystal (b cut), the Ho:YAlO3 laser generated 1 W of linearly polarized (E//c) output at 2118 nm and 0.55 W of E//a output at 2128.5 nm for an incident pump power of 5 W, with an output coupler transmission of 14 and 3%, respectively. An optical-to-optical conversion efficiency of 20% and a slope efficiency of 33% were achieved at 2118 nm corresponding to an incident pump power.

Responses of dark respiration in the light to desiccation and temperature in the intertidal macroalga, Ulva lactuca (Chorophyta) during emersion

Dark respiration (nonphotorespiratory mitochondrial CO2 release) in the light (R-L) of the intertidal macroalga Ulva lactuca (Chorophyta) during emersion was investigated with respect to its response to variations in temperature and desiccation. R-L was estimated by CO2 gas-exchange analysis using the Kok effect method, whereas dark respiration in darkness (R-D) was determined from CO2 release at zero light. Rates of R, were significantly and consistently lower than those of R-D in emersed U. lactuca across all the temperature and desiccation levels measured. This demonstrated that dark respiration was partially depressed in the light, with the percentage inhibition ranging from 32 to 62%. Desiccation exerted a negative effect on R-L and R-D at a high temperature, 33 degrees C, whereas it had much less effect on respiration at low and moderate temperatures, 23 and 28 degrees C. In general, R-L and R-D increased with increasing temperature in U. lactuca during all stages of emersion but responded less positively to temperature change with increasing desiccation. Additionally, the Q(10) value (i.e. the proportional increase of respiration for each 10 degrees C rise in temperature) for R-L calculated over the temperature range of 23 to 33 degrees C was significantly higher than that for R-D in U. lactuca during the initial stages of emersion. Respiratory carbon loss as a percentage of gross photosynthetic carbon gain increased with increasing temperature and/or desiccation but was significantly reduced when estimated using R-L rather than R-D. It is suggested that measurements of R-L and how it changes in a variable environment are as important as estimates of R-D and photosynthesis in determining simultaneous balance between photosynthetic carbon uptake and respiratory carbon loss and in modeling the net daily carbon gain for an intertidal macroalga.

Nucleation of diamond by pure carbon ion bombardment - a transmission electron microscopy study

A cross-sectional high-resolution transmission electron microscopy (HRTEM) study of a film deposited by a 1 keV mass-selected carbon ion beam onto silicon held at 800 degrees C is presented. Initially, a graphitic film with its basal planes perpendicular to the substrate is evolving. The precipitation of nanodiamond crystallites in upper layers is confirmed by HRTEM, selected area electron diffraction, and electron energy loss spectroscopy. The nucleation of diamond on graphitic edges as predicted by Lambrecht [W. R. L. Lambrecht, C. H. Lee, B. Segall, J. C. Angus, Z. Li, and M. Sunkara, Nature, 364 607 (1993)] is experimentally confirmed. The results are discussed in terms of our recent subplantation-based diamond nucleation model. (c) 2005 American Institute of Physics.

Mesoscopic Fano effect modulated by Rashba spin-orbit coupling and external magnetic field

By employing non-equilibrium Green's function method, the mesoscopic Fano effect modulated by Rashba spin-orbit (SO) coupling and external magnetic field has been elucidated for electron transport through a hybrid system composed of a quantum dot (QD) and an Aharonov-Bohm (AB) ring. The results show that the orientation of the Fano line shape is modulated by the Rashba spin-orbit interaction k(R)L variation, which reveals that the Fano parameter q will be extended to a complex number, although the system maintains time-reversal symmetry (TRS) under the Rashba SO interaction. Furthermore, it is shown that the modulation of the external magnetic field, which is applied not only inside the frame, but also on the QD, leads to the Fano resonance split due to Zeeman effect, which indicates that the hybrid is an ideal candidate for the spin readout device. (C) 2007 Elsevier B.V All rights reserved.

传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

一种基于模型的并发系统测试目的描述

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.

传值系统的互模拟与谓词等式系

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

模型检测:理论、方法与应用

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

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennesssy-Milner逻辑的一阶扩充HML(FO)，给出了基于带赋值的符号迁移图的语义解释。证明了HML(FO)的子逻辑HML(FO^2)是满足性可判定的，并且讨论了判定的复杂性。最后给出了传值进程关于HML(FO^2)的模型检测的可判定性结果。

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.