962 resultados para Subsequential Completeness
Resumo:
This thesis addresses the use of covariant phase space observables in quantum tomography. Necessary and sufficient conditions for the informational completeness of covariant phase space observables are proved, and some state reconstruction formulae are derived. Different measurement schemes for measuring phase space observables are considered. Special emphasis is given to the quantum optical eight-port homodyne detection scheme and, in particular, on the effect of non-unit detector efficiencies on the measured observable. It is shown that the informational completeness of the observable does not depend on the efficiencies. As a related problem, the possibility of reconstructing the position and momentum distributions from the marginal statistics of a phase space observable is considered. It is shown that informational completeness for the phase space observable is neither necessary nor sufficient for this procedure. Two methods for determining the distributions from the marginal statistics are presented. Finally, two alternative methods for determining the state are considered. Some of their shortcomings when compared to the phase space method are discussed.
Resumo:
The political environment of security and defence has changed radically in the Western industrialised world since the Cold War. As a response to these changes, since the beginning of the twenty-first century, most Western countries have adopted a ‘capabilities-based approach’ to developing and operating their armed forces. More responsive and versatile military capabilities must be developed to meet the contemporary challenges. The systems approach is seen as a beneficial means of overcoming traps in resolving complex real -world issues by conventional thinking. The main objectives of this dissertation are to explore and assess the means to enhance the development of military capabilities both in concept development and experimentation (CD&E) and in national defence materiel collaboration issues. This research provides a unique perspective, a systems approach, to the development areas of concern in resolving complex real-world issues. This dissertation seeks to increase the understanding of the military capability concept both as a whole and with in its life cycle. The dissertation follows the generic functionalist systems methodology by Jackson. The methodology applies a comprehensive set of constitutive rules to examine the research objectives. This dissertation makes contribution to current studies about military capability. It presents two interdepen dent conceptual capability models: the comprehensive capability meta-model (CCMM) and the holistic capability life cycle model (HCLCM). These models holistically and systematically complement the existing, but still evolving, understanding of military capability and its life cycle. In addition, this dissertation contributes to the scientific discussion of defence procurement in its broad meaning by introducing the holistic model about the national defence materiel collaboration between the defence forces, defence industry and academia. The model connects the key collaborative mechanisms, which currently work in isolation from each other, and take into consideration the unique needs of each partner. This dissertation contributes empirical evidence regarding the benefits of enterprise architectures (EA) to CD&E. The EA approach may add value to traditional concept development by increasing the clarity, consistency and completeness of the concept. The most important use considered for EA in CD&E is that it enables further utilisation of the concept created in the case project.
Resumo:
Wind power is a low-carbon energy production form that reduces the dependence of society on fossil fuels. Finland has adopted wind energy production into its climate change mitigation policy, and that has lead to changes in legislation, guidelines, regional wind power areas allocation and establishing a feed-in tariff. Wind power production has indeed boosted in Finland after two decades of relatively slow growth, for instance from 2010 to 2011 wind energy production increased with 64 %, but there is still a long way to the national goal of 6 TWh by 2020. This thesis introduces a GIS-based decision-support methodology for the preliminary identification of suitable areas for wind energy production including estimation of their level of risk. The goal of this study was to define the least risky places for wind energy development within Kemiönsaari municipality in Southwest Finland. Spatial multicriteria decision analysis (SMCDA) has been used for searching suitable wind power areas along with many other location-allocation problems. SMCDA scrutinizes complex ill-structured decision problems in GIS environment using constraints and evaluation criteria, which are aggregated using weighted linear combination (WLC). Weights for the evaluation criteria were acquired using analytic hierarchy process (AHP) with nine expert interviews. Subsequently, feasible alternatives were ranked in order to provide a recommendation and finally, a sensitivity analysis was conducted for the determination of recommendation robustness. The first study aim was to scrutinize the suitability and necessity of existing data for this SMCDA study. Most of the available data sets were of sufficient resolution and quality. Input data necessity was evaluated qualitatively for each data set based on e.g. constraint coverage and attribute weights. Attribute quality was estimated mainly qualitatively by attribute comprehensiveness, operationality, measurability, completeness, decomposability, minimality and redundancy. The most significant quality issue was redundancy as interdependencies are not tolerated by WLC and AHP does not include measures to detect them. The third aim was to define the least risky areas for wind power development within the study area. The two highest ranking areas were Nordanå-Lövböle and Påvalsby followed by Helgeboda, Degerdal, Pungböle, Björkboda, and Östanå-Labböle. The fourth aim was to assess the recommendation reliability, and the top-ranking two areas proved robust whereas the other ones were more sensitive.
Resumo:
Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014
Resumo:
Cubiu (Solanum sessiliflorum Dunal) is an Amazonian Basin native fruit. Its importance comes from its high contents of pectin. Currently, processing technologies are necessary for the substitution of the traditional system (small crops and small-scale processing) for a larger scale system and thus increase the use of biodiversity and promote the implementation of Local Productive Arrangements of agribusiness in the Amazon. This research aims to evaluate the methods of peeling cubiu. Ripe fruits were divided into lots (150 each) and subjected to the following treatments: immersion in 2.5% NaOH boiling solution for 5 minutes, exposure to water vapor, and immersion in water at 96 ºC for 5, 10, 15 and 20 minutes. The peel released during heat treatment and immediately removed under running tap water. In the control treatment, the fruits were manually peeled (unheated) with a stainless steel knife. The treatments were evaluated for completeness and ease of peeling, tissue integrity, texture, and peroxidase activity. The immersion in 2.5% NaOH boiling solution (5 minutes) stood out as the best treatment since it inhibited the enzymatic browning and intensified the natural yellow color of the cubiu fruit and easily and fully peeled the whole fruit more rapidly without damaging its tissues. This treatment was chosen as the most advantageous because it can promote simultaneous peeling and bleaching. Therefore, it is recommended for cubiu industrial processing.
Resumo:
The Baltic Sea is a unique environment that contains unique genetic populations. In order to study these populations on a genetic level basic molecular research is needed. The aim of this thesis was to provide a basic genetic resource for population genomic studies by de novo assembling a transcriptome for the Baltic Sea isopod Idotea balthica. RNA was extracted from a whole single adult male isopod and sequenced using Illumina (125bp PE) RNA-Seq. The reads were preprocessed using FASTQC for quality control, TRIMMOMATIC for trimming, and RCORRECTOR for error correction. The preprocessed reads were then assembled with TRINITY, a de Bruijn graph-based assembler, using different k-mer sizes. The different assemblies were combined and clustered using CD-HIT. The assemblies were evaluated using TRANSRATE for quality and filtering, BUSCO for completeness, and TRANSDECODER for annotation potential. The 25-mer assembly was annotated using PANNZER (protein annotation with z-score) and BLASTX. The 25-mer assembly represents the best first draft assembly since it contains the most information. However, this assembly shows high levels of polymorphism, which currently cannot be differentiated as paralogs or allelic variants. Furthermore, this assembly is incomplete, which could be improved by sampling additional developmental stages.
Resumo:
The purpose of this study was to assess the effects of changing a nursing documentation system, developed from King's Conceptual Framework, on the use of the nursing process. The null hypothesis was that there would be no significant increase in the reflection of the use of the nursing process on the nursing care plan or nurses' notes, as a result of using a nursing documentation system developed using King's Conceptual Framework (1981). The design involved the development of a questionnaire that was used to review health records pre and post implementation of a documentation system developed based on King's Conceptual Framework and Theory of Goal Attainment (1981). A Record Completeness Score was obtained from some of the questions. The null hypothesis was rejected. The results of the study have implications for nursing administration and the evaluation of nursing practice. If the use of a documentation system developed from a conceptual framework increases the reflection of the nursing process on the patient's health record, nursing will have the means to measure patient outcomes/goal attainment. All health care organizations and levels of government are focusing on methods to monitor and control the health-care dollar. In order for nursing to clearly determine the costs associated with nursing care, measurement of patient outcomes/goal attainment will need to be possible. In order to measure patient outcomes/goals attainment nurses will need to be able to collect data on their practice. It will be critical that nursing have a documentation system in place which facilitates the reflection of the nursing process within a theoretical framework.
Resumo:
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.
Resumo:
Abstract: Root and root finding are concepts familiar to most branches of mathematics. In graph theory, H is a square root of G and G is the square of H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Graph square is a basic operation with a number of results about its properties in the literature. We study the characterization and recognition problems of graph powers. There are algorithmic and computational approaches to answer the decision problem of whether a given graph is a certain power of any graph. There are polynomial time algorithms to solve this problem for square of graphs with girth at least six while the NP-completeness is proven for square of graphs with girth at most four. The girth-parameterized problem of root fining has been open in the case of square of graphs with girth five. We settle the conjecture that recognition of square of graphs with girth 5 is NP-complete. This result is providing the complete dichotomy theorem for square root finding problem.
Resumo:
In the aftermath of World War II, a wave of Dutch Reformed immigrants arrived in Ontario, many of whom joined the Christian Reformed Church. Following familiar cultural patterns, history, and their Reformed Christian faith, these immigrants settled in Ontario with remarkable institutional completeness (Breton, 1964). They quickly established independent, parent-operated Christian schools across Ontario. The primary purpose of the schools was to educate children through a comprehensive biblically based school program, yet this religious purpose often intersected with a Dutch immigrant ethnic culture. Van Dijk (2001) states that “the schools were the most important organization in maintaining the religious and ethnic identity of Calvinists” (p. 66). In this qualitative study I explore the intersection of Reformed faith and Dutch Canadian immigrant ethnic culture in Christian schools through the experiential and professional lens of eight retired principals. Employing a theoretical framework informed by Berger’s (1967) Sacred Canopy, I suggest that the intersection of faith and culture was experienced in the schools and was embodied by the schools themselves. Findings point to this intersection being located in the participants’ experience of (a) Dutchness, (b) the struggle for Christian education, (c) the ties that bound the school community together, and (d) the cloud of witnesses that founded and continues to support and encourage the Christian school community. The study offers insight into a Dutch Reformed immigrant group’s experience carving out a niche for themselves on the educational landscape in Ontario. This study also offers suggestions on how Christian schools can broaden their canopy and become more ethnically and denominationally diverse in the future.
Resumo:
Consistency of a binary relation requires any preference cycle to involve indifference only. As shown by Suzumura (1976b), consistency is necessary and sufficient for the existence of an ordering extension of a relation. Because of this important role of consistency, it is of interest to examine the rationalizability of choice functions by means of consistent relations. We describe the logical relationships between the different notions of rationalizability obtained if reflexivity or completeness are added to consistency, both for greatest-element rationalizability and for maximal-element rationalizability. All but one notion of consistent rationalizability are characterized for general domains, and all of them are characterized for domains that contain all two-element subsets of the universal set.
Resumo:
We examine the maximal-element rationalizability of choice functions with arbitrary do-mains. While rationality formulated in terms of the choice of greatest elements according to a rationalizing relation has been analyzed relatively thoroughly in the earlier litera-ture, this is not the case for maximal-element rationalizability, except when it coincides with greatest-element rationalizability because of properties imposed on the rationalizing relation. We develop necessary and sufficient conditions for maximal-element rationaliz-ability by itself, and for maximal-element rationalizability in conjunction with additional properties of a rationalizing relation such as re exivity, completeness, P-acyclicity, quasi-transitivity, consistency and transitivity.
Resumo:
L'agriculture biologique est issue d'une longue lutte du consommateur et du citoyen pour connaître et contrôler la qualité de son alimentation. Sa popularité montante confirme que la disponibilité de l'information sur l'offre joue un rôle économique et social central auprès de la demande. Cette tendance appuie l'émergence d'un nouvel élément au sein du corpus des droits de la personne : le droit à l'information. Cette étude aborde les étapes de sa formation et prend pour exemple la filière agroalimentaire biologique. Elle représente un modèle avant-gardiste de l'hybridation entre le droit privé et le droit public. Nous examinons en premier lieu comment l'activité des secteurs agroalimentaires civils et privés a contribué à fomenter le désir d'information du consommateur, pour ensuite le mettre en péril. Parallèlement à cela, nous proposons d'analyser les effets et l'influence du corpus de droits et de principes du développement durable sur la filière biologique, mais surtout sur la reconnaissance du besoin d'information pour le consommateur. Enfin, nous faisons un tour d'horizon de la réglementation publique de l'appellation biologique, de son label et de son étiquette. Pour cela, nous évaluons les mesures en place selon les critères de la véracité, de l'accessibilité et de l'exhaustivité de l'information divulguée au consommateur. À la lumière de notre analyse, le consommateur peut tirer ses propres conclusions sur les meilleures réponses normatives à ses besoins. Quelles mesures entre le droit transnational, le droit international et le droit national offrent le meilleur résultat? Laquelle de ces formes juridiques s'avère en mesure de promouvoir une consommation responsable où le consommateur ne fait plus face aux obstacles à son choix éclairé?
Resumo:
La recherche explore les dynamiques influençant la réussite scolaire des élèves montréalais originaires de l’Asie du Sud (Inde, Pakistan, Sri Lanka et Bangladesh) à l’école secondaire publique de langue française. En effet, au Québec, à cet ordre d’enseignement, parmi tous les élèves immigrants de différentes origines ethniques, ces élèves présentent le plus fort taux de décrochage et ce, même si l’on tient compte de leur départ élevé de la province avant l’âge de 15 ans et de leur fréquentation importante du secteur de l’éducation des adultes. Cette recherche vise, d’une part, à fournir une meilleure connaissance des dynamiques familiales, communautaires et scolaires qui influencent l’expérience socioscolaire et plus particulièrement, la réussite scolaire de ces élèves et, d’autre part, à identifier les moyens les plus appropriés et les plus efficaces pour amoindrir leurs difficultés. Les données ont été recueillies par le biais d’une méthode mixte, consistant en des entretiens approfondis auprès d’élèves d’origine sud-asiatique et de différents acteurs du paradigme éducatif (les parents, les intervenants scolaires et communautaires), et en un questionnaire anonyme adressé exclusivement aux parents sud-asiatiques. Les données ont été analysées selon un cadre où l’élève d’origine immigrée réussit plus ou moins à l’école sous l’influence de cinq types de facteurs : socioéconomiques, linguistiques, culturels, sociostructurels et systémiques. Les résultats de la recherche soulignent le rôle de l’élève comme acteur de sa réussite, tout en insistant sur l’impact des différents milieux qu’il fréquente. La famille est particulièrement interpellée quant à son projet migratoire, ses valeurs et ses pratiques, ainsi que ses ressources linguistiques, socioéconomiques et relationnelles. La communauté ethnique est aussi interpellée quant à son niveau de complétude institutionnelle. La recherche souligne également l’influence du système scolaire quant à ses politiques, programmes et encadrements éducatifs, mais aussi quant aux pratiques et dynamiques au sein de l’école. L’impact du contexte d’accueil et d’intégration des nouveaux arrivants et du climat des relations interethniques au sein de la société d’accueil sont également mis en relief. « Ça prend tout un village pour éduquer un enfant »! Plus précisément, selon les résultats de notre recherche, les défis des parents sud-asiatiques face à l’insertion au marché de l’emploi, leur méconnaissance du français et le fait que certaines valeurs sud-asiatiques soient parfois en contradiction avec les valeurs québécoises sont les principales dynamiques familiales qui nuisent à la réussite scolaire des élèves d’origine sud-asiatique à l’école québécoise de langue française. En ce qui concerne les dynamiques communautaires, la faiblesse institutionnelle de la communauté sud-asiatique et le petit nombre d’organismes à vocation scolaire ont également un impact important à cet égard. De plus, le classement problématique des élèves à leur arrivée dans le système scolaire québécois, les relations presque inexistantes entre l’école et les parents ainsi que certaines pratiques inadaptées à la réalité des élèves (liées aux services d’accueil et d’orientation) sont les principales dynamiques systémiques qui défavorisent l’intégration socioscolaire des élèves d’origine sud-asiatique, mais aussi celle de l’ensemble des élèves issus de l’immigration.
Resumo:
We generalize the classical expected-utility criterion by weakening transitivity to Suzumura consistency. In the absence of full transitivity, reflexivity and completeness no longer follow as a consequence of the system of axioms employed and a richer class of rankings of probability distributions results. This class is characterized by means of standard expected-utility axioms in addition to Suzumura consistency. An important feature of some members of our new class is that they allow us to soften the negative impact of wellknown paradoxes without abandoning the expected-utility framework altogether.