81 resultados para Verification


Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, a novel 12-sided polygonal space vector structure is proposed for an induction motor drive. The space vector pattern presented in this paper consists of two 12-sided concentric polygons with the outer polygon having a radius double the inner one. As compared to previously reported 12-sided polygonal space vector structures, this paper subdivides the space vector plane into smaller sized triangles. This helps in reducing the switching frequency of the inverters without deteriorating the output voltage quality. It also reduces the device ratings and dv/dt stress on the devices to half. At the same time, other benefits obtained from the existing 12-sided space vector structure, such as increased linear modulation range and complete elimination of 5th and 7th order harmonics in the phase voltage, are also retained in this paper. The space vector structure is realized by feeding an open-end induction motor with two conventional three-level neutral point clamped (NPC) inverters with asymmetric isolated dc link voltage sources. The neutral point voltage fluctuations in the three-level NPC inverters are eliminated by utilizing the switching state multiplicities for a space vector point. The pulsewidth modulation timings are calculated using sampled reference waveform amplitudes and are explained in detail in this paper. Experimental verification on a laboratory prototype shows that this configuration may be considered suitable for high power drives.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A theorem termed the Geometrical Continuity Theorem is enunciated and proven. This theorem throws light on the aspects of the continuity of the proportional portion with the base weir portion. These two portions constitute the profile of a proportional weir. A weir of this type with circular bottom is designed. The theorem is used to establish the continuity at the junction of the proportional and the base weir portions of this weir. The coordinates of the weir profile are obtained by numerical methods and are furnished in tabular form for ready use by designers. The discharge passing through the weir is a linear function of the head. The verification of the assumed linear discharge-head relation is furnished for one of the three weirs with which experiments were conducted. The coefficient of discharge for this typical weir is found to be a constant with a value of 0.59.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Molecular oxygen (012) i8 eatabliehed to be a good electrophile' and haabean Pound to yield many interesting moleculae upon reaction with olefinic, aromatic and other mu1 tipla bonded compounda. Although, oxidation of carbon ulphur double bond (thiones) by air her bean know for a longtime, nai the r the aechaniam nor the reactive species involved in theae oxidationa have bean etabliahodo Although there is no clear experimental verification, involvement of malecular oxygen in such types of oxidationa oP activated thiocarbonyl coc pounds has been recently auggeetad.4.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The propagation characteristics of electromagnetic waves in a dielectric-lined rectangular metal waveguide have been studied. The lining on the two side walls (E-plane) together with the air space in between them is considered as a homogeneous equivalent dielectric medium whose equivalent dielectric constant is derived by using electrostatic theory. The theoretical work is based on the fact that LSE and LSM modes can be propagated in a rectangular metal waveguide lined in the two longer sides (H-plane) by dielectric lining. Experimental verification of the guide wavelength at 'X', 'ku' and 'Ka' bands and cut-off frequency are reported.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper reports the design of an input-triggered polymorphic ASIC for H.264 baseline decoder. Hardware polymorphism is achieved by selectively reusing hardware resources at system and module level. Complete design is done using ESL design tools following a methodology that maintains consistency in testing and verification throughout the design flow. The proposed design can support frame sizes from QCIF to 1080p.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Krishnan's reciprocity theorem in colloid optics, ρ{variant}u=1+l/ρ{variant}h/1+1/ρ{variant}v is generalised for the case when the scattering medium is subjected to an external orienting field. It is shown theoretically that a general relation of the type IBA=I′AB results in this case, where IBA is the intensity of the component of the scattered light having its electric vector inclined at an angle B to the vertical with the incident light polarised at an angle A to the vertical, the external field direction being parallel to the incident beam. I′AB is the corresponding intensity with the magnetic field parallel of the scattered ray. Experimental verification of the above generalisation is also given.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

