2 resultados para Formal languages.

em Repositório Institucional da Universidade de Aveiro - Portugal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As alterações no panorama social português que ocorreram no virar do milénio, marcadas pela chegada massiva de imigrantes provenientes de países que não tinham laços históricos e linguísticos com Portugal – com destaque para as comunidades do Leste europeu –, vieram colocar novos desafios à sociedade e à escola portuguesas. Com o propósito de caracterizar o perfil de apropriação da Língua Portuguesa (LP) de aprendentes adultos eslavófonos residentes em Portugal, foram recolhidos 87 questionários e testes linguísticos junto de adultos falantes de línguas eslavas que frequentavam cursos de LP em contexto formal/ não formal. Complementarmente, foram realizadas 17 entrevistas a aprendentes e professores. A análise de dados, de carácter quantitativo e qualitativo, centrou-se em três eixos fundamentais: a) o perfil de apropriação da LP; b) a gestão dos repertórios linguísticos; e c) as dificuldades manifestadas na apropriação, compreensão e uso do sistema temporal-aspetual em LP. Para cada um destes eixos, salientamos as seguintes conclusões: a) o contexto formal/ não formal é aquele que é considerado o mais eficaz; a apropriação da LP decorre ainda em contexto de autoaprendizagem e em contexto informal. A expressão oral afigura-se como uma competência de intervenção prioritária para este público. b) os repertórios linguísticos dos informantes deste estudo são limitados em número e diversidade de línguas, estando quase circunscritos às línguas eslavas, com amplo destaque para o Russo. A influência das Línguas Maternas na apropriação da LP é percecionada, de uma forma geral, como negativa, e é reduzida a adoção de estratégias de rentabilização interlinguística. c) as principais dificuldades no que se refere ao Tempo e Aspeto prendem- -se com o modo conjuntivo, os tempos compostos, os valores secundários de alguns tempos verbais, o pretérito perfeito composto do indicativo, a distinção entre o pretérito perfeito simples e o pretérito imperfeito do indicativo e a distinção entre os verbos ‘ser’ e ‘estar’. De uma forma global, apontam-se como pistas de intervenção a criação de cursos de LP de nível mais avançado, uma maior rentabilização do capital linguístico presente em sala de aula e a frequência, por parte dos docentes, de formação em línguas eslavas. A nível de recursos didáticos, sugere-se a elaboração de materiais bilingues para autoaprendizagem e de materiais de apoio ao professor. Seria igualmente útil a promoção de mais oportunidades de interação entre imigrantes e nativos.