A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Combined determination of sharing and freeness of program variables through abstract interpretation

In this paper, abstract interpretation algorithms are described for computing the sharmg as well as the freeness information about the run-time instantiations of program variables. An abstract domain is proposed which accurately and concisely represents combined freeness and sharing information for program variables. Abstract unification and all other domain-specific functions for an abstract interpreter working on this domain are presented. These functions are illustrated with an example. The importance of inferring freeness is stressed by showing (1) the central role it plays in non-strict goal independence, and (2) the improved accuracy it brings to the analysis of sharing information when both are computed together. Conversely, it is shown that keeping accurate track of sharing allows more precise inference of freeness, thus resulting in an overall much more powerful abstract interpreter.

The frontal assessment battery (FAB) reveals neurocognitive dysfunction in substance-dependent individuals in distinct executive domains: Abstract reasoning, motor programming, and cognitive flexibility

Substance-dependence is highly associated with executive cognitive function (ECF) impairments. However. considering that it is difficult to assess ECF clinically, the aim of the present study was to examine the feasibility of a brief neuropsychological tool (the Frontal Assessment Battery FAB) to detect specific ECF impairments in a sample of substance-dependent individuals (SDI). Sixty-two subjects participated in this study. Thirty DSM-IV-diagnosed SDI, after 2 weeks of abstinence, and 32 healthy individuals (control group) were evaluated with FAD and other ECF-related tasks: digits forward (DF), digits backward (DB), Stroop Color Word Test (SCWT), and Wisconsin Card Sorting Test (WCST). SDI did not differ from the control group on sociodemographic variables or IQ. However, SDI performed below the controls in OF, DB, and FAB. The SDI were cognitively impaired in 3 of the 6 cognitive domains assessed by the FAB: abstract reasoning, motor programming, and cognitive flexibility. The FAB correlated with DF, SCWT, and WCST. In addition, some neuropsychological measures were correlated with the amount of alcohol, cannabis, and cocaine use. In conclusion, SDI performed more poorly than the comparison group on the FAB and the FAB`s results were associated with other ECF-related tasks. The results suggested a negative impact of alcohol, cannabis, and cocaine use on the ECF. The FAB may be useful in assisting professionals as an instrument to screen for ECF-related deficits in SDI. (C) 2010 Elsevier Ltd. All rights reserved.

Effects of growth reducer and nitrogen fertilization on morphological variables, SPAD index, interception of radiation and productivity of wheat

ABSTRACT The objective of this study was to evaluate the effect of growth reducer and nitrogen fertilization on morphological variables, SPAD index, radiation interception, and grain yield of three cultivars of wheat. The experimental design was a randomized block in factorial scheme 3x5x2, with three cultivars (Mestre, Iguaçú and Itaipú), five nitrogen doses (0, 40, 80, 120, 160 Kg ha-1), and application or no application of a growth reducer, with three replications. The following characteristics were evaluated: plant height, SPAD index, leaf area index (LAI), Global Radiation Interception (GRI) and grain yield. The Tukey test (p < 0.05) was used for the comparison between the means of cultivar and growth reducer factors, and for a regression analysis to evaluate N levels. Increasing the dose of nitrogen promotes an increase in LAI of plants of wheat crops differently among cultivars, which leads to a greater degree of global radiation interception. At doses higher or equal to 120 Kg ha-1 of nitrogen, there are significant differences in grain yield between treatments with and without the application of the growth reducer. The significant interaction between growth reducer and nitrogen dose, showed that applications of growth reducer increase the GRI at doses above and below 80 Kg ha-1 of nitrogen. Nitrogen rates of 138 and 109 Kg ha-1 are responsible for maximum grain yields of wheat, which is 4235 and 3787 Kg ha-1 with and without the use of growth reducer, respectively.

RELATION BETWEEN BACKGROUND VARIABLES, VALUES AND CORPORATE SOCIAL RESPONSIBILITY

ABSTRACT Consumer perception of corporate social responsibility (CSR) can be directly influenced by individual value structures. This research aims to provide new knowledge regarding the relationship between basic human values and the public's perception of CSR. It focuses on the values of higher education students and their views regarding a particular corporate social initiative. The study reveals that social, educational, and economic circumstances influence human values. Those values in turn influence why different students perceive CSR differently. These findings are relevant to companies as they provide a more detailed understanding of why certain consumer groups perceive certain CSR initiatives the way that they do. They also suggest that universities should increase their awareness of the importance of integrating human values and CSR in the curricula of future business managers and social leaders.

Local Fractional Variational Iteration Method for Local Fractional Poisson Equations in Two Independent Variables

The local fractional Poisson equations in two independent variables that appear in mathematical physics involving the local fractional derivatives are investigated in this paper. The approximate solutions with the nondifferentiable functions are obtained by using the local fractional variational iteration method.

Local Fractional Variational Iteration Method for Local Fractional Poisson Equations in Two Independent Variables

The local fractional Poisson equations in two independent variables that appear in mathematical physics involving the local fractional derivatives are investigated in this paper. The approximate solutions with the nondifferentiable functions are obtained by using the local fractional variational iteration method.

Análisis de las principales variables determinantes de la evolución de la mortalidad por demencias en Andalucía.

BACKGROUND The dementias are a cause of mortality have increased over the last years. Therefore is important to analyze the variables more related to its development in Andalusia between 1999 and 2010. METHODS With the deaths of 60 and over by dementia from Andalusia Statistical Institute and the populations from corresponding years, are estimated crude mortality rates, standardized and age-specific; by joinpoint regression was calculated percentages annual change; and also, with the population estimates by marital status and deaths was calculated crude rates and standardized for age, sex and marital status. RESULTS The standardized mortality rates increased from 124.8 to 161.0 deaths per 100,000 in women and 110.3 to 147.7 in men, the annual increase was 4.2% and 3.8% in women and men. The women died more than men with a standardized rate ratio between 1.08 and 1.29. Age was the variable that determined mortality. CONCLUSIONS Mortality from dementia in Andalusia has increased over the past 12 years and will continue to increase with the consequent social and health impacts posed by these diseases, configured as a major health problem.

Efectos de la deficiencia de yodo sobre variables intelectuales en una población infantil.

An association between severe iodine deficiency and poor mental development has been found in many studies. We examined the relationship between moderate or mild iodine deficiency and intellectual capacity in order to determine whether problems common to severe iodine deficiency (including mental retardation) also emerge in a more subtle form. We also wished to know whether the classic methodology (comparing iodine-deficient zones with nondeficient zones) is the most adequate, and propose to combine this grouping by zones with urinary iodine presented by individuals in each zone. We measured IQ, manipulative and verbal capacity, attention, visual motor ability and disruptive behaviour, variables that have barely been studied in this kind of investigations. The sample comprised 760 schoolchildren from the province of Jaén (southern Spain). Our results show that children with low levels of iodine intake and with urinary iodine concentration lower than 100 microg/litre had a lower IQ and displayed more disruptive behaviour than children with high levels of the criteria. The other variables were not associated with iodine deficiency.

Distribución horizontal de la anchoveta peruana con relación a variables ambientales en el período 1986 - 2000

Se analizó la distribución horizontal de la anchoveta Engraulis ringens utilizando sistemas de información geográfica. Los datos fueron obtenidos de los cruceros de evaluación hidroacústica de recursos pelágicos realizados durante los veranos de 1986 al 2000. Los resulitados indican que la distribución horizontal de la anchoveta está asociada a parámetros oceanográficos superficiales del mar, como rangos de temperatura, salinidad y clorofila a; sin embargo,parece ser que el parámetro más importante es la salinidad.

Stratified estimation of forest inventory variables using spatially summarized stratifications

Abstract

RELATIONSHIP BETWEEN CLIMATE VARIABLES, TRUNK GROWTH RATE AND WOOD DENSITY OF Eucalyptus grandis W. Mill ex Maiden TREES

ABSTRACT Climatic conditions stimulates the cambial activity of plants, and cause significant changes in trunk diameter growth and wood characteristics. The objective of this study was to evaluate the influence of climate variables in the diameter growth rate of the stem and the wood density of Eucalyptus grandis trees in different classes of the basal area. A total of 25 Eucalyptus trees at 22 months of age were selected according to the basal area distribution. Dendrometer bands were installed at the height of 1.30 meters (DBH) to monitor the diameter growth every 14 days, for 26 months. After measuring growth, the trees were felled and wood discs were removed at the DBH level to determine the radial density profile through x-ray microdensitometry and then re-scale the average values every 14 days. Climatic variables for the monitoring period were obtained and grouped every 14 days. The effect of the climate variables was determined by maximum and minimum growth periods in assessing trunk growth. These growth periods were related with precipitation, average temperature and relative air humidity. The re-scaled wood density values, calculated using the radial growth of the tree trunks measured accurately with steel dendrometers, enabled the determination of the relationship of small changes in wood density and the effect of the climatic variations and growth rate of eucalyptus tree trunks. A high sensitivity of the wood density to variation in precipitation levels was found.

Redundant variables and the quality of management zones

ABSTRACT Precision agriculture (PA) allows farmers to identify and address variations in an agriculture field. Management zones (MZs) make PA more feasible and economical. The most important method for defining MZs is a fuzzy C-means algorithm, but selecting the variable for use as the input layer in the fuzzy process is problematic. BAZZI et al. (2013) used Moran’s bivariate spatial autocorrelation statistic to identify variables that are spatially correlated with yield while employing spatial autocorrelation. BAZZI et al. (2013) proposed that all redundant variables be eliminated and that the remaining variables would be considered appropriate on the MZ generation process. Thus, the objective of this work, a study case, was to test the hypothesis that redundant variables can harm the MZ delineation process. BAZZI This work was conducted in a 19.6-ha commercial field, and 15 MZ designs were generated by a fuzzy C-means algorithm and divided into two to five classes. Each design used a different composition of variables, including copper, silt, clay, and altitude. Some combinations of these variables produced superior MZs. None of the variable combinations produced statistically better performance that the MZ generated with no redundant variables. Thus, the other redundant variables can be discredited. The design with all variables did not provide a greater separation and organization of data among MZ classes and was not recommended.

A statistical evaluation of the effects of process variables during catalytic hydrogenation of passion fruit (passiflora edulis) seed oil

ABSTRACT: Hydrogenation of passion fruit (passiflora edulis) seed oil was carried out with a commercial nickel/silica catalyst under different experimental conditions. The influence of reaction parameters (reaction temperature, hydrogen pressure, amount of catalyst, agitation rate and reaction time) on the response variable (iodine value) was studied using a central composite rotatable design and six center points for replication. Under the experimental conditions used, the model response equations for the iodine value showed good agreement with the experimental results.

Search for supersymmetry using razor variables in events with b-tagged jets in pp collisions at root s=8 TeV

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