Análises de fluorescência e consumo de água em Brachiaria decumbens após aplicação de herbicidas em pós-emergência

A análise da fluorescência da clorofila vem sendo largamente utilizada no entendimento dos mecanismos da fotossíntese propriamente dito, bem como na avaliação da capacidade fotossintética alterada com a aplicação de herbicidas. O consumo de água pelas plantas é uma maneira também de avaliar a atuação dos herbicidas nas plantas daninhas. O objetivo deste trabalho foi avaliar a fluorescência através da taxa de transporte de elétrons, consumo de água e fitointoxicação de Brachiaria decumbens após aplicação de quatro herbicidas de diferentes mecanismos de ação. Aos 30 dias após a semeadura de B. decumbens, as plantas foram arrancadas dos tubetes e preparadas para os tratamentos. Elas tiveram o sistema radicular colocado em tubos falcon preenchidos com água, e a superfície dos falcon foi isolada com papel-alumínio, para evitar evaporação do sistema. Os herbicidas aplicados foram: glyphosate, haloxyfop-methyl, diuron e amicarbazone. A aplicação foi feita com um pulverizador estacionário instalado em laboratório; após a aplicação dos tratamentos, as plantas foram mantidas em casa de vegetação. Foi avaliada a taxa de transporte de elétrons (ETR), o consumo de água e a fitointoxicação das plantas em vários períodos após o início do experimento. Os dados de ETR e fitointoxicação foram expressos em porcentagem da testemunha e submetidos à análise de variância e à comparação das médias. Para o consumo de água, os dados foram acumulados e ajustados por modelos de regressão. Assim, pode-se dizer que as plantas de B. decumbens tiveram respostas diferentes aos herbicidas aplicados, e o consumo de água das plantas está relacionado diretamente com o transporte de elétrons. A metodologia fundamentada no fluorômetro mostrou-se adequada para verificar a intoxicação antecipada em B. de cumbens submetidas ao amicarbazone e diuron antes mesmo da verificação visual de intoxicação.

Otimização de forma aplicando B-splines sob critério integral de tensões

This work proposes a computational methodology to solve problems of optimization in structural design. The application develops, implements and integrates methods for structural analysis, geometric modeling, design sensitivity analysis and optimization. So, the optimum design problem is particularized for plane stress case, with the objective to minimize the structural mass subject to a stress criterion. Notice that, these constraints must be evaluated at a series of discrete points, whose distribution should be dense enough in order to minimize the chance of any significant constraint violation between specified points. Therefore, the local stress constraints are transformed into a global stress measure reducing the computational cost in deriving the optimal shape design. The problem is approximated by Finite Element Method using Lagrangian triangular elements with six nodes, and use a automatic mesh generation with a mesh quality criterion of geometric element. The geometric modeling, i.e., the contour is defined by parametric curves of type B-splines, these curves hold suitable characteristics to implement the Shape Optimization Method, that uses the key points like design variables to determine the solution of minimum problem. A reliable tool for design sensitivity analysis is a prerequisite for performing interactive structural design, synthesis and optimization. General expressions for design sensitivity analysis are derived with respect to key points of B-splines. The method of design sensitivity analysis used is the adjoin approach and the analytical method. The formulation of the optimization problem applies the Augmented Lagrangian Method, which convert an optimization problem constrained problem in an unconstrained. The solution of the Augmented Lagrangian function is achieved by determining the analysis of sensitivity. Therefore, the optimization problem reduces to the solution of a sequence of problems with lateral limits constraints, which is solved by the Memoryless Quasi-Newton Method It is demonstrated by several examples that this new approach of analytical design sensitivity analysis of integrated shape design optimization with a global stress criterion purpose is computationally efficient

Seletividade de herbicidas aplicados em pós-emergência sobre capim-braquiária

O estudo foi conduzido com o objetivo de avaliar a seletividade de alguns herbicidas inibidores de ALS e FS II aplicados em pós-emergência em plantas de Brachiaria brizantha cv. Marandu e Brachiaria decumbens cv. Basilisk em condições de campo e seu efeito na qualidade das sementes. Os herbicidas testados (em g/ha) foram: imazethapyr a 100; chlorimuronethyl a 15; nicosulfuron a 50; bentazon a 720; e atrazine a 3.000, além de uma testemunha, sem aplicação de herbicidas. Dois experimentos em campo foram instalados em delineamento em blocos casualizados com quatro repetições e os ensaios de laboratório em delineamento inteiramente casualizado, com 16 repetições. Todos os herbicidas testados tiveram algum efeito de fitointoxicação visual aos cultivares avaliados. O nicosulfuron foi o herbicida que visualmente proporcionou os níveis mais elevados de injúrias às plantas de B. decumbens e B. brizantha. A produção de MS de B. brizantha nos estádios iniciais de crescimento foi reduzida pelos herbicidas nicosulfuron e atrazine, enquanto, em B. decumbens, apenas o herbicida nicosulfuron ocasionou redução da produção de MS. A qualidade das sementes de ambos os cultivares foi afetada pelo nicosulfuron, que induziu a dormência em sementes de B. decumbens, reduziu a porcentagem de sementes normais e, assim como o atrazine, aumentou a porcentagem de sementes mortas.

