Transmission properties of electron in quantum rings

We investigated the transmission probability of a single electron transmission through a quantum ring device based on the single-band effective mass approximation method and transfer matrix theory. The time-dependent Schrodinger equation is applied on a Gaussian wave packet passing through the quantum ring system. The electron tunneling resonance peaks split when the electron transmits through a double quantum ring. The splitting energy increases as the distance between the two quantum rings decreases. We studied the tunneling time through the single electron transmission quantum ring from the temporal evolution of the Gaussian wave packet. The electron probability density is sensitive to the thickness of the barrier between the two quantum rings. (C) 2008 American Institute of Physics.

Distributed mode coupling in microring channel drop filters

The authors present the observation of wide transmission dips in a microring channel drop filter by two-dimensional finite-difference time-domain simulation. The authors show that distributed mode coupling between the input waveguide and the resonator results in the oscillations of the coupling efficiency and the envelope of transmission spectra with wavelength. The critical coupling as the light just passing through the coupling region is important for optimizing related devices. If the width of the input waveguide is different from that of the ring resonator, the phenomenon can be greatly reduced. (c) 2006 American Institute of Physics.

Defects in GaN films grown on Si(111) substrates by metal-organic chemical vapour deposition

We report the transmission-electron microscopy study of the defects in wurtzitic GaN films grown on Si(111) substrates with AIN buffer layers by the metal-organic chemical vapour deposition method. The In0.1Ga0.9N/GaN multiple quantum well (MQW) reduced the dislocation density by obstructing the mixed and screw dislocations passing through the MQW. No evident reduction of the edge dislocations density by the MQW was observed. It was found that dislocations with screw component can be located at the boundaries of sub-grains slightly in-plane misoriented.

Microstructure of GaN films grown on Si(111) substrates by metalorganic chemical vapor deposition

We report the transmission electron microscopy (TEM) study of the microstructure of wurtzitic GaN films grown on Si(I I I) substrates with AlN buffer layers by metalorganic chemical vapor deposition (MOCVD) method. An amorphous layer was formed at the interface between Si and AlN when thick GaN film was grown. We propose the amorphous layer was induced by the large stress at the interface when thick GaN was grown. The In0.1Ga0.9N/GaN multiple quantum well (MQW) reduced the dislocation density by obstructing the mixed and screw dislocations from passing through the MQW. But no evident reduction of the edge dislocations by the MQW was observed. It was found that dislocations located at the boundaries of grains slightly in-plane misoriented have screw component. Inversion domain is also observed. (C) 2003 Elsevier B.V. All rights reserved.

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.

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

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

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

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

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

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

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

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

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

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

MPI程序同步通信基本模型死锁检测

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.

The design and operation of a new clapboard-type internal circulating fluidized-bed gasifier

The design and operation of a new clapboard-type internal circulating fluidized-bed gasifier is proposed in this article. By arranging the clapboard in the bed, the gasifier is thus divided into two regions, which are characterized by different fluidization velocities. The bed structure is designed so that it can guide the circulating flow passing through the two regions, and therefore the feedstock particles entrained in the flow experience longer residence time. The experimental results based on the present new design, operating in the temperature range of 790 degrees C-850 degrees C, indicate that the gas yield is from 1.6-1.9 Nm(3)/kg feedstock, the gas enthalpies are 5,345 kJ/Nm(3) for wood chip and 4,875 kJ/m(3) for rice husk, and a gasification efficiency up to 75% can be obtained.

Spatial structure of internal tidal waves generated on weak topographies

The generation of internal gravity waves by barotropic tidal flow passing over a two-dimensional topography is investigated. Rather than calculating the conversion of tidal energy, this study focuses on delineating the geometric characteristics of the spatial structure of the resulting internal wave fields (i.e., the configurations of the internal beams and their horizontal projections) which have usually been ignored. it is found that the various possible wave types can be demarcated by three characteristic frequencies: the tidal frequency, wo; the buoyancy frequency, N; and the vertical component of the Coriolis vector or earth's rotation.f. When different possibilities arising from the sequence of these frequencies are considered, there occur 12 kinds of wave structures in the full 3D space in contrast to the 5 kinds identified by the 2D theory. The constant wave phase lines may form as ellipses or hyperbolic lines on the horizontal plane, provided the buoyancy frequency is greater or less than the tidal frequency. The effect that stems from the consideration of the basic flow is also found, which not only serves as the reason for the occurrence of higtter harmonics but also increases the wave strength in the direction of basic flow. (C) 2009 Elsevier B.V. All rights reserved.

5-氟尿嘧啶-β-环糊精结肠靶向前体药物的研究

