894 resultados para real case


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Thesis (Master's)--University of Washington, 2016-06

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Online communities have evolved beyond the realm of social phenomenon to become important knowledge-sharing media with real economic consequences. However, the sharing of knowledge and the communication of meaning through Internet technology presents many difficulties. This is particularly so for online finance forums where market-sensitive information and disinformation about exchange-traded stocks is regularly disseminated. The development of trust and the effect of misinformation in this environment are important in the growth of this communication medium. Forum administrators need to better understand and handle the development of trust. In this article, we analyze and discuss the communicative practices of a group of investors and members of an online community of interest. We found that conflict as a driver of knowledge sharing is an important consideration for forum administrators and designers.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Very few empirically validated interventions for improving metacognitive skills (i.e., self-awareness and self-regulation) and functional outcomes have been reported. This single-case experimental study presents JM, a 36-year-old man with a very severe traumatic brain injury (TBI) who demonstrated long-term awareness deficits. Treatment at four years post-injury involved a metacognitive contextual intervention based on a conceptualization of neuro-cognitive, psychological, and socio-environmental factors contributing to his awareness deficits. The 16-week intervention targeted error awareness and self-correction in two real life settings: (a) cooking at home: and (b) volunteer work. Outcome measures included behavioral observation of error behavior and standardized awareness measures. Relative to baseline performance in the cooking setting, JM demonstrated a 44% reduction in error frequency and increased self-correction. Although no spontaneous generalization was evident in the volunteer work setting, specific training in this environment led to a 39% decrease in errors. JM later gained paid employment and received brief metacognitive training in his work environment. JM's global self-knowledge of deficits assessed by self-report was unchanged after the program. Overall, the study provides preliminary support for a metacognitive contextual approach to improve error awareness and functional Outcome in real life settings.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Quantitative databases are limited to information identified as important by their creators, while databases containing natural language are limited by our ability to analyze large unstructured bodies of text. Leximancer is a tool that uses semantic mapping to develop concept maps from natural language. We have applied Leximancer to educational based pathology case notes to demonstrate how real patient records or databases of case studies could be analyzed to identify unique relationships. We then discuss how such analysis could be used to conduct quantitative analysis from databases such as the Coronary Heart Disease Database.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A deregulated electricity market is characterized with uncertainties, with both long and short terms. As one of the major long term planning issues, the transmission expansion planning (TEP) is aiming at implementing reliable and secure network support to the market participants. The TEP covers two major issues: technical assessment and financial evaluations. Traditionally, the net present value (NPV) method is the most accepted for financial evaluations, it is simple to conduct and easy to understand. Nevertheless, TEP in a deregulated market needs a more dynamic approach to incorporate a project's management flexibility, or the managerial ability to adapt in response to unpredictable market developments. The real options approach (ROA) is introduced here, which has clear advantage on counting the future course of actions that investors may take, with understandable results in monetary terms. In the case study, a Nordic test system has been testified and several scenarios are given for network expansion planning. Both the technical assessment and financial evaluation have been conducted in the case study.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

To evaluate an investment project in the competitive electricity market, there are several key factors that affects the project's value: the present value that the project could bring to investor, the possible future course of actions that investor has and the project's management flexibility. The traditional net present value (NPV) criteria has the ability to capture the present value of the project's future cash flow, but it fails to assess the value brought by market uncertainty and management flexibility. By contrast with NPV, the real options approach (ROA) method has the advantage to combining the uncertainty and flexibility in evaluation process. In this paper, a framework for using ROA to evaluate the generation investment opportunity has been proposed. By given a detailed case study, the proposed framework is compared with NPV and showing a different results

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo foi captar, analisar e buscar as razões pelas quais as primeiras páginas da Folha de S.Paulo, na versão impressa, repetem as mesmas informações de fatos noticiosos que foram veiculados no dia anterior pelos sites de comunicação na internet. Para isso, foi feita uma pesquisa exploratória das primeiras páginas da versão impressa do jornal de maior circulação diária paga no Brasil, além de pesquisa bibliográfica que discuta a questão da informação em tempo real.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The application of cognitive neuroscientific techniques to understanding social behaviour has resulted in many discoveries. Yet advocates of the ‘social cognitive neuroscience’ approach maintain that it suffers from a number of limitations. The most notable of these is its distance from any form of real-world applicabity. One solution to this limitation is ‘Organisational Cognitive Neuroscience’ – the study of the cognitive neuroscience of human behaviour in, and in response to, organizations. Given that all of us will spend most of our lives in some sort of work related organisation, organisational cognitive neuroscience allows us to examine the cognitive underpinnings of social behaviour that occurs in what may be our most natural ecology. Here we provide a brief overview of this approach, a definition and also some possible questions that the new approach would be best suited to address.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Offshore oil and gas pipelines are vulnerable to environment as any leak and burst in pipelines cause oil/gas spill resulting in huge negative Impacts on marine lives. Breakdown maintenance of these pipelines is also cost-intensive and time-consuming resulting in huge tangible and intangible loss to the pipeline operators. Pipelines health monitoring and integrity analysis have been researched a lot for successful pipeline operations and risk-based maintenance model is one of the outcomes of those researches. This study develops a risk-based maintenance model using a combined multiple-criteria decision-making and weight method for offshore oil and gas pipelines in Thailand with the active participation of experienced executives. The model's effectiveness has been demonstrated through real life application on oil and gas pipelines in the Gulf of Thailand. Practical implications. Risk-based inspection and maintenance methodology is particularly important for oil pipelines system, as any failure in the system will not only affect productivity negatively but also has tremendous negative environmental impact. The proposed model helps the pipelines operators to analyze the health of pipelines dynamically, to select specific inspection and maintenance method for specific section in line with its probability and severity of failure.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We report on teaching Information Systems Analysis (ISA) in a way that takes the classroom into the real world to enrich students' understanding of the broader role of being an IS professional. Through exposure to less controllable and more uncomfortable issues (e.g., client deadlines; unclear scope; client expectations; unhelpful colleagues, complexity about what is the problem never mind the solution) we aim to better prepare students to respond to the complex issues surrounding deployment of systems analysis methodologies in the real world. In this paper we provide enough detail on what these classes involve to allow a reader to replicate appealing elements in their own teaching. This paper is a reflection on integrating in the real world when teaching ISA – a reflection from the standpoint of students who face an unstructured and complex world and of lecturers who aim to prepare students to hit the floor running when they encounter that world.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this study we investigate whether there exists a relationship between the exchange rate and the trade balance using bilateral data for the Mauritius/UK trade. We also investigate whether following depreciation or a devaluation the trade balance initially worsens due to contractual agreements and subsequently improves when new contracts for international trade are signed. Using a variety of econometric techniques we are able to establish that there exists a long-run relationship between the trade balance and the real exchange rate. The existence of such a relationship signifies that the authorities would be able to use the exchange rate to steer the trade balance. We also find following a depreciation or devaluation the trade balance initially worsens due to contractual agreements but the trade balance subsequently improves when new contracts are signed. This signifies that if the authorities want to devalue their currency to improve the trade balance, the desired effect does not occur immediately but it occurs with a lag, in this particular case after approximately a year.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Recent advances in technology have produced a significant increase in the availability of free sensor data over the Internet. With affordable weather monitoring stations now available to individual meteorology enthusiasts a reservoir of real time data such as temperature, rainfall and wind speed can now be obtained for most of the United States and Europe. Despite the abundance of available data, obtaining useable information about the weather in your local neighbourhood requires complex processing that poses several challenges. This paper discusses a collection of technologies and applications that harvest, refine and process this data, culminating in information that has been tailored toward the user. In this case we are particularly interested in allowing a user to make direct queries about the weather at any location, even when this is not directly instrumented, using interpolation methods. We also consider how the uncertainty that the interpolation introduces can then be communicated to the user of the system, using UncertML, a developing standard for uncertainty representation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This research concerns the development of coordination and co-governance within three different regeneration programmes within one Midlands city over the period from 1999 to 2002. The New Labour government, in office since 1997, had an agenda for ‘joining-up’ government, part of which has had considerable impact in the area of regeneration policy. Joining-up government encompasses a set of related activities which can include the coordination of policy-making and service delivery. In regeneration, it also includes a commitment to operate through co-governance. Central government and local and regional organisations have sought to put this idea into practice by using what may be referred to as network management processes. Many characteristics of new policies are designed to address the management of networks. Network management is not new in this area, it has developed at least since the early 1990s with the City Challenge and Single Regeneration Budget (SRB) programmes as a way of encouraging more inclusive and effective regeneration interventions. Network management theory suggests that better management can improve decision-making outcomes in complex networks. The theories and concepts are utilised in three case studies as a way of understanding how and why regeneration attempts demonstrate real advances in inter-organisational working at certain times whilst faltering at others. Current cases are compared to the historical case of the original SRB programme as a method of assessing change. The findings suggest that: The use of network management can be identified at all levels of governance. As previous literature has highlighted, central government is the most important actor regarding network structuring. However, it can be argued that network structuring and game management are both practised by central and local actors; Furthermore, all three of the theoretical perspectives within network management (Instrumental, Institutional and Interactive), have been identified within UK regeneration networks. All may have a role to play with no single perspective likely to succeed on its own. Therefore, all could make an important contribution to the understanding of how groups can be brought together to work jointly; The findings support Klijn’s (1997) assertion that the institutional perspective is dominant for understanding network management processes; Instrumentalism continues on all sides, as the acquisition of resources remains the major driver for partnership activity; The level of interaction appears to be low despite the intentions for interactive decision-making; Overall, network management remains partial. Little attention is paid to the issues of accountability or to the institutional structures which can prevent networks from implementing the policies designed by central government, and/or the regional tier.