956 resultados para Definição conceitual formal
Resumo:
Dissertação de mestrado, Engenharia Biológica, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015
Resumo:
Trabalho de projeto de mestrado, Ciências da Educação (Formação de Adultos), Universidade de Lisboa, Instituto de Educação, 2013
A definição de mercados relevantes no direito europeu e português da concorrência : teoria e prática
Resumo:
Tese de doutoramento, Direito (Ciências Jurídico-Económicas), Universidade de Lisboa, Faculdade de Direito, 2014
Resumo:
Tese de doutoramento, Sociologia (Sociologia do Ambiente e Território), Universidade de Lisboa, Instituto de Ciências Sociais, 2014
Resumo:
Tese de doutoramento, Belas-Artes (Desenho), Universidade de Lisboa, Faculdade de Belas-Artes, 2016
Resumo:
Managerial discretion is the focal theme bridging the clash between two schools of thoughts; whether executives have greater influence on their firms’ outcomes or other factors restrain their actions (Hambrick & Finkelstein, 1987). It is argued that constraints come from inertial, normative and environmental forces (e.g. DiMaggio & Powell, 1983). Of these restraints is the institutional environment in which a firm is headquartered. Our paper falls within this research stream and provides an extension for Crossland and Hambrick (2007, 2011) work. We investigate the national level of discretion in new cross-cultural contexts, provide deeper understanding of its concept, and shed the light on undiscovered discretion’s antecedents and consequences. We adopt a quantitative approach in which questionnaires represent our data collection instrument. We anticipate that in high discretion countries firms tend to follow what Miles & Snow (1978) labeled ‘Prospector’ strategy as opposed to low discretion countries in which firms incline to implement a ‘Defender’ strategy.
Resumo:
Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.
Resumo:
Existing Workflow Management Systems (WFMSs) follow a pragmatic approach. They often use a proprietary modelling language with an intuitive graphical layout. However the underlying semantics lack a formal foundation. As a consequence, analysis issues, such as proving correctness i.e. soundness and completeness, and reliable execution are not supported at design level. This project will be using an applied ontology approach by formally defining key terms such as process, sub-process, action/task based on formal temporal theory. Current business process modelling (BPM) standards such as Business Process Modelling Notation (BPMN) and Unified Modelling Language (UML) Activity Diagram (AD) model their constructs with no logical basis. This investigation will contribute to the research and industry by providing a framework that will provide grounding for BPM to reason and represent a correct business process (BP). This is missing in the current BPM domain, and may result in reduction of the design costs and avert the burden of redundant terms used by the current standards. A graphical tool will be introduced which will implement the formal ontology defined in the framework. This new tool can be used both as a modelling tool and at the same time will serve the purpose of validating the model. This research will also fill the existing gap by providing a unified graphical representation to represent a BP in a logically consistent manner for the mainstream modelling standards in the fields of business and IT. A case study will be conducted to analyse a catalogue of existing ‘patient pathways’ i.e. processes, of King’s College Hospital NHS Trust including current performance statistics. Following the application of the framework, a mapping will be conducted, and new performance statistics will be collected. A cost/benefits analysis report will be produced comparing the results of the two approaches.
Resumo:
A integração dos vários SsG que a organização pretenda implementar, contribui para a simplificação ao nível da sua gestão e aumento da eficácia. No entanto, a integração de múltiplos SsG pode acarretar alguma complexidade, quer na fase da implementação propriamente dita, quer ao nível da sua posterior gestão, caso o processo não seja conduzido de forma rigorosa. Considerando a escassez de diretivas orientadoras para a integração de SsG e a dificuldade de integração no momento da sua implementação, a presente dissertação propõe um modelo de integração dos SsGQAS, aplicado ao setor da cerâmica. Os referenciais normativos utilizados para o desenvolvimento do estudo foram: a NP EN ISO 9001: 2008, a NP EN ISO 14001: 2012, a BS OHSAS 18001: 2007/NP 4397:2008 e a UNE 66177:2005, com base nos quais se definiu um modelo de integração para os SsGQAS.Numa primeira fase procedeu-se à análise da perceção dos colaboradores da organização face às vantagens, desvantagens, motivações e dificuldades da implementação do SIGQAS, efetuada através de inquérito por questionário. Desta análise conclui-se que são percetíveis para os colaboradores da Aleluia Cerâmicas S.A., as vantagens / melhorias para a organização decorrentes da integração dos SsG. Por fim, procedeu-se à definição do modelo de integração dos SsGQAS. O modelo baseou-se na metodologia proposta pela UNE 66177, que contempla orientações para o desenvolvimento, implementação e avaliação do processo de integração dos SsGQAS. Esta dissertação tem como objetivo auxiliar as organizações a gerir de forma eficaz as diretrizes dos diferentes referenciais normativos e a obterem benefícios resultantes da sua integração, alcançando maior eficácia na sua gestão e aumento de rentabilidade.
Resumo:
A utilização de equipamentos de climatização é cada vez mais frequente, e surgem novas tecnologias para aumentar a eficiência do processo, e neste caso, a opção da instalação de um sistema de Unidade de Tratamento de Ar com Economizador é a fundamental temática deste trabalho de dissertação. O “Free-Cooling” baseia-se na utilização total ou parcial do ar exterior para proceder à climatização de um espaço, quando se verificam as condições ótimas para o processo, e quando o sistema apresenta um controlador que permita gerir a abertura dos registos face à temperatura exterior e interior medida. A análise das condições exteriores e interiores é fundamental para dimensionar um Economizador. É necessário determinar o tipo de clima do local para fazer a seleção do tipo de controlo do processo, e recolher também, o perfil de temperaturas exterior para justificar a utilização de “Free-Cooling” no local. A determinação das condições interiores como a quantificação da utilização da iluminação, ocupação e equipamentos, é necessária para determinar a potência das baterias de arrefecimento ou aquecimento, e no caso de ser utilizado “Free-Cooling”, determinar o caudal de ar exterior a insuflar. O balanço térmico das instalações explicita todas as cargas influentes no edifício, e permite quantificar a potência necessária para climatização. Depois, adicionando o Economizador no sistema e comparando os dois sistemas, verifica-se a redução dos custos de utilização da bateria de arrefecimento. O desenvolvimento de um algoritmo de controlo é fundamental para garantir a eficiência do Economizador, onde o controlo dos registos de admissão e retorno de ar é obrigatoriamente relacionado com a leitura dos sensores de temperatura exterior e interior. A quantidade de ar novo insuflado no espaço depende, por fim, da relação entre a carga sensível do local e a diferença de temperatura lida entre os dois sensores.
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil
Resumo:
Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1º e 2º Ciclo do Ensino Básico
Resumo:
Existe uma vasta literatura que defende a utilização do ensaio com o cone Penetrómetro ou fall cone como sendo uma alternativa razoável relativamente ao método mais tradicional na determinação do limite de liquidez, a concha de Casagrande. Com este trabalho pretende-se dar mais um contributo à temática da obtenção dos parâmetros de plasticidade dos solos, utilizando diferentes dispositivos e metodologias distintas. Para tal, selecionou-se um solo de caráter argiloso, proveniente de um barreiro da zona de Chaves, e estabeleceram-se comparações entre os valores dos limites de consistência, obtidos pela concha de Casagrande e pelo fall cone. Nesse âmbito, foi elaborada, inicialmente, uma caracterização deste tipo de solos, a definição de conceitos importantes como o de limite de liquidez, limite de plasticidade e índice de plasticidade, assim como uma descrição do funcionamento daqueles dispositivos e das variáveis associadas a cada um deles. Procedeu-se à classificação do solo, segundo três sistemas, através de ensaios de identificação e caracterização, com o objetivo de inferir acerca da composição e comportamento do mesmo. Foi também objetivo deste trabalho, estudar a potencial influência do operador, nos resultados obtidos em ambos os dispositivos. Desta forma, foi possível concluir acerca das vantagens e desvantagens de cada aparelho e definir perspetivas para trabalhos futuros.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de mestre em Engenharia Civil - Reabilitação de Edifícios
Resumo:
Trabalho de Projecto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Artes Performativas (Escritas de Cena)