975 resultados para Lambda calculus
Resumo:
A simple, but important three-atom model was proposed at the solid/liquid interface, leading to a new criterion number, lambda, governing the boundary conditions (BCs) in nanoscale. The solid wall is considered as the face-centered-cubic (fcc) structure. The fluid is the liquid argon with the well-known LJ potential. Based on the concept, the two micro-systems have the same BCs if they have The same criterion number. The degree of the locking BCs is enhanced when lambda equals to 0.757. Such critical criterion number results in the substantial epitaxial ordering and one, two, or even three liquid layers are locked by the solid wall, depending on the coupling energy scale ratio of the solid and liquid atoms. With deviation from the critical criterion number, the flow approaches the slip BCs and there are little ordering structures within the liquid. Always at the same criterion number, the degree of the slip is decreased or the locking is enhanced with increasing the coupling energy scale ratio of the solid and liquid atoms. The above analysis is well confirmed by the molecular dynamics (MD) simulation. The slip length is well correlated in terms of the new criterion number. The future work is suggested to extend the present theory for other microstructures of the solid wall atoms and quasi-LJ potentials.
Resumo:
径流曲线法是目前国际上预测无径流观测资料地区降水地表产流的主要模型,由于气候、水文及下垫面的差异,在黄土高原地区的应用受到限制。利用黄土高原地区3个小流域的303场降雨径流资料,针对黄土高原降雨地表径流特点优化模型中的初损率λ,并提出降雨强度修正函数,将降雨强度因子引入径流曲线法。优化后的模型效率E达到0.812,实测径流深与预测径流深的线性回归决定系数R2达到0.822。改进后的SCS-CN模型可用于黄土区小流域降雨地表产流预报,对黄土高原无资料地区侵蚀产流预报、指导水土保持工程配置和设计具有重要的理论和工程实践意义。
Resumo:
Taking the inhomogenous broadening of the electron energy levels into account, a coherent model of the resonant tunneling (RT) of electrons in double quantum wells is presented. The validity of the model is confirmed with the experiments [M. Nido et al., Proc. SPIE 1268, 177 (1990)], and shows that the tunneling process can be explained by the simple coherent theory even in the presence of the carrier scattering. We have discussed the dependence of resonant tunneling on the barrier thickness L(B) by introducing the contrast ratio LAMBDA and the full width at half depth of the RT valley, and found that LAMBDA first increases with increasing barrier thickness, reaches a maximum, and then decreases with a further increase of L(B), in striking contrast to the Fabry-Perot model where a monotonic increase of the peak-to-valley ratio is predicted. We attribute the reduction of LAMBDA with large L(B) to the energy broadening resulting from the carrier scattering. A monotonic decrease of the full width at half depth of the RT valley with an increase of L(R) is also found.
Resumo:
Based on the n(x, lambda), the calculation of the reflection spectrum for vertical cavity surface emitting lasers shows that the deviation of the central wavelength caused by the change of layer thickness is much more than that caused by the change of AlAs mole fractions. Therefore the control of the MBE growth rate is very important.
Resumo:
The use of alpha-power chirped fiber Bragg gratings for dispersion cancellation in an optical fiber link is discussed. Numerical and theoretical investigation of recompressing the dispersion-broadened pulse by using alpha-power chirped gratings is made, which shows that, the dispersion-broadened Gaussian pulse after 100 km standard fiber (with zero dispersion at lambda = 1.3 mu m) trnasmission at lambda = 1.55 mu m with initial width of T-FWHM = 33ps (full width at half maximum) can be perfectly recompressed with the peak reflectivity of 82% by using a 30 mm long alpha-power chirped fiber grating with proper a value and optimal grating parameters.
Resumo:
The electronic structures of quantum spheres and quantum wires are studied in the framework of the effective-mass theory. The spin-orbital coupling (SOC) effect is taken into account. On the basis of the zero SOC limit and strong SOC limit the hole quantum energy levels as functions of SOC parameter lambda are obtained. There is a fan region in which the ground and low-lying excited states approach those in the strong SOC limit as lambda increases. Besides, some theoretical results on the corrugated superlattices (CSL) are given.
Resumo:
对用PECVD方法控制生长条件制备的纳米硅薄膜材料的发光性质进行了初步研究。在膜的纵向加直流偏压,暗场环境下的可清楚地看到材料的电致发光现象。在同一测量系统中分别测量了纳米硅材料的电致发光光谱和光致发光光谱,并用Lambda 9紫外/可见/近红外分光光度计测量了样品的透射谱,从而得到样品的Tauc曲线和光能隙E_g~(opt)。
Resumo:
A novel coupled distributed Bragg reflector (DBR) with double thickness periods was theoretically analyzed based on the spontaneous radiation properties of high brightness AlGaInP light emitting diodes(LED). Several important factors were considered including spontaneous radiation angle distribution, absorption and FTR of DBR. Calculation results showed that the optimum optical thickness of single layer of the DBR deviates from 1/4 lambda. AIGaInP high brightness light emitting diodes both with Al0.5Ga0.5As/AlAs coupled DBR and with conventional DBR were fabricated by metalorganic chemical vapor deposition(MOCVD). X-ray double crystal diffraction and reflection spectrum were employed to determine the thickness and reflectivity of the DBR. It was found that reflectivity of coupled DBR is less sensitive to incident angle than conventional DBR, higher external quantum efficiency of light emitting diodes with coupled DBR was obtained than that with conventional DBR.
Resumo:
We have designed and fabricated the visible vertical-cavity surface-emitting lasers (VCSEL's) by using metalorganic vapor phase epitaxy (MOVPE). We use the 8 lambda optical cavities with 3 quantum wells in AlGaInP/AlGaAs red VCSEL's to reduce the drift leakage current and enhance the model gain in AlGaInP active region. The structure has a p-type stack with 36 DBR pairs on the top and an n-type with 55-1/2 pairs on the bottom. Using micro-area reflectance spectrum, we try to get a better concordance between the center wavelength of DBR and the emitting wavelength of the active region. We used a component graded layer of 0.05 lambda thick (x = 0.5 similar to 0.9) at the p-type DBR AlGaAs/AlAs interface to reduce the resistance of p-type DBR. We use selective oxidation to define the current injection path. Because the oxidation rate of a thick layer is faster than a thinner one, we grown a thick AlAs layer close to the active region. In this way, we got a smaller active region for efficient confinement of injected carriers (the aperture area is 3 x 3 mu m) to reduce the threshold and, at the same time, a bigger conductive area in the DBR layers to reduce the resistance. We employ Zn doping on the p-side of the junction to improve hole injection and control the Zn dopant diffusion to get proper p-i-n junction. At room temperature, pulse operation of the laser has been achieved with the low threshold current of 0.8mA; the wavelength is about 670nm.
Resumo:
Photoluminescence (PL) from Er-implanted hydrogenated amorphous silicon suboxide (a-SiOX:H
Resumo:
新的计算模式,普适计算和全局计算,正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础,关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元,并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架,我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元;具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型,例如移动的代理和动态组件载入的支持。之后,我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键,之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先,提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑,文中对由这个逻辑推出的进程等价的特征进行了研究,并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化,本文针对该逻辑和Modular π-calculus的有限控制子集,提出了模型检测算法,并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子,以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。
Resumo:
由于HTTP 天生的无状态性质,Web 程序设计中产生了这样一个问题:在两个连续的用户交互之间会遗忘状态信息。一个交互性的 Web 应用程序由一组脚本构成,每个交互都包含两个脚本,一个脚本向浏览器递交页面(然后结束),用户及时完成并提交表单,然后另一个(可能是不同的)脚本处理提交的表单。所以,应用程序逻辑分布在多个脚本之间。 由于浏览器还允许用户在交互中回溯,或者克隆一个正在处理中的交互过程,之后并行执行这两个交互过程,所以问题变得更加复杂。Web 开发框架(例如 Spring 和 Struts)允许处理多个交互,但是它们进一步提高了整体上已经很复杂的代码库的复杂性。 在本文中,我们将几种函数式方法应用到Web程序设计中,从而简化复杂 Web 应用程序的开发。我将从介绍 continuation 的应用开始,逐步引入CPS,Trampoline,Lambda Lifting等函数式方法,通过用Scheme语言编写的一个CGI实例详细展示函数式方法的效果,并进一步将这些方法在C语言中实现。
Resumo:
WS-BPEL作为WEB服务复合事实上的标准正引起越来越多的关注,它可以用来整合物理上分布的服务,构建复杂的业务流程。复合服务的执行依赖于分布的自治的第三方服务,其实际行为可能与预先指定的行为约束不一致;此外,由于复合服务的动态性和灵活性,其本身在运行期间可能发生动态调整,以适应不断变化的业务环境,因此需要对复合服务的行为在运行期进行连续的监控,保证复合服务的正确执行。同时,通过对复合服务的运行时监控,可以获取执行期间的各种性能信息,从而为流程的优化和动态的服务选择提供依据。 本文首先对业务流程运行时的监控需求进行了分析,然后针对这些监控需求,结合BPEL流程的特点,设计了一种新型的基于事件的监控需求描述语言Mon-BPEL,它可以精确的刻画功能性和非功能性的监控需求。相对于其他基于事件的监控需求描述语言(如 Event Calculus,Past LTL等),Mon-BPEL可以方便的刻画流程执行事件序列之间的时序关系,同时,它具有简洁易懂,用户友好等特点。 此外,本文研究了基于AOP技术的业务流程监控机制。论文设计了一种针对BPEL语言的AOP扩展方案,以支持对业务流程运行期的动态监控。通过将监控需求映射为方面,从而分离了关注点,降低了业务流程开发的复杂度,提高了流程的可维护性。接着给出了Mon-BPEL监控需求表达式的的自动机语义,并基于自动机理论对监控需求表达式进行计算,检查指定的监控需求是否违背。最后,论文探讨了Aspect的动态编织机制,将监控功能引入BPEL引擎。 论文最后给出了监控平台在OnceBPEL引擎中的实现,并将前面提到的研究成果引入其中,通过实验对系统的功能及性能进行了测试与评估。
Resumo:
The decomposition of Spin(c)(4) gauge potential in terms of the Dirac 4-spinor is investigated, where an important characterizing equation Delta A(mu) = -lambda A(mu) has been discovered. Here, lambda is the vacuum expectation value of the spinor field, lambda = parallel to Phi parallel to(2), and A(mu) the twisting U(1) potential. It is found that when), takes constant values, the characterizing equation becomes an eigenvalue problem of the Laplacian operator. It provides a revenue to determine the modulus of the spinor field by using the Laplacian spectral theory. The above study could be useful in determining the spinor field and twisting potential in the Seiberg-Witten equations. Moreover, topological characteristic numbers of instantons in the self-dual sub-space are also discussed.
Resumo:
We have studied the dependence of the thermal conductivity kappa on the strength of the interparticle potential lambda and the strength of the external potential beta in the Frenkel-Kontorova model. We found that the functional relation can be expressed in a scaling form, kappa(proportional to) lambda 3/2/beta(2 center dot). This result is first obtained by nonequilibrium molecular dynamics. It is then confirmed by two analytical methods, the self-consistent phonon theory and the self-consistent stochastic reservoirs method. The thermal conductivity kappa is therefore a decreasing functon of beta and an increasing function of lambda.