MARISA-MDD: uma abordagem para transformações entre modelos orientados a aspectos: dos requisitos ao projeto detalhado

Aspect Oriented approaches associated to different activities of the software development process are, in general, independent and their models and artifacts are not aligned and inserted in a coherent process. In the model driven development, the various models and the correspondence between them are rigorously specified. With the integration of aspect oriented software development (DSOA) and model driven development (MDD) it is possible to automatically propagate models from one activity to another, avoiding the loss of information and important decisions established in each activity. This work presents MARISA-MDD, a strategy based on models that integrate aspect-oriented requirements, architecture and detailed design, using the languages AOV-graph, AspectualACME and aSideML, respectively. MARISA-MDD defines, for each activity, representative models (and corresponding metamodels) and a number of transformations between the models of each language. These transformations have been specified and implemented in ATL (Atlas Definition Language), in the Eclipse environment. MARISA-MDD allows the automatic propagation between AOV-graph, AspectualACME, and aSideML models. To validate the proposed approach two case studies, the Health Watcher and the Mobile Media have been used in the MARISA-MDD environment for the automatic generation of AspectualACME and aSideML models, from the AOV-graph model

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

On the algebraic K theory of the massive D8 and M9-branes

In this paper we review some basic relations of algebraic K theory and we formulate them in the language of D-branes. Then we study the relation between the D8-branes wrapped on an orientable, compact manifold W in a massive Type IIA, supergravity background and the M9-branes wrapped on a compact manifold Z in a massive d = 11 supergravity background from the K-theoretic point of view. By interpreting the D8-brane charges as elements of K-0(C(W)) and the (inequivalent classes of) spaces of gauge fields on the M9-branes as the elements of K-0(C(Z) x ((k) over bar*) G) where G is a one-dimensional compact group, a connection between charges and gauge fields is argued to exists. This connection could be realized as a composition map between the corresponding algebraic K theory groups.

Dynamics and cytochemistry of oogenesis in Astyanax fasciatus (Cuvier) (Teleostei, Characiformes, Characidae) from Rio Sapucaí, Minas Gerais State, Brazil

Oogenesis involves a set of transformations which are undergone by female germ cells These cells change into oogonias and then into mature oocytes. Sexually mature female fish were collected monthly, during one year, from the Sapucaí River, a tributary of the Rio Grande, which is part of the Furnas Reservoir in the state of Minas Gerais. During the several stages of maturation, we observed small round oogonias with a large nucleus, a single nucleolus, and weakly stained cytoplasm with eosinophilic granules. The primary oocytes showed a large basophilic nucleus, with a developed peripheral nucleolus and a reduced cytoplasm. The previtellogenic oocytes presented voluminous cytoplasm and nucleus with several small peripheral nucleoli. The oocytes underwent vitellogenesis with the development of the zona radiata and the follicle cells. Their cytochemical reactions indicated that the two layers of the zona radiata of A. fasciatus contained proteins and polysaccharides. The initially squamous follicle cells, became cuboidal. In mature oocytes, the nucleus moved toward the periphery, next to the micropyle, and the yolk granules formed by proteins, fulfilled the cytoplasm. The clear unstained vesicles are likely to be the cortical alveoli in the perivitelline region.

Dynamics and cytochemistry of oogenesis in Leporinus striatus Kner (Teleostei, Characiformes, Anostomidae) from the Rio Sapucaí, Minas Gerais State, Brazil

Oogenesis involves a sequense of transformations which are undergone by female germ cells. These cells change into oogonias and then into mature oocytes. Sexually mature females were collected monthly, during one year, from the Rio Sapucaí, tributary of the Rio Grande, which is part of the Furnas Reservoir system in the state of Minas Gerais. The observed material showed that oogonias were small spherical cells, had a big spherical nucleus, with a single nucleolus, and weakly stained cytoplasm with eosinophilic granules (FG stained), which indicate their protein content. The primary oocytes showed a big basophilic nucleus, with a large peripheral nucleolus, and several smaller nucleoli. They show a reduced cytoplasmic content. The previtellogenic oocytes presented voluminous cytoplasm and nucleus with several small peripheral nucleoli. The oocytes underwent vitellogenesis with the development of the zona radiata and the follicle cells. The zona radiata had two layers, the outer and the inner, which showed its protein content when stained with CM and FG techniques. TB pH 2.5 and pH 4.0 staining showed that oocytes undergoing vitellogenesis presented weakly stained cytoplasm and peripheral cytoplasmic vesicles. The follicle cells that were squamous became cuboidal. In mature oocytes, the yolk granules that filled the cytoplasm became green and blue when stained with FG and CM techniques, indicating their protein content. The perivitclline region showed rosy stained vesicles (TB pH 2.5 and pH 4.0) spread among the weakly stained peripheral vesicles, which seemed to be the cortical alveoli. The zona radiata cells, CM and FG stained, still showed two layers like the oocytes from the previous stage, but thicker.

