Sample records for logica paraconsistente transformada

  1. CMMI Roadmaps

    DTIC Science & Technology

    2008-11-01

    Attendees of the SPIder Workshop D. Bierhuizen—Medis Medical Imaging Systems L. Braafhart—LogicaCMG Nederland H.J.J. Cannegieter—SYSQA W. den...Dekker—LogicaCMG Nederland L. Delmelk—LogicaCMG België A.J. Donderman—Transfer Solutions G.H.M. Friedhoff—SYSQA L.L. van der Giessen—ABN AMRO M...Mechelen—Compuware Nederland M.P.H.M. Mermans—Philips Medical Systems C. Michielsen—ITIB N. van Mourik—SYSQA E.M. Oostveen—Advanced M.H.M. van

  2. Genetics Reasoning with Multiple External Representations.

    ERIC Educational Resources Information Center

    Tsui, Chi-Yan; Treagust, David F.

    2003-01-01

    Explores a case study of a class of 10th grade students whose learning of genetics involved activities using BioLogica, a computer program that features multiple external representations (MERs). Findings indicate that the MERs in BioLogica contributed to students' development of genetics reasoning by engendering their motivation and interest but…

  3. Model-Based Teaching and Learning with BioLogica[TM]: What Do They Learn? How Do They Learn? How Do We Know?

    ERIC Educational Resources Information Center

    Buckley, Barbara C.; Gobert, Janice D.; Kindfield, Ann C. H.; Horwitz, Paul; Tinker, Robert F.; Gerlits, Bobbi; Wilensky, Uri; Dede, Chris; Willett, John

    2004-01-01

    This paper describes part of a project called Modeling Across the Curriculum which is a large-scale research study in 15 schools across the United States. The specific data presented and discussed here in this paper is based on BioLogica, a hypermodel, interactive environment for learning genetics, which was implemented in multiple classes in…

  4. Cycles of Exploration, Reflection, and Consolidation in Model-Based Learning of Genetics

    NASA Astrophysics Data System (ADS)

    Kim, Beaumie; Pathak, Suneeta A.; Jacobson, Michael J.; Zhang, Baohui; Gobert, Janice D.

    2015-12-01

    Model-based reasoning has been introduced as an authentic way of learning science, and many researchers have developed technological tools for learning with models. This paper describes how a model-based tool, BioLogica™, was used to facilitate genetics learning in secondary 3-level biology in Singapore. The research team co-designed two different pedagogical approaches with teachers, both of which involved learner-centered "exploration and reflection" with BioLogica and teacher-led "telling" or "consolidation." One group went through the stand-alone BioLogica units for all topics prior to a series of teacher-led instructions, whereas the other group was engaged in teacher-led activities after using BioLogica for each topic. Based on the results of a series of tests on genetics, the groups performed differently from what the teacher had expected. We explore how the design of the two approaches and interactions among students might have contributed to the results.

  5. Motivational Aspects of Learning Genetics with Interactive Multimedia

    ERIC Educational Resources Information Center

    Tsui, Chi-Yan; Treagust, David F.

    2004-01-01

    A BioLogica trial in six U.S. schools using interpretive approach is conducted by the Concord Consortium that examined the student motivation of learning genetics. Multiple data sources like online tests, computer data log files and classroom observation are used that found the result in terms of interviewees' perception, class-wide online…

  6. A New Intelligent Tutoring System

    ERIC Educational Resources Information Center

    Ford, Lindsey

    2008-01-01

    Early in 1984, Logica started an ICAI research contract with MoD (Procurement Executive), which was to be undertaken in collaboration with the technical authority at the Royal Signals and Radar Establishment, Malvern. A prototype system, which has become known as TUTOR, was scheduled for delivery to the client later in 1985. Initially, and for…

  7. Facial recognition trial: biometric identification of non-compliant subjects using CCTV

    NASA Astrophysics Data System (ADS)

    Best, Tim

    2007-10-01

    LogicaCMG were provided with an opportunity to deploy a facial recognition system in a realistic scenario. 12 cameras were installed at an international airport covering all entrances to the immigration hall. The evaluation took place over several months with numerous adjustments to both the hardware (i.e. cameras, servers and capture cards) and software. The learning curve has been very steep but a stage has now been reached where both LogicaCMG and the client are confident that, subject to the right environmental conditions (lighting and camera location) an effective system can be defined with a high probability of successful detection of the target individual, with minimal false alarms. To the best of our knowledge, results with a >90% detection rate, of non-compliant subjects 'at range' has not been achieved anywhere else. This puts this location at the forefront of capability in this area. The results achieved demonstrate that, given optimised conditions, it is possible to achieve a long range biometric identification of a non compliant subject, with a high rate of success.

  8. Cycles of Exploration, Reflection, and Consolidation in Model-Based Learning of Genetics

    ERIC Educational Resources Information Center

    Kim, Beaumie; Pathak, Suneeta A.; Jacobson, Michael J.; Zhang, Baohui; Gobert, Janice D.

    2015-01-01

    Model-based reasoning has been introduced as an authentic way of learning science, and many researchers have developed technological tools for learning with models. This paper describes how a model-based tool, "BioLogica"™, was used to facilitate genetics learning in secondary 3-level biology in Singapore. The research team co-designed…

  9. Information Computer Communications Policy, 2: The Usage of International Data Networks in Europe.

    ERIC Educational Resources Information Center

    Organisation for Economic Cooperation and Development, Paris (France).

    This study of the development of international data networks, a phenomena of the 1970's, and policy issues arising from their use is an in depth investigation of 24 private and six public European networks commissioned from Logica Limited and sponsored by the governments of France, Germany, the Netherlands, Norway, Spain, and Sweden. The report…

  10. EMCS Installation Follow-Up Study. Volume 2.

    DTIC Science & Technology

    1984-03-01

    softwaLe is currently being developed by Power;. 4. The system includc;s an equation processor which p~ovi,.’ arithmetic, logicaL, and timing...packages are actually written using the equation processor. 5. The system colorgraphics capability was demonstrated. The system can be operated...extremely important. The AsteroAI drawings were reviewed by the Navy only on a cursory basis. This proved to be inad- equate . 15. The specifications

  11. Patterns in Safety-Related Projects

    NASA Astrophysics Data System (ADS)

    Parsons, Mike; Hunter, Charles

    Within Logica UK, safety-related projects are run in a variety of ways depending on the constraints imposed and how the risks and mitigations are owned and handled. A total of eight different types of project development patterns have been identified and this paper discusses each type. A simple decision tool has been developed based on the patterns which is used as an aid in deciding how to bid a safety project, allowing tradeoffs between risk ownership, development methods and cost to be assessed.

  12. A Security Assistance Example: The U.S. Air Force and the African Coastal Security Program. CLIC Papers

    DTIC Science & Technology

    1989-04-01

    Civic Action in Honduras, 1982-1985 A205 084 CompiLation of LIC References and Bibliography, Vol i A205 086 PsychoLogicaL Strategies In LIC Arms...a military school and on training and maintaining 5 a paracommando battalion, located at Atar . Both projects are intended to make the Mauritanian...impunity for years. The GARIM has practically no capability to move troops in a timely manner from an air base at Atar to several airstrips along its long

  13. Diseño y Operación de un Secador Solar de Madera para Países Tropicales

    Treesearch

    Brian Bond; Omar Espinoza; Philip Araman

    2011-01-01

    La madera es usualmente secada a un contenido de humedad específico antes de ser transformada en productos finales. A pesar de que la madera puede ser secada al aire, la humedad ambiental en la mayoría de las ubicaciones previene a la madera alcanzar el contenido de humedad necesario para su estabilidad dimensional y adecuado procesamiento, especialmente para usos de...

  14. Is the algorithm used to process heart rate variability data clinically relevant? Analysis in male adolescents.

    PubMed

    Soares, Antonio Henrique Germano; Farah, Breno Quintella; Cucato, Gabriel Grizzo; Bastos-Filho, Carmelo José Albanez; Christofaro, Diego Giulliano Destro; Vanderlei, Luiz Carlos Marques; Lima, Aluísio Henrique Rodrigues de Andrade; Ritti-Dias, Raphael Mendes

    2016-01-01

    To analyze whether the algorithm used for the heart rate variability assessment (fast Fourier transform versus autoregressive methods) influenced its association with cardiovascular risk factors in male adolescents. This cross-sectional study included 1,152 male adolescents (aged 14 to 19 years). The low frequency, high frequency components (absolute numbers and normalized units), low frequency/high frequency ratio, and total power of heart rate variability parameters were obtained using the fast Fourier transform and autoregressive methods, while the adolescents were resting in a supine position. All heart rate variability parameters calculated from both methods were different (p<0.05). However, a low effect size (<0.1) was found for all parameters. The intra-class correlation between methods ranged from 0.96 to 0.99, whereas the variation coefficient ranged from 7.4 to 14.8%. Furthermore, waist circumference was negatively associated with high frequency, and positively associated with low frequency and sympatovagal balance (p<0.001 for both fast Fourier transform and autoregressive methods in all associations). Systolic blood pressure was negatively associated with total power and high frequency, whereas it was positively associated with low frequency and sympatovagal balance (p<0.001 for both fast Fourier transform and autoregressive methods in all associations). Body mass index was negatively associated with high frequency, while it was positively associated with low frequency and sympatovagal balance (p values ranged from <0.001 to 0.007). There are significant differences in heart rate variability parameters obtained with the fast Fourier transform and autoregressive methods in male adolescent; however, these differences are not clinically significant. Analisar se o algoritmo usado para avaliação da variabilidade da frequência cardíaca (transformada rápida de Fourier versus autoregressivo) influencia em sua associação com fatores de risco cardiovascular adolescentes do gênero masculino. Estudo transversal, que incluiu 1.152 adolescentes do gênero masculino (14 a 19 anos). Componentes de baixa e alta frequência (absolutos e unidades normalizadas), razão componente de baixa frequência/componente de alta frequência e poder total da variabilidade da frequência cardíaca foram obtidos em repouso, na posição supina, usando os métodos transformada rápida de Fourier e autorregressivo. Todos os parâmetros da variabilidade da frequência cardíaca para ambos os métodos foram diferentes (p<0,05). Entretanto, um pequeno tamanho do efeito (<0,1) foi observado para todos os parâmetros. Os coeficientes de correlação intraclasse entre os métodos variaram de 0,96 a 0,99, enquanto os coeficientes de variação foram de 7,4 a 14,8%. A circunferência abdominal foi negativamente associada com o componente de alta frequência, e positivamente associada com o componente de baixa frequência e o balanço simpatovagal (p<0,001 para a transformada rápida de Fourier e o autorregressivo em todas as associações). A pressão arterial sistólica foi negativamente associada com o poder total e o componente de alta frequência, enquanto foi positivamente associada com o componente de baixa frequência e o balanço simpatovagal (p<0,001 para a transformada rápida de Fourier e o autorregressivo em todas as associações). O índice de massa corporal foi negativamente associado com o componente de alta frequência, enquanto foi positivamente associado com o componente de baixa frequência e o balanço simpatovagal (valores de p variando de <0,001 a 0,007). Houve diferenças significantes nos parâmetros da variabilidade da frequência cardíaca obtidos com os métodos transformada rápida de Fourier e autorregressivo em adolescentes masculinos, mas essas diferenças não foram clinicamente significativas.

  15. Detección automática de NEOs en imágenes CCD utilizando la transformada de Hough

    NASA Astrophysics Data System (ADS)

    Ruétalo, M.; Tancredi, G.

    El interés y la dedicación por los objetos que se acercan a la órbita de la Tierra (NEOs) ha aumentado considerablemente en los últimos años, tanto que se han iniciado varias campañas de búsqueda sistemática para aumentar la población identificada de éstos. El uso de placas fotográficas e identificación visual está siendo sustituído, progresivamente, por el uso de cámaras CCD y paquetes de detección automática de los objetos en las imágenes digitales. Una parte muy importante para la implementación exitosa de un programa automatizado de detección de este tipo es el desarrollo de algoritmos capaces de identificar objetos de baja relación señal-ruido y con requerimientos computacionales no elevados. En el presente trabajo proponemos la utilización de la transformada de Hough (utilizada en algunas áreas de visión artificial) para detectar automáticamente trazas, aproximadamente rectilíneas y de baja relación señal-ruido, en imágenes CCD. Desarrollamos una primera implementación de un algoritmo basado en ésta y lo probamos con una serie de imágenes reales conteniendo trazas con picos de señales de entre ~1 σ y ~3 σ por encima del nivel del ruido de fondo. El algoritmo detecta, sin inconvenientes, la mayoría de los casos y en tiempos razonablemente adecuados.

  16. European Telecommunications Conference. Strategic Planning for the 1990s

    NASA Astrophysics Data System (ADS)

    Blackburn, J. F.

    1990-06-01

    The European Telecommunications Conference Strategic Planning for the 1990s provided information to delegates and their companies on strategic planning for the European market, particularly after the advent of the European Single Market at the end of 1992. The conference objective was to examine the impact of the initiatives of the European Commission (EC) and the changing attitudes to service provision by public and private sector organizations on industry and marketing. Organized by Blenheim Online and Logica, 40 delegates attended this conference, mainly from Europe, but with a few from the U.S. The papers were designed to illuminate such questions as emerging market sectors, impact of U.S telecommunications organizations in Europe, mergers and acquisition, standards, and value-added services.

  17. System Safety in an IT Service Organization

    NASA Astrophysics Data System (ADS)

    Parsons, Mike; Scutt, Simon

    Within Logica UK, over 30 IT service projects are considered safetyrelated. These include operational IT services for airports, railway infrastructure asset management, nationwide radiation monitoring and hospital medical records services. A recent internal audit examined the processes and documents used to manage system safety on these services and made a series of recommendations for improvement. This paper looks at the changes and the challenges to introducing them, especially where the service is provided by multiple units supporting both safety and non-safety related services from multiple locations around the world. The recommendations include improvements to service agreements, improved process definitions, routine safety assessment of changes, enhanced call logging, improved staff competency and training, and increased safety awareness. Progress is reported as of today, together with a road map for implementation of the improvements to the service safety management system. A proposal for service assurance levels (SALs) is discussed as a way forward to cover the wide variety of services and associated safety risks.

  18. Estudio de la estructura logica utilizada en la ensenanza y el aprendizaje de los conceptos sobre el comportamiento de gases en el curso introductorio de quimica a nivel universitario

    NASA Astrophysics Data System (ADS)

    Costa Diaz, Agnes

    El estudio que se presenta es de caracter cualitativo, un estudio multicasos donde se estudia la estructura logica utilizada por cuatro (4) profesores universitarios que ensenan el curso introductorio de quimica, en la planificacion, presentacion y evaluacion del tema sobre el comportamiento de los gases. Se utilizaron varias fuentes de informacion como: cuestionarios de profesores y estudiantes, entrevistas, grabaciones videomagnetofonicas, materiales didacticos y una prueba conceptual, entre otros. La informacion recopilada fue analizada de acuerdo al orden logico del contenido presentado, el estilo de ensenanza del profesor, las tecnicas y estrategias utilizadas para el desarrollo de destrezas de pensamiento, el ambiente fisico en el salon de clase y los instrumentos de evaluacion y avaluo. El estudio demuestra que lo que los profesores piensan y planifican para hacer sus presentaciones no necesariamente es lo que ocurre en el salon de clases. El desarrollo de destrezas de pensamiento, que constituye una prioridad de los profesores, no se elaboran efectivamente. El uso de las estrategias de resolucion de problemas numericos predomino. La participacion del estudiante en el salon de clases fue limitada y no se logro demostrar el desarrollo de las destrezas de pensamiento deseadas. Aunque los profesores tienen su propio estilo de ensenanza, el orden logico del contenido presentado en clase fue el mismo o siguio muy de cerca el orden establecido por el libro de texto. Los profesores utilizaron preferentemente la tiza y la pizarra para sus presentaciones y la dinamica en el salon de clases fue esencialmente tradicional. Los profesores hicieron su presentacion y los estudiantes copiaron pasivamente la informacion. Las evaluaciones de los estudiantes fueron esencialmente, pruebas escritas de seleccion multiple de acuerdo con el estilo en que se les enseno. El avaluo fue casi inexistente. La prueba conceptual administrada revela un aprendizaje pobre en los conceptos mas basicos sobre el comportamiento de los gases. El estudio senala que la ejecutoria del profesor en todos los aspectos de la ensenanza y el aprendizaje es un factor clave que debe darsele prioridad. Se recomienda que el profesor, en general, tenga un conocimiento basico de las teorias de aprendizaje, de los factores que afectan el aprendizaje y las tecnicas y estrategias mas efectivas en el desarrollo de destrezas de pensamiento entre sus estudiantes. La estructura de la disciplina debe incluir tanto lo experimental como lo teorico.

  19. Deductive Coordination of Multiple Geospatial Knowledge Sources

    NASA Astrophysics Data System (ADS)

    Waldinger, R.; Reddy, M.; Culy, C.; Hobbs, J.; Jarvis, P.; Dungan, J. L.

    2002-12-01

    Deductive inference is applied to choreograph the cooperation of multiple knowledge sources to respond to geospatial queries. When no one source can provide an answer, the response may be deduced from pieces of the answer provided by many sources. Examples of sources include (1) The Alexandria Digital Library Gazetteer, a repository that gives the locations for almost six million place names, (2) The Cia World Factbook, an online almanac with basic information about more than 200 countries. (3) The SRI TerraVision 3D Terrain Visualization System, which displays a flight-simulator-like interactive display of geographic data held in a database, (4) The NASA GDACC WebGIS client for searching satellite and other geographic data available through OpenGIS Consortium (OGC) Web Map Servers, and (5) The Northern Arizona University Latitude/Longitude Distance Calculator. Queries are phrased in English and are translated into logical theorems by the Gemini Natural Language Parser. The theorems are proved by SNARK, a first-order-logic theorem prover, in the context of an axiomatic geospatial theory. The theory embodies a representational scheme that takes into account the fact that the same place may have many names, and the same name may refer to many places. SNARK has built-in procedures (RCC8 and the Allen calculus, respectively) for reasoning about spatial and temporal concepts. External knowledge sources may be consulted by SNARK as the proof is in progress, so that most knowledge need not be stored axiomatically. The Open Agent Architecture (OAA) facilitates communication between sources that may be implemented on different machines in different computer languages. An answer to the query, in the form of text or an image, is extracted from the proof. Currently, three-dimensional images are displayed by TerraVision but other displays are possible. The combined system is called Geo-Logica. Some example queries that can be handled by Geo-Logica include: (1) show the petrified forests in Oregon north of Portland, (2) show the lake in Argentina with the highest elevation, and (3) Show the IGPB land cover classification, derived using MODIS, of Montana for July, 2000. Use of a theorem prover allows sources to cooperate even if they adapt different notational conventions and representation schemes and have never been designed to work together. New sources can be added without reprogramming the system, by providing axioms that advertise their capabilities. Future directions include entering into a dialogue with the user to clarify ambiguities, elaborate on previous questions, or provide new information necessary to answer the question. In addition, of particular interest is to deal with temporally varying data, with answers displayed as animated images.

  20. ["adeste omnes Logicae et Mathematicae Musae". Johannes Broscius's Apology of Aristotle and Euclid (1652) and the issue of anti-Ramism at the Academy of Cracow].

    PubMed

    Choptiany, Michał

    2014-01-01

    This article discusses a largely overlooked aspect of the last work by Johannes Broscius (1585 - 1652), his Apologia pro Aristotele et Euclide contra Petrum Ramum et alios of 1652. While the past researchers focused their attention on the evaluation of Broscius's contribution to mathematics, geometry in particular, they ignored the socio-scientific aspect of his work, that is the way Peter Ramus and his followers have been presented and how did the dark legend of Ramus have been thus revived at the Central-European university in the middle of 17th century. I am showing types of rhetorical arguments employed by Broscius and analyse the way he portrayed Ramus and depicted events related to the reception of Ramism at the Academy of Cracow. The article is followed by an appendix which contains a critical edition of excerpts from the manuscript rough draft of Apologia which has been preserved until nowadays (Jagiellonian Library MS. 3205 I). In the apparatus I identify the references and show how Broscius rewrote and rearranged the original paragraphs of his anti-Ramist work.

  1. Understanding genetics: Analysis of secondary students' conceptual status

    NASA Astrophysics Data System (ADS)

    Tsui, Chi-Yan; Treagust, David F.

    2007-02-01

    This article explores the conceptual change of students in Grades 10 and 12 in three Australian senior high schools when the teachers included computer multimedia to a greater or lesser extent in their teaching of a genetics course. The study, underpinned by a multidimensional conceptual-change framework, used an interpretive approach and a case-based design with multiple data collection methods. Over 4-8 weeks, the students learned genetics in classroom lessons that included BioLogica activities, which feature multiple representations. Results of the online tests and interview tasks revealed that most students improved their understanding of genetics as evidenced in the development of genetics reasoning. However, using Thorley's (1990) status analysis categories, a cross-case analysis of the gene conceptions of 9 of the 26 students interviewed indicated that only 4 students' postinstructional conceptions were intelligible-plausible-fruitful. Students' conceptual change was consistent with classroom teaching and learning. Findings suggested that multiple representations supported conceptual understanding of genetics but not in all students. It was also shown that status can be a viable hallmark enabling researchers to identify students' conceptual change that would otherwise be less accessible. Thorley's method for analyzing conceptual status is discussed.

  2. [Recurrent pregnancy loss--evaluation and treatment].

    PubMed

    Bashiri, Asher; Gete, Shaked; Mazor, Moshe; Gete, Maru

    2011-11-01

    Women with recurrent spontaneous pregnancy loss (RPLJ are in a complex scenario, due to the work-up evaLuation that is negative in about 50% of the cases, and the stress associated with the outcome of the next pregnancy. Therefore, these patients experience psychoLogicaL conditions including anxiety and depression. The basic examination includes: parental karyotype, anatomical evaluation of the uterus, hormonal profile (including TSH, prolactin level and glucose) and APLA evaLuation. In recent years, several changes had been reported in the recurrent pregnancy loss definition, the preferred mode of the uterine cavity evaluation and the need for anti-thrombotic treatment in idiopathic RPL. In addition, new concepts in the pathophysiology and the etiology of RPL have been described as well as the extent of the evaluation. It is important to emphasize that those women with RPL in general and those with idiopathic RPL specifically, will experience about a 75% live birth rate in the next pregnancy when they are in a specialized RPL clinic. In this review, we will discuss these issues according to the recent studies incLuding the evaluation and treatment that are implicated in the RPL clinic in the Soroka University Medical Center.

  3. The BGAN extension programme

    NASA Astrophysics Data System (ADS)

    Rivera, Juan J.; Trachtman, Eyal; Richharia, Madhavendra

    2005-11-01

    Mobile satellite telecommunications systems have undergone an enormous evolution in the last decades, with the interest in having advanced telecommunications services available on demand, anywhere and at any time, leading to incredible advances. The demand for braodband data is therefore rapidly gathering pace, but current solutions are finding it increasingly difficult to combine large bandwidth with ubiquitous coverage, reliability and portability. The BGAN (Broadband Global Area Network) system, designed to operate with the Inmarsat-4 satellites, provides breakthrough services that meet all of these requirements. It will enable broadband connection on the move, delivering all the key tools of the modern office. Recognising the great impact that Inmarsat's BGAN system will have on the European satellite communications industry, and the benefits that it will bring to a wide range of European industries, in 2003 ESA initiated the "BGAN Extension" project. Its primary goals are to provide the full range of BGAN services to truly mobile platforms, operating in aeronautical, vehicular and maritime environments, and to introduce a multicast service capability. The project is supported by the ARTES Programme which establishes a collaboration agreement between ESA, Inmarsat and a group of key industrial and academic institutions which includes EMS, Logica, Nera and the University of Surrey (UK).

  4. Portable head computed tomography scanner--technology and applications: experience with 3421 scans.

    PubMed

    Carlson, Andrew P; Yonas, Howard

    2012-10-01

    The use of head computed tomography (CT) is standard in the management of acute brain injury; however, there are inherent risks of transport of critically ill patients. Portable CT can be brought to the patient at any location. We describe the clinical use of a portable head CT scanner (CereTom: NeuroLogica: Danvers, MA) that can be brought to the patient's bedside or to other locations such as the operating room or angiography suite. Between June of 2006 and December of 2009, a total of 3421 portable CTs were performed. A total of 3278 (95.8%) were performed in the neuroscience intensive care unit (ICU) for an average of 2.6 neuroscience ICU CT scans per day. Other locations where CTs were performed included other ICUs (n = 97), the operating room (n = 53), the emergency department (n = 1), and the angiography suite (n = 2). Most studies were non-contrasted head CT, though other modalities including xenon/CT, contrasted CT, and CT angiography were performed. Portable head CT can reliably and consistently be performed at the patient's bedside. This should lead to decreased transportation-related morbidity and improved rapid decision making in the ICU, OR, and other locations. Further studies to confirm this clinical advantage are needed. Copyright © 2011 by the American Society of Neuroimaging.

  5. New technologies for supporting real-time on-board software development

    NASA Astrophysics Data System (ADS)

    Kerridge, D.

    1995-03-01

    The next generation of on-board data management systems will be significantly more complex than current designs, and will be required to perform more complex and demanding tasks in software. Improved hardware technology, in the form of the MA31750 radiation hard processor, is one key component in addressing the needs of future embedded systems. However, to complement these hardware advances, improved support for the design and implementation of real-time data management software is now needed. This will help to control the cost and risk assoicated with developing data management software development as it becomes an increasingly significant element within embedded systems. One particular problem with developing embedded software is managing the non-functional requirements in a systematic way. This paper identifies how Logica has exploited recent developments in hard real-time theory to address this problem through the use of new hard real-time analysis and design methods which can be supported by specialized tools. The first stage in transferring this technology from the research domain to industrial application has already been completed. The MA37150 Hard Real-Time Embedded Software Support Environment (HESSE) is a loosely integrated set of hardware and software tools which directly support the process of hard real-time analysis for software targeting the MA31750 processor. With further development, this HESSE promises to provide embedded system developers with software tools which can reduce the risks associated with developing complex hard real-time software. Supported in this way by more sophisticated software methods and tools, it is foreseen that MA31750 based embedded systems can meet the processing needs for the next generation of on-board data management systems.

  6. [Sleep deprivation and its effect on the ability to maintain wakefulness: implications on functioning and driving].

    PubMed

    Furman, Gabriela Dorfman; Cahan, Clement; Baharav, Armada

    2009-05-01

    During the last century, western society suffers from an increasing steep debt. A large number of accidents occur due to drowsy drivers. People are not aware of the influence of fatigue/drowsiness on their functioning and driving capacity. Our goal is to identify and characterize measurable physioLogicaL information capable of monitoring simple and reliable performance of driver vigilance. Eight healthy volunteers without sleep disorders were included in the study. They participated in two missions, on and off every two hours during 34-36 hours, in order to create an accumulative sleep debt. The tasks included the Maintenance of wakefulness test (MWT) and the driving simulator test. White tested, they remained connected to EEG, EMG, EOG, ECG and audio-video registration. These first results are related to 60 MWT tests. The first falling asleep events (FA) appeared around the early afternoon hours, in agreement to the physiological tendency to fall asleep, according to the biological clock. The night was characterized by FAs with a very short sleep Latency time at around 4 AM. On the second day of the experiment, the averaged sleep latency was larger than in the night before, despite the accumulation of sleep debt. The fluctuations of RRI increased after the first micro sleep. The autonomic nervous regulation displays an increase in the overall sympathetic activity as an indicator of increased stress. There is a correlation between parameters associated with instantaneous autonomic changes of heart rhythm (RRI) and the FA/almost-FA events observed on EEG. These attributes may provide a useful tool for monitoring drowsy drivers and preventing accidents.

  7. Observaciones de fulguraciones en rayos X duros

    NASA Astrophysics Data System (ADS)

    Rovira, M. G.; Mandrini, C. H.

    El objetivo principal de la investigación de las fulguraciones solares es el descubrimiento del proceso responsable de la impredecible, rápida y enorme, liberación de energía que ocurre en ellas. Las evidencias observacionales más claras de esta liberación son la emisión de rayos X y microondas. En particular, la detección de la emisión de rayos X duros (energías entre decenas y centenas de keV) es uno de los elementos de diagnóstico utilizados para comprender los mecanismos de aceleración y transporte de los electrones energéticos que, hoy es aceptado, son los que en su interacción con la atmósfera solar generan los rayos X observados. En 1991 se puso en órbita el Compton Gamma Ray Observatory (CGRO) uno de cuyos instrumentos observa las fulguraciones solares en el rango de energías 15 <= E <= 300 keV con una resolución temporal de 0.064 seg. En este trabajo analizamos, usando la Técnica de la Transformada Discreta en Onditas, algunos de los casos registrados para intentar separar y parametrizar las componentes de distinta escala de tiempo que se superponen durante la fase impulsiva de una fulguración. Discutimos nuestros resultados en términos de las características del mecanismo de liberación de energía.

  8. Análise da medição do raio solar em ultravioleta

    NASA Astrophysics Data System (ADS)

    Saraiva, A. C. V.; Giménez de Castro, C. G.; Costa, J. E. R.; Selhorst, C. L.; Simões, P. J. A.

    2003-08-01

    A medição acurada do raio solar em qualquer banda do espectro eletromagnético é de relevância na formulação e calibração de modelos da estrutura e atmosfera solar. Esses modelos atribuem emissão do contínuo do Sol calmo em microondas à mesma região da linha Ha do Hell. Apresentamos a medição do raio solar em UV com imagens do EIT (Extreme Ultraviolet Image Telescope) entre 1996 e 2002, no comprimento de onda 30,9 nm (Ha do Hell), que se forma na região de transição/cromosfera solar. A técnica utilizada para o cálculo do raio UV foi baseada na transformada Wavelet B3spline. Fizemos um banco de dados com 1 imagem por dia durante o período citado. Obtivemos como resultado o raio médio da ordem de 975.61" e uma diminuição do mesmo para o período citado variando em média -0,45" /ano. Comparamos estes dados com os valores obtidos pelo ROI (Radio Observatório de Itapetinga) em 22/48 GHz e Nobeyama Radio Heliograph em 17 GHz mostrando que os raios médios são muito próximos o que indica que a região de formação nessas freqüências é a mesma conforme os modelos. Comparamos os resultados também com outros índices de atividade solar.

  9. Lapatinib in Combination With Capecitabine Plus Oxaliplatin in Human Epidermal Growth Factor Receptor 2-Positive Advanced or Metastatic Gastric, Esophageal, or Gastroesophageal Adenocarcinoma: TRIO-013/LOGiC--A Randomized Phase III Trial.

    PubMed

    Hecht, J Randolph; Bang, Yung-Jue; Qin, Shukui K; Chung, Hyun C; Xu, Jianming M; Park, Joon O; Jeziorski, Krzysztof; Shparyk, Yaroslav; Hoff, Paulo M; Sobrero, Alberto; Salman, Pamela; Li, Jin; Protsenko, Svetlana A; Wainberg, Zev A; Buyse, Marc; Afenjar, Karen; Houé, Vincent; Garcia, Agathe; Kaneko, Tomomi; Huang, Yingjie; Khan-Wasti, Saba; Santillana, Sergio; Press, Michael F; Slamon, Dennis

    2016-02-10

    To evaluate the efficacy of adding lapatinib to capecitabine and oxaliplatin (CapeOx) in patients with previously untreated human epidermal growth factor receptor 2 (HER2) -amplified advanced gastroesophageal adenocarcinoma. Patients with HER2-positive advanced gastroesophageal adenocarcinoma were randomly assigned at a one-to-one ratio to CapeOx plus lapatinib 1,250 mg or placebo daily. Primary end point was overall survival (OS) in patients with centrally confirmed HER2 amplification in the primary efficacy population. A total of 545 patients were randomly assigned, and 487 patients comprised the primary efficacy population. Median OS in the lapatinib and placebo arms was 12.2 (95% CI, 10.6 to 14.2) and 10.5 months (95% CI, 9.0 to 11.3), respectively, which was not significantly different (hazard ratio, 0.91; 95% CI, 0.73 to 1.12). Median progression-free survival in the lapatinib and placebo arms was 6.0 (95% CI, 5.6 to 7.0) and 5.4 months (95% CI, 4.4 to 5.7), respectively (hazard ratio, 0.82; 95% CI, 0.68 to 1.00; P = .0381). Response rate was significantly higher in the lapatinib arm: 53% (95% CI, 46.4 to 58.8) compared with 39% (95% CI, 32.9 to 45.3) in the placebo arm (P = .0031). Preplanned exploratory subgroup analyses showed OS in the lapatinib arm was prolonged in Asian and younger patients. No correlation was observed between HER2 immunohistochemistry status and survival. There were increased toxicities in the lapatinib arm, particularly diarrhea. Addition of lapatinib to CapeOx did not increase OS in patients with HER2-amplified gastroesophageal adenocarcinoma. There were clear differences in the effect of lapatinib depending on region and age. Future studies could examine this correlation. © 2015 by American Society of Clinical Oncology.

  10. Transferências orbitais dentro do modelo quase bicircular no sistema Terra-Lua-Sol

    NASA Astrophysics Data System (ADS)

    Corrêa, A. A.; de Almeida Prado, A. F. B.; Stuchi, T. J.; Beaugé, C.

    2003-08-01

    O problema quase bicircular planar consiste na determinação da dinâmica de um corpo, de massa desprezível, que se move sob o campo gravitacional de três corpos. No caso estudado, o quarto corpo é considerado um satélite artificial e os demais são a Terra, a Lua e o Sol, formando o sistema de três corpos. Este modelo permite a construção de uma hamiltoniana similar a do problema restrito de três corpos (PRTC), incluindo termos periódicos não autônomos, provenientes da presença do Sol, portanto pode ser entendido como uma perturbação ao PRTC. Suas órbitas periódicas aparecem isoladas e possuem o mesmo período solar. Os pontos de equilíbrio colineares possuem o mesmo caráter de estabilidade linear dos pontos lagrangianos (L1, L2 e L3) do PRTC, sendo do tipo sela x centro x centro, instável na direção x e estáveis nas direções y e z. As órbitas periódicas tridimensionais ao redor do ponto colinear é chamada órbita Halo. O objetivo deste trabalho é determinar órbitas de transferências de baixo consumo de combustível para um veículo espacial partindo de uma órbita de estacionamento ao redor da Terra em direção a uma órbita Halo do ponto L1, situado entre a Terra e Lua. Esta tarefa pode ser transformada no problema de valor de contorno: dado um ponto inicial na órbita de estacionamento, um ponto final na órbita halo e o tempo de transferência, deseja-se obter a trajetória que liga estes dois pontos e que minimize os incrementos de velocidade do veículo. Essas transferências são realizadas baseadas no método de Lambert e analisadas de modo a fornecer um baixo consumo. Posteriormente, é feita uma comparação de consumo com as órbitas de transferência equivalentes do PRTC.

  11. The use of coastal altimetry to support storm surge studies in project eSurge

    NASA Astrophysics Data System (ADS)

    Cipollini, P.; Harwood, P.; Snaith, H.; Vignudelli, S.; West, L.; Zecchetto, S.; Donlon, C.

    2012-04-01

    One of the most promising applications of the new field of coastal altimetry, i.e. the discipline aiming to recover meaningful estimates of geophysical parameters (sea level, significant wave height and wind speed) from satellite altimeter data in the coastal zone, is the study of storm surges. The understanding and realistic modelling of surges supports both preparation and mitigation activities and should eventually bring enormous societal benefits, especially to some of the world's poorest countries (like Bangladesh). Earth Observation data have an important role to play in storm surge monitoring and forecasting, but the full uptake of these data by users (such as environmental agencies and tidal prediction centres) must first be encouraged by showcasing their usefulness, and then supported by providing easy access. Having recognized the above needs, The European Space Agency has recently launched a Data User Element (DUE) project called eSurge. The main purposes of eSurge are a) to contribute to an integrated approach to storm surge, wave, sea-level and flood forecasting through Earth Observation, as part of a wider optimal strategy for building an improved forecast and early warning capability for coastal inundation; and b) to increase the use of the advanced capabilities of ESA and other satellite data for storm surge applications. The project is led by Logica UK, with NOC (UK), DMI (Denmark), CMRC (Ireland) and KNMI (Netherlands) as scientific partners. A very important component of eSurge is the development, validation and provision of dedicated coastal altimetry products, which is the focus of the present contribution. Coastal altimetry has a prominent role to play as it measures the total water level envelope directly, and this is one of the key quantities required by storm surge applications and services. But it can also provide important information on the wave field in the coastal strip, which helps the development of more realistic wave models that in turn can be used to improve the forecast of wave setup and overtopping processes. We will present examples of how altimetry has captured a few significant surge events in European Seas, and we will describe how a multi-mission coastal altimetry processor is going to be integrated in the eSurge system. The delayed-time reprocessed coastal altimetry data will be blended with tide gauge data to extract the main modes of variability in the coastal regions. Then data from the tide gauges can be used to estimate water level in real time, based on the modes of variability found. In a later phase of the project, the eSurge coastal altimetry processor will be extended to be able to ingest Near-Real-time (NRT) raw altimetric waveforms and generate the relevant NRT products, a definite first for coastal altimetry. The pilot regions for this application will be the European Seas (where an area of specific interest is the Northern Adriatic, which is being investigated within a related initiative called eSurge-Venice) and the North Indian Ocean. In summary, we expect eSurge to be one of the first pre-operational applications of coastal altimetry and a proof of the benefits to society that can be brought by this relatively new branch of marine remote sensing.

  12. Espectroscopía de Microondas en Jets Supersónicos

    NASA Astrophysics Data System (ADS)

    Alonso, J. L.; López, J. C.; Lesarri, A.; Blanco, S.; Sanz, M. E.; Mata, S.; Cocinero, J. E.; Sánchez, R.

    Complejos con Enlace de Hidrógeno. El entorno de bajas temperaturas de una expansión supersónica es un excelente laboratorio para estudiar el comportamiento conformacional de los complejos con enlace de hidrógeno. Nuestro grupo ha observado por vez primera enlaces de hidrógeno axial y ecuatorial en los complejos de tetrahidropirano, sulfuro de pentametileno y sulfuro de trimetileno con HCl y HF [1-6] generados en las expansiones adiabáticas en He, Ne o Ar y caracterizados por espectroscopía de microondas con transformadas de Fouier. Existe controversia a la hora de considerar a las interacciones C-H\\cdotsO como enlaces de hidrógeno o como simples interacciones de van der Waals. Las interacciones C-H\\cdotsO han sido estudiadas en el dímero del dimetil eter generado en la expansión supersónica y caracterizado por espectroscopía de microondas [7]. Estas interacciones se han analizado en los complejos formados entre los alcanos sustituidos del trifluorometano y difluorometano con oxirano [8] caracterizándose la existencia de interacciones C-F\\cdotsH-C que contribuyen a la estabilización de estos complejos. Ablación Láser: Estructura de Aminoácidos. Los aminoácidos poseen puntos de fusión elevados (>200oC) y se presentan en fases condensadas como formas dipolares (+H3N-CH(R)-COO-) distintas de las neutras de las cadenas polipéptidas. Con el fin de obtener la estructura de estas formas neutras es necesario experimentar en fase gas, en un entorno libre de interacciones como el de una expansión supersónica. Para solventar el problema de su baja presión de vapor, se ha diseñado un nuevo instrumento que combina la espectroscopía de microondas en jet supersónicos con técnicas de ablación láser [9] que evita los métodos de vaporización por calentamiento que conducen a la descomposición de los aminoácidos. Diversos confórmeros de los aminoácidos naturales de la prolina [10], valina [11], cis- y trans- hidroxiprolina, serina, cisteina, ldots han sido caracterizados hasta el presente. Con este mismo dispositivo experimental de ablación láser ha sido igualmente posible generar clusters metálicos como los de Si3, Se-Te, ldots. entre otros. Moléculas generadas por descargas eléctricas. Utilizando diferentes precursores (1,1-difluoroetileno, trifluoroacetileno, acetileno, ldots) diversos fluoropoliinos [12] y fluorometilpoliinos [13] han sido por primera vez generados y caracterizados por sus espectros de rotación en la expansión adiabática de un instrumento de MBFTMW dotado de un dispositivo de descargas. Solvatación en fase gas. La formación de complejos de biomoléculas con agua en fase gas es de gran importancia para entender la naturaleza de la solvatación a escala microscópica. Los complejos indol\\cdotsH2O [14], glicina\\cdotsH2O (mediante ablación láser) azetidinona\\cdotsH2O, azetidinona\\cdots2H2O, ldots entre otros, han sido analizados en fase gas.

Top