171 resultados para formal methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The various techniques available for the analysis of nonlinear systems subjected to random excitations are briefly introduced and an overview of the progress which has been made in this area of research is presented. The discussion is mainly focused on the basis, scope and limitations of the solution techniques and not on specific applications.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A radical cyclization based methodology has been applied for the formal total synthesis of (+/-)-enterolactone (1), the first lignan isolated from human source. Bromoacetalization reaction of the cinnamyl alcohols 7 and 13 using ethyl vinyl ether and NBS, generated the bromoacetals 8 and 15. The 5-exo-trig radical cyclization reaction of the bromoacetals 8 and 15 with in situ generated catalytic tri-a-butyltin hydride and AIBN furnished a 3 : 2 diastereomeric mixture of the cyclic acetals 9 and 16. Sonochemically accelerated Jones oxidation of the cyclic acetals 9 and 16 yielded the gamma-butyrolactones 10 and 12 completing the formal total synthesis of (+/-)-enterolactone. Alternatively radical cyclization of the bromoacetate 17 furnished a 1 : 2 mixture of the lactone 10 and the reduced product 18.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We discuss three methods to correct spherical aberration for a point to point imaging system. First, results obtained using Fermat's principle and the ray tracing method are described briefly. Next, we obtain solutions using Lie algebraic techniques. Even though one cannot always obtain analytical results using this method, it is often more powerful than the first method. The result obtained with this approach is compared and found to agree with the exact result of the first method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The preparation of 6-endo-formyl-1,3,3-trimethylbicyclo[2.2.2]octan-2-one 7 and 6-endo-acetyl-1,3,3-trimethylbicyclo[2.2.2]octan-2-one 8, the two key intermediates for the synthesis of patchouli alcohol 1 and norpatchoulenol 2, is reported by a simple and short method from 2-methylbenzoic acid.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We describe here two non-interferometric methods for the estimation of the phase of transmitted wavefronts through refracting objects. The phase of the wavefronts obtained is used to reconstruct either the refractive index distribution of the objects or their contours. Refraction corrected reconstructions are obtained by the application of an iterative loop incorporating digital ray tracing for forward propagation and a modified filtered back projection (FBP) for reconstruction. The FBP is modified to take into account non-straight path propagation of light through the object. When the iteration stagnates, the difference between the projection data and an estimate of it obtained by ray tracing through the final reconstruction is reconstructed using a diffraction tomography algorithm. The reconstruction so obtained, viewed as a correction term, is added to the estimate of the object from the loop to obtain an improved final refractive index reconstruction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of estimating multiple Carrier Frequency Offsets (CFOs) in the uplink of MIMO-OFDM systems with Co-Channel (CC) and OFDMA based carrier allocation is considered. The tri-linear data model for generalized, multiuser OFDM system is formulated. Novel blind subspace based estimation of multiple CFOs in the case of arbitrary carrier allocation scheme in OFDMA systems and CC users in OFDM systems based on the Khatri-Rao product is proposed. The method works where the conventional subspace method fails. The performance of the proposed methods is compared with pilot based Least-Squares method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A short approach to (+/-)-2-pupukeanone, starting from 2,6-dimethylcyclohexenone employing a combination of Michael-Michael reaction and an intramolecular rhodium carbenoid C-H insertion as key reactions, is described.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Simple and rapid HPLC, GC, and TLC procedures have been developed for detection and determination of nimesulide, a non-pharmacopeial drug, in preformulation and dosage form. Use of these techniques has enabled separation of impurities and the precursor in the bulk material and in formulations. Isocratic reversed-phase HPLC was performed on a C-18 column with methanol-water-acetic acid, 67:32:1 (v/v), as mobile phase and UV detection at 230 nm. Calibration curves were linear over the concentration range 100-1000 mug mL(-1) with a good correlation coefficient (0.9993) and a coefficient of variation of 1.5%. Gas chromatography was performed on an OV-17 packed column with temperature programming and flame-ionization detection. The lower limit of determination by HPLC and GC was 4 ppm. Thin-layer chromatography of nimesulide was performed on silica gel G with toluene-ethyl acetate, 8:2, as mobile phase. Stability testing of the drug was performed under different temperature, humidity, and UV-radiation conditions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Instruction scheduling with an automaton-based resource conflict model is well-established for normal scheduling. Such models have been generalized to software pipelining in the modulo-scheduling framework. One weakness with existing methods is that a distinct automaton must be constructed for each combination of a reservation table and initiation interval. In this work, we present a different approach to model conflicts. We construct one automaton for each reservation table which acts as a compact encoding of all the conflict automata for this table, which can be recovered for use in modulo-scheduling. The basic premise of the construction is to move away from the Proebsting-Fraser model of conflict automaton to the Muller model of automaton modelling issue sequences. The latter turns out to be useful and efficient in this situation. Having constructed this automaton, we show how to improve the estimate of resource constrained initiation interval. Such a bound is always better than the average-use estimate. We show that our bound is safe: it is always lower than the true initiation interval. This use of the automaton is orthogonal to its use in modulo-scheduling. Once we generate the required information during pre-processing, we can compute the lower bound for a program without any further reference to the automaton.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A simple technique is devised for making prisms with submultiple or half angles. As an application of these prisms, methods are suggested to measure the angles of the Pechan and Pellin-Broca prisms without using expensive spectrometers, autocollimators, and angle gauges. (C) 2002 Society of Photo-Optical Instrumentation Engineers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An aeroelastic analysis based on finite elements in space and time is used to model the helicopter rotor in forward flight. The rotor blade is represented as an elastic cantilever beam undergoing flap and lag bending, elastic torsion and axial deformations. The objective of the improved design is to reduce vibratory loads at the rotor hub that are the main source of helicopter vibration. Constraints are imposed on aeroelastic stability, and move limits are imposed on the blade elastic stiffness design variables. Using the aeroelastic analysis, response surface approximations are constructed for the objective function (vibratory hub loads). It is found that second order polynomial response surfaces constructed using the central composite design of the theory of design of experiments adequately represents the aeroelastic model in the vicinity of the baseline design. Optimization results show a reduction in the objective function of about 30 per cent. A key accomplishment of this paper is the decoupling of the analysis problem and the optimization problems using response surface methods, which should encourage the use of optimization methods by the helicopter industry. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-order logic that reduce the problem to a series of ground-level satisfiability problems. R. Jeroslow introduced a partial instantiation method of this kind that differs radically from the standard resolution-based methods. This paper lays the theoretical groundwork for an extension of his method that is general enough and efficient enough for general logic programming with indefinite clauses. In particular we improve Jeroslow's approach by (1) extending it to logic with functions, (2) accelerating it through the use of satisfiers, as introduced by Gallo and Rago, and (3) simplifying it to obtain further speedup. We provide a similar development for a "dual" partial instantiation approach defined by Hooker and suggest a primal-dual strategy. We prove correctness of the primal and dual algorithms for full first-order logic with functions, as well as termination on unsatisfiable formulas. We also report some preliminary computational results.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An efficient ring closing metathesis (RCM.) reaction based approach was developed for the spiroannulation of cyclopentanes and cyclohexanes and its utility demonstrated in the formal synthesis of the spirosesquiterpenes acorones.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An enantiospecific formal total synthesis of (-)-ceratopicanol starting from the readily and abundantly available monoterpene (R)-limonene is described. A combination of Claisen rearrangement-intramolecular diazo-ketone cyclopropanation-regiospecific reductive cyclopropane cleavage reactions are employed for the stereo- and regiospecific generation of the two vicinal ring junction quaternary carbon atoms.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An efficient strategy for the contruction of spiro[4.5] decanes is described and involves a bridgehead substitution of a methoxyl group by a methyl group followed by an oxidative cleavage of the tricyclo[5.2.2.0(1,5)] undecane 25 to produce the spiro[4.5] decanes 31 & 32 which are intermediates in the synthesis of acorone. A novel one-pot conversion of alpha-methoxy carboxylic acid to alpha-methyl carboxylic acid is described.