Lógica por trás dos contratos sociais

Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool

Influência da auto seleção à luz no ritmo circadiano de atividade motora em Callithrix Jacchus

Marmosets, Callithrix jacchus, are strictly diurnal animals. The motor activity rhythmicity is generated by the circadian timing system and is modulated by environmental factors, mainly by photic stimuli that compose the light-dark cycle. Photic stimuli can reset the biological oscilators changing activity motor pattern, by a mechanism called entrainment. Otherwise, light can act directly on expressed rhythm, without act on the biological oscillators, promoting the masking. Thus, photic stimuli can synchronize the circadian activity rhythm (CAR) by two distinct mechanisms, acting isolated or at a combined way. Among the elements that can influence photic synchronization, the duration and time of photic exposure is pointed out. If in the natural environment the marmoset can choose places of different intensity illumination and is synchronized to light-dark cycle (LD), how the photic synchronization mechanism can be evaluated in laboratory by light self-selection? With objective to response this question, four adult male marmosets were studied at two conditions: with and without sleeping box. The animals were submitted to a LD cycle (12:12/ 350:2 lx) and constant light (LL: 350 lx) conditions in individual cages with an opaque sleeping box, that permitted the light self-selection. At the room, the temperature was 25.6 ºC (± 0.3 ºC) and humidity was 78.7 (± 5%). The motor activity was recorded at 5 min bins by infrared movement sensors installed at the top of the cages. The motor activity profile was distinct at the two conditions: without the sleeping box protection against light, the activity frequency was higher at CT 11-12 (ANOVA; F(3.23) = 62.27; p < 0.01). Also, the duration of the active phase (α) was prolonged of about 1 h (t test, p < 0.05) and the animals showed a significant delay on the activity onset and offset (t test, p < 0.05) and at the acrophase (confidence intervals of 5%) of CAR. In LL, the light continuous exposure prolonged the active phase and influenced the endogenous expression of the circadian activity rhythm period. From the result analysis, it is concluded that the light self-selection can modify several parameters of CAR in marmosets, allowing the study of the synchronization mechanism using the burrow model. Thus, without sleeping box there was a phase delay between the CAR and LD (entrainment) and an increase of activity near lights off (positive masking). Furthermore, in LL, the light continuous exposure modifies α and the endogenous expression of CAR. It is suggested that the light self-selection might be take into account at investigations that evaluate the biological rhythmicity in marmosets

Seleção de progênies de meios-irmãos do composto Isanão VF-1 de milho na safra e safrinha

O aumento significativo da produção de milho na segunda safra no Brasil, principalmente no centro-sul do país, têm estimulado os programas de melhoramento da cultura a selecionar genótipos que sejam adaptáveis às condições climáticas das diferentes épocas de semeadura. Nesse sentido, o objetivo do presente trabalho foi quantificar a interação progênies x épocas de semeadura e verificar seus reflexos no progresso genético com o uso de índice de seleção multivariado para seleção de progênies do Composto Isanão VF-1 de milho. As semeaduras foram realizadas na segunda safra em 2004 e na primeira safra do ano agrícola 2004/05. Foram utilizadas 71 progênies de meios irmãos avaliadas em blocos ao acaso, com três repetições. Os caracteres avaliados foram: altura de plantas, altura de espigas, tombamento, prolificidade e rendimento de grãos. Realizaram-se a decomposição da interação progênies x épocas e foram estimados os ganhos pelo índice de seleção descrito por Mulamba e Mock. Houve predomínio da interação do tipo simples para maioria dos caracteres, exceto para prolificidade, que revelou 86% de interação do tipo complexa. Pelo índice de Mulamba e Mock, os ganhos proporcionais mais adequados para o conjunto de caracteres avaliados foi obtido pelos pesos econômicos atribuídos por tentativas. Os ganhos preditos foram de 1,41, 0,86, -13,03, 9,54 e 16,12% para altura de planta, altura de espiga, tombamento, prolificidade e rendimento de grãos, respectivamente.

Determinação de parâmetros (sólidos solúveis, pH e acidez titulável) em ameixas intactas usando espectroscopia no infravermelho próximo e seleção de comprimento de onda

The aim of this study was to evaluate the potential of near-infrared reflectance spectroscopy (NIRS) as a rapid and non-destructive method to determine the soluble solid content (SSC), pH and titratable acidity of intact plums. Samples of plum with a total solids content ranging from 5.7 to 15%, pH from 2.72 to 3.84 and titratable acidity from 0.88 a 3.6% were collected from supermarkets in Natal-Brazil, and NIR spectra were acquired in the 714 2500 nm range. A comparison of several multivariate calibration techniques with respect to several pre-processing data and variable selection algorithms, such as interval Partial Least Squares (iPLS), genetic algorithm (GA), successive projections algorithm (SPA) and ordered predictors selection (OPS), was performed. Validation models for SSC, pH and titratable acidity had a coefficient of correlation (R) of 0.95 0.90 and 0.80, as well as a root mean square error of prediction (RMSEP) of 0.45ºBrix, 0.07 and 0.40%, respectively. From these results, it can be concluded that NIR spectroscopy can be used as a non-destructive alternative for measuring the SSC, pH and titratable acidity in plums