5-氟尿嘧啶(5-Fluorouracil， 5-FU)是一种抗代谢药物，广泛用于临床治疗结直肠癌、胃癌、乳腺癌等多种癌症，但其首过代谢显著、亲脂性较低，选择性差、毒副作用大。为克服这些缺点人们对5-FU进行了大量的修饰工作，包括小分子修饰以及与各种载体形成微球、微囊、纳米粒、共价前药等。 环糊精(Cyclodextrin，简称CD)，可被结肠中的糖苷酶特异性地降解成小分子糖，而胃和小肠中由于缺乏相应的酶而使环糊精不被降解，这一特性在结肠药物的靶向输送及释放中有重要应用价值。环糊精中含有丰富的羟基，易进行化学修饰，将药物与环糊精通过共价键结合制成前药，使其在胃和小肠中不降解，而在盲结肠中被特异性的酶降解释出药物，达到结肠靶向释药的目的。研究表明，环糊精作为一种前药载体为结肠靶向释药和缓释、控释系统提供了一种有效的手段。 本工作选择5-氟尿嘧啶为模型药物、β-环糊精作为载体，通过中间体5-FU羧酸衍生物的制备及其与β-环糊精的偶联，合成了系列5-FU-β-CD前体药物，并利用紫外、红外、质谱、核磁、元素分析、热分析等手段对其进行结构表征。同时，还研究了前体药物的体外释药性质。具体内容包括： 1. 含有羧基的5-FU衍生物中间体的合成：(5-氟尿嘧啶-1-基)-乙酸(FUAC)、3-(5-氟尿嘧啶-1-基)-丙酸(FUPC)、5-(5-氟尿嘧啶-1-基)-戊酸(FUVC)的合成。 2. 中间体5-FU的羧酸衍生物与β-CD的偶联：分别通过以6-OTs-β-CD为中间体的取代法和活化酯法，合成了第一面取代和第二面取代的5-FU-β-CD大分子前体药物。在二面取代的前体药物制备中，通过改变原料的比例，合成了系列不同取代度(DS)的2-[(5-氟尿嘧啶-1-基)-乙酰基] -β-环糊精结合物。 3. 对上述前体药物进行体外释放研究：分别考察了前体药物在不同pH缓冲溶液中的水解行为及其在小鼠胃肠道人工体液中的酶解行为，并通过UV-Vis及HPLC对前体药物释放情况进行检测分析。 5-Fluorouracil(5-Fu), commonly known as a broad-spectrum antineoplastic drug, has been widely used in the treatment of various kinds of cancer including colon cancer for 40 years. However, this antitumor agent exhibits serious adverse effects, such as their marrow toxicity, gastrointestinal reaction and low selectivity in their clinical use. In order to improve its antitumor activity and reduce its toxicity, the compound was modified in various ways, including the formation of conjugated prodrugs with kinds of carrier, microsphere and nanoparticles etc. Cyclodextrins(CDs) are known to be barely capable of being hydrolyzed and only slightly absorbed in passing through the stomach and small intestine; however they are fermented into small saccharides by colonic microflora and thus absorbed as small saccharides in the large intestine. This biodegradation property of CDs may be useful as a colon-targeting carrier, and thus CD prodrugs may serve as a source of site-specific delivery of drugs to colon. It was demonstrated that prodrugs of CDs can provide a versatile means for construction of not only colon targeted delivery systems, but also delayed release systems. 5-Fluorouracil was taken as a model drug and β-CD as the carrier in this study. Series prodrugs of 5-FU was prepared through the preparation of reactive 5-FU derivatives containing carboxyl group and coupling to hydroxyl groups of CD. The structures of the conjugates were charactered by using IR, UV–vis, ESI-MS, 1H, 13C-NMR spectra, elemental analyses, and thermal analysis. In vitro hydrolysis behavior in aqueous solution and in rat gastrointestinal tract contents of the conjugates were also investigated. The main content of this dissertation includes following aspects: 1. The preparation of 5-FU derivatives containing carboxyl group: 5-Fluorouracil- acetic acid(FUAC)、3-(5-FU-1)-propionic acid (FUPC)、and 5-(5-FU-1)-valeric acid(FUVC). 2. The coupling of 5-FU derivatives to β-CD: 5-FU was selectively conjugated onto the primary or secondary hydroxyl groups of β-CD through an ester linkage, by the substitution of 6-OTs-β-CD and the activated ester method respectively. For the secondary face conjugation, the degree of substitution(DS) can be controlled by changing the mole ratio of the starting materials(FUAC and β-CD). 3. In vitro release behavior of the conjugates in aqueous solution and in rat gastro- intestinal tract contents of the conjugates were investigated, and the reaction was monitored and analyzed by using UV-Vis and HPLC methods.