89,814 research outputs found
The Roman Contribution to the Common Law
Although the Roman law was not received in England to the extent that it was received on the Continent, Professor Re submits that its influence was hardly less pervasive. The concepts, the terminology, the universality, and the jurisprudential principles of that vast system were transmitted and infused into the body of English law throughout its development. While the growth of the Anglo-American law still continues, so may the contributions to its development by the Roman law, whose own growth so closely parallels the growth of civilization
Estimating T-cell repertoire diversity: limitations of classical estimators and a new approach
Efficient Enumeration of Induced Subtrees in a K-Degenerate Graph
In this paper, we address the problem of enumerating all induced subtrees in
an input k-degenerate graph, where an induced subtree is an acyclic and
connected induced subgraph. A graph G = (V, E) is a k-degenerate graph if for
any its induced subgraph has a vertex whose degree is less than or equal to k,
and many real-world graphs have small degeneracies, or very close to small
degeneracies. Although, the studies are on subgraphs enumeration, such as
trees, paths, and matchings, but the problem addresses the subgraph
enumeration, such as enumeration of subgraphs that are trees. Their induced
subgraph versions have not been studied well. One of few example is for
chordless paths and cycles. Our motivation is to reduce the time complexity
close to O(1) for each solution. This type of optimal algorithms are proposed
many subgraph classes such as trees, and spanning trees. Induced subtrees are
fundamental object thus it should be studied deeply and there possibly exist
some efficient algorithms. Our algorithm utilizes nice properties of
k-degeneracy to state an effective amortized analysis. As a result, the time
complexity is reduced to O(k) time per induced subtree. The problem is solved
in constant time for each in planar graphs, as a corollary
Static internal performance including thrust vectoring and reversing of two-dimensional convergent-divergent nozzles
The effects of geometric design parameters on two dimensional convergent-divergent nozzles were investigated at nozzle pressure ratios up to 12 in the static test facility. Forward flight (dry and afterburning power settings), vectored-thrust (afterburning power setting), and reverse-thrust (dry power setting) nozzles were investigated. The nozzles had thrust vector angles from 0 deg to 20.26 deg, throat aspect ratios of 3.696 to 7.612, throat radii from sharp to 2.738 cm, expansion ratios from 1.089 to 1.797, and various sidewall lengths. The results indicate that unvectored two dimensional convergent-divergent nozzles have static internal performance comparable to axisymmetric nozzles with similar expansion ratios
Static internal performance characteristics of two thrust reverser concepts for axisymmetric nozzles
The statis performance of two axisymmetric nozzle thrust reverser concepts was investigated. A rotating vane thrust reverser represented a concept in which reversing is accomplished upstream of the nozzle throat, and a three door reverser concept provided reversing downstream of the nozzle throat. Nozzle pressure ratio was varied from 2.0 to approximately 6.0. The results of this investigation indicate that both the rotating vane and three door reverser concepts were effective static thrust spoilers with the landing approach nozzle geometry and were capable of providing at least a 50 percent reversal of static thrust when fully deployed with the ground roll nozzle geometry
Wind-tunnel investigation of basic aerodynamic characteristics of a supercritical-wing research airplane configuration
Transonic pressure tunnel and transonic tunnel tests were performed to determine the aerodynamic characteristics of a 0.087 scale model of a supercritical wing research airplane configuration at Mach numbers from 0.25 to 1.30. The investigation included tests to determine the basic longitudinal aerodynamic characteristics, the lateral-directional aerodynamic characteristics for sideslip angles of 0 deg and + or - 2.5 deg, and the effects of Reynolds number and aeroelasticity
Static internal performance of single-expansion-ramp nozzles with various combinations of internal geometric parameters
The effects of five geometric design parameters on the internal performance of single-expansion-ramp nozzles were investigated at nozzle pressure ratios up to 10 in the static-test facility of the Langley 16-Foot Transonic Tunnel. The geometric variables on the expansion-ramp surface of the upper flap consisted of ramp chordal angle, ramp length, and initial ramp angle. On the lower flap, the geometric variables consisted of flap angle and flap length. Both internal performance and static-pressure distributions on the centerlines of the upper and lower flaps were obtained for all 43 nozzle configurations tested
Z2SAL: a translation-based model checker for Z
Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data
- …