Analog neural nonderivative optimizers

Continuous-time neural networks for solving convex nonlinear unconstrained;programming problems without using gradient information of the objective function are proposed and analyzed. Thus, the proposed networks are nonderivative optimizers. First, networks for optimizing objective functions of one variable are discussed. Then, an existing one-dimensional optimizer is analyzed, and a new line search optimizer is proposed. It is shown that the proposed optimizer network is robust in the sense that it has disturbance rejection property. The network can be implemented easily in hardware using standard circuit elements. The one-dimensional net is used as a building block in multidimensional networks for optimizing objective functions of several variables. The multidimensional nets implement a continuous version of the coordinate descent method.

Fault section estimation in electric power systems using an optimization immune algorithm

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Levenberg-Marquardt application to two-phase nonlinear parameter estimation for finned-tube coil evaporators

A procedure for calculation of refrigerant mass flow rate is implemented in the distributed numerical model to simulate the flow in finned-tube coil dry-expansion evaporators, usually found in refrigeration and air-conditioning systems. Two-phase refrigerant flow inside the tubes is assumed to be one-dimensional, unsteady, and homogeneous. In themodel the effects of refrigerant pressure drop and the moisture condensation from the air flowing over the external surface of the tubes are considered. The results obtained are the distributions of refrigerant velocity, temperature and void fraction, tube-wall temperature, air temperature, and absolute humidity. The finite volume method is used to discretize the governing equations. Additionally, given the operation conditions and the geometric parameters, the model allows the calculation of the refrigerant mass flow rate. The value of mass flow rate is computed using the process of parameter estimation with the minimization method of Levenberg-Marquardt minimization. In order to validate the developed model, the obtained results using HFC-134a as a refrigerant are compared with available data from the literature.

A humanização no parto e no nascimento: os saberes e as práticas no contexto de uma maternidade pública brasileira

The practice of medicine related to the gestational processes tend to be organized according to the context and the place of work, being thus dependent of the conditions both social and economical, and of the physical structure and the functionality of the services. The high mortality rate in this process has diminished, since 1986, the study made by the World Health Organization (WHO) as to the technical aspects and the social inequalities that influence this situation in different geographical contexts. This culminated recommendations that proposed the reorientation of the dynamical practice of medicine, with a focus on the safety of maternities. Brazil adopted, in the year 2000, the suggestions of the OMS, emphasizing the humanization as the main reason for these actions. However, this discussion tends to not consider the problems caused by the social inequalities and the epidemiological and social conditionings that define the actions of the Unified Health System (Sistema Único de Saúde SUS). In this area, this research seeks to analyze the practices, cares taken, and the universal symbol that promotes and rewards the assistance to the birth of children by the SUS. Besides the analysis of the public documents that deal with this subject, an ethnographic study was developed in a maternity in Natal/RN, considered a model of humanization after receiving the Galba de Araújo prize in 2002. In this stage, the methodological strategies were observed, and the focus of the individual interviews with workers and users of this service. In the analysis of the data, it became evident that the different professional workers and women who gave birth, tend to show concern of the standards the delimit production and reproduction of the practice of medicine, as they favor the absence of a critical posture of the actions destined to the population. Besides this, if became evident that the institutional difficulties associated to the economical, cultural, and political problems also difficult the involvement and the reflection of the workers in favor of assisting changes of the process. There is also a utilization of a perspective prescriptive of humanization in the everyday life of the social workers, without reflection of its meaning. Some workers present, in their statements, a preoccupation with the social and economical aspects that affect the practice of medicine, and with the limitations of the humanization discourse that disarticulates the necessities of those involved in the process of formation, and soon tend to return to the discussion of humanization while a kind practice characterized by the minimization of the interventionist actions. Now the users of the system show themselves before the dynamic of the services, submitting themselves to what is offered while assistance, without questioning and/or reflecting about their usual shortages. Therefore, to think of changes in the know and do of the practice of medicine destined to the birth of children implies reflection on the quotidian production of these practices and of the social contexts that influence the process of assistance in the practice of medicine. Herein it would be possible to predict the appropriation, by different workers concerning their exasperations and necessities, making them active in the pursuit of their rights as citizens

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Um estudo algorítmico da programação da intervenção de sondas de produção

This work approaches the Scheduling Workover Rigs Problem (SWRP) to maintain the wells of an oil field, although difficult to resolve, is extremely important economical, technical and environmental. A mathematical formulation of this problem is presented, where an algorithmic approach was developed. The problem can be considered to find the best scheduling service to the wells by the workover rigs, taking into account the minimization of the composition related to the costs of the workover rigs and the total loss of oil suffered by the wells. This problem is similar to the Vehicle Routing Problem (VRP), which is classified as belonging to the NP-hard class. The goal of this research is to develop an algorithmic approach to solve the SWRP, using the fundamentals of metaheuristics like Memetic Algorithm and GRASP. Instances are generated for the tests to analyze the computational performance of the approaches mentioned above, using data that are close to reality. Thereafter, is performed a comparison of performance and quality of the results obtained by each one of techniques used

Praia de Ponta Negra: uma abordagem da paisagem costeira de 1970 a 2010, Natal/RN

With process urbanization process the Brazilian cities have been goin through, Natal/RN does not differ from the other ones, it has had a fast, inordinate and planned urbanization, but not applied, it has caused a high increase of social environmental problems. One of the worrying problems observed is the change in the coastal landscape, which has caused serious damage to the city‟s population, more specifically, of Ponta Negra beach neighborhood. For the geographical studies, the issue, concerning the occupation of the beaches that has been getting higher and higher in the last decades is extremely important because these, in addition to being used as homes in the new urban configuration, have incorporated new ways of environmental interference, without a simultaneous advance of knowledge which would be necessary for a more suitable and rational use of litoral spaces. Thus, the current assignment aimed to focus the coastal landscape of Ponta Negra Beach, in the city of Natal/RN, checking and analyzing the effects caused by anthropic and natural action, and the way it reflects in the quality of life of the resident, working population and of the frequenters as well as the landscape transformations in the area which is object of study, from 1970 through 2010. The methodology used followed to stages, the first concerned the theoretical work bibliographic surveying and composition; and second one the empirical work marking of the environmental characterization and application of the questionnaires. So, we can measure that Ponta Negra, is very susceptible to environmental changes, the ones caused by the natural dynamics of the beach, as well as the human actions (society) in this really fragile and mutable space, so it needs, a more profound systematic study about the coastal landscape. In order to reach a minimization of the change of the landscapes in the coastal zones there must be an integrated management of the environments, based on the planning of actions and territorial reordination of the occupations of these so important spaces, environmentally, as well as socioeconomically. Whereas, only this way, we will have a sustentable development and a suitable use of that space

Photoelastic Analysis of Stress Distribution in Oral Rehabilitation

The purpose of this study was to present a literature review about photoelasticity, a laboratory method for evaluation of implants prosthesis behavior. Fixed or removable prostheses function as levers on supporting teeth, allowing forces to cause tooth movement if not carefully planned. Hence, during treatment planning, the dentist must be aware of the biomechanics involved and prevent movement of supporting teeth, decreasing lever-type forces generated by these prosthesis. Photoelastic analysis has great applicability in restorative dentistry as it allows prediction and minimization of biomechanical critical points through modifications in treatment planning.

Searching for larval support for majoid families (Crustacea : Brachyura) with particular reference to Inachoididae Dana, 1851

We re-evaluated the larval support for families within majoids using the Wilcoxon signed-rank test with emphasis on Inachoididae. To accomplish our objectives, we added 10 new taxa, two of which are traditionally assigned to the family of special interest, to a previous larval database for majoids, and re-appraised the larval characters used in earlier studies. Phylogenetic analysis was performed with PAUP* using the heuristic search with 50 replicates or the branch-and-bound algorithm when possible. Multi-state transformation series were considered unordered; initially characters were equally weighted followed by successive weighting, and trees were rooted at the Oregoniidae node. Ten different topological constraints were enforced for families to evaluate tree length under the assumption of monophyly for each taxonomic entity. Our results showed that the tree length of most constrained topologies was not considerably greater than that of unconstrained analysis in which most families nested as paraphyletic taxa. This may indicate that the present larval database does not provide strong support for paraphyly of the taxa in question. For Inachoididae, although the Wilcoxon signed-rank test rejected a significant difference between unconstrained and constrained cladograms, we were unable to provide a single synapomorphy for this clade. Except for the conflicting position of Leurocyclus and Stenorhynchus, the two clades correspond to the traditional taxonomic arrangement. Among inachoidids, the clade (Anasimus (Paradasygyius (Collodes + Pyromaia))) is supported, whereas for inachids, the clade (Inachus (Macropodia + Achaeus)) is one of the most supported clades within majids. As often stated, only additional characters will provide a better test for the monophyly of Inachoididae and other families within Majoidea.

Effects of postural threat on walking features of Parkinson's disease patients

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

LEAST ACTION PRINCIPLE and THE INCOMPRESSIBLE EULER EQUATIONS WITH VARIABLE DENSITY

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

On the entropy operator for the general SU(1,1) TFD formulation

In this Letter, an entropy operator for the general unitary SU(1, 1) TFD formulation is proposed and used to lead a bosonic system from zero to finite temperature. Namely, considering the closed bosonic string as the target system, the entropy operator is used to construct the thermal vacuum. The behaviour of such a state under the breve conjugation rules is analyzed and it was shown that the breve conjugation does not affect the thermal effects. From this thermal vacuum the thermal energy, the entropy and the free energy of the closed bosonic string are calculated and the appropriated thermal distribution for the system is found after the free energy minimization. (C) 2004 Elsevier B.V. All rights reserved.

Discrete symmetries, invisible axion, and lepton number symmetry in an economic 3-3-1 model

We show that Peccei-Quinn and lepton number symmetries can be a natural outcome in a 3-3-1 model with right-handed neutrinos after imposing a Z(11)circle timesZ(2) symmetry. This symmetry is suitably accommodated in this model when we augment its spectrum by including merely one singlet scalar field. We work out the breaking of the Peccei-Quinn symmetry, yielding the axion, and study the phenomenological consequences. The main result of this work is that the solution to the strong CP problem can be implemented in a natural way, implying an invisible axion phenomenologically unconstrained, free of domain wall formation, and constituting a good candidate for the cold dark matter.

Three-dimensional solitons in cross-combined linear and nonlinear optical lattices

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evaluation and Application of TS-FF-AAS System Using Ceramic Tube as Atomization Cell for Tin Determination in Canned Foods

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)