162 resultados para 3-valued paraconsistent logic

em Indian Institute of Science - Bangalore - Índia


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Uncertainties associated with the structural model and measured vibration data may lead to unreliable damage detection. In this paper, we show that geometric and measurement uncertainty cause considerable problem in damage assessment which can be alleviated by using a fuzzy logic-based approach for damage detection. Curvature damage factor (CDF) of a tapered cantilever beam are used as damage indicators. Monte Carlo simulation (MCS) is used to study the changes in the damage indicator due to uncertainty in the geometric properties of the beam. Variation in these CDF measures due to randomness in structural parameter, further contaminated with measurement noise, are used for developing and testing a fuzzy logic system (FLS). Results show that the method correctly identifies both single and multiple damages in the structure. For example, the FLS detects damage with an average accuracy of about 95 percent in a beam having geometric uncertainty of 1 percent COV and measurement noise of 10 percent in single damage scenario. For multiple damage case, the FLS identifies damages in the beam with an average accuracy of about 94 percent in the presence of above mentioned uncertainties. The paper brings together the disparate areas of probabilistic analysis and fuzzy logic to address uncertainty in structural damage detection.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Canonical forms for m-valued functions referred to as m-Reed-Muller canonical (m-RMC) forms that are a generalization of RMC forms of two-valued functions are proposed. m-RMC forms are based on the operations ?m (addition mod m) and .m (multiplication mod m) and do not, as in the cases of the generalizations proposed in the literature, require an m-valued function for m not a power of a prime, to be expressed by a canonical form for M-valued functions, where M > m is a power of a prime. Methods of obtaining the m-RMC forms from the truth vector or the sum of products representation of an m-valued function are discussed. Using a generalization of the Boolean difference to m-valued logic, series expansions for m-valued functions are derived.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A compact model for noise margin (NM) of single-electron transistor (SET) logic is developed, which is a function of device capacitances and background charge (zeta). Noise margin is, then, used as a metric to evaluate the robustness of SET logic against background charge, temperature, and variation of SET gate and tunnel junction capacitances (CG and CT). It is shown that choosing alpha=CT/CG=1/3 maximizes the NM. An estimate of the maximum tolerable zeta is shown to be equal to plusmn0.03 e. Finally, the effect of mismatch in device parameters on the NM is studied through exhaustive simulations, which indicates that a isin [0.3, 0.4] provides maximum robustness. It is also observed that mismatch can have a significant impact on static power dissipation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A health-monitoring and life-estimation strategy for composite rotor blades is developed in this work. The cross-sectional stiffness reduction obtained by physics-based models is expressed as a function of the life of the structure using a recent phenomenological damage model. This stiffness reduction is further used to study the behavior of measurable system parameters such as blade deflections, loads, and strains of a composite rotor blade in static analysis and forward flight. The simulated measurements are obtained using an aeroelastic analysis of the composite rotor blade based on the finite element in space and time with physics-based damage modes that are then linked to the life consumption of the blade. The model-based measurements are contaminated with noise to simulate real data. Genetic fuzzy systems are developed for global online prediction of physical damage and life consumption using displacement- and force-based measurement deviations between damaged and undamaged conditions. Furthermore, local online prediction of physical damage and life consumption is done using strains measured along the blade length. It is observed that the life consumption in the matrix-cracking zone is about 12-15% and life consumption in debonding/delamination zone is about 45-55% of the total life of the blade. It is also observed that the success rate of the genetic fuzzy systems depends upon the number of measurements, type of measurements and training, and the testing noise level. The genetic fuzzy systems work quite well with noisy data and are recommended for online structural health monitoring of composite helicopter rotor blades.

Relevância:

30.00% 30.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:

30.00% 30.00%

Publicador:

Resumo:

