BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Revisão, aplicação e avaliação dos mercados eletrónicos - emarket

Os mercados eletrónicos são sistemas de informação (SI) utilizados por várias entidades organizacionais distintas dentro de um ou vários níveis em termos das cadeias de valor económico (Journal Electronic Markets, 2012). Segundo (Bakos, 1998) têm um papel central na economia, facilitando a troca de informações, produtos, serviços e pagamentos. Durante o processo, é criado valor económico para o comprador, fornecedor, intermediários do mercado e para a sociedade em geral. O comércio eletrónico é o ato de realizar um qualquer tipo de negócio através de uma via eletrónica e é constituído por modelos diversificados onde se destacam o Business to Business (B2B) e o Business to Consumer (B2C). O modelo B2B possui uma quota de 90 % de todo o comércio, sendo esse sucesso intrinsecamente relacionado em grande parte às vantagens que as suas plataformas oferecem às empresas que inseridas nelas (Anacom, 2004). O âmbito principal deste trabalho é o estudo dos B2B, tendo sido para tal definidos os seguintes objetivos: Realizar a identificação do estado atual bem como a evolução dos mercados B2B em Portugal; Caraterização das funcionalidades das plataformas que atuam no tecido nacional e por fim fazer a criação de um conjunto de orientações de apoio a empresas que desejam fazer a inserção nestes mercados. Para serem alcançados os objetivos propostos na dissertação, foram inquiridas várias organizações ao mesmo tempo que foi realizada uma pesquisa de temas e artigos relacionados com os mercados eletrónicos e plataformas B2B, recorrendo a sites como a B-On.pt, e utilizando o motor de busca Google. Este relatório apresenta a seguinte estrutura: No capítulo 1 é apresentada a introdução teórica das matérias apresentadas nos capítulos seguintes; O capítulo 2 é centrado no comércio eletrónico, definições mais comuns e são demonstrados os modelos mais preponderantes do comércio eletrónico; No capítulo 3 são expostas todas as vertentes do modelo B2B, as principais plataformas B2B a atuar no tecido nacional, as suas funcionalidades e modo de operação bem como uma apresentação das principais plataformas a nível mundial; No capítulo 4 são apresentados um conjunto de tópicos de auxílio a empresas que desejem fazer a sua inserção neste tipo de mercados; Por último são descritas as principais conclusões retiradas na realização da dissertação. Em suma, este trabalho reúne um conjunto de dados e orientações úteis, decorrentes do estudo realizado de auxílio a empresas a aderirem aos mercados eletrónicos, visto ser uma abordagem promissora para as organizações.

Modelação numérica de modelos experimentais de alvenaria de pedra tradicional

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Civil – Perfil de Construção, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

O impacto económico da obesidade em Portugal : custos directos com internamento

RESUMO - A prevalência da obesidade não teve alterações significativas em Portugal. Uma vez que os recursos são escassos e é cada vez mais premente distribuí-los de forma racional, torna-se importante conhecer o impacto económico da obesidade para o país e perceber se os custos se alteraram. Objectivo: Actualizar, à luz de evidência mais recente, a estimativa dos custos directos com internamento hospitalar atribuíveis à obesidade, em Portugal, no ano 2008. Metodologia: Foi estimado o custo directo da obesidade, na componente internamento, a partir da metodologia custo da doença, utilizando uma abordagem baseada na prevalência. Os dados da prevalência advém do estudo epidemiológico mais recente em Portugal (14,4%). Os valores de risco relativo utilizados provêm da meta análise epidemiológica mais completa. Foi calculado, a partir destes dados, o risco atribuível populacional (RAP) de cada patologia. Através da base de dados nacional dos episódios de internamento, fez-se uma pesquisa de todos os episódios de internamento relativos às comorbilidades associadas à obesidade e aplicou-se o respectivo RAP. Com base na portaria n.º 839-A/2009 de 31 Julho atribuíramse os custos. Resultados: Os custos directos com a obesidade, na componente internamento, no ano 2008 foram de 85,9 milhões de euros, o que corresponde a 0,92% da despesa total em saúde. Os três maiores contribuintes para esta despesa são as patologias do sistema circulatório e cerebrovascular, a osteoartrite e os episódios relativos ao tratamento da obesidade em si. Conclusões: O impacto económico relativo ao internamento da obesidade diminuiu em Portugal. Este estudo surge então, como ponto de partida para estudar os custos totais com a obesidade e a efectividade das estratégias de prevenção.

Modelos de avaliação da qualidade do atendimento na prestação de serviços públicos: aplicação da metodologia de scoping review à tomada de decisão com base na evidência (evidence-based management), na Administração Pública.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

