An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

Final report detailed description - NET Station: shaping radio for web environment

In more scientific terms, NET Station contributed to: - discuss in theoretical terms the role radio still play in contemporary societies; - examine how audiences are using sound resources on the Web; - draw up a new theoretical framework for the study of the reconfiguration of radio language on the Internet;acknowledge that people are not abandoning radio as a medium; the survey applied by the team demonstrated that there is a complementariness between traditional radio and radio on the Internet; - understand that people expect more interactivity, more opportunities to participate in content production and more diversity of contents. These results were shared with editors responsible for Portuguese radio and might influence the offer made available by these radio corporations from now on; - demonstrate that the Internet is underexplored in terms of sound and acoustic communication; - promote the production of new sound narratives to be available on the Internet;

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

A teoria ideal da justiça num mundo não ideal

Dissertação de mestrado em Filosofia (área de especialização em Filosofia Política)

Communications with QoS in IoT&Cloud environment

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Desarrollo sustentable de Productos y Servicios de Camélidos orientados al mercado en la región andina (DECAM). Sustainable Development Products and Services Marketed oriented in Andean Region

Este proyecto cuenta con el financiamiento del sistema INCO de la Unión Europea e incluye 5 contrapartes europeas, y Bolivia y Perú como contrapartes americanos. Consta de cuatro paquetes: producto, mercado, difusión y coordinación. En el primer paquete se desarrollan fundamentalmente los aspectos relacionados con la carne fresca y los productos cárnicos tanto tradicionales como nuevos a desarrollar. Se realizan faenas protocolizadas y espontáneas comparando animales con distintos tratamientos nutricionales de edades entre 19-21 meses. Se realizan análisis de calidad de carne y paneles de degustación. Los productos tradicionales como el charqui se evalúan en su forma tradicional y se implementan sistemas mejorados como desecadores solares. Los chacinados no son tradicionales en el altiplano por eso se realizan en La Pampa con la idea de transferir la tecnología desarrollada. La evaluación de calidad de la carne incluye técnicas de evaluación del animal en pié como la conservación morfológica y la ecografía para predecir calidad de res en el animal vivo. Estas observaciones se corroboran a la faena donde se realiza toda la batería de evaluaciones de calidad de la res.

Motilidad Orientada de Células Neurales: La comunicación celular a distancia. Oriented neural cell motility: Cell comunication at a distance.

La motilidad celular orientada (o mecanismo quimiotáctico de orientación), es una respuesta celular a señales moleculares de su micro-ambiente necesaria para modular la distribución celular en sitios específicos y con elevada precisión. Nuestra hipótesis establece que la migración orientada de células neurales es regulada por gradientes de concentración de moléculas solubles liberadas por sus regiones "blanco". Este proyecto es continuación del estudio de la quimiotaxis de células de cresta neural (CCN) y de neuronas ventriculares (NV) inducida respectivamente por factores difusibles de la región del futuro ganglio ciliar y del bulbo olfatorio.En el sistema de CCN, hemos caracterizado como moléculas quimiotácticas a la quimioquina Stromal Cell-Derived Factor-1, y los factores tróficos Stem Cell Factor y Neurotrophic Factor-3, habiendo determinado la expresión de sus respectivos receptores CXCR4, TrkC y p75 en la población de CCN mesencefálicas de ambrión de pollo. Actualmente, estamos desarrollando experimentos con el Ciliary Neurotrophic Factor y factores de la familia Bone Morphogenetic Proteins. Además de la estrategia experimental in vitro, hemos determinado en el embrión entero la expresión de las moléculas quimioatractantes mediante hibridación in situ del ARNm y la presencia de las respectivas proteínas mediante inmunocitoquímica. En el sistema de NV, estamos analizando la motilidad celular en relación con moléculas liberadas por el bulbo olfatorio. En los dos sistemas biológicos, estamos analizando elementos de la transducción de señales y cambios en el citoesqueleto, en ambos casos asociados con la respuesta temprana en la orientación quimiotáctica de la célula. Asimismo, en ambos sistemas biológicos, evaluamos los efectos del etanol sobre la migración y distribución celular, en condiciones equivalentes a las que inducen el Sindrome Fetal Alcohólico en mamíferos.En base a resultados ya obtenidos en experimentos in vitro, en la presente etapa intentaremos su caracterización in vivo mediante el bloqueo funcional de las moléculas quimiotácticas (y/o sus receptores) sobre embriones enteros, mediante silenciamiento con ARNsi (o morfolinos específicos) mediante electroporación, y posterior determinación de la distribución celular mediante marcadores específicos anti-CCN (o lipofílicos de tipo DiI).Los resultados permitirán mejorar el conocimiento del mecanismo de la migración celular orientada y aportar al diseño de recursos diagnósticos, terapéuticos o de control de anomalías embrionarias o patologías tumorales por mala distribución celular como las Neurocristopatías, o inducidas por tóxicos exógenos como el Sindrome Fetal Alcohólico.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

A comparison of environmental licensing systems in operation in the wood panel manufacturing industry in the Northern Hemisphere

The objective of this thesis is to compare and contrast environmental licensing systems, for the wood panel industry, in a number of countries in order to determine which system is the best from an environmental and economic point of view. The thesis also examines the impact which government can have on industry and the type of licensing system in operation in a country. Initially, the thesis investigates the origins of the various environmental licensing systems which are in operation in Ireland, Scotland, Wales, France, USA and Canada. It then examines the Environmental Agencies which control and supervise industry in these countries. The impact which the type of government (i.e. unitary or federal) in charge in any particular country has on industry and the Regulatory Agency in that country is then described. Most of the mills in the thesis make a product called OSB (Oriented Strand Board) and the manufacturing process is briefly described in order to understand where the various emissions are generated. The main body of the thesis examines a number of environmental parameters which have emission limit values in the licenses examined, although not all of these parameters have emission limit values in all of the licenses. All of these parameters are used as indicators of the potential impact which the mill can have on the environment. They have been set at specific levels by the Environmental Agencies in the individual countries to control the impact of the mill. Following on from this, the two main types of air pollution control equipment (WESPs and RTOs) are described in regard to their function and capabilities. The mill licenses are then presented in the form of results tables which compare air results and water results separately. This is due to the fact that the most significant emission from this type of industry is to air. A matrix system is used to compare the licenses so that the comparison can be as objective as possible. The discussion examines all of the elements previously described and from this it was concluded that the IPC licensing system is the best from an environmental and economic point of view. It is a much more expensive system to operate than the other systems examined, but it is much more comprehensive and looks at the mill as a whole rather than fragmenting it. It was also seen that the type of environmental licensing system which is in place in a country can play a role in the locating of an industry as certain systems were seen to have more stringent standards attached to them. The type of standard in place in a country is in turn influenced by the type of government which is in place in that country.

An investigation into system security requirements and implementation in an Application Service Provider (ASP) environment

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.

Design, development and testing of a CAD integrated design for environment software tool.

The research described in this thesis was developed as part o f the Information Management for Green Design (IMA GREE) Project. The 1MAGREE Project was founded by Enterprise Ireland under a Strategic Research Grant Scheme as a partnership project between Galway Mayo Institute o f Technology and C1MRU University College Galway. The project aimed to develop a CAD integrated software tool to support environmental information management for design, particularly for the electronics-manufacturing sector in Ireland.