COMPARISON OF THE ANOMALOUS AND NONANOMALOUS GENERALIZED SCHWINGER MODELS VIA THE FUNCTIONAL FORMALISM

We calculate the Green functions of the two versions of the generalized Schwinger model, the anomalous and the nonanomalous one, in their higher order Lagrangian density form. Furthermore, it is shown through a sequence of transformations that the bosonized Lagrangian density is equivalent to the former, at least for the bosonic correlation functions. The introduction of the sources from the beginning, leading to a gauge-invariant source term, is also considered. It is verified that the two models have the same correlation functions only if the gauge-invariant sector is taken into account. Finally, there is presented a generalization of the Wess-Zumino term, and its physical consequences are studied, in particular the appearance of gauge-dependent massive excitations.

ProGriD: The transformation package for the adoption of SIRGAS2000 in Brazil

Brazil adopted SIRGAS2000 in 2005. This adoption called for the provision of the relationships between SIRGAS2000 and the previous reference frames used for positioning, mapping and GIS, namely, the Córrego Alegre (CA) and the South American Datum of 1969 (SAD 69). Two programs were designed for this purpose. The first one, TCGeo, provided the relationships based on three-translation Similarity Transformation parameters. TCGeo was replaced in December 2008, by ProGriD. ProGriD offers, besides the same similarity transformation as TCGeo, a set of transformations based on modelling the distortions of the networks used in the various realizations of CA and SAD 69. The distortion models are represented by a grid in which each node contains a transformation value in terms of difference in latitude and in longitude. The grid follows the same specifications of the NTv2 grid, which has been used in other countries, such as Canada, USA and Australia. This paper presents ProGriD and its main functionalities and capabilities. ©Springer-Verlag Berlin Heidelberg 2012.

Predicados matrizes adjetivais de orações subjetivas no Português brasileiro: gramaticalização e dessentencialização

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

Type-II defects in integrable classical field theories

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

Consciência e crítica da linguagem: Graciliano Ramos / Language awareness and criticism: Graciliano Ramos

Uma leitura atenta da ficção de Graciliano Ramos pode revelar uma forma aguda de refletir o mundo através de uma reflexão anterior sobre a própria linguagem da literatura e da sociedade. É uma leitura desse teor que se pretende mostrar, apoiada na conhecida teoria das funções da linguagem de Jakobson. Num jogo constante entre as funções fática e metalingüística, Graciliano Ramos demonstra visível consciência dos problemas de linguagem, cujo tratamento moderno aponta uma postura bastante crítica (via linguagem) perante o homem e a vida. An attentive of Graciliano Ramos’ fiction reveals a deep form of reflection on the world thorough a previous reflection on the very language of literature and society. Such a reading is here attempted based on Jakobson’s well known theory of language functions. In a constante play between the fatic and the metalinguistic function, Graciliano Ramos demonstrates a clear awareness of the problems of language, whose modern treatment points at a very critical poise (via language) before man and life.

Adaptação transcultural do Preschool Language Assessment Instrument (PLAI-2) em falantes do português brasileiro com desenvolvimento típico de linguagem

Pós-graduação em Fonoaudiologia - FFC

Precise Mathematical Language: Exploring the Relationship Between Student Vocabulary Understanding and Student Achievement

