7,068 research outputs found

    Diagnostic Adjudication in Appellate Courts: The Supreme Court of Canada and the Charter of Rights

    Get PDF
    Three distinct adjudicatory processes are found in appellate courts: decisional adjudication (applying principles), procedural adjudication (choosing among principles), and diagnostic adjudication (defining and developing principles). The Supreme Court of Canada has traditionally used procedural adjudication, in which the adversary process frames issues and generates supporting material. However, the Court\u27s decreased caseload, its increased discretion to select cases, and the arrival of a new wave of issues under the Charter of Rights has shifted the Court\u27s work to diagnostic adjudication. As judgment becomes less a choice problem and more a creative exercise, both the degree and kind of judicial involvement changes. Thusfar, however, the Court\u27s administrative responses to the pressure of its work have had limited success. To be effective, reforms in the way the Court organizes and processes its work must derive from an analysis of the requirements of diagnostic adjudication. The paper concludes by suggesting an overall approach and making specific proposals

    Strong Structural Controllability of Systems on Colored Graphs

    Get PDF
    This paper deals with structural controllability of leader-follower networks. The system matrix defining the network dynamics is a pattern matrix in which a priori given entries are equal to zero, while the remaining entries take nonzero values. The network is called strongly structurally controllable if for all choices of real values for the nonzero entries in the pattern matrix, the system is controllable in the classical sense. In this paper we introduce a more general notion of strong structural controllability which deals with the situation that given nonzero entries in the system's pattern matrix are constrained to take identical nonzero values. The constraint of identical nonzero entries can be caused by symmetry considerations or physical constraints on the network. The aim of this paper is to establish graph theoretic conditions for this more general property of strong structural controllability.Comment: 13 page

    Correctly defined concrete syntax

    Get PDF
    Due to their complexity, the syntax of modern modeling languages is preferably defined in two steps. The abstract syntax identifies all modeling concepts whereas the concrete syntax should clarify how these concepts are rendered by graphical and/or textual elements. While the abstract syntax is often defined in form of a metamodel, there does not exist such standard format yet for concrete syntax definitions. The diversity of definition formats—ranging from EBNF grammars to informal text—is becoming a major obstacle for advances in modeling language engineering, including the automatic generation of editors. In this paper, we propose a uniform format for concrete syntax definitions. Our approach captures both textual and graphical model representations and even allows to assign more than one rendering to the same modeling concept. Consequently, following our approach, a model can have multiple, fully equivalent representations, but—in order to avoid ambiguities when reading a model representation—two different models should always have distinguishable representations. We call a syntax definition correct, if all well-formed models are represented in a non-ambiguous way. As the main contribution of this paper, we present a rigorous analysis technique to check the correctness of concrete syntax definition

    A three-dimensional linear analysis of steady ship motion in deep water

    Get PDF
    This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The investigation of steady ship motion in calm water is a classic problem in ship hydrodynamics, where ship waves and wave resistance are subjects of unquestionable importance. Despite considerable efforts in the past a satisfactory solution of the steady ship motion problem has not been achieved so far. The application of three-dimensional potential flow theory results in an essentially nonlinear problem formulation due to the unknown position of the disturbed free surface. In this thesis consistent linearisation schemes are discarded in favour of the inconsistent Neumann-Kelvin theory. This approximation implies that nonlinear free surface effects are neglected entirely, but the three-dimensional features of the fluid flow and hull geometry are otherwise fully retained. The Kelvin wave source potential, otherwise known as the wave resistance Green's function, is analysed in great detail. Solutions to the disturbance potential of the steady perturbed ship flow are obtained by means of a Kelvin wave source distribution method. The exact source strength is the solution of a Fredholm integral-equation of the second kind. An explicit source strength approximation, valid for sufficiently slender ships operating at fairly low speeds, is investigated. Particular emphasis is placed on computational aspects. Highly accurate and efficient methods for the evaluation of the Kelvin wave source potential are proposed. The developed theory is applied to five different ship forms, viz. a submerged prolate spheroid, Wigley's parabolic ship, a tanker, a fast destroyer and a cruiser. Over a wide range of ship speeds experimental data are compared with theoretical predictions of the steady flow parameters such as wave resistance, wave profiles, pressure signatures and lift force distributions
    • …
    corecore