High-precision measurement of the electrical resistance of nickel along its critical line, a first attempt of this kind, as a function of pressure to 47.5 kbar is reported. Our analysis yields the values of the critical exponents α=α’=-0.115±0.005 and the amplitude ratios ‖A/A’‖=1.17±0.07 and ‖D/D’‖=1.2±0.1. These values are in close agreement with those predicted by renormalization-group (RG) theory. Moreover, this investigation provides an unambiguous experimental verification to one of the key consequences of RG theory that the critical exponents and amplitudes ratios are insensitive to pressure variation in nickel, a Heisenberg ferromagnet.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work, using self-consistent tight-binding calculations. for the first time, we show that a direct to indirect band gap transition is possible in an armchair graphene nanoribbon by the application of an external bias along the width of the ribbon, opening up the possibility of new device applications. With the help of the Dirac equation, we qualitatively explain this band gap transition using the asymmetry in the spatial distribution of the perturbation potential produced inside the nanoribbon by the external bias. This is followed by the verification of the band gap trends with a numerical technique using Magnus expansion of matrix exponentials. Finally, we show that the carrier effective masses possess tunable sharp characters in the vicinity of the band gap transition points.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Theoretical study of propagation characteristics of VLF electromagnetic waves through an idealised parallel-plane earth-crust waveguide with overburden, experimental verification of some of these characteristics with the aid of a model tank and use of range equation reveal the superiority of radio communication between land and a deeply submerged terminal inside a ocean via the earth-crust over direct link communication through the ocean.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Hyoscyamine 6 beta-hydroxylase (H6H; EC 1.14.11.11), an important enzyme in the biosynthesis of tropane alkaloids, catalyzes the hydroxylation of hyoscyamine to give 6 beta-hydroxyhyoscyamine and its epoxidation in the biosynthetic pathway leading to scopolamine. Datura metel produces scopolamine as the predominant tropane alkaloid. The cDNA encoding H6H from D. mete! (DmH6H) was cloned, heterologously expressed and biochemically characterized. The purified recombinant His-tagged H6H from D. mete! (DmrH6H) was capable of converting hyoscyamine to scopolamine. The functionally expressed DmrH6H was confirmed by HPLC and ESI-MS verification of the products, 6 beta-hydroxyhyoscyamine and its derivative, scopolamine; the DmrH6H epoxidase activity was low compared to the hydroxylase activity. The K-m values for both the substrates, hyoscyamine and 2-oxoglutarate, were 50 mu M each. The CD (circular dichroism) spectrum of the DmrH6H indicated a preponderance of alpha-helicity in the secondary structure. From the fluorescence studies, Stern-Volmer constants for hyoscyamine and 2-oxoglutarate were found to be 0.14 M-1 and 0.56 M-1, respectively. These data suggested that the binding of the substrates, hyoscyamine and 2-oxoglutarate, to the enzyme induced significant conformational changes. (C) 2010 Elsevier Masson SAS. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In a modernising world, building and construction trends in recent urban centres such as Bangalore, set precedence for developments in other urban centres of the country. Under such conditions, evaluating the current state of building practices could prove useful for identifying the likely nature of nationwide building trends. This paper comprises a study to evaluate the current state of domestic concealed wiring practices in the context of a modern urban centre area in India. Presently, concealed wiring is the predominant wiring method adopted for residences, both bungalows and apartments. A modern residential block in the city of Bangalore (India) was chosen as the study area. The study included extensive interaction and surveys amongst residents, professionals (architects and engineers) and site personnel (contractors and electricians). In addition, the study also included site verification on the state of wiring practices in the residential block. The study indicates that while aesthetics was the prime reason that dictated the choice of concealed wiring, its effectiveness as an appropriate and safe wiring method is severely compromised. Details of the study, results and recommendations are presented in this paper.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A new method based on unit continuity metric (UCM) is proposed for optimal unit selection in text-to-speech (TTS) synthesis. UCM employs two features, namely, pitch continuity metric and spectral continuity metric. The methods have been implemented and tested on our test bed called MILE-TTS and it is available as web demo. After verification by a self selection test, the algorithms are evaluated on 8 paragraphs each for Kannada and Tamil by native users of the languages. Mean-opinion-score (MOS) shows that naturalness and comprehension are better with UCM based algorithm than the non-UCM based ones. The naturalness of the TTS output is further enhanced by a new rule based algorithm for pause prediction for Tamil language. The pauses between the words are predicted based on parts-of-speech information obtained from the input text.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, a plane stress solution for the interaction analysis of strip footing resting on (i) a non-homogeneous elastic half-plane and (ii) a non-homogeneous elastic layer resting on a rigid stratum has been presented. The analysis has been done using a combined analytical and FEM method in which the discretization of the half-plane is not required and thereby minimizes the computational efforts considerably. The contact pressure distribution and the settlement profile for the selected cases of varying modulus half-plane, which has more relevance to foundation engineering, have been given. Experimental verification through a photoelastic method of stress analysis has been carried out for the case of footing on Gibson elastic half-plane, and the contact pressure distribution thus obtained has been compared with the theoretical results. Copyright (C) 1996 Elsevier Science Ltd