121 resultados para Karush-Kuhn-Tucker conditions


Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the increasing use of extra high-voltage transmission in power system expansion, the manufacturers of power apparatus and the electric utilities are studying the nature of overvoltages in power systems due to lightning and, in particular, switching operations. For such analyses, knowledge of the natural frequencies of the windings of transformers under a wide variety of conditions is important. The work reported by the author in a previous paper is extended and equivalent circuits have been developed to represent several sets of terminal conditions. These equivalent circuits can be used to determine the natural frequencies and transient voltages in the windings. Comparison of the measured and the computed results obtained with a model transformer indicates that they are in good agreement. Hence, this method of analysis provides a satisfactory procedure for the estimation of natural frequencies and transient voltages in transformer windings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We have identified a methanol- and biotin-starvation-inducible zinc finger protein named ROP [repressor of phosphoenolpyruvate carboxykinase (PEPCK)] in the methylotrophic yeast Pichia pastoris. When P. pastoris strain GS115 (wild-type, WT) is cultured in biotin-deficient, glucose-ammonium (Bio(-)) medium, growth is suppressed due to the inhibition of anaplerotic synthesis of oxaloacetate, catalysed by the biotin-dependent enzyme pyruvate carboxylase (PC). Deletion of ROP results in a strain (Delta ROP) that can grow under biotin-deficient conditions due to derepression of a biotin- and PC-independent pathway of anaplerotic synthesis of oxaloacetate. Northern analysis as well as microarray expression profiling of RNA isolated from WT and Delta ROP strains cultured in Bio(-) medium indicate that expression of the phosphoenolpyruvate carboxykinase gene (PEPCK) is induced in Delta ROP during biotin- or PC-deficiency even under glucose-abundant conditions. There is an excellent correlation between PEPCK expression and growth of Delta ROP in Bio(-) medium, suggesting that ROP-mediated regulation of PEPCK may have a crucial role in the biotin- and PC-independent growth of the Delta ROP strain. To our knowledge, ROP is the first example of a zinc finger transcription factor involved in the catabolite repression of PEPCK in yeast cells cultured under biotin- or PC-deficient and glucose-abundant conditions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Molybdenum trioxide (MoO3) catalyzed efficient oxidative cross-dehydrogenative-coupling (CDC) method for C-H functionalization of N-aryl tetrahydroisoquinolines has been explored. This user-friendly method of synthesizing alpha-aminophosphonates employs 1.1 equiv of dialkyl-H-phosphonate under aerobic condition. Formation of new C-P bonds from unfunctionalized starting materials under environmentally benign conditions provides an excellent avenue for the synthesis of biologically active alpha-aminophosphonates. (C) 2012 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A novel approach for the synthesis of N-1 substituted thiohydantoin has been developed to give quantitative yields of the desired products. The efficient synthesis of bis-thiohydantoin derivative and bicyclothiohydantoin has extended scope and applicability of present method. Solvent-free conditions and very easy work-up procedure make the reaction convenient and eco-friendly. All the products were characterized by spectroscopic techniques and elemental analysis, and finally the structure of representative ;compound was also confirmed by X-ray crystallography. (C) 2012 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The preference for GarrattBraverman (GB) over MyersSaito (MS) and Schmittel (SCM) cyclizations has recently been demonstrated in sulfones capable of undergoing all three of the processes. As the GB cyclization is a self-quenching process, there is a need to change the selectivity to the non-self-quenching MS or SCM pathway so as to enhance the DNA-cleaving efficiency that operates through the radical-mediated process. Herein we report a conformational constraint-based strategy developed by using computations (M06-2X/6-31+G*) to switch the selectivity from GB to MS/SCM pathway which also results in greater DNA-cleavage activity. The preference for GB could be brought back by easing the constraint with the help of spacers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The β-phase of polyvinylidene fluoride (PVDF) is well known for its piezoelectric properties. PVDF films have been developed using solvent cast method. The films thus produced are in α-phase. The α-phase is transformed to piezoelectric β-phase when the film is hot-stretched with various different stretching factors at various different temperatures. The films are then characterized in terms of their mechanical properties and surface morphological changes during the transformation from α- to β-phases by using X-ray diffraction, differential scanning calorimeter, Raman spectra, Infrared spectra, tensile testing, and scanning electron microscopy. The films showed increased crystallinity with stretching at temperature up to 80°C. The optimum conditions to achieve β-phase have been discussed in detail. The fabricated PVDF sensors have been tested for free vibration and impact on plate structure, and its response is compared with conventional piezoelectric wafer type sensor. The resonant and antiresonant peaks in the frequency response of PVDF sensor match well with that of lead zirconate titanate wafer sensors. Effective piezoelectric properties and the variations in the frequency response spectra due to free vibration and impact loading conditions are reported. POLYM. ENG. SCI., 2012. © 2012 Society of Plastics Engineers.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We develop a continuum theory to model low energy excitations of a generic four-band time reversal invariant electronic system with boundaries. We propose a variational energy functional for the wavefunctions which allows us to derive natural boundary conditions valid for such systems. Our formulation is particularly suited for developing a continuum theory of the protected edge/surface excitations of topological insulators both in two and three dimensions. By a detailed comparison of our analytical formulation with tight binding calculations of ribbons of topological insulators modelled by the Bernevig-Hughes-Zhang (BHZ) Hamiltonian, we show that the continuum theory with a natural boundary condition provides an appropriate description of the low energy physics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Unlike zero-sum stochastic games, a difficult problem in general-sum stochastic games is to obtain verifiable conditions for Nash equilibria. We show in this paper that by splitting an associated non-linear optimization problem into several sub-problems, characterization of Nash equilibria in a general-sum discounted stochastic games is possible. Using the aforementioned sub-problems, we in fact derive a set of necessary and sufficient verifiable conditions (termed KKT-SP conditions) for a strategy-pair to result in Nash equilibrium. Also, we show that any algorithm which tracks the zero of the gradient of the Lagrangian of every sub-problem provides a Nash strategy-pair. (c) 2012 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We develop a quadratic C degrees interior penalty method for linear fourth order boundary value problems with essential and natural boundary conditions of the Cahn-Hilliard type. Both a priori and a posteriori error estimates are derived. The performance of the method is illustrated by numerical experiments.