A new static 3-step distance relay based on the principle of multi-input phase comparison is described in the paper. Design principles and typical discriminating and logic circuits are described for the new relaying system. The relaying system uses semiconductor circuits throughout and features high speed and good performance. The comparator model, which effects multi-input phase comparison, has been devised to provide reliable pickup for closein faults, and to achieve an improved polar characteristic in the complex- impedance plane, which fits around only the fault area of a transmission line. Operating time of the relay is less than 1 cycle for unbalanced faults, and less than a halfcycle for 3-phase faults. Protective circuits have also been added to detect power swing and to block tripping for a predetermined number of power-swing cycles. The operating characteristics of the relay, as expressed by accuracy/range charts, are presented.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Power semiconductor devices have finite turn on and turn off delays that may not be perfectly matched. In a leg of a voltage source converter, the simultaneous turn on of one device and the turn off of the complementary device will cause a DC bus shoot through, if the turn off delay is larger than the turn on delay time. To avoid this situation it is common practice to blank the two complementary devices in a leg for a small duration of time while switching, which is called dead time. This paper proposes a logic circuit for digital implementation required to control the complementary devices of a leg independently and at the same time preventing cross conduction of devices in a leg, and while providing accurate and stable dead time. This implementation is based on the concept of finite state machines. This circuit can also block improper PWM pulses to semiconductor switches and filters small pulses notches below a threshold time width as the narrow pulses do not provide any significant contribution to average pole voltage, but leads to increased switching loss. This proposed dead time logic has been implemented in a CPLD and is implemented in a protection and delay card for 3- power converters.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The delineation of seismic source zones plays an important role in the evaluation of seismic hazard. In most of the studies the seismic source delineation is done based on geological features. In the present study, an attempt has been made to delineate seismic source zones in the study area (south India) based on the seismicity parameters. Seismicity parameters and the maximum probable earthquake for these source zones were evaluated and were used in the hazard evaluation. The probabilistic evaluation of seismic hazard for south India was carried out using a logic tree approach. Two different types of seismic sources, linear and areal, were considered in the present study to model the seismic sources in the region more precisely. In order to properly account for the attenuation characteristics of the region, three different attenuation relations were used with different weightage factors. Seismic hazard evaluation was done for the probability of exceedance (PE) of 10% and 2% in 50 years. The spatial variation of rock level peak horizontal acceleration (PHA) and spectral acceleration (Sa) values corresponding to return periods of 475 and 2500 years for the entire study area are presented in this work. The peak ground acceleration (PGA) values at ground surface level were estimated based on different NEHRP site classes by considering local site effects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The title compound, C16H18N2O2, is an important precursor in the synthesis of 1,2,3,4-tetrahydropyrazinoindoles, which show excellent antihistamine, antihypertensive and central nervous system depressant properties. The carbethoxy group attached to C2 and the planar cyanoethyl group attached to N1 make dihedral angles of 11.0(4) and 75.0(3)degrees, respectively, with the mean plane of the indole ring, The C-C=N chain is linear with a bond angle of 179.3 (4)degrees.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Asymmetric tri-bridged diruthenium(III) complexes, [Ru2O(O(2)CR)(3)(en) (PPh(3))(2)](ClO4) (R = C6H4-p-X: X = OMe (1a), Me (1b); en=1,2-diaminoethane), were prepared and structurally characterized. Complex 1a 3CHCl(3), crystallizes in the triclinic space group P (1) over bar with a = 14.029(5), b = 14.205(5), c = 20.610(6) Angstrom, alpha= 107.26(3), beta = 101.84(3), gamma= 97.57(3)degrees, V= 3756(2) Angstrom(3) and Z = 2. The complex has an {Ru-2(mu-O)(mu-O(2)CR)(2)(2+)} core and exhibits [O4PRu(mu-O)RuPO2N2](+) coordination environments for the metal centers. The novel structural feature is the asymmetric arrangement of ligands at the terminal sites of the core which shows an Ru... Ru separation of 3.226(3) Angstrom and an Ru-O-Ru angle of 119.2(5)degrees. An intense visible band observed near 570 nm is assigned to a charge transfer transition involving the d pi-Ru(III) and p pi-mu-O Orbitals. Cyclic voltammetry of the complexes displays a reversible Ru-2(III,III) reversible arrow Ru-2(III,IV) couple near 0.8 V (versus SCE) in MeCN-0.1 M TBAP.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The title compound, C15H11NO, consists of a planar isoquinolinone group to which a phenyl ring is attached in a twisted fashion [dihedral angle = 39.44 (4)degrees]. The crystal packing is dominated by intermolecular N-H center dot center dot center dot O and C-H center dot center dot center dot O hydrogen bonds which define centrosymmetric dimeric entitities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The title compound, C4H5N3O2, features an essentially planar molecule (r.m.s. deviation for all non-H atoms = 0.013 angstrom). The crystal structure is stabilized by intermolecular N-H center dot center dot center dot O hydrogen bonds and pi-pi stacking interactions (centroid centroid distance 3.882 angstrom).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the title compound, C23H15ClFNOS, the isoquinoline system and the 4-chloro-3-fluorophenyl ring are aligned at 80.4 (1)degrees. The dihedral angle between the isoquinoline system and the pendant (unsubstituted) phenyl ring is 19.91 (1)degrees.