In this action research study of my classroom of fifth grade mathematics, I investigate the relationship between student understanding of precise mathematics vocabulary and student achievement in mathematics. Specifically, I focused on students’ understanding of written mathematics problems and on their ability to use precise mathematical language in their written solutions of critical thinking problems. I discovered that students are resistant to change; they prefer to do what comes naturally to them. Since they have not been previously taught to use precise mathematical language in their communication about math, they have great difficulty in adapting to this new requirement. However, with teaching modeling and ample opportunities to use the language of mathematics, students’ understanding and use of specific mathematical vocabulary is increased.

Scientometric Study of Doctoral Dissertations in Biochemistry in the University of Kerala, India

Biochemistry is the most fascinating subject as it deals with the chemical language of life. The ultimate goal of biochemistry is to describe the phenomena that distinguish living from non-living in the language of chemistry and physics. Researchers in biochemistry use specific techniques native to biochemistry, but increasingly combine these with techniques and ideas from genetics, molecular biology and biophysics. In India at present around 75,000 students are enrolled in research and nearly 11,000 are awarded PhDs every year, of which 50 percent are from science and technology disciplines. Theses and dissertations reflect the scholarly communication process. Scientometrics and citation characteristics of dissertations like the subject fields of dissertations, the number of citations and their distribution by type of source, years, and by number of authors etc., have been studied with a view to identify the basic features of the scholarly communication process in different fields of study. The purpose of the present study is to determine the bibliometric characteristics of the biochemistry research in the university of Kerala, India including subject distribution, bibliographic forms of cited documents, most cited journals, collaboration in authorship, etc. A total of 168 doctoral dissertations awarded between 1966 and 2007 at the Department of Biochemistry of University of Kerala were used as a source.

The Importance of Vocabulary Instruction in Everyday Mathematics

In this action research study of my 6th grade math students I try to answer the question of how mathematical vocabulary plays an integral role in the understanding and learning of middle level mathematics. It is my belief that mathematics is a language, and to be fluent in that language one must be able to use and understand vocabulary. With the use of vocabulary quizzes and mathematically-centered vocabulary activities, student scores and understanding of math concepts can be increased. I discovered that many of the students had never been exposed to consistent mathematical terminology in their elementary education, which led many to an unfavorable impression of math. As a result of my research, I plan to incorporate vocabulary as a regular part of my mathematical teaching. As the students understood the language of math, their confidence, attitudes, and scores all began to improve.

Technical innovations for the diagnosis and the rehabilitation of motor and perceptive impairments of the child with Cerebral Palsy