A dialética do amor em pigmaleão, de G. B. Shaw.

Pygmalion (1913), by George Bernard Shaw (1856-1950), has many studies in literary criticism. However, this study brings a new interpretation to Shaw s play based on Harold Bloom s theory and methodology, that is, the anxiety of influence and the dialectic of revisionism. Through the analysis of poetic influence and the dialectic of love, we can see that Pygmalion represents an apophrades in relation to William Shakespeare s The Taming of the Shrew (1593) and Ovid s myth of Pygmalion and Galatea in Metamorphosis (c. 14), which creates a family romance between the three stories. Shaw s play surpasses The Taming of the Shrew when it shows the possibility of the relation between this parent poem and Ovid s myth, which it is also its parent poem, and because it represents a strong misreading of Shakespeare s play as well as of Ovid s myth.

Expressão imuno-histoquimica de colagenase-1 e gelatinases A e B em mixomas odontogênicos e papilas de germes dentários

The odontogenic myxoma shares cellular and structural aspects with dental papilla, which has been implicated as probable origin of this neoplasm. The aim of the present study was to perform a comparative immunohistochemical analysis for the expression of collagenase-1 (MMP-1) and gelatinases A (MMP-2) and B (MMP-9) in odontogenic myxomas and dental papilla of teeth germs. Twelve cases of odontogenic myxomas and eight specimens of teeth germs were selected. It was taken into consideration the presence or absence of immunoreactivity, the pattern of immunohistochemical distribution of proteases within extracellular matrix, as well as, the number of cells revealing immunostaining for matrix metalloproteinases (MMPs). It was verified a significant difference (p<0,05) in relation to MMP-2 immunoexpression, which was observed only within extracellular matrix of myxomas. Nevertheless, MMP-1 labeling was revealed by most of the cases of odontogenic myxoma, at levels close to those observed in dental papilla. In relation to the pattern of distribution, a significant difference was obtained between specimens (p<0,05), with neoplasms predominantly exhibiting a focal pattern for MMP-1. The quantitative analysis of neoplastic cells labeled for MMPs denoted a significant difference (p<0,05), demonstrating a higher proportion of MMP-1 in comparison to MMPs-2 and -9. It can be concluded that immunohistochemical expression of MMP-1 at levels comparable to those observed in dental papilla and quantitatively superior in relation to MMPs-2 and -9, suggest an implication of this protease on extracellular matrix degradation of odontogenic myxomas. Moreover, the possibility of interactions with receptors involved in cellular adhesion, particularly with integrins, suggests a plausible function on local invasiveness of such neoplasms. Additionally, the presence of a descent immunoexpression gradient for these MMPs on odontogenic myxomas, associated to substrate specificity inherent in each enzyme, suggest the existence of a coordinated mechanism between interstitial collagenase and gelatinases A and B in order to allow an efficient degradation of extracellular matrix and local invasion by neoplastic cells

Expressão imuno-histoquímica do cd8, foxp3, Tgf β, tnf α e nf-кb em displasias epiteliais e Carcinomas epidermóides orais

The Oral Epithelial Dysplasia (OED) is the lesion that precedes or co-exists with the Oral Squamous Cell Carcinoma (OSCC), presenting molecular and/or histological similar alterations. The divergences about the malignization potential of OEDs and the role of inflammation in this process make hard the early diagnosis and evaluation of OSCCs aggressiveness. Thus, it became the goal of this study to evaluate the role of inflammation in oral carcinogenesis and tumoral aggressiveness. For this purpose a morphological study was performed in 20 OED cases and 40 OSCC cases to detect the malignization potential of OEDs and the histologic malignancy grading (HMG) of OSCCs, analyzing superficial masses for dismorphism evaluation and the invasive front for evaluation of tumoral growing; and immunohistochemical, using anti-CD8, anti-FOXP3, anti-TGFβ, anti-TNFα and anti-NF-кB antibodies, comparing their with the types lesion, histological degree and intensity of the inflammatory infiltrate. The results were statistically significant for the parameters: cell maturity (p=0,0001), masses presence (p=0,038) and dismorphism (p=0,037), when associated to HMG. To compare the expression of the markers with the types lesion, a significantly higher expression of CD8 (p=0,001) and NF-кB (p=0,002) in the OED, and also a smaller expression of the epithelial TGFβ in the severe OEDs (p=0,011), without significant expression between OSCC degrees. By relating the expression of the studied markers with the inflammatory infiltrate intensity, a positive relation was observed with: inflammatory TNFα(p=0,003), epithelial TNFα and NF-кB (p=0,051 and p=0,004), in OEDs; and with CD8 (p=0,021) and TNFα (p=0,015) in conjunctive OSCCs; and a negative relation with epithelial TNFα (p=0,034) in OSCCs. No significant relation was found between FOXP3 with any of the studied variables. These findings lead to the conclusion that, the study of the invasive front is as important as the study of superficial masses for the evaluation of tumoral aggressiveness; the intensity of the inflammatory infiltrate has no use as a parameter for prognostic evaluation of OSCC in routine exams, but, the molecular events detected in this study may be necessary to give basis for determining the malignant potential in OEDs and aggressiveness in OSCCs

