Digital Commons Network^™

Active And Adaptive Flow Control Of Twin-Tail Buffet And Applications, Zhi Yang

Mechanical & Aerospace Engineering Theses & Dissertations

Modern fighter aircraft with dual vertical tails are operated at high angles of attack. The vortex generated by leading edge extension (LEX) breaks down before reaching the two vertical tails. The wake of highly unsteady, turbulent flow causes unbalanced broadband aerodynamic loading on the tails and may produce severe buffet on the tails and lead to tail fatigue failure.

Flow suction along the vortex cores (FSVC) is investigated as an active control method for tail-buffet alleviation. Suction tubes have been tilted at different angles to study the control effectiveness of suction tubes orientation. Flow field response, aerodynamic loading and aeroelastic …

Federating Heterogeneous Digital Libraries By Metadata Harvesting, Xiaoming Liu

Computer Science Theses & Dissertations

This dissertation studies the challenges and issues faced in federating heterogeneous digital libraries (DLs) by metadata harvesting. The objective of federation is to provide high-level services (e.g. transparent search across all DLs) on the collective metadata from different digital libraries. There are two main approaches to federate DLs: distributed searching approach and harvesting approach. As the distributed searching approach replies on executing queries to digital libraries in real time, it has problems with scalability. The difficulty of creating a distributed searching service for a large federation is the motivation behind Open Archives Initiatives Protocols for Metadata Harvesting (OAI-PMH). OAI-PMH supports …

Faculty Senate Minutes 2001 - 2002, Missouri University Of Science And Technology Faculty Senate

Minutes & Agendas

No abstract provided.

A High Resolution Gravity Survey Of The Lake St. Martin Impact Structure, Manitoba, Canada, Christina Davids

Theses and Dissertations

There are roughly 160 known impact craters listed in the Cratering Database (Earth Impact Database, 2002) of these approximately 20% are buried structures. Geophysical methods of investigation are used to study buried impact structures and add to the growing knowledge base of crater properties. Approximately three to five craters are discovered each year, some of which may be identified through gravity anomalies. A high-resolution gravity survey of the Lake St. Martin impact structure, southern Manitoba, Canada, was conducted to further interpret the structure's gravity anomaly. Previous studies have suggested two different crater diameters for Lake St. Martin, one of 23-km …

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Relational Contract And Other Models Of Marriage, Robert Leckey

Osgoode Hall Law Journal

This article proposes relational contract as a model for analyzing marriage under Canadian law. In contrast, in Bracklow v. Bracklow, the Supreme Court of Canada recognized two "competing" models of marriage and three models of spousal support. The difficult policy issues in the law of spousal support relate not to a tension between different models but instead go to compensation, including reliance and expectations. This article uses relational contract to critique Bracklow, considering the challenges in defining models. The Court's basic social obligation model and its non-compensatory support are unjustifiably broad, and its compensatory support is too narrow. In assessing …

Mediating Ethically: The Limits Of Codes Of Conduct And The Potential Of A Reflective Practice Model, Julie Macfarlane

Osgoode Hall Law Journal

Discussions regarding the appropriate ethical behaviours for mediators and the subsequent development of formal codes of conduct have focused on hallmark issues such as third party impartiality and party self-determination. However, in an informal process, ethical choices are inherent in every intervention made by a mediator. In adopting the standard-setting approach of an adjudicative model, mediator codes of conduct are a poor fit with the conceptual and structural characteristics of this fluid, uncertain, and essentially private process. Confining the substantive and conceptual debate over mediation ethics to formal codes dangerously underestimates both the scope and the significance of choices faced …

Theft Of Time: Disciplining Through Science And Law, Laureen Snider

Osgoode Hall Law Journal

This commentary traces the genealogy of "theft of time," a newly discovered offence committed by employees against employers. A Foucauldian perspective is used to examine how truth claims from science, technology, and law constitute categories through which groups are sorted, classified, and censured: the processes of naming, blaming, and shaming. This commentary argues that to understand why some truth claims are heard and acted upon, while others are ignored or silenced, it is necessary to link the power/knowledge nexus to political economy, the structural dominance of capital, and the power relations thereby created and reinforced.