The treatment of the Cerebral Palsy (CP) is considered as the “core problem” for the whole field of the pediatric rehabilitation. The reason why this pathology has such a primary role, can be ascribed to two main aspects. First of all CP is the form of disability most frequent in childhood (one new case per 500 birth alive, (1)), secondarily the functional recovery of the “spastic” child is, historically, the clinical field in which the majority of the therapeutic methods and techniques (physiotherapy, orthotic, pharmacologic, orthopedic-surgical, neurosurgical) were first applied and tested. The currently accepted definition of CP – Group of disorders of the development of movement and posture causing activity limitation (2) – is the result of a recent update by the World Health Organization to the language of the International Classification of Functioning Disability and Health, from the original proposal of Ingram – A persistent but not unchangeable disorder of posture and movement – dated 1955 (3). This definition considers CP as a permanent ailment, i.e. a “fixed” condition, that however can be modified both functionally and structurally by means of child spontaneous evolution and treatments carried out during childhood. The lesion that causes the palsy, happens in a structurally immature brain in the pre-, peri- or post-birth period (but only during the firsts months of life). The most frequent causes of CP are: prematurity, insufficient cerebral perfusion, arterial haemorrhage, venous infarction, hypoxia caused by various origin (for example from the ingestion of amniotic liquid), malnutrition, infection and maternal or fetal poisoning. In addition to these causes, traumas and malformations have to be included. The lesion, whether focused or spread over the nervous system, impairs the whole functioning of the Central Nervous System (CNS). As a consequence, they affect the construction of the adaptive functions (4), first of all posture control, locomotion and manipulation. The palsy itself does not vary over time, however it assumes an unavoidable “evolutionary” feature when during growth the child is requested to meet new and different needs through the construction of new and different functions. It is essential to consider that clinically CP is not only a direct expression of structural impairment, that is of etiology, pathogenesis and lesion timing, but it is mainly the manifestation of the path followed by the CNS to “re”-construct the adaptive functions “despite” the presence of the damage. “Palsy” is “the form of the function that is implemented by an individual whose CNS has been damaged in order to satisfy the demands coming from the environment” (4). Therefore it is only possible to establish general relations between lesion site, nature and size, and palsy and recovery processes. It is quite common to observe that children with very similar neuroimaging can have very different clinical manifestations of CP and, on the other hand, children with very similar motor behaviors can have completely different lesion histories. A very clear example of this is represented by hemiplegic forms, which show bilateral hemispheric lesions in a high percentage of cases. The first section of this thesis is aimed at guiding the interpretation of CP. First of all the issue of the detection of the palsy is treated from historical viewpoint. Consequently, an extended analysis of the current definition of CP, as internationally accepted, is provided. The definition is then outlined in terms of a space dimension and then of a time dimension, hence it is highlighted where this definition is unacceptably lacking. The last part of the first section further stresses the importance of shifting from the traditional concept of CP as a palsy of development (defect analysis) towards the notion of development of palsy, i.e., as the product of the relationship that the individual however tries to dynamically build with the surrounding environment (resource semeiotics) starting and growing from a different availability of resources, needs, dreams, rights and duties (4). In the scientific and clinic community no common classification system of CP has so far been universally accepted. Besides, no standard operative method or technique have been acknowledged to effectively assess the different disabilities and impairments exhibited by children with CP. CP is still “an artificial concept, comprising several causes and clinical syndromes that have been grouped together for a convenience of management” (5). The lack of standard and common protocols able to effectively diagnose the palsy, and as a consequence to establish specific treatments and prognosis, is mainly because of the difficulty to elevate this field to a level based on scientific evidence. A solution aimed at overcoming the current incomplete treatment of CP children is represented by the clinical systematic adoption of objective tools able to measure motor defects and movement impairments. A widespread application of reliable instruments and techniques able to objectively evaluate both the form of the palsy (diagnosis) and the efficacy of the treatments provided (prognosis), constitutes a valuable method able to validate care protocols, establish the efficacy of classification systems and assess the validity of definitions. Since the ‘80s, instruments specifically oriented to the analysis of the human movement have been advantageously designed and applied in the context of CP with the aim of measuring motor deficits and, especially, gait deviations. The gait analysis (GA) technique has been increasingly used over the years to assess, analyze, classify, and support the process of clinical decisions making, allowing for a complete investigation of gait with an increased temporal and spatial resolution. GA has provided a basis for improving the outcome of surgical and nonsurgical treatments and for introducing a new modus operandi in the identification of defects and functional adaptations to the musculoskeletal disorders. Historically, the first laboratories set up for gait analysis developed their own protocol (set of procedures for data collection and for data reduction) independently, according to performances of the technologies available at that time. In particular, the stereophotogrammetric systems mainly based on optoelectronic technology, soon became a gold-standard for motion analysis. They have been successfully applied especially for scientific purposes. Nowadays the optoelectronic systems have significantly improved their performances in term of spatial and temporal resolution, however many laboratories continue to use the protocols designed on the technology available in the ‘70s and now out-of-date. Furthermore, these protocols are not coherent both for the biomechanical models and for the adopted collection procedures. In spite of these differences, GA data are shared, exchanged and interpreted irrespectively to the adopted protocol without a full awareness to what extent these protocols are compatible and comparable with each other. Following the extraordinary advances in computer science and electronics, new systems for GA no longer based on optoelectronic technology, are now becoming available. They are the Inertial and Magnetic Measurement Systems (IMMSs), based on miniature MEMS (Microelectromechanical systems) inertial sensor technology. These systems are cost effective, wearable and fully portable motion analysis systems, these features gives IMMSs the potential to be used both outside specialized laboratories and to consecutive collect series of tens of gait cycles. The recognition and selection of the most representative gait cycle is then easier and more reliable especially in CP children, considering their relevant gait cycle variability. The second section of this thesis is focused on GA. In particular, it is firstly aimed at examining the differences among five most representative GA protocols in order to assess the state of the art with respect to the inter-protocol variability. The design of a new protocol is then proposed and presented with the aim of achieving gait analysis on CP children by means of IMMS. The protocol, named ‘Outwalk’, contains original and innovative solutions oriented at obtaining joint kinematic with calibration procedures extremely comfortable for the patients. The results of a first in-vivo validation of Outwalk on healthy subjects are then provided. In particular, this study was carried out by comparing Outwalk used in combination with an IMMS with respect to a reference protocol and an optoelectronic system. In order to set a more accurate and precise comparison of the systems and the protocols, ad hoc methods were designed and an original formulation of the statistical parameter coefficient of multiple correlation was developed and effectively applied. On the basis of the experimental design proposed for the validation on healthy subjects, a first assessment of Outwalk, together with an IMMS, was also carried out on CP children. The third section of this thesis is dedicated to the treatment of walking in CP children. Commonly prescribed treatments in addressing gait abnormalities in CP children include physical therapy, surgery (orthopedic and rhizotomy), and orthoses. The orthotic approach is conservative, being reversible, and widespread in many therapeutic regimes. Orthoses are used to improve the gait of children with CP, by preventing deformities, controlling joint position, and offering an effective lever for the ankle joint. Orthoses are prescribed for the additional aims of increasing walking speed, improving stability, preventing stumbling, and decreasing muscular fatigue. The ankle-foot orthosis (AFO), with a rigid ankle, are primarily designed to prevent equinus and other foot deformities with a positive effect also on more proximal joints. However, AFOs prevent the natural excursion of the tibio-tarsic joint during the second rocker, hence hampering the natural leaning progression of the whole body under the effect of the inertia (6). A new modular (submalleolar) astragalus-calcanear orthosis, named OMAC, has recently been proposed with the intention of substituting the prescription of AFOs in those CP children exhibiting a flat and valgus-pronated foot. The aim of this section is thus to present the mechanical and technical features of the OMAC by means of an accurate description of the device. In particular, the integral document of the deposited Italian patent, is provided. A preliminary validation of OMAC with respect to AFO is also reported as resulted from an experimental campaign on diplegic CP children, during a three month period, aimed at quantitatively assessing the benefit provided by the two orthoses on walking and at qualitatively evaluating the changes in the quality of life and motor abilities. As already stated, CP is universally considered as a persistent but not unchangeable disorder of posture and movement. Conversely to this definition, some clinicians (4) have recently pointed out that movement disorders may be primarily caused by the presence of perceptive disorders, where perception is not merely the acquisition of sensory information, but an active process aimed at guiding the execution of movements through the integration of sensory information properly representing the state of one’s body and of the environment. Children with perceptive impairments show an overall fear of moving and the onset of strongly unnatural walking schemes directly caused by the presence of perceptive system disorders. The fourth section of the thesis thus deals with accurately defining the perceptive impairment exhibited by diplegic CP children. A detailed description of the clinical signs revealing the presence of the perceptive impairment, and a classification scheme of the clinical aspects of perceptual disorders is provided. In the end, a functional reaching test is proposed as an instrumental test able to disclosure the perceptive impairment. References 1. Prevalence and characteristics of children with cerebral palsy in Europe. Dev Med Child Neurol. 2002 Set;44(9):633-640. 2. Bax M, Goldstein M, Rosenbaum P, Leviton A, Paneth N, Dan B, et al. Proposed definition and classification of cerebral palsy, April 2005. Dev Med Child Neurol. 2005 Ago;47(8):571-576. 3. Ingram TT. A study of cerebral palsy in the childhood population of Edinburgh. Arch. Dis. Child. 1955 Apr;30(150):85-98. 4. Ferrari A, Cioni G. The spastic forms of cerebral palsy : a guide to the assessment of adaptive functions. Milan: Springer; 2009. 5. Olney SJ, Wright MJ. Cerebral Palsy. Campbell S et al. Physical Therapy for Children. 2nd Ed. Philadelphia: Saunders. 2000;:533-570. 6. Desloovere K, Molenaers G, Van Gestel L, Huenaerts C, Van Campenhout A, Callewaert B, et al. How can push-off be preserved during use of an ankle foot orthosis in children with hemiplegia? A prospective controlled study. Gait Posture. 2006 Ott;24(2):142-151.