O trato retino-hipotalâmico no mocó (Kerodon rupestris): Um estudo de traçado anterógrado com a subunidade b da toxina colérica

The light, besides the vision stimuli, controls other process completely independent of image formation, such as the synchronization of the organismic circadian rhythms to the enviromental light/dark cycle. In mammals, this adjust occurs through the retinohypothalamic tract, a direct retinal projection to the suprachiasmatic nucleus, considered to be the major circadian pacemaker. Early studies have identified only the suprachiasmatic nucleus as a retinal target in the hypothalamus. However, using more sensitive neuroanatomic tracers, other retinorecipient hypothalamic regions outside to suprachiasmatic nucleus were pointed in a great number of mammalian species. In this study, the retinohypothalamic tract was shown in the rock cavy (Kerodon rupestris), an endemic rodent of the semiarid region of the Brazilian Northeast, using unilateral intravitreal injections of cholera toxin subunit b as a neuronal tracer. The results reveal that in the rock cavy, besides the suprachiasmatic nucleus, several hypothalamic regions receive direct retinal projection, such as the ventrolateral preoptic nucleus, medial and lateral preoptic areas, the supraoptic nucleus and bordering areas, anterior, lateral and rectrochiasmatic hypothalamic areas, and the subparaventricular zone. The results are discussed by comparing with those of the literature, into a functional context

Desempenho auditivo ao longo do tempo e satisfação dos usuários de implante coclear com perda auditiva pós-lingual

Most cochlear implant (CI) users, who suffer from post lingual hearing loss, are able to perceive sounds and comprehend speech after the implant. The prediction of maximal benefit over time, with the use of CI, can be useful for counseling patients about their expectations in using the new device. The measurement of satisfaction should be of primary interest in medical intervention, as the results may be used for intervention feedback. The purpose of this study is to analyze auditory performance of CI over time, as well as to evaluate users‟ satisfaction. Therefore two types of study designs were employed: a) retrospective cohort study with the analysis of medical records from 59 subjects about auditory performance before and after surgery. Results were submitted to the Kaplan -Meier estimator of cumulative probability and compared to prognostic factors of auditory performance using the logrank test. b) A sectional study design was conducted to evaluate the satisfaction of 51 subjects. The instrument consists of two specific questionnaires: Satisfaction with Amplification in Daily Life SADL and International Outcome Inventory Cochlear Implant IOI- CI. Results show statistical significant differences (p<0,001) in auditory performance before and after CI. The majority obtained satisfactory results of CI use during the first six months. Logrank tests does not indicate significant correlation between the analyzed covariates and the time in which adequate speech perception occurs. SADL e IOI-CI questionnaires indicate that most of the CI users are satisfied with their devices. The SADL detected a 27, 5% insatisfaction amongst CI users in relation to services and costs involved with the CI. The results of the IOI show 4% of insatisfaction with the use of CI and the social environment. In conclusion CI is capable to rehabilitate social auditory function in a short period of time and CI users demonstrate satisfaction with auditory, social and psychological gain offered through CI device

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

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

Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.

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

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Pós-graduação stricto sensu em anestesiologia: experiência de dez anos na UNESP

JUSTIFICATIVA E OBJETIVOS: O número de Programas de Pós-Graduação em Anestesiologia stricto sensu existente no país ainda é muito pequeno. Com a finalidade de incentivar a pós-graduação em Anestesiologia no Brasil, é apresentada a experiência acumulada em dez anos de atividades do programa da Universidade Estadual Paulista (UNESP). CONTEÚDO: O Programa de Pós-Graduação em Anestesiologia stricto sensu da UNESP foi credenciado pela CAPES, desde a sua criação em 1994, nos Cursos de Mestrado e Doutorado. O Programa é desenvolvido em três Áreas de Concentração: Risco e Proteção de Órgãos e Sistemas em Anestesia e Cirurgia; Qualidade e Segurança em Anestesiologia; e Modelos Clínicos e Experimentais em Terapia Antálgica, com as suas respectivas linhas de pesquisa, em número de 14. O número de alunos regulares do Programa é compatível com o número de orientadores (12), com proporção média de três alunos por orientador. Desde o seu início até setembro de 2004, ocorreram 45 Dissertações de Mestrado e 24 de Doutorado, perfazendo 69 defesas, a maioria com bolsas e financiamentos de Órgãos de Fomento à Pesquisa. Após a conclusão do doutorado, 65% dos alunos têm atividade de docência e pesquisa em instituições públicas e privadas do ensino universitário do país. A maioria das publicações do programa tem sido realizada em revistas nacionais com Qualis A, com menor número de publicações em revistas internacionais Qualis A ou B. O programa recebeu da CAPES o conceito 4,0 numa escala de 1 a 7, em suas três últimas avaliações. CONCLUSÕES: O programa tem se desenvolvido muito bem nos 10 anos de sua existência, alcançando os principais objetivos, como a formação de professores e pesquisadores na área de Anestesiologia para as instituições universitárias do país.