882 resultados para Conical Intersection
Resumo:
The free vibrational characteristics of coupled conical-cylindrical shells is presented. The equations of motion for the cylindrical shell are solved using a wave approach while the equations of motion for the conical shells are solved using a power series solution. The use of both Donnell-Mushtari and Flügge equations of motion are investigated and their limitations are discussed. Results are presented in terms of natural frequencies for different boundary conditions and the purely torsional mode solution is described. The results from the analytical model presented are compared with those obtained from a finite element model solved with Nastran and other data available in literature.
Resumo:
Essential design criteria for successful drying of granular particles in a conical continuous centrifugal filter are developed in a dimensionless fashion. Four criteria are considered: minimum flow thickness (to ensure sliding bulk flow rather than particulate flow), desaturation position, output dryness and basket failure. The criteria are based on idealised physical models of the machine operation and are written explicitly as functions of the basket size lout, spin velocity Ω and input flow rate of powder Qp. The separation of sucrose crystals from liquid molasses is taken as a case study and the successful regime of potential operating points (lout, Ω) is plotted for a wide range of selected values of flow rate Qp. Analytical expressions are given for minimum and maximum values of the three independent parameters (lout, Ω, Qp) as a function of the slurry and basket properties. The viable operating regime for a conical centrifugal filter is thereby obtained as a function of the slurry and basket properties. © 2012 The Institution of Chemical Engineers.
Resumo:
We propose an approach to construct waveguide intersections with broad bandwidth and low cross-talk for square-lattice photonic crystals. by utilizing a vanishing overlap of the propagation modes in the waveguides created by defects which support dipole-like defect modes. The finite-difference time-domain method is used to simulate the waveguide intersection created in the two-dimensional square-lattice photonic crystals. Over a bandwidth of 30 nm with the center wavelength at 1300 nm, transmission efficiency above 90% is obtained with cross-talk below -30 dB. Especially, we demonstrate the transmission of a 500-fs pulse at 1.3 Am through the intersection, and the pulse after transmission shows very little distortion while the cross-talk remains at low level meantime. (c) 2006 Elsevier B.V. All rights reserved.
Resumo:
The dynamic flow profiles and separation performances in conically shaped preparative liquid chromatographic columns (inlet i.d. larger than outlet i.d.) with three different angles (7, 10 and 15degrees) were studied and compared with cylindrical column of the same length and internal volume. The shapes of dynamic flow profiles were studied by on-column visualization method. The transparent chromatographic columns made of polymethyl methacrylate (PMMA), packed with C-18 bonded silica, were immerged into a cubic pool filled with glycerol to eliminate the cylindrical and conical lens effect. The flow profiles of colored iodine solution in the columns were observed clearly using cyclohexane as mobile phase since the refractive indices of C-18, column wall and the mobile phase are very close. In the conical column of 15degrees (20-7 mm i.d.) the mobile phase in the central region migrated slower than in wall region as it moved toward the column outlet, while in the conical column of 7degrees (17-11 mm i.d.) the mobile phase in the central region migrated faster than in wall region just like in cylindrical column. We found that a plug-like flow profile was generated in the conical column of 10degrees (18-9 mm i.d.) during the whole migration process. A carmine and brilliant blue mixture was used as a probe to test the separation ability of the columns. The resolutions of the two compounds on the conical column of 7, 10, 15degrees and on the cylindrical column were 0.6, 1.57, 1.29 and 0.8, respectively. (C) 2003 Elsevier B.V. All rights reserved.
Resumo:
The dynamic flow profiles and column efficiencies in conically shaped semi-preparative liquid chromatographic columns (inlet ID larger than outlet ID) with two different conical angles (7degrees and 15degrees) were studied. The dynamic flow profiles were studied by an on-column visualization method. Conical columns were compared with cylindrical column of the same length and internal volume. The results showed that the flow profile of a sample band in the conical column of 7degrees (50 mm x 17 mm --> 11 mm ID) was parabolic in shape. The sample band migrated slower in the wall region than in the central region, as in the cylindrical column (50 mm x 14 mm ID). However, the sample band in the conical column of 15degrees (50 mm x 20 mm --> 7 mm ID) migrated slower in the central region than in the wall region, resulting in a reverse parabolic flow profile, in contrast to that in cylindrical column. This indicated that a flat flow profile might be realized in a conical column with a conical angle between 7degrees and 15degrees. The conical column of 15degrees had the highest column efficiency among the three columns under the same conditions. Compared with the cylindrical column packed with identical packing material, the conical column of 15degrees had 22%-45% higher column efficiency and 11%-27% higher peak height.
Resumo:
Mavron, Vassili; McDonough, T.P.; Schrikhande, M.S., (2003) 'Quasi -symmetric designs with good blocks and intersection number one', Designs Codes and Cryptography 28(2) pp.147-162 RAE2008
Resumo:
The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.
Resumo:
Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.
Resumo:
We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.
Resumo:
This article provides an in-depth analysis of selective land use and resource management policies in the Province of Ontario, Canada. It examines their relative capacity to recognize the rights of First Nations and Aboriginal peoples and their treaty rights, as well as their embodiment of past Crown–First Nations relationships. An analytical framework was developed to evaluate the manifest and latent content of 337 provincial texts, including 32 provincial acts, 269 regulatory documents, 16 policy statements, and 5 provincial plans. This comprehensive document analysis classified and assessed how current provincial policies address First Nation issues and identified common trends and areas of improvement. The authors conclude that there is an immediate need for guidance on how provincial authorities can improve policy to make relationship-building a priority to enhance and sustain relationships between First Nations and other jurisdictions.
Resumo:
The interaction of an ultraintense laser pulse with a conical target is studied by means of numerical particle-in-cell simulations in the context of fast ignition. The divergence of the fast electron beam generated at the tip of the cone has been shown to be a crucial parameter for the efficient coupling of the ignition laser pulse to the precompressed fusion pellet. In this paper, we demonstrate that a focused hot electron beam is produced at the cone tip, provided that electron currents flowing along the surfaces of the cone sidewalls are efficiently generated. The influence of various interaction parameters over the formation of these wall currents is investigated. It is found that the strength of the electron flows is enhanced for high laser intensities, low density targets, and steep density gradients inside the cone. The hot electron energy distribution obeys a power law for energies of up to a few MeV, with the addition of a high-energy Maxwellian tail.