983 resultados para answer set programming
Resumo:
A decision theory framework can be a powerful technique to derive optimal management decisions for endangered species. We built a spatially realistic stochastic metapopulation model for the Mount Lofty Ranges Southern Emu-wren (Stipiturus malachurus intermedius), a critically endangered Australian bird. Using diserete-time Markov,chains to describe the dynamics of a metapopulation and stochastic dynamic programming (SDP) to find optimal solutions, we evaluated the following different management decisions: enlarging existing patches, linking patches via corridors, and creating a new patch. This is the first application of SDP to optimal landscape reconstruction and one of the few times that landscape reconstruction dynamics have been integrated with population dynamics. SDP is a powerful tool that has advantages over standard Monte Carlo simulation methods because it can give the exact optimal strategy for every landscape configuration (combination of patch areas and presence of corridors) and pattern of metapopulation occupancy, as well as a trajectory of strategies. It is useful when a sequence of management actions can be performed over a given time horizon, as is the case for many endangered species recovery programs, where only fixed amounts of resources are available in each time step. However, it is generally limited by computational constraints to rather small networks of patches. The model shows that optimal metapopulation, management decisions depend greatly on the current state of the metapopulation,. and there is no strategy that is universally the best. The extinction probability over 30 yr for the optimal state-dependent management actions is 50-80% better than no management, whereas the best fixed state-independent sets of strategies are only 30% better than no management. This highlights the advantages of using a decision theory tool to investigate conservation strategies for metapopulations. It is clear from these results that the sequence of management actions is critical, and this can only be effectively derived from stochastic dynamic programming. The model illustrates the underlying difficulty in determining simple rules of thumb for the sequence of management actions for a metapopulation. This use of a decision theory framework extends the capacity of population viability analysis (PVA) to manage threatened species.
Resumo:
Improvement in analysis and reporting results of osteoarthritis (OA) clinical trials has been recently obtained because of harmonization and standardization of the selection of outcome variables (OMERACT 3 and OARSI). Moreover, OARSI has recently proposed the OARSI responder criteria. This composite index permits presentation of results of symptom modifying clinical trials in OA based on individual patient responses (responder yes/no). The 2 organizations (OMERACT and OARSI) established. a task force aimed at evaluating: (1) the variability of observed placebo and active treatment effects using the OARSI responder criteria; and (2) the possibility of proposing a simplified set of criteria. The conclusions of the task force were presented and discussed during the OMERACT 6 conference, where a simplified set of responder criteria (OMERACT-OARSI set of criteria) was proposed.
Resumo:
In 2002, an integrated basic science course was introduced into the Bachelor of Dental Sciences programme at the University of Queensland, Australia. Learning activities for the Metabolism and Nutrition unit within this integrated course included lectures, problem-based learning tutorials, computer-based self-directed learning exercises and practicals. To support student learning and assist students to develop the skills necessary to become lifelong learners, an extensive bank of formative assessment questions was set up using the commercially available package, WebCT®. Questions included short-answer, multiple-choice and extended matching questions. As significant staff time was involved in setting up the question database, the extent to which students used the formative assessment and their perceptions of its usefulness to their learning were evaluated to determine whether formative assessment should be extended to other units within the course. More than 90% of the class completed formative assessment tasks associated with learning activities scheduled in the first two weeks of the block, but this declined to less than 50% by the fourth and final week of the block. Patterns of usage of the formative assessment were also compared in students who scored in the top 10% for all assessment for the semester with those who scored in the lowest 10%. High-performing students accessed the Web-based formative assessment about twice as often as those who scored in the lowest band. However, marks for the formative assessment tests did not differ significantly between the two groups. In a questionnaire that was administered at the completion of the block, students rated the formative assessment highly, with 80% regarding it as being helpful for their learning. In conclusion, although substantial staff time was required to set up the question database, this appeared to be justified by the positive responses of the students.
Resumo:
Investiga-se a convergência de conjuntos de bases em direção ao limite numérico da energia Hartree-Fock (HF) total para as seqüências hierárquicas dos conjuntos de bases XZP e ccpVXZ. Para as duas hierarquias, melhoramentos significativos são obtidos com cada incremento em X. Para estimar o limite do conjunto de base completo, uma forma exponencial foi usada. Entre as várias aproximações consideradas aqui, uma extrapolação exponencial de três parâmetros aplicada aos resultados TZP, QZP e 5ZP deu os limites do conjunto de bases mais precisos. Em adição, energias HF dos orbitais moleculares ocupados mais altos de algumas moléculas diatômicas foram calculadas com o conjunto 5ZP e comparadas com as correspondentes obtidas com o conjunto cc-pV5Z e com um método numérico HF.
Resumo:
Exploratory factor analysis is a widely used statistical technique in the social sciences. It attempts to identify underlying factors that explain the pattern of correlations within a set of observed variables. A statistical software package is needed to perform the calcula- tions. However, there are some limitations with popular statistical software packages, like SPSS. The R programming language is a free software package for statistical and graphical computing. It o ers many packages written by contributors from all over the world and programming resources that allow it to overcome the dialog limitations of SPSS. This paper o ers an SPSS dialog written in the R programming language with the help of some packages, so that researchers with little or no knowledge in programming, or those who are accustomed to making their calculations based on statistical dialogs, have more options when applying factor analysis to their data and hence can adopt a better approach when dealing with ordinal, Likert-type data.
Resumo:
LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission
Resumo:
O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.
Resumo:
A competitividade entre as empresas e a busca por modelos de gestão e organização cada vez mais eficientes, tem dominado a actualidade. A filosofia de gestão Lean vem dar resposta a essas necessidades de aumento dos níveis de competitividade e eficiência, através de uma mudança da cultura organizacional, que assenta na redução ou eliminação de desperdícios e na melhoria contínua dos processos de fabrico de bens ou do fornecimento de serviços. A gestão Lean é suportada e implementada pela aplicação de um conjunto de ferramentas correctamente seleccionadas e adaptadas ao contexto organizacional da empresa ou organização. A presente dissertação visa caracterizar as ferramentas mais comuns da filosofia Lean, tendo em consideração a sua aplicabilidade na indústria e no sector dos serviços. É igualmente abordada a forma de aplicação das ferramentas Lean de maneira a que não constituam um acto isolado que conduz seguramente ao fracasso da implementação Lean na organização. Por essa razão são discutidas algumas regras e critérios, com base na proposta de um método de aplicação das ferramentas Lean que evite erros cometidos no passado e que levaram ao insucesso da aplicação do Lean em algumas organizações. Recorreu-se a um estudo de caso do ramo dos serviços, cujos resultados permitiram verificar a aplicabilidade do método proposto na aplicação de ferramentas Lean ao ramo dos serviços. O estudo de caso revelou a existência de uma elevada percentagem de desperdícios no processo em análise e permitiu melhorar o funcionamento desses mesmos processos. As melhorias alcançadas foram realizadas com base na eliminação dos desperdícios, na resolução de problemas e consequente uniformização de processos que melhoraram a qualidade e eficiência do serviço prestado, evidenciando que a organização alvo do estudo se encontra no bom caminho para atingir com sucesso a alteração da cultura organizacional para a filosofia Lean.
Resumo:
It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.
Resumo:
This paper is on the problem of short-term hydro, scheduling, particularly concerning head-dependent cascaded hydro systems. We propose a novel mixed-integer quadratic programming approach, considering not only head-dependency, but also discontinuous operating regions and discharge ramping constraints. Thus, an enhanced short-term hydro scheduling is provided due to the more realistic modeling presented in this paper. Numerical results from two case studies, based on Portuguese cascaded hydro systems, illustrate the proficiency of the proposed approach.
Resumo:
The aim of this article is to present a Project in the Oporto’s Institute of Accounting and Administration, which pretends to contribute for a change in the way of teaching and learning Mathematics. One of the main objectives of this project is to innovate the teaching and learning processes, exploring technologies as a pedagogical resource and to induce higher motivation to students, improve the rate of success and make available to students a set of materials adapted to their needs. This concern is justified due to the fact that students have a weak preparation, without consolidated basis. Since the year 2007/2008 the courses were adjusted to the Bologna process, which requires several changes in teacher’s and student’s roles, methodologies and assessment. The number of weekly classes has been reduced, so it was necessary to develop new strategies and methodologies to support the student. With the implementation of the Bologna Process in the Accounting degree, we felt a great need to provide other types of activities to students. To complement our theoretical and practical classes we have developed a project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio On-Line (Online Support Project). Moodle allows us to use the language TEX to create materials that use mathematical symbols. Using this functionality, we created a set of easy to use interactive resources. In MatActiva project, the students have access to a variety of different materials. We have followed a strategy that makes the project compatible with the theoretical and practical subjects/classes, complementing them. To do so, we created some resources, for instance multiple-choice tests, which are the most accessed by the students. These tests can be realized and corrected on-line and for each wrong answer there is a feedback with the resolution. We can find other types of resources: diagnostic tests, theoretical notes. There are not only the pre-requirements for subjects mathematics, but also materials to help students follow up the programs. We also developed several lessons. This activity consists of a number of pages, where each page has contents and leads to other pages, based on the student's progress. The teacher creates the choices and determines the next page that the student will see, based upon their knowledge. There is also an area of doubts, where the students can place all the mathematical doubts they have, and a teacher gives the answers or clues to help them in their work. MatActiva also offers an area where we can find some humour, curiosities, contests and games including mathematical contents to test the math skills, as well as links to pages about mathematical contents that could be useful for the study. Since ISCAP receives ERASMUS students and some of them attend mathematics, we developed some materials in English, so they can also use MatActiva. The main objectives of our project are not only to bring success in the subjects of mathematics, but also to motivate the students, encourage them to overcome theirs difficulties through an auto-study giving them more confidence and improve their relationship with the mathematics as well as the communication between students and teachers and among students.