68 resultados para Modal logics


Relevância:

10.00% 10.00%

Publicador:

Resumo:

基于傅里叶模式理论分析了双层浮雕型导模共振光栅的共振效应,分别讨论了光栅的槽深、剩余厚度、周期以及填充系数对峰值反射率、带宽、旁带反射率的影响.数据计算表明,欠刻蚀情形的误差宽容度远远优于过刻蚀情形,两者在光栅槽深相对误差小于15%的范围内,都能保证共振峰的衍射效率高于99.5%,在相同的误差范围内,共振峰线宽的相对误差将分别达到7%和60%,因此厚度误差集中反映在对共振线宽的改变上.另外,光栅周期和填充系数的变化将明显改变共振峰中心波长和线宽.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Hydrodynamic properties of five newly isolated algal extracellular polysaccharides with putative adhesive properties are described, using a combination of size exclusion chromatography, total or 'multi-angle' laser light scattering and analytical ultracentrifugation. The respective polysaccharides had been extracted from four filamentous cyanobacteria: Microcoleus vaginatus, Scytonema javanicum, Phormidium tenue and Nostoc sp. and a coccoid single-cell green. algae Desmococcus olivaceus that had been separated from desert algal crusts of the Chinese Tegger Desert. SEC/MALLS experiments showed that the saccharides had, diverse-weight average molecular weights ranging from 4000 to 250,000 g/mol and all five showed either bi-modal or tri-modal molecular weight distribution profiles. Use of the Mark-Houwink-Kuhn-Sakurada (MHKS) scaling relationship between sedimentation coefficient and (weight average) molecular weight for the five samples, assuming a homologous conformation series revealed an MHKS b exponent of (0.33 +/- 0.04), suggesting a conformation between that of a stiff rod (b similar to 0.18) and a random coil (b similar to 0.4-0.5), i.e. a 'flexible rod' or 'stiff coil'. (C) 2003 Elsevier Ltd. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The size structure of the planktonic community in a Changjiang floodplain lake (Lake Chenhu, Hubei, P. R. China) was described for the inundation period of May through September 1983. The modality of the Sheldon-type size distributions changed hydrographically with the spectral profiles being bimodal during low, rising, mid-high and falling water phases, and trimodal soon after filling and shortly before falling. The modal peaks corresponded respectively to the dominant organisms of chlorophytes and nauplii, while the troughs centered on the bacteria and macrocrustacean size classes in the lake. The slope of the normalized biomass spectrum (an index of plankton size distribution) was less than -1.0 for the filling and falling phases or close to -1.0 for the high water period, indicating that the planktonic biomass tended to decrease or evenly distributes across logarithmically ordered size classes, respectively. This observed variation in the size distribution of the plankton community mainly resulted from changes in water levels and contents of particulate inorganic matter (PIM) in the lake.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work, we present the design of an integrated photonic-crystal polarization beam splitter (PC-PBS) and a low-loss photonic-crystal 60 waveguide bend. Firstly, the modal properties of the PC-PBS and the mechanism of the low-loss waveguide bend are investigated by the two-dimensional finite-difference time-domain (FDTD) method, and then the integration of the two devices is studied. It shows that, although the individual devices perform well separately, the performance of the integrated circuit is poor due to the multi-mode property of the PC-PBS. By introducing deformed airhole structures, a single-mode PC-PBS is proposed, which significantly enhance the performance of the circuit with the extinction ratios remaining above 20dB for both transverse-electric (TE) and transverse-magnetic (TM) polarizations. Both the specific result and the general idea of integration design are promising in the photonic crystal integrated circuits in the future. (C) 2009 Optical Society of America

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We have fabricated 1.3-mu m InAs-GaAs quantum-dot (QD) lasers with and without p-type modulation doping and their characteristics have been investigated. We find that introducing p-type doping in active regions can improve the temperature stability of 1.3-mu m InAs-GaAs QD lasers, but it does not, increase the saturation modal gain of the QD lasers. The saturation modal gain obtained from the two types of lasers is identical (17.5 cm(-1)). Moreover, the characteristic temperature increases as cavity length increases for the two types of lasers, and it improves more significantly for the lasers with p-type doping due to their higher gain.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A 7.8-mu m surface emitting second-order distributed feedback quantum cascade laser (DFB QCL) structure with metallized surface grating is studied. The modal property of this structure is described by utilizing coupled-mode theory where the coupling coefficients are derived from exact Floquet-Bloch solutions of infinite periodic structure. Based on this theory, the influence of waveguide structure and grating topography as well as device length on the laser performance is numerically investigated. The optimized surface emitting second-order DFB QCL structure design exhibits a high surface outcoupling efficiency of 22% and a low threshold gain of 10 cm(-1). Using a pi phase-shift in the centre of the grating, a high-quality single-lobe far-field radiation pattern is obtained.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Experimental and theoretical study of the self-heating effect on the two-state lasing behaviors in 1.3-mu m self-assembled InAs-GaAs quantum dot (QD) lasers is presented. Lasing spectra under different injected currents, light-current (L-I) curves measured in continuous and pulsed regimes as well as a rate-equation model considering the current heating have been employed to analyze the ground-state (GS) and excited-state (ES) lasing processes. We show that the self-heating causes the quenching of the GS lasing and the ES lasing by the increased carrier escape rate and the reduced maximum modal gain of GS and ES.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

有穷模型论是受数据库理论和计算复杂性理论推动而发展起来的数理逻辑的一个研究领域。有穷模型论的主题之一就是探讨逻辑在有穷结构上的表达能力,本文围绕这一主题取得如下结果: 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)中可定义,从而在“完美图相关的图类的逻辑可定义性”这一问题的研究上取得进展。

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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