133 resultados para FREE ALGEBRA
Resumo:
A Schottky-based metal-semiconductor-metal photodetector is fabricated on 1 mu m-thick, crack-free GaN on Si (I 11) substrate using an optimized AlxGal-xN/AlN complex buffer layer. It exhibits a high responsivity of 4600A/W at 366nm which may be due to both a crack-free sample and high internal gain. The relationship between responsivity and bias voltage is also investigated. The experiment results indicate that the responsivity increases with the bias voltage and shows a tendency to saturate. (c) 2007 WILEY-VCH Verlag GmbH &Co. KGaA, Weinheim.
Resumo:
Oxide-free InGaAlAs waveguides have been grown on the InP substrates patterned with pairs of SiO2 mask stripes using narrow stripe selective MOVPE. The mask stripe width is varied from 0 to 40 pm, while the window region width between a pair of mask stripes is fixed at 1.5, 2.5 and 3.5 mu m, respectively. Smooth surface s and flat interfaces are obtained in the selectively grown InQaAlAs waveguides. There exhibit strong dependences of the thickness enhancement ratio and the photoluminescence (PL) spectrum on the mask stripe width and the window region width for the InGaAlAs wavegwdes. A large PL peak wavelength shift of 79 nm and a PL full width of at half maximum (FWHM) of less than 64 meV are obtained simultaneously. Some possible interpretations for our investigations are presented by considering both the migration effect from a masked region (MMR) and the lateral vapor diffusion effect (LVD).
Resumo:
622Mbits/s free space laser communication system is developed. IT's communication rate is 622Mbits/s. The whole system include three parts which are signal in and out circuit laser driver and receive circuit and optical antenna The communication principle is introduced The experiment result shows that the transmission of data and image are satisfied with demands of design. It have a definite market value.
Resumo:
A new metal catalysis-free method of fabricating Si or SiO2 nanowires (NWs) compatible with Si CMOS technology was proposed by annealing SiOx (x < 2) films deposited by plasma -enhanced chemical vapor deposition (PECVD). The effects of the Si content (x value) and thickness of SiOx films, the annealing process and flowing gas ambient on the NW growth were studied in detail. The results indicated that the SiOx film of a thickness below 300 rim with x value close to 1 was most favorable for NW growth upon annealing at 1000-1150 degrees C in the flowing gas mixture of N-2 and H-2. NWs of 50-100nm in diameter and tens of micrometers in length were synthesized by this method. The formation mechanism was likely to be related to a new type of oxide assisted growth (OAG) mechanism, with Si nanoclusters in SiOx films after phase separation serving as the nuclei for the growth of NWs in SiOx films > 200nm, and SiO molecules from thin SiO, film decomposition inducing the NW growth in films < 100nm. An effective preliminary method to control NW growth direction was also demonstrated by etching trenches in SiOx films followed by annealing.
Resumo:
We present the fabrication process and experimental results of 850-nm oxide-confined vertical cavity surface emitting lasers (VCSELs) fabricated by using dielectric-free approach. The threshold current of 0.4 mA, which corresponds to the threshold current density of 0.5 kA/cm(2), differential resistance of 76 Omega, and maximum output power of more than 5 mW are achieved for the dielectric-free VCSEL with a square oxide aperture size of 9 mu m at room temperature (RT). L-I-V characteristics of the dielectric-free VCSEL are compared with those of conventional VCSEL with the similar aperture size, which indicates the way to realize low-cost, low-power consumption VCSELs with extremely simple process. Preliminary study of the temperature-dependent L-I characteristics and modulation response of the dielectric-free VCSEL are also presented.
Resumo:
A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.
Resumo:
LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.
facilitating formal specification acquisition by using recursive functions on context-free languages
Resumo:
Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.
Resumo:
It is a typical multiphase flow process for hydrate formation in seeping seafloor sediments. Free gas can not only be present but also take part in formation of hydrate. The volume fraction of free gas in local pore of hydrate stable zone (HSZ) influences the formation of hydrate in seeping seafloor area, and methane flux determines the abundance and resource of hydrate-bearing reservoirs. In this paper, a multiphase flow model including water (dissolved methane and salt)-free gas hydrate has been established to describe this kind of flow-transfer-reaction process where there exists a large scale of free gas migration and transform in seafloor pore. In the order of three different scenarios, the conversions among permeability, capillary pressure, phase saturations and salinity along with the formation of hydrate have been deducted. Furthermore, the influence of four sorts of free gas saturations and three classes of methane fluxes on hydrate formation and the resource has also been analyzed and compared. Based on the rules drawn from the simulation, and combined information gotten from drills in field, the methane hydrate(MH) formation in Shenhu area of South China Sea has been forecasted. It has been speculated that there may breed a moderate methane flux below this seafloor HSZ. If the flux is about 0.5 kg m-2 a-1, then it will go on to evolve about 2700 ka until the hydrate saturation in pore will arrive its peak (about 75%). Approximately 1.47 109 m3 MH has been reckoned in this marine basin finally, is about 13 times over preliminary estimate.
Resumo:
The spherically symmetric free radial oscillation in the first post-Newtonian approximation for a homogeneous and isotropic elastic sphere with a constant density is studied. Based on the Xu, Wu, and Soffel formalism, the relation of the oscillation frequency of the sphere with the radius, mass density, and elastic constants of the sphere is derived by using the successive approximation method.