960 resultados para 280402 Mathematical Logic and Formal Languages


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Since no physical system can ever be completely isolated from its environment, the study of open quantum systems is pivotal to reliably and accurately control complex quantum systems. In practice, reliability of the control field needs to be confirmed via certification of the target evolution while accuracy requires the derivation of high-fidelity control schemes in the presence of decoherence. In the first part of this thesis an algebraic framework is presented that allows to determine the minimal requirements on the unique characterisation of arbitrary unitary gates in open quantum systems, independent on the particular physical implementation of the employed quantum device. To this end, a set of theorems is devised that can be used to assess whether a given set of input states on a quantum channel is sufficient to judge whether a desired unitary gate is realised. This allows to determine the minimal input for such a task, which proves to be, quite remarkably, independent of system size. These results allow to elucidate the fundamental limits regarding certification and tomography of open quantum systems. The combination of these insights with state-of-the-art Monte Carlo process certification techniques permits a significant improvement of the scaling when certifying arbitrary unitary gates. This improvement is not only restricted to quantum information devices where the basic information carrier is the qubit but it also extends to systems where the fundamental informational entities can be of arbitary dimensionality, the so-called qudits. The second part of this thesis concerns the impact of these findings from the point of view of Optimal Control Theory (OCT). OCT for quantum systems utilises concepts from engineering such as feedback and optimisation to engineer constructive and destructive interferences in order to steer a physical process in a desired direction. It turns out that the aforementioned mathematical findings allow to deduce novel optimisation functionals that significantly reduce not only the required memory for numerical control algorithms but also the total CPU time required to obtain a certain fidelity for the optimised process. The thesis concludes by discussing two problems of fundamental interest in quantum information processing from the point of view of optimal control - the preparation of pure states and the implementation of unitary gates in open quantum systems. For both cases specific physical examples are considered: for the former the vibrational cooling of molecules via optical pumping and for the latter a superconducting phase qudit implementation. In particular, it is illustrated how features of the environment can be exploited to reach the desired targets.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Information systems for business are frequently heavily reliant on software. Two important feedback-related effects of embedding software in a business process are identified. First, the system dynamics of the software maintenance process can become complex, particularly in the number and scope of the feedback loops. Secondly, responsiveness to feedback can have a big effect on the evolvability of the information system. Ways have been explored to provide an effective mechanism for improving the quality of feedback between stakeholders during software maintenance. Understanding can be improved by using representations of information systems that are both service-based and architectural in scope. The conflicting forces that encourage change or stability can be resolved using patterns and pattern languages. A morphology of information systems pattern languages has been described to facilitate the identification and reuse of patterns and pattern languages. The kind of planning process needed to achieve consensus on a system's evolution is also considered.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study explores the implications of an organization moving toward service-dominant logic (S-D logic) on the sales function. Driven by its customers’ needs, a service orientation by its nature requires personal interaction and sales personnel are in an ideal position to develop offerings with the customer. However, the development of S-D logic may require sales staff to develop additional skills. Employing a single case study, the study identified that sales personnel are quick to appreciate the advantages of S-D logic for customer satisfaction and six specific skills were highlighted and explored. Further, three propositions were identified: in an organization adopting S-D logic, the sales process needs to elicit needs at both embedded-value and value-in-use levels. In addition, the sales process needs to coproduce not just goods and service attributes but also attributes of the customer’s usage processes. Further, the sales process needs to coproduce not just goods and service attributes but also attributes of the customer’s usage processes.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The constrained compartmentalized knapsack problem can be seen as an extension of the constrained knapsack problem. However, the items are grouped into different classes so that the overall knapsack has to be divided into compartments, and each compartment is loaded with items from the same class. Moreover, building a compartment incurs a fixed cost and a fixed loss of the capacity in the original knapsack, and the compartments are lower and upper bounded. The objective is to maximize the total value of the items loaded in the overall knapsack minus the cost of the compartments. This problem has been formulated as an integer non-linear program, and in this paper, we reformulate the non-linear model as an integer linear master problem with a large number of variables. Some heuristics based on the solution of the restricted master problem are investigated. A new and more compact integer linear model is also presented, which can be solved by a branch-and-bound commercial solver that found most of the optimal solutions for the constrained compartmentalized knapsack problem. On the other hand, heuristics provide good solutions with low computational effort. (C) 2011 Elsevier BM. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Aim: The overall aim of this thesis was to gain a deeper understanding of older people's view of health and care while dependent on community care. Furthermore to describe and compare formal caregivers' perceptions of quality of care, working conditions, competence, general health, and factors associated with quality of care from the caregivers' perspective. Method: Qualitative interviews were conducted with 19 older people in community care who were asked to describe what health and ill health((I), good and bad care meant for them (II). Data were analyzed using content analysis (I) and a phenomenological analysis (II). The formal caregivers; 70 nursing assistants (NAs) 163 enrolled nurses (ENs) and 198 registered nurses (RNs), answered a questionnaire consisting of five instruments: quality of care from the patient's perspective modified to formal caregivers, creative climate questionnaire, stress of conscience, health index, sense of coherence and items on education and competence (III). Statistical analyses were performed containing descriptive statistics, and comparisons between the occupational groups were made using Kruskal-Wallis ANOVA, Mann-Whitney U-test and Pearson's Chi-square test (III). Pearson's  product moment correlation analysis and multiple regression analysis were performed studying the associations between organizational climate, stress of conscience, competence, general health and sense of coherence with quality of care (IV). Results: The older people's health and well-being were related to their own ability to adapt to and compensate for their disabilities and was described as negative and positive poles of autonomy vs. dependence, togetherness vs. being an onlooker, security vs. insecurity and tranquility vs. disturbance (I).  The meaning of good care (II) was that the formal caregivers respected the older people as unique individuals, having the opportunity to live their lives as usual and receiving a safe and secure care. Good care could be experienced when the formal caregivers had adequate knowledge and competence in caring for older people, adequate time and continuity in the care organization (II). Formal caregivers reported higher perceived quality of care in the dimensions medical-technical competence and physical-technical conditions than in identity-oriented approach and socio-cultural atmosphere (III). In the organizational climate three of the dimensions were close to the value of a creative climate and in seven near a stagnant climate. The formal caregivers reported low rate of stress of conscience. The RNs reported to a higher degree than the NAs/ENs a need to gain more knowledge, but the NAs and the ENs more often received training during working hours. The RNs reported lower emotional well-being than the NAs/ENs (III). The formal caregivers' occupation, organizational climate and stress of conscience were associated with perceived quality of care (IV). Implications: The formal caregivers should have an awareness of the importance of kindness and respect, supporting the older people to retain control over their lives. The nursing managers should employ highly competent and adequate numbers of skilled formal caregivers, organize formal caregivers having round the clock continuity. Improvements of organizational climate and stress of conscience are of importance for good quality of care.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper examines the influence of the level of interpersonal trust between superior and subordinate managers on the control behaviour of the former. On the basis of a questionnaire survey and interviews of senior managers from business organisations in Sri Lanka, and a survey of managers in Beijing-China the study explores the control behaviour of superior managers when their trust in a subordinate is high or low. Sri Lanka and China, societies in which the dependence on interpersonal trust is believed to be high, were chosen for the study to maximise the effect of interpersonal trust.

The findings of this study indicate that a superior’s high (low) trust in a subordinate is associated with a low (high) level of monitoring and a high (low) level of social interactions. The hypothesis that a superior’s high (low) level of trust is associated with a low (high) level of reliance on formal control was supported only in the Sri Lankan sample. These findings are at least indicative of control behaviour of superior managers in Sri Lanka and China and possibly of other countries in Asia. An understanding of the trust-sensitive control behaviour of managers in this region is particularly important for designing and implementing effective control systems for international organizations operating in the region.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As part of a broader study of characteristics of situations that promote or inhibit spontaneous student exploration of novel mathematical ideas, student inclination to display these spontaneous behaviours was studied in conjunction with resilience. Resilience was operationalised using the dimensions of optimism (Seligman, 1995). Indicators of optimism were identified in post-lesson video-stimulated reconstructive interviews with year eight students. Students who demonstrated the pursuit of novel mathematical ideas were found to also display indicators of resilience.