Comportamento de sementes de cultivares de soja, submetidos a diferentes períodos de envelhecimento acelerado

Accelerated aging test is an important procedure to be used, beyond other aim, for breeding programs to select cultivars with storage and development potential under high relative humidity and temperature. At accelerated aging test in soybean seeds, the temperature and time of exhibition they were not still totally established, factors that cause divergence among the researchers, mainly with relationship to the most appropriate periods. The aim was to evaluate the behavior of soybean seeds submitted to accelerated aging test. Seeds of the varieties IAC-15, CAC-1, FT-Estrela and IAC-Foscarin 31 were submitted to germination test, electrical conductivity and accelerated aging (41 degrees C, during 44, 48, 52, 56, 60, 64, 68, 72 and 76 hours). There are differences among cultivars evaluated in relation to accelerated aging test sensibilility; the cultivars are sensibles to increasing the exposition time; the accelerated aging test can be used to select cultivars in breeding programs; the cultivar FT-Estrela can be sowed at regions with high temperature and humidity.

Seleção de clones de figueira cv. roxo de Valinhos formados por gemas irradiadas

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

Variação Genética e ganho esperado na seleção de progênies de Pinus caribaea var. caribaea em Selvíria, MS

The present research has proposed to estimate the genetic variation of growth traits and to estimate the expected gain by multi-effect index (MEI), in order to transform a Pinus caribaea var. caribaea progeny trial into a seedling seed orchard. The progeny trial was set up in 1989, in Selviria, MS, Brazil, using a 10 x 10 triple lattice design, with 99 progenies and a commercial control, with linear plots of ten plants, by the 3 x 3 m spacing between plants and rows. Total plant height, diameter at breast height (Dbh), wood volume, stem form, wood density at breast height, and survival were the evaluated quantitative traits. The trial was measured through 14, 15, and 16 years old. The 50% intensity of thinning at 14.3 years old was done. No significant was the genetic variation of different traits. Heritability estimates have presented low magnitude with low variation by the different ages. The application of MEI to DBH, at two years after thinning, resulted in higher gains than the selection of within and among progenies. The best selection strategy to obtain higher gains and to keep genetic diversity is to select until five plants per progenies.

Otimização em comitês de classificadores: uma abordagem baseada em filtro para seleção de subconjuntos de atributos

Traditional applications of feature selection in areas such as data mining, machine learning and pattern recognition aim to improve the accuracy and to reduce the computational cost of the model. It is done through the removal of redundant, irrelevant or noisy data, finding a representative subset of data that reduces its dimensionality without loss of performance. With the development of research in ensemble of classifiers and the verification that this type of model has better performance than the individual models, if the base classifiers are diverse, comes a new field of application to the research of feature selection. In this new field, it is desired to find diverse subsets of features for the construction of base classifiers for the ensemble systems. This work proposes an approach that maximizes the diversity of the ensembles by selecting subsets of features using a model independent of the learning algorithm and with low computational cost. This is done using bio-inspired metaheuristics with evaluation filter-based criteria

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Mobile interact: uma ferramenta de auxílio didático proporcionando interação entre professores e alunos através de celulares

Education is one of the oldest activities practiced by man, but today it is still performed often without creating dialogues and discussions among all those involved, and students are passives agents without interactivity with teachers and the content approached. This work presents a tool used for providing interactivity in educational environments using cell phones, in this way, teachers can use technology to assist in process of education and have a better evaluation of students. The tool developed architecture is shown, exposing features of wireless communication technologies used and how is the connection management using Bluetooth technology, which has a limited number of simultaneous connections. The details of multiple Bluetooth connections and how the system should behave by numerous users are displayed, showing a comparison between different methods of managing connections. Finally, the results obtained with the use of the tool are presented, followed by the analysis of them and a conclusion on the work

MoSAC: um módulo para seleção de configurações arquiteturais baseado em critérios de QoS no contexto de sistema distribuídos autoadaptativos

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Seleção de atributos em comitês de classificadores utilizando algoritmos genéticos

Classifier ensembles are systems composed of a set of individual classifiers and a combination module, which is responsible for providing the final output of the system. In the design of these systems, diversity is considered as one of the main aspects to be taken into account since there is no gain in combining identical classification methods. The ideal situation is a set of individual classifiers with uncorrelated errors. In other words, the individual classifiers should be diverse among themselves. One way of increasing diversity is to provide different datasets (patterns and/or attributes) for the individual classifiers. The diversity is increased because the individual classifiers will perform the same task (classification of the same input patterns) but they will be built using different subsets of patterns and/or attributes. The majority of the papers using feature selection for ensembles address the homogenous structures of ensemble, i.e., ensembles composed only of the same type of classifiers. In this investigation, two approaches of genetic algorithms (single and multi-objective) will be used to guide the distribution of the features among the classifiers in the context of homogenous and heterogeneous ensembles. The experiments will be divided into two phases that use a filter approach of feature selection guided by genetic algorithm

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development