AVTEM NON SVNT RERVM NATVRA. Figurações heteromórficas em mosaicos hispano-romanos

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História da Arte da Antiguidade

Propagação de vírus informáticos baseada em modelos biológicos

A evolução digital proporcionou às sociedades uma facilidade extraordinária de comunicação. Com o número crescente de computadores e o aumento de acessos à internet, surgiu uma nova forma de criminologia, que cresceu em paralelo com o número de utilizadores. Desta forma, tornou-se comum a criação e difusão de vírus informáticos pelos chamados hackers. Neste trabalho estudam-se modelos de transmissão de vírus informáticos, usando modelos epidemiológicos. Começa-se por fazer uma revisão dos modelos existentes na literatura, de seguida sugerem-se alterações a esses modelos de forma a conseguir uma melhor aproximação à dinâmica real de transmissão de vírus informáticos. As simulações numéricas dos modelos permitem-nos inferir de que uma forma de controlar a transmissão de vírus informáticos é a diminuição da taxa de infeção, isto é, da taxa de transmissão do vírus. No último capítulo enumeram-se as conclusões do trabalho efetuado e indicam-se direções de trabalho futuro.

Alterações de pH após adição de pulsos de glucose a Saccharomyces cerevisiae: estimativa de parâmetros a partir da modelação matemática do comportamento cinéticometabólico

Dissertação para a obtenção do grau de mestre em Bioquímica Estrutural e Funcional

Electricity markets modeling considering complex contracts and aggregators

All over the world, the liberalization of electricity markets, which follows different paradigms, has created new challenges for those involved in this sector. In order to respond to these challenges, electric power systems suffered a significant restructuring in its mode of operation and planning. This restructuring resulted in a considerable increase of the electric sector competitiveness. Particularly, the Ancillary Services (AS) market has been target of constant renovations in its operation mode as it is a targeted market for the trading of services, which have as main objective to ensure the operation of electric power systems with appropriate levels of stability, safety, quality, equity and competitiveness. In this way, with the increasing penetration of distributed energy resources including distributed generation, demand response, storage units and electric vehicles, it is essential to develop new smarter and hierarchical methods of operation of electric power systems. As these resources are mostly connected to the distribution network, it is important to consider the introduction of this kind of resources in AS delivery in order to achieve greater reliability and cost efficiency of electrical power systems operation. The main contribution of this work is the design and development of mechanisms and methodologies of AS market and for energy and AS joint market, considering different management entities of transmission and distribution networks. Several models developed in this work consider the most common AS in the liberalized market environment: Regulation Down; Regulation Up; Spinning Reserve and Non-Spinning Reserve. The presented models consider different rules and ways of operation, such as the division of market by network areas, which allows the congestion management of interconnections between areas; or the ancillary service cascading process, which allows the replacement of AS of superior quality by lower quality of AS, ensuring a better economic performance of the market. A major contribution of this work is the development an innovative methodology of market clearing process to be used in the energy and AS joint market, able to ensure viable and feasible solutions in markets, where there are technical constraints in the transmission network involving its division into areas or regions. The proposed method is based on the determination of Bialek topological factors and considers the contribution of the dispatch for all services of increase of generation (energy, Regulation Up, Spinning and Non-Spinning reserves) in network congestion. The use of Bialek factors in each iteration of the proposed methodology allows limiting the bids in the market while ensuring that the solution is feasible in any context of system operation. Another important contribution of this work is the model of the contribution of distributed energy resources in the ancillary services. In this way, a Virtual Power Player (VPP) is considered in order to aggregate, manage and interact with distributed energy resources. The VPP manages all the agents aggregated, being able to supply AS to the system operator, with the main purpose of participation in electricity market. In order to ensure their participation in the AS, the VPP should have a set of contracts with the agents that include a set of diversified and adapted rules to each kind of distributed resource. All methodologies developed and implemented in this work have been integrated into the MASCEM simulator, which is a simulator based on a multi-agent system that allows to study complex operation of electricity markets. In this way, the developed methodologies allow the simulator to cover more operation contexts of the present and future of the electricity market. In this way, this dissertation offers a huge contribution to the AS market simulation, based on models and mechanisms currently used in several real markets, as well as the introduction of innovative methodologies of market clearing process on the energy and AS joint market. This dissertation presents five case studies; each one consists of multiple scenarios. The first case study illustrates the application of AS market simulation considering several bids of market players. The energy and ancillary services joint market simulation is exposed in the second case study. In the third case study it is developed a comparison between the simulation of the joint market methodology, in which the player bids to the ancillary services is considered by network areas and a reference methodology. The fourth case study presents the simulation of joint market methodology based on Bialek topological distribution factors applied to transmission network with 7 buses managed by a TSO. The last case study presents a joint market model simulation which considers the aggregation of small players to a VPP, as well as complex contracts related to these entities. The case study comprises a distribution network with 33 buses managed by VPP, which comprises several kinds of distributed resources, such as photovoltaic, CHP, fuel cells, wind turbines, biomass, small hydro, municipal solid waste, demand response, and storage units.

Estudo e integração de business models e a sua aplicação em smart-ups e projetos portugueses

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Gestão das Organizações, Ramo Gestão de Empresas Orientador: Professor Doutor Eduardo Manuel Lopes de Sá e Silva Co-orientador: Mestre Maria de Fátima Mendes Monteiro

Estimação de Modelos de Adopção e Difusão de Tecnologias de Informação e Comunicação em Portugal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Viabilidade económico-financeira do projecto da Unidade de Cuidados Continuados Integrados de Longa Duração e Manutenção da Fundação COI : estudo de caso

RESUMO - Este trabalho consiste numa análise sobre a viabilidade económico-financeira do projecto de construção de uma Unidade de Cuidados Continuados Integrados de Longa Duração e Manutenção pela Fundação COI, que pretende ser uma resposta adequada à diversidade de fenómenos que têm origem no envelhecimento populacional, inserindo-se no modelo de prestação de cuidados de saúde e apoio social preconizado pela Rede Nacional de Cuidados Continuados Integrados. Em termos estruturais, numa primeira fase, o trabalho faz uma análise sobre o estado da arte dos cuidados continuado, nomeadamente através da sua conceptualização e enquadramento, focando os aspectos e características da RNCCI, nomeadamente os aspectos relacionados com a sustentabilidade financeira e os desafios futuros que este sector da saúde se confronta. Numa segunda fase, o trabalho apresenta o projecto de investimento alvo do estudo de caso, mediante o enquadramento histórico e caracterização da Fundação COI, sendo descrita especificamente a tipologia de longa duração e manutenção e o projecto em termos da sua estrutura física e humana. Numa terceira fase, o trabalho estuda a racionalidade do projecto de investimento, através da análise económico-financeira. Tendo-se concluído, com a utilização de indicadores de avaliação e decisão de investimentos, que a ULDM, é viável. Deve-se contudo ter em conta que a sua viabilidade é sensível a hipotéticas alterações de cenários, nomeadamente perante diferentes taxas de ocupação ou alteração do modelo de pagamento. ----------------------- ABSTRACT - This paper consists on analyzing the economical and financial viability of a project of Integrated Continuous Cares on Long-Term and Maintenance Unit (LTMU), managed by COI Foundation, that can create a correct social answer on the various aspects and phenomenon’s that have their origin in an aged population. This kind of project belongs in the role model of social and health cares of the National Network of Integrated Continuous Cares (NNICC). In a first stage the paper is focused on the analysis of the state of the present services of the continuous cares in Portugal, more concretely of his conceptualization and social frame, putting under the lights the aspects and characteristics of the NNICC, more closely the parts related to their financial sustainability and the challenges that this health sector faces nowadays. The next stage is about the investment project applied to this case-study, given his social and historical frame and attending to the specific characteristics of the COI Foundation. It’s also describing its specific LTMU typology under the involved physic and human structure. Finally this paper study the investment project rationality trough scientific methods like its economic–financial analysis. The conclusion, using decision and evaluation procedures that lead to financial indicators, is that the LTMU, is viable. However, the viability of the project is sensible to an hypothetical change of scenario, namely with different rates of change of occupation or type of payment.

Incontinência Urinária

O AA, após definir a U.I como um sintoma, um sinal e uma condição ilustra com estudos epidemiológicos que estamos perante um problema médico, social e económico maior. Por outro lado a fisioterapia da U.I. é explicada no contexto do equilíbrio entre as forças expulsivas e retencionistas na fase de enchimento. Deste modo explica a U.I por urgência devido a bexiga hiperactiva e a U.I. ao stress por hipermobilidade do colo da bexiga e ou lesão do esfíncter intrínseco. O diagnóstico e a severidade destes diferentes tipos de U.I. é apresentado tendo como base: a história clínica; o pad teste ; o registo diário demicções; o Q tip test. Os exames complementares como: O Rx simples do aparelho urinário; a urinocultura; os estudos urodinâmicos; a eco transvaginal avaliam os factores de continência alterados. O tratamento da U.I. é exposto tendo como base a fisiopatologia, e exemplificando de uma forma sistemática com casos clínicos.