984 resultados para practical logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Legal Services Act 2007 caused a need to change professional conduct rules for lawyers in England and Wales. The Bar Standards Board Handbook brings substantial changes to the way barristers are regulated. Changes include litigation rights, reporting of professional misconduct, an increased focus on chambers, and expansion to include employees of chambers and barristers without practicing certificates (unregistered or non-practicing barristers). The approach to enforcement and supervision moves to include elements of outcome focused, principle based and risk based approaches. These changes have the potential to change the practice of different groups of barristers and the dynamics between them.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Partner selection is crucial to green supply chain management as the focal firm is responsible for the environmental performance of the whole supply chain. The construction of appropriate selection criteria is an essential, but often neglected pre-requisite in the partner selection process. This paper proposes a three-stage model that combines Dempster-Shafer belief acceptability theory and particle swarm optimization technique for the first time in this application. This enables optimization of both effectiveness, in its consideration of the inter-dependence of a broad range of quantitative and qualitative selection criteria, and efficiency in its use of scarce resources during the criteria construction process to be achieved simultaneously. This also enables both operational and strategic attributes can be selected at different levels of hierarchy criteria in different decision-making environments. The practical efficacy of the model is demonstrated by an application in Company ABC, a large Chinese electronic equipment and instrument manufacturer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper present a methodology to choose the distribution networks reconfiguration that presents the lower power losses. The proposed methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modeling for system component outage parameters. The proposed hybrid method using fuzzy sets and Monte Carlo simulation based on the fuzzyprobabilistic models allows catching both randomness and fuzziness of component outage parameters. A logic programming algorithm is applied, once obtained the system states by Monte Carlo Simulation, to get all possible reconfigurations for each system state. To evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation an AC load flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology, the paper includes a case study that considers a 115 buses distribution network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This essay suggests that the intersubjectivity in translation should be given priority because different stages of the translation activity have different subjects, and presents a practical intersubjective ethics of translation based on an interpretation of the intersubjective relations connected with translation activities in a perspective of game theory in the hope that it can equip us with better explanations of the translator’s calculations or considerations in the professional practice.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Consider the problem of scheduling a set of sporadic tasks on a multiprocessor system to meet deadlines using a tasksplitting scheduling algorithm. Task-splitting (also called semipartitioning) scheduling algorithms assign most tasks to just one processor but a few tasks are assigned to two or more processors, and they are dispatched in a way that ensures that a task never executes on two or more processors simultaneously. A certain type of task-splitting algorithms, called slot-based task-splitting, is of particular interest because of its ability to schedule tasks at high processor utilizations. We present a new schedulability analysis for slot-based task-splitting scheduling algorithms that takes the overhead into account and also a new task assignment algorithm.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We propose a low complexity technique to generate amplitude correlated time-series with Nakagami-m distribution and phase correlated Gaussian-distributed time-series, which is useful in the simulation of ionospheric scintillation effects during the transmission of GNSS signals. The method requires only the knowledge of parameters S4 (scintillation index) and σΦ (phase standard deviation) besides the definition of models for the amplitude and phase power spectra. The Zhang algorithm is used to produce Nakagami-distributed signals from a set of Gaussian autoregressive processes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e telecomunicações

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica Perfil de Manutenção e Produção

Relevância:

20.00% 20.00%

Publicador:

Resumo:

STRIPPING is a software application developed for the automatic design of a randomly packing column where the transfer of volatile organic compounds (VOCs) from water to air can be performed and to simulate it’s behaviour in a steady-state. This software completely purges any need of experimental work for the selection of diameter of the column, and allows a choice, a priori, of the most convenient hydraulic regime for this type of operation. It also allows the operator to choose the model used for the calculation of some parameters, namely between the Eckert/Robbins model and the Billet model for estimating the pressure drop of the gaseous phase, and between the Billet and Onda/Djebbar’s models for the mass transfer. Illustrations of the graphical interface offered are presented.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Among aminoacidopathies, phenylketonuria (PKU) is the most prevalent one. Early diagnosis in the neonatal period with a prompt nutritional therapy (low natural-protein and phenylalanine diet, supplemented with phenylalanine-free amino acid mixtures and special low-protein foods) remains the mainstay of the treatment. Data considering nutrient contents of cooked dishes is lacking. In this study, fourteen dishes specifically prepared for PKU individuals were analysed, regarding the lipid profile and iron and zinc contents. These dishes are poor sources of essential nutrients like Fe, Zn or n-3 fatty acids, reinforcing the need for adequate supplementation to cover individual patients’ needs. This study can contribute to a more accurate adjustment of PKU diets and supplementation in order to prevent eventual nutritional deficiencies. This study contributes to a better understanding of nutrient intake from PKU patients’ meals, showing the need for dietary supplementation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O setor dos edifícios representa perto de 40% do consumo de energia final na Europa e cerca de 30% no caso de Portugal [1]. Para fazer face a esta situação foi elaborada e aprovada uma Diretiva Europeia Relativa ao Desempenho Energético dos Edifícios, que foi transposta a nível nacional através de um pacote legislativo assente em três pilares, nomeadamente o Sistema Nacional de Certificação Energética e da Qualidade do Ar Interior (SCE), o Regulamento dos Sistemas Energéticos de Climatização em Edifícios (RSECE) e o Regulamento das Características de Comportamento Térmico dos Edifícios (RCCTE). Atuando ao nível da eficiência energética o consumo de energia nos edifícios pode diminuir para metade, para tal é necessário proceder-se à execução de auditorias energéticas para poder determinar as soluções mais adequadas de forma a reduzir os desperdícios e custos associados ao consumo de energia. Nesta dissertação desenvolveu-se uma metodologia para a realização de auditorias energéticas em edifícios que assenta essencialmente em cinco etapas, nomeadamente: o planeamento, a análise do estado atual, o planeamento estratégico, a elaboração de relatório e a implementação de medidas com acompanhamento de resultados. A aplicação desta metodologia constitui uma grande ajuda na realização de auditorias energéticas conferindo uma maior qualidade à sua execução. De forma a validar a metodologia efetuada foi realizado o estudo de três casos práticos relativos a três agências bancárias (denominadas de A, B e C), em que duas delas pertencem a um projeto de eficiência energética que engloba 50 agências e uma outra que pertence a um outro projeto de apenas 3 agências. A metodologia segue a mesma lógica para as três agências, no entanto, em termos de validação, a última instalação baseia-se nos consumos dos dados monitorizados em contínuo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Amélia Cristina Ferreira da Silva