44 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
The applicability of a meshfree approximation method, namely the EFG method, on fully geometrically exact analysis of plates is investigated. Based on a unified nonlinear theory of plates, which allows for arbitrarily large rotations and displacements, a Galerkin approximation via MLS functions is settled. A hybrid method of analysis is proposed, where the solution is obtained by the independent approximation of the generalized internal displacement fields and the generalized boundary tractions. A consistent linearization procedure is performed, resulting in a semi-definite generalized tangent stiffness matrix which, for hyperelastic materials and conservative loadings, is always symmetric (even for configurations far from the generalized equilibrium trajectory). Besides the total Lagrangian formulation, an updated version is also presented, which enables the treatment of rotations beyond the parameterization limit. An extension of the arc-length method that includes the generalized domain displacement fields, the generalized boundary tractions and the load parameter in the constraint equation of the hyper-ellipsis is proposed to solve the resulting nonlinear problem. Extending the hybrid-displacement formulation, a multi-region decomposition is proposed to handle complex geometries. A criterium for the classification of the equilibrium`s stability, based on the Bordered-Hessian matrix analysis, is suggested. Several numerical examples are presented, illustrating the effectiveness of the method. Differently from the standard finite element methods (FEM), the resulting solutions are (arbitrary) smooth generalized displacement and stress fields. (c) 2007 Elsevier Ltd. All rights reserved.
Resumo:
Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.
Resumo:
We address here aspects of the implementation of a memory evolutive system (MES), based on the model proposed by A. Ehresmann and J. Vanbremeersch (2007), by means of a simulated network of spiking neurons with time dependent plasticity. We point out the advantages and challenges of applying category theory for the representation of cognition, by using the MES architecture. Then we discuss the issues concerning the minimum requirements that an artificial neural network (ANN) should fulfill in order that it would be capable of expressing the categories and mappings between them, underlying the MES. We conclude that a pulsed ANN based on Izhikevich`s formal neuron with STDP (spike time-dependent plasticity) has sufficient dynamical properties to achieve these requirements, provided it can cope with the topological requirements. Finally, we present some perspectives of future research concerning the proposed ANN topology.
Resumo:
This paper proposes a regression model considering the modified Weibull distribution. This distribution can be used to model bathtub-shaped failure rate functions. Assuming censored data, we consider maximum likelihood and Jackknife estimators for the parameters of the model. We derive the appropriate matrices for assessing local influence on the parameter estimates under different perturbation schemes and we also present some ways to perform global influence. Besides, for different parameter settings, sample sizes and censoring percentages, various simulations are performed and the empirical distribution of the modified deviance residual is displayed and compared with the standard normal distribution. These studies suggest that the residual analysis usually performed in normal linear regression models can be straightforwardly extended for a martingale-type residual in log-modified Weibull regression models with censored data. Finally, we analyze a real data set under log-modified Weibull regression models. A diagnostic analysis and a model checking based on the modified deviance residual are performed to select appropriate models. (c) 2008 Elsevier B.V. All rights reserved.
Resumo:
A simple and rapid development of a stability-indicating LC method for determination of chloroquine diphosphate in the presence of its hydrolysis, oxidative and photolysis degradation products is described. Stress testing showed that chloroquine diphosphate was degraded under basic conditions and by photolytic treatment but was stable under the other stress conditions investigated. Separation of the drug from its degradation products was achieved with a Nova Pack C18 column, 0.01 M PIC B7 and acetonitrile (40:60 v/v) pH 3.6, as mobile phase. Response was linear over the range 0.08-5.70 mu g mL(-1) (r = 0.996), with limits of detection and quantification (LOD and LOQ) of 0.17 and 0.35 mu g mL(-1), respectively.
Resumo:
A simple, fast, inexpensive and reliable capillary zone electrophoresis (CZE) method for the determination of econazole nitrate in cream formulations has been developed and validated. Optimum conditions comprised a pH 2.5 phosphate buffer at 20 mmol L(-1) concentration, +30 kV applied voltage in a 31.5 cm x 50 mu m I.D. capillary. Direct UV detection at 200 nm led to an adequate sensitivity without interference from sample excipients. A single extraction step of the cream sample in hydrochloric acid was performed prior to injection. Imidazole (100 mu g mL(-1)) was used as internal standard. Econazole nitrate migrates in approximately 1.2 min. The analytical curve presented a coefficient of correlation of 0.9995. Detection and quantitation limits were 1.85 and 5.62 mu g mL(-1), respectively. Excellent accuracy and precision were obtained. Recoveries varied from 98.1 to 102.5% and intra- and inter-day precisions, calculated as relative standard deviation (RSD), were better than 2.0%. The proposed CZE method presented advantageous performance characteristics and it can be considered suitable for the quality control of econazole nitrate cream formulations. (c) 2008 Elsevier B.V. All rights reserved.
Resumo:
Over the last 50 years a new research area, science education research, has arisen and undergone singular development worldwide. In the specific case of Brazil, research in science education first appeared systematically 40 years ago, as a consequence of an overall renovation in the field of science education. This evolution was also related to the political events taking place in the country. We will use the theoretical work of Rene Kaes on the development of groups and institutions as a basis for our discussion of the most important aspects that have helped the area of science education research develop into an institution and kept it operating as such. The growth of this area of research can be divided into three phases: The first was related to its beginning and early configurations; the second consisted of a process of consolidation of this institution; and the third consists of more recent developments, characterised by a multiplicity of research lines and corresponding challenges to be faced. In particular, we will analyse the special contributions to this study gleaned from the field known as the history and philosophy of science.
Resumo:
Background. Chikungunya, an alphavirus of the Togaviridae family, causes a febrile disease transmitted to humans by the bite of infected Aedes mosquitoes. This infection is reaching endemic levels in many Southeast Asian countries. Symptoms include sudden onset of fever, chills, headache, nausea, vomiting, joint pain with or without swelling, low back pain, and rash. According to the World Health Organization, there are 2 billion people living in Aedes-infested areas. In addition, traveling to these areas is popular, making the potential risk of infections transmitted by the bite of infected Aedes mosquitoes very high. Methods. We proposed a mathematical model to estimate the risk of acquiring chikungunya fever in an Aedes-infested area by taking the prevalence of dengue fever into account. The basic reproduction number for chikungunya fever R-0chik can be written as a function of the basic reproduction number of dengue R-0dengue by calculating the ratio R-0chik/R-0dengue. From R-0chik, we estimated the force of infection and the risk of acquiring the disease both for local residents of a dengue-endemic area and for travelers to this area. Results. We calculated that R-0chik is 64.4% that of R-0dengue. The model was applied to a hypothetical situation, namely, estimating the individual risk of acquiring chikungunya fever in a dengue-endemic area, both for local inhabitants (22% in steady state) and for visiting travelers (from 0.31% to 1.23% depending on the time spent in the area). Conclusions. The method proposed based on the output of a dynamical model is innovative and provided an estimation of the risk of infection, both for local inhabitants and for visiting travelers.
Resumo:
Background/Aims: Statistical analysis of age-at-onset involving family data is particularly complicated because there is a correlation pattern that needs to be modeled and also because there are measurements that are censored. In this paper, our main purpose was to evaluate the effect of genetic and shared family environmental factors on age-at-onset of three cardiovascular risk factors: hypertension, diabetes and high cholesterol. Methods: The mixed-effects Cox model proposed by Pankratz et al. [2005] was used to analyze the data from 81 families, involving 1,675 individuals from the village of Baependi, in the state of Minas Gerais, Brazil. Results: The analyses performed showed that the polygenic effect plays a greater role than the shared family environmental effect in explaining the variability of the age-at-onset of hypertension, diabetes and high cholesterol. The model which simultaneously evaluated both effects indicated that there are individuals which may have risk of hypertension due to polygenic effects 130% higher than the overall average risk for the entire sample. For diabetes and high cholesterol the risks of some individuals were 115 and 45%, respectively, higher than the overall average risk for the entire population. Conclusions: Results showed evidence of significant polygenic effects indicating that age-at-onset is a useful trait for gene mapping of the common complex diseases analyzed. In addition, we found that the polygenic random component might absorb the effects of some covariates usually considered in the risk evaluation, such as gender, age and BMI. Copyright (C) 2008 S. Karger AG, Basel
Resumo:
Introduction Maternal folic acid deficiency is the most important metabolic factor in the etiology of neural tube defects (NTD) and is reduced by ethanol, which is extensively consumed by young women. Objective The objective of the study was to determine whether folic acid supplementation in dietary saccharose is efficient in the prevention NTD induced by ethanol in fetuses of Swiss mice. Materials and methods Pregnant mice were divided into four groups of six animals each: control (C), ethanol (E), deficient-supplemented (DS), and deficient-supplemented+ethanol (DSE). Groups C and E received commercial mouse chow (containing 3 mg/kg folic acid) throughout the experiment, while groups DS and DSE received a folic acid-free diet with the addition of saccharose supplemented with folic acid (2 mg/kg folic acid) in water. Group E and DSE animals received ethanol (4 g/kg) administered intraperitoneally from the seventh to the ninth gestational day (gd) and were euthanized on the 18th gd, while groups C and DS received saline. Results Congenital anomalies were observed in groups E and DSE. The fetal weight and length of the animals in group E were lower than in groups C and DS and, in group DSE, were lower than in groups C and DS. The placental diameter of group E was smaller than that of group C, and the placental weight of group C animals was lower than that of groups E, DSE, and DS. Conclusion The study demonstrated that dietary supplementation with folate in saccharose is an accessible means of consumption that could be further diffused but in an increased dose than recommended to reduce the teratogenic effects of ethanol.
Resumo:
The study is based on 141 pregnant Bos indicus cows, from days 20 to 70 post-insemination. First, special attention was given to the macroscopically observable phenomena of attachment of the conceptus to the uterus, i.e. the implantation, from about days 20 to 30 post-insemination up to day 70, and placentome development by growth, vascularization and increase in the number of cotyledons opposite to the endometrial caruncles. Secondly, as for the conceptuses, semiquantitative, statistical analyses were performed of the lengths of chorio-allantois, amnion and yolk sac; and the different parts of the centre and two extremes of the yolk sacs were also analysed. Thirdly, the embryos/foetuses corresponding to their membranes were measured by their greatest length and by weight, and described by the appearance of external developmental phenomena during the investigated period like neurulation, somites, branchial arcs, brain vesicles, limb buds, C-form, pigmented eye and facial grooves. In conclusion, all the data collected in this study from days 20 to 70 of bovine pregnancy were compared extensively with corresponding data of the literature. This resulted in an `embryo/foetal age-scale`, which has extended the data in the literature by covering the first 8 to 70 days of pregnancy. This age-scale of early bovine intrauterine development provides model for studies, even when using slaughtered cows without distinct knowledge of insemination or fertilization time, through macroscopic techniques. This distinctly facilitates research into the cow, which is now being widely used as `an experimental animal` for testing new techniques of reproduction like in vitro fertilization, embryo transfer and cloning.
Resumo:
Densities and viscosities of five vegetable oils (Babassu oil, Buriti oil, Brazil nut oil, macadamia oil, and grape seed oil) and of three blends of Buriti oil and soybean oil were measured as a function of temperature and correlated by empirical equations. The estimation capability of two types of predictive methodologies was tested using the measured data. The first group of methods was based on the fatty acid composition of the oils, while the other was based on their triacylglycerol composition, as a multicomponent system. In general, the six models tested presented a good representation of the physical properties considered in this work. A simple method of calculation is also proposed to predict the dynamic viscosity of methyl and ethyl ester biodiesels, based on the fatty acid composition of the original oil. Data presented in this work and the developed model can be valuable for designing processes and equipment for the edible oil industry and for biodiesel production.
Resumo:
In this paper, we introduce a Bayesian analysis for bioequivalence data assuming multivariate pharmacokinetic measures. With the introduction of correlation parameters between the pharmacokinetic measures or between the random effects in the bioequivalence models, we observe a good improvement in the bioequivalence results. These results are of great practical interest since they can yield higher accuracy and reliability for the bioequivalence tests, usually assumed by regulatory offices. An example is introduced to illustrate the proposed methodology by comparing the usual univariate bioequivalence methods with multivariate bioequivalence. We also consider some usual existing discrimination Bayesian methods to choose the best model to be used in bioequivalence studies.
Resumo:
This work describes the development and optimization of a sequential injection method to automate the determination of paraquat by square-wave voltammetry employing a hanging mercury drop electrode. Automation by sequential injection enhanced the sampling throughput, improving the sensitivity and precision of the measurements as a consequence of the highly reproducible and efficient conditions of mass transport of the analyte toward the electrode surface. For instance, 212 analyses can be made per hour if the sample/standard solution is prepared off-line and the sequential injection system is used just to inject the solution towards the flow cell. In-line sample conditioning reduces the sampling frequency to 44 h(-1). Experiments were performed in 0.10 M NaCl, which was the carrier solution, using a frequency of 200 Hz, a pulse height of 25 mV, a potential step of 2 mV, and a flow rate of 100 mu L s(-1). For a concentration range between 0.010 and 0.25 mg L(-1), the current (i(p), mu A) read at the potential corresponding to the peak maximum fitted the following linear equation with the paraquat concentration (mg L(-1)): ip = (-20.5 +/- 0.3) Cparaquat -(0.02 +/- 0.03). The limits of detection and quantification were 2.0 and 7.0 mu g L(-1), respectively. The accuracy of the method was evaluated by recovery studies using spiked water samples that were also analyzed by molecular absorption spectrophotometry after reduction of paraquat with sodium dithionite in an alkaline medium. No evidence of statistically significant differences between the two methods was observed at the 95% confidence level.