935 resultados para ElGamal, CZK, Multiple discrete logarithm assumption, Extended linear algebra


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work, the plate bending formulation of the boundary element method (BEM) based on the Reissner's hypothesis is extended to the analysis of zoned plates in order to model a building floor structure. In the proposed formulation each sub-region defines a beam or a slab and depending on the way the sub-regions are represented, one can have two different types of analysis. In the simple bending problem all sub-regions are defined by their middle surface. on the other hand, for the coupled stretching-bending problem all sub-regions are referred to a chosen reference surface, therefore eccentricity effects are taken into account. Equilibrium and compatibility conditions are automatically imposed by the integral equations, which treat this composed structure as a single body. The bending and stretching values defined on the interfaces are approximated along the beam width, reducing therefore the number of degrees of freedom. Then, in the proposed model the set of equations is written in terms of the problem values on the beam axis and on the external boundary without beams. Finally some numerical examples are presented to show the accuracy of the proposed model.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper discusses a design approach for a high-Q low-sensitivity OTA-C biquad bandpass section. An optimal relationship is established between transconductances defining the differencebeta - gamma in the Q-factor denominator, setting the Q-sensitivity to tuning voltages around unity. A 30-MHz filter was designed based on a 0.35 mum CMOS process and V-DD=3.3 V. A range of circuit simulation supports the theoretical analysis. Q-factor spans from 20.5 to 60, while ensuring filter stability along the tuning range. Although a triode-operating OTA is used, the procedure can be extended to other types of transconductor.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We extend the Weyl-Wigner transformation to those particular degrees of freedom described by a finite number of states using a technique of constructing operator bases developed by Schwinger. Discrete transformation kernels are presented instead of continuous coordinate-momentum pair system and systems such as the one-dimensional canonical continuous coordinate-momentum pair system and the two-dimensional rotation system are described by special limits. Expressions are explicitly given for the spin one-half case. © 1988.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We determine an improved limit on C and P violation to the extended gravitational potential of Leitner and Okubo using the millisecond pulsar PSR 1937+214 data. © 1989.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Using the flexibility and constructive definition of the Schwinger bases, we developed different mapping procedures to enhance different aspects of the dynamics and of the symmetries of an extended version of the two-level Lipkin model. The classical limits of the dynamics are discussed in connection with the different mappings. Discrete Wigner functions are also calculated. © 1995.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper addresses the problem of model reduction for uncertain discrete-time systems with convex bounded (polytope type) uncertainty. A reduced order precisely known model is obtained in such a way that the H2 and/or the H∞ guaranteed norm of the error between the original (uncertain) system and the reduced one is minimized. The optimization problems are formulated in terms of coupled (non-convex) LMIs - Linear Matrix Inequalities, being solved through iterative algorithms. Examples illustrate the results.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

One common problem in all basic techniques of knowledge representation is the handling of the trade-off between precision of inferences and resource constraints, such as time and memory. Michalski and Winston (1986) suggested the Censored Production Rule (CPR) as an underlying representation and computational mechanism to enable logic based systems to exhibit variable precision in which certainty varies while specificity stays constant. As an extension of CPR, the Hierarchical Censored Production Rules (HCPRs) system of knowledge representation, proposed by Bharadwaj & Jain (1992), exhibits both variable certainty as well as variable specificity and offers mechanisms for handling the trade-off between the two. An HCPR has the form: Decision If(preconditions) Unless(censor) Generality(general_information) Specificity(specific_information). As an attempt towards evolving a generalized knowledge representation, an Extended Hierarchical Censored Production Rules (EHCPRs) system is suggested in this paper. With the inclusion of new operators, an Extended Hierarchical Censored Production Rule (EHCPR) takes the general form: Concept If (Preconditions) Unless (Exceptions) Generality (General-Concept) Specificity (Specific Concepts) Has_part (default: structural-parts) Has_property (default:characteristic-properties) Has_instance (instances). How semantic networks and frames are represented in terms of an EHCPRs is shown. Multiple inheritance, inheritance with and without cancellation, recognition with partial match, and a few default logic problems are shown to be tackled efficiently in the proposed system.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The purpose of this paper is to show certain links between univariate interpolation by algebraic polynomials and the representation of polyharmonic functions. This allows us to construct cubature formulae for multivariate functions having highest order of precision with respect to the class of polyharmonic functions. We obtain a Gauss type cubature formula that uses ℳ values of linear functional (integrals over hyperspheres) and is exact for all 2ℳ-harmonic functions, and consequently, for all algebraic polynomials of n variables of degree 4ℳ - 1.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A combined methodology consisting of successive linear programming (SLP) and a simple genetic algorithm (SGA) solves the reactive planning problem. The problem is divided into operating and planning subproblems; the operating subproblem, which is a nonlinear, ill-conditioned and nonconvex problem, consists of determining the voltage control and the adjustment of reactive sources. The planning subproblem consists of obtaining the optimal reactive source expansion considering operational, economical and physical characteristics of the system. SLP solves the optimal reactive dispatch problem related to real variables, while SGA is used to determine the necessary adjustments of both the binary and discrete variables existing in the modelling problem. Once the set of candidate busbars has been defined, the program implemented gives the location and size of the reactive sources needed, if any, to maintain the operating and security constraints.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Statement of problem. Little data are available regarding the effect of heat-treatments on the dimensional stability of hard chairside reline resins. Purpose. The objective of this in vitro study was to evaluate whether a heat-treatment improves the dimensional stability of the reline resin Duraliner II and to compare the linear dimensional changes of this material with the heat-polymerized acrylic resin Lucitone 550. Material and methods. The materials were mixed according to the manufacturer's instructions and packed into a stainless steel split mold (50.0 mm diameter and 0.5 mm thickness) with reference points (A, B, C, and D). Duraliner II specimens were polymerized for 12 minutes in water at 37°C and bench cooled to room temperature before being removed from the mold. Twelve specimens were made and divided into 2 groups: group 1 specimens (n=6) were left untreated, and group 2 specimens (n=6) were submitted to a heat-treatment in a water bath at 55°C for 10 minutes and then bench cooled to room temperature. The 6 Lucitone specimens (control group) were polymerized in a water bath for 9 hours at 71°C. The specimens were removed after the mold reached the room temperature. A Nikon optical comparator was used to measure the distances between the reference points (AB and CD) on the stainless steel mold (baseline readings) and on the specimens to the nearest 0.001 mm. Measurements were made after processing and after the specimens had been stored in distilled water at 37°C for 8 different periods of time. Data were subjected to analysis of variance with repeated measures, followed by Tukey's multiple comparison test (P<.05). Results. All specimens exhibited shrinkage after processing (control, -0.41%; group 1, -0.26%; and group 2, -0.51%). Group 1 specimens showed greater shrinkage (-1.23%) than the control (-0.23%) and group 2 (-0.81%) specimens after 60 days of storage in water (P<.05). Conclusion. Within the limitations of this study, a significant improvement of the long-term dimensional stability of the Duraliner II reline resin was observed when the specimens were heat-treated. However, the shrinkage remained considerably higher than the denture base resin Lucitone 550. Copyright © 2002 by The Editorial Council of The Journal of Prosthetic Dentistry.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper is concerned with the stability of discrete-time linear systems subject to random jumps in the parameters, described by an underlying finite-state Markov chain. In the model studied, a stopping time τ Δ is associated with the occurrence of a crucial failure after which the system is brought to a halt for maintenance. The usual stochastic stability concepts and associated results are not indicated, since they are tailored to pure infinite horizon problems. Using the concept named stochastic τ-stability, equivalent conditions to ensure the stochastic stability of the system until the occurrence of τ Δ is obtained. In addition, an intermediary and mixed case for which τ represents the minimum between the occurrence of a fix number N of failures and the occurrence of a crucial failure τ Δ is also considered. Necessary and sufficient conditions to ensure the stochastic τ-stability are provided in this setting that are auxiliary to the main result.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A new approach based on a N-a cluster photoabsorption model is proposed for the understanding of the puzzling steady increase behavior of the 90Zr (e, α) yield measured at the National Bureau of Standards (NBS) within the Giant Dipole Resonance and quasideuteron energy range. The calculation takes into account the pre-equilibrium emissions of protons, neutrons and alpha particles in the framework of an extended version of the multicollisional intranuclear cascade model (MCMC). Another Monte Carlo based algorithm describes the statistical decay of the compound nucleus in terms of the competition between particle evaporation (p, n, d, α, 3He and t) and nuclear fission. The results reproduce quite successfully the 90Zr (e,α) yield, suggesting that emissions of a particles are essential for the interpretation of the exotic increase of the cross sections.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper presents a nonlinear model with individual representation of plants for the centralized long-term hydrothermal scheduling problem over multiple areas. In addition to common aspects of long-term scheduling, this model takes transmission constraints into account. The ability to optimize hydropower exchange among multiple areas is important because it enables further minimization of complementary thermal generation costs. Also, by considering transmission constraints for long-term scheduling, a more precise coupling with shorter horizon schedules can be expected. This is an important characteristic from both operational and economic viewpoints. The proposed model is solved by a sequential quadratic programming approach in the form of a prototype system for different case studies. An analysis of the benefits provided by the model is also presented. ©2009 IEEE.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The recent years have seen the appearance of innovative system for acoustic and vibration attenuation, most of them integrating new actuator technologies. In this sense, the study of algorithms for active vibrations control in rotating machinery became an area of enormous interest, mainly due to countless demands of an optimal performance of mechanical systems in aircraft, aerospace and automotive structures. In this way, this paper presents an approach that is numerically verified for active vibration control in a rotor using Active Magnetic Bearings (AMB). The control design in a discrete state-space formulation is carried out through feedback technique and Linear Matrix Inequalities (LMI) approach. LMI is useful for system with uncertainties. The AMB uses electromagnetic forces to support a rotor without mechanical contact. By monitoring the position of the shaft and changing the dynamics of the system accordingly, the AMB keeps the rotor in a desired position. This unique feature has broadened for the applications of AMB and now they can be considered not only as a main support bearing in a machine but also as dampers for vibration control and force actuators. © 2009 Society for Experimental Mechanics Inc.