Convergence analysis of sampling-based decomposition methods for risk-averse multistage stochastic convex programs

We consider a class of sampling-based decomposition methods to solve risk-averse multistage stochastic convex programs. We prove a formula for the computation of the cuts necessary to build the outer linearizations of the recourse functions. This formula can be used to obtain an efficient implementation of Stochastic Dual Dynamic Programming applied to convex nonlinear problems. We prove the almost sure convergence of these decomposition methods when the relatively complete recourse assumption holds. We also prove the almost sure convergence of these algorithms when applied to risk-averse multistage stochastic linear programs that do not satisfy the relatively complete recourse assumption. The analysis is first done assuming the underlying stochastic process is interstage independent and discrete, with a finite set of possible realizations at each stage. We then indicate two ways of extending the methods and convergence analysis to the case when the process is interstage dependent.

Multistep stochastic mirror descent for risk-averse convex stochastic programs based on extended polyhedral risk measures

We consider risk-averse convex stochastic programs expressed in terms of extended polyhedral risk measures. We derive computable con dence intervals on the optimal value of such stochastic programs using the Robust Stochastic Approximation and the Stochastic Mirror Descent (SMD) algorithms. When the objective functions are uniformly convex, we also propose a multistep extension of the Stochastic Mirror Descent algorithm and obtain con dence intervals on both the optimal values and optimal solutions. Numerical simulations show that our con dence intervals are much less conservative and are quicker to compute than previously obtained con dence intervals for SMD and that the multistep Stochastic Mirror Descent algorithm can obtain a good approximate solution much quicker than its nonmultistep counterpart. Our con dence intervals are also more reliable than asymptotic con dence intervals when the sample size is not much larger than the problem size.

Impact assessment and quality analysis of corporate social responsability (CSR) programs of mining companies and their contribution to sustainable development in the communities they operate: case study Tenke Fungurume Mining SA in the Democratic Republic of Congo (DRC)

Purpose – This case study presents an impact assessment of Corporate Social Responsibility (CSR) programs of the TFM Company in order to understand how they contribute to the sustainable development of communities in areas in which they operate. Design/Methodology/Approach - Data for this study was collected using qualitative data methods that included semi-structured interviews and Focus Group Discussions most of them audio and video recorded. Documentary analysis and a field visit were also undertaken for the purpose of quality analysis of the CSR programs on the terrain. Data collected was analyzed using the Seven Questions to sustainability (7Qs) framework, an evaluation tool developed by the Mining, Minerals and Sustainable Development (MMSD) North America chapter. Content analysis method was on the other hand used to examine the interviews and FGDs of the study participants. Findings - Results shows that CSR programs of TFM SA do contribute to community development, as there have been notable changes in the communities’ living conditions. But whether they have contributed to sustainable development is not yet the case as programs that enhance the capacity of communities and other stakeholders to support these projects development beyond the implementation stage and the mines operation lifetime need to be considered and implemented. Originality/Value – In DRC, there is paucity of information of research studies that focus on impact assessment of CSR programs in general and specifically those of mining companies and their contribution to sustainable development of local communities. Many of the available studies cover issues of minerals and conflict or conflict minerals as mostly referred to. This study addressees this gap.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Description of a new species and complementary description of a known species of Iphiseiodes de Leon (Acari: Phytoseiidae)

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

Praxiologia, representação social de menopausa e práticas educativas de enfermeiras na estratégia saúde da família

This research, whose theme is related to climacteric, aims to know the social representation of menopause developed by the nurses working for Estratégia Saúde da Família (Family Health Strategy) in João Pessoa PB, as well as identifying its structure and verifying the way it interferes with the assistance and educational practices to the climacterial user. In the theoretical level, it is based on a model that articulates the social representations theory, the central nucleus complementary theory and the central concepts of Pierre Bourdieu s praxiology: habitus, cultural capital, social field and symbolic power. A hundred and forty-seven female nurses who work for Estratégia Saúde da Família (Family Health Strategy) in João Pessoa (PB) took part in this research, and the data collection period was from February 2008 to March 2009. As to the methods and techniques, we used the method to determine the central nucleus based on the free association of words, a questionnaire to identify certain regularities that constitute the nurses habitus, and the semi-structured interview to explore opinions and attitudes when facing assistance situations and educational practices and to collect other relevant information. The data analysis was developed, when referring to the free associations, with the help of the EVOC software, which is a group of articulated programs which carry out the statistical analysis of the evocations and the identification of the possible elements of both the central nucleus and the peripheral system of the social representation. As to the questionnaire, we used the descriptive statistical analysis and the analysis of correlation between the variables. The interviews were submitted to a categorical analysis of the content. The EVOC result indicated that the cognition hormone was the only element of the central nucleus of the social representation of menopause. Due to its symbolic value and structuring power, this central nucleus ensures the strict and, at the same time, flexible character of the representational content. The analysis of the social advancement, of some fundamental features of the group habitus, as well as the analysis of its insertion in the health field and of the attitudinal opinions and dispositions concerning the assistance given to the climacterial user, and the analysis of the pedagogical dimension of this assistance, all these analyses lead to the conclusion that the nurses who took part in this research share a social representation of the menopause resulting from the association of different technical and scientific knowledge. These derive from the biomedical pattern as well as from hegemonic values which disqualify old age and overvalue youth, from pedagogical conceptions arising from patterns that are presently regarded as authoritative and old-fashioned and from cultural references (responsible for the semantic variations concerning the central nucleus) which are specific to the subgroups the nurses belong to. This research enables the creation of opportunities for discussion between active nurses working for Estratégia Saúde da Família, and the nurses who are teachers at institutions of higher education, aiming at linking theory to practice, so that they can find ways of thinking about the climacteric and working, in a more comprehensive way, with users who are experiencing this stage of life

Efficacy of several Salmonella vaccination programs against experimental challenge with Salmonella gallinarum in commercial brown layer and broiler breeder hens

The protective effect of various Salmonella vaccines regimens against an experimental Salmonella Gallinarum challenge (SGNalr strain at 12 wk of age) was evaluated in two experiments. In Experiment 1 commercial brown layers were vaccinated according to one of the following programs: (i) two doses of a SE bacterin (Layermune SE; group 1); (ii) a first dose of a live SG9R vaccine (Cevac SG9R) followed by a SE bacterin (Layermune SE; group 2); (iii) one dose of each of two different multivalent inactivated vaccines containing SE cells (Corymune 4 & Corymune 7; group 3) or (iv) not vaccinated (group 4). In Experiment 2, broiler breeders were given the same vaccination treatments except for the group vaccinated with the multivalent vaccines. Overall, in both experiments, all vaccination schemes were effective in reducing mortality after challenge with a SG field strain. Primary vaccination with an initial dose of a live SG9R vaccine followed some weeks later by a dose of an inactivated SE bacterin was the most effective (p<0.05) vaccination program against mortality induced by field SG experimental challenge in both experiments. In conclusion, Salmonella vaccination programs containing SE bacterins alone or in combination with a live SG9R vaccine are effective in preventing mortality induced by infection of field SG. Nevertheless, it is important to emphasize that any vaccination program against any Salmonella serotype will only be effective if it is part of a sound and comprehensive biosecurity program designed for Salmonella control in poultry farms.

Humoral and cellular immune response generated by different vaccine programs before and after Salmonella Enteritidis challenge in chickens

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

Obras complementares: um elo entre a leitura e os conteúdos matemáticos

The Federal Government through its Plans and Programs invests in various policies intended to achieve the main goal of the millennium, provide basic education for all. Among them, we highlight in this paper The National Textbook Program, with emphasis on Complementary Works. These works are presented through different genres, such as poems, poetry, short stories, parables, novels, literature, educational materials etc.. providing a range of possible teaching work. However, little is known about the levels of education of teachers as intended. Based on the discussions and studies in this direction, sparked concerns us in the process of teaching and learning in math classes. This made us pay attention to a possibility of study where reading could be included in this process. In this sense, the present study aims at investigating the potential of conceptual and didactic use of Complementary Works on developing the skills of reading and writing mathematics of the first three years of elementary school, and from there, propose a courseware with guidelines for use of these works by teachers of 1st to 3rd year of elementary school. For this, we outline the issues of reading and understanding of mathematical interests as those of our study. In this sense, the proposal was built from the bibliographic works that address the contributions of reading for learning mathematical content, like Machado (2001), Nacarato (2009); Dantas (2011), Smole and Diniz ( 2001). As a result, we created the Guidance for the use of Complementary Works for Teachers to Teach Mathematics with a view to support the practice of teachers and future teachers who teach mathematics. Supported the use of Complementary Works, especially those distributed in public schools by the National Textbook - PNLD and have mathematical content, this guide is intended to present some of the possible use of this feature in math classes. (Education Observatory - Capes / INEP. Ed. 038-2010. TELL Research Group - UFRN - PPGED / PPGEL / PPGECNM - PROPESQ)

Diagnosis of Public Programs focused on Herbal Medicines in Brazil

The present study is aimed to diagnose the current public programs focused on herbal medicine in Brazil where the following results can be observed. The main purpose of implementation of these programs was the demand of the users of medicinal plants and herbal medicines. The initiative of the implementation of these programs was related to the managers (58%). The difficulties in this implementation were due to lack of funding (90%) of the programs. In 80% of the programs, the physicians did not adhere to herbal medicine services due to lack of knowledge in the subject. Training courses were proposed (70%) to increase the adhesion of prescribers to the system. Some municipalities use information obtained from patients to assess the therapeutic efficiency of medicinal plants and herbal medicines. of the programs underway, cultivation of medicinal plants was observed in 50%, and 67% of the programs adopted quality control. In most programs, this control is not performed in accordance with the legal requirements.

Energetic efficiency programs and power quality

This paper presents the results of the investigations that were done to identify and to quantify the power quality problems resultant from the actions done to improve the efficiency on electric energy consumption. The efficiencies of several electric devices were evaluated, among them: fluorescent bulb, electronic ballast, soft-starter, temperature controller for showers, dimmer and others. This evaluation allowed to establish a cause/effect analysis of the power quality.

A method for plotting the complementary root locus using the root-locus (positive gain) rules

The root-locus method is a well-known and commonly used tool in control system analysis and design. It is an important topic in introductory undergraduate engineering control disciplines. Although complementary root locus (plant with negative gain) is not as common as root locus (plant with positive gain) and in many introductory textbooks for control systems is not presented, it has been shown a valuable tool in control system design. This paper shows that complementary root locus can be plotted using only the well-known construction rules to plot root locus. It can offer for the students a better comprehension on this subject. These results present a procedure to avoid problems that appear in root-locus plots for plants with the same number of poles and zeros.

On Complementary Root Locus of Biproper Transfer Functions

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

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs