Model-based systems engineering: a system for traffic & environment

The contemporary world is crowded of large, interdisciplinary, complex systems made of other systems, personnel, hardware, software, information, processes, and facilities. The Systems Engineering (SE) field proposes an integrated holistic approach to tackle these socio-technical systems that is crucial to take proper account of their multifaceted nature and numerous interrelationships, providing the means to enable their successful realization. Model-Based Systems Engineering (MBSE) is an emerging paradigm in the SE field and can be described as the formalized application of modelling principles, methods, languages, and tools to the entire lifecycle of those systems, enhancing communications and knowledge capture, shared understanding, improved design precision and integrity, better development traceability, and reduced development risks. This thesis is devoted to the application of the novel MBSE paradigm to the Urban Traffic & Environment domain. The proposed system, the GUILTE (Guiding Urban Intelligent Traffic & Environment), deals with a present-day real challenging problem “at the agenda” of world leaders, national governors, local authorities, research agencies, academia, and general public. The main purposes of the system are to provide an integrated development framework for the municipalities, and to support the (short-time and real-time) operations of the urban traffic through Intelligent Transportation Systems, highlighting two fundamental aspects: the evaluation of the related environmental impacts (in particular, the air pollution and the noise), and the dissemination of information to the citizens, endorsing their involvement and participation. These objectives are related with the high-level complex challenge of developing sustainable urban transportation networks. The development process of the GUILTE system is supported by a new methodology, the LITHE (Agile Systems Modelling Engineering), which aims to lightening the complexity and burdensome of the existing methodologies by emphasizing agile principles such as continuous communication, feedback, stakeholders involvement, short iterations and rapid response. These principles are accomplished through a universal and intuitive SE process, the SIMILAR process model (which was redefined at the light of the modern international standards), a lean MBSE method, and a coherent System Model developed through the benchmark graphical modeling languages SysML and OPDs/OPL. The main contributions of the work are, in their essence, models and can be settled as: a revised process model for the SE field, an agile methodology for MBSE development environments, a graphical tool to support the proposed methodology, and a System Model for the GUILTE system. The comprehensive literature reviews provided for the main scientific field of this research (SE/MBSE) and for the application domain (Traffic & Environment) can also be seen as a relevant contribution.

Lagrangian transport of particles in Ria de Aveiro lagoon, Portugal

A two-dimensional vertically integrated hydrodynamic model coupled to a particle tracking model is applied to study the dispersion processes and residence time in Ria de Aveiro lagoon (Portugal). The only dispersion process that is considered in this study is the advection, according to the main characteristics of the local hydrodynamic. The particle tracking model computes the particles position at each time step, using a fourth-order Runge-Kutta integration method. The dispersion of passive particles released along the lagoon and in critical areas are studied in this work. The residence time is also determined for the entire lagoon. The results show that the mixture between particles coming from different channels of the lagoon is negligible in a time scale higher than 2 tidal cycles. The residence time for the lagoon central area is about 2 days, revealing a strong marine influence in this area. At the upper reaches of the channels were found values higher than 2 weeks.

A escrita colaborativa a distância em inglês língua estrangeira

O presente estudo investigou a temática da escrita colaborativa a distância, no Ensino Superior, em Inglês Língua Estrangeira. A escrita foi estudada de uma perspectiva processual, valorizando, portanto, o caminho que os alunos percorrem até ao produto final. O ambiente colaborativo reforçou este processo, na medida em que proporcionou, aos alunos, um espaço de discussão e melhoramento das diversas versões do texto. Por outro lado, a componente de ensino a distância de blended learning contribuiu, também, para um processo mais interactivo, mais colaborativo e, ao mesmo tempo, mais distanciado, o que beneficiaria o desenvolvimento da competência de escrita dos alunos e, simultaneamente, dos próprios alunos enquanto indivíduos. A investigação procurou averiguar diversos aspectos relacionados com o tipo de ensino já referido: aspectos evolutivos do processo de escrita na colaboração a distância – nomeadamente, as alterações efectuadas aos textos e seu impacto –; estratégias postas em prática pelos participantes em trabalho de escrita colaborativa a distância em Inglês Língua Estrangeira (ILE); formas de colaboração presentes no trabalho e a influência do ensino a distância no trabalho de escrita colaborativa. Para atingir as metas enumeradas, foi seleccionada uma turma de Língua e Cultura Inglesa II, 2º ano, da licenciatura em Ensino de Português/Inglês, da Universidade de Aveiro, que levou a cabo as diversas tarefas de escrita processual colaborativa, tarefas essas determinadas e realizadas através do webCT da Universidade de Aveiro (com uma página adaptada especialmente para a turma em questão). Todo o trabalho realizado pelos alunos foi ali registado para posterior análise. Tornou-se claro, ao longo da análise dos dados, que o ambiente a distância criou várias dificuldades aos alunos, implicando a criação de estratégias para as resolver. Por outro lado, a colaboração dentro dos grupos revelou-se um evidente benefício quer em termos de tarefas, quer em termos do desenvolvimento, motivação e envolvimento pessoais dos alunos. Também a abordagem processual à escrita trouxe resultados díspares: um dos grupos escrevia habitualmente segundo este modelo, não notando diferenças significativas, enquanto que o outro grupo valorizou o processo como um benefício para a escrita, sobretudo pelas fases de revisão que incluía. Pretendeu-se, com a análise referida e sumariada, conseguir não só investigar a escrita colaborativa a distância mas, também, identificar estratégias válidas para o ensino desta competência, estratégias essas que possam ajudar ao desenvolvimento de um ensino de escrita com mais sucesso e melhores resultados, sobretudo do ponto de vista dos alunos. É urgente um aprofundamento desta área ainda pouco desenvolvida, uma vez que as práticas de escrita se afastam cada vez mais da realidade actual, uma realidade construída em conjunto, por indivíduos que trabalham em ambientes virtuais e reais, sendo, portanto, relevante integrar os alunos nestes contextos, para melhor os preparar para o mundo de hoje. ABSTRACT: The study presented here has investigated collaborative writing at a distance in English as a Foreign Language (EFL), with University students. Students were encouraged to write according to a process model, which valued the stages of writing rather than the final product resulting from it. The collaborative environment strengthened the process, in the sense that it gave students room for discussion and improvement of the different versions of the text. On the other hand, distance learning contributed to a more collaborative and interactive process and, at the same time, more distanced, which benefited the development of the students’ writing skills and of the students as individuals. The investigation aimed to study several aspects of collaborative writing at a distance: the evolution of the writing process in distance collaboration, strategies used by the participants when writing collaboratively at a distance, initial writing competences of the participants and eventual advantages of distance learning for the collaborative revision phase of the writing process. In order to accomplish the proposed goals, we selected a class from those in the second year taking English Language and Culture II, of the English/ Portuguese Teaching “Licenciatura” degree at the University of Aveiro, and a web page was created for them. This page registered all the work done by the students along the project, establishing the data for future analysis. From this class, two groups were selected as case studies, in order to carry out a deeper and more comprehensive study of the process. We intended not only to investigate collaborative writing at a distance but also to identify valid strategies for the teaching of writing. Such strategies might aid the development of a more successful teaching of this competence, with better and more lasting results in students. Further research in this poorly developed area is urgent, as the practices of writing get further apart from the current reality. Nowadays, it is becoming growingly common to work both in real and virtual environments. It is thus relevant to integrate students in both, in order to prepare them for today’s world – our mission as teachers and educators.

Development of a sustainable method for the extraction of lycopene and β-carotene from food wastes

The main objective of the present work is the study of a profitable process not only in the extraction and selective separation of lycopene and β-carotene, two compounds present in tomato, but also in its potential application to food industry wastes. This is one of the industries that produce larger amounts of wastes, which are rich in high value biomolecules with great economic interest. However, the conventional methods used to extract this kind of compounds are expensive which limits their application at large scale. Lycopene and βcarotene are carotenoids with high commercial value, known for their antioxidant activity and benefits to human health. Their biggest source is tomato, one of the world’s most consumed fruits, reason for which large quantities of waste is produced. This work focuses on the study of diverse solvents with a high potential to extract carotenoids from tomato, as well as the search for more environmentally benign solvents than those currently used to extract lycopene and β-carotene from biomass. Additionally, special attention was paid to the creation of a continuous process that would allow the fractionation of the compounds for further purification. Thus, the present work started with the extraction of both carotenoids using a wide range of solvents, namely, organic solvents, conventional salts, ionic liquids, polymers and surfactants. In this stage, each solvent was evaluated in what regards their capacity of extraction as well as their penetration ability in biomass. The results collected showed that an adequate selection of the solvents may lead to the complete extraction of both carotenoids in one single step, particularly acetone and tetrahydrofuran were the most effective ones. However, the general low penetration capacity of salts, ionic liquids, polymers and surfactants makes these solvents ineffective in the solid-liquid extraction process. As the organic solvents showed the highest capacity to extract lycopene and βcarotene, in particular tetrahydrofuran and acetone, the latter solvent used in the development process of fractionation, using to this by strategic use of solvents. This step was only successfully developed through the manipulation of the solubility of each compound in ethanol and n-hexane. The results confirmed the possibility of fractionating the target compounds using the correct addition order of the solvents. Approximately, 39 % of the β-carotene was dissolved in ethanol and about 64 % of lycopene was dissolved in n-hexane, thus indicating their separation for two different solvents which shows the selective character of the developed process without any prior stage optimization. This study revealed that the use of organic solvents leads to selective extraction of lycopene and β-carotene, allowing diminishing the numerous stages involved in conventional methods. At the end, it was possible to idealize a sustainable and of high industrial relevance integrated process, nevertheless existing the need for additional optimization studies in the future.

Synchronisation in high-performance integrated circuits

A distribui ção de um sinal relógio, com elevada precisão espacial (baixo skew) e temporal (baixo jitter ), em sistemas sí ncronos de alta velocidade tem-se revelado uma tarefa cada vez mais demorada e complexa devido ao escalonamento da tecnologia. Com a diminuição das dimensões dos dispositivos e a integração crescente de mais funcionalidades nos Circuitos Integrados (CIs), a precisão associada as transições do sinal de relógio tem sido cada vez mais afectada por varia ções de processo, tensão e temperatura. Esta tese aborda o problema da incerteza de rel ogio em CIs de alta velocidade, com o objetivo de determinar os limites do paradigma de desenho sí ncrono. Na prossecu ção deste objectivo principal, esta tese propõe quatro novos modelos de incerteza com âmbitos de aplicação diferentes. O primeiro modelo permite estimar a incerteza introduzida por um inversor est atico CMOS, com base em parâmetros simples e su cientemente gen éricos para que possa ser usado na previsão das limitações temporais de circuitos mais complexos, mesmo na fase inicial do projeto. O segundo modelo, permite estimar a incerteza em repetidores com liga ções RC e assim otimizar o dimensionamento da rede de distribui ção de relógio, com baixo esfor ço computacional. O terceiro modelo permite estimar a acumula ção de incerteza em cascatas de repetidores. Uma vez que este modelo tem em considera ção a correla ção entre fontes de ruí do, e especialmente util para promover t ecnicas de distribui ção de rel ogio e de alimentação que possam minimizar a acumulação de incerteza. O quarto modelo permite estimar a incerteza temporal em sistemas com m ultiplos dom ínios de sincronismo. Este modelo pode ser facilmente incorporado numa ferramenta autom atica para determinar a melhor topologia para uma determinada aplicação ou para avaliar a tolerância do sistema ao ru ído de alimentação. Finalmente, usando os modelos propostos, são discutidas as tendências da precisão de rel ogio. Conclui-se que os limites da precisão do rel ogio são, em ultima an alise, impostos por fontes de varia ção dinâmica que se preveem crescentes na actual l ogica de escalonamento dos dispositivos. Assim sendo, esta tese defende a procura de solu ções em outros ní veis de abstração, que não apenas o ní vel f sico, que possam contribuir para o aumento de desempenho dos CIs e que tenham um menor impacto nos pressupostos do paradigma de desenho sí ncrono.