5,937 research outputs found

    Value Types in Eiffel

    Get PDF
    Identifies a number of problems with Eiffel's expanded types in modelling value types, and proposes a backward compatible syntactic extension, and a modified semantics. The latter is also shown to be (effectively) backward compatible, in the sense that existing programs would run unaffected if compilers implemented the new semantics. The benefits of the approach are discussed, including an elegant approach to rebuilding data structure libraries

    Reasoning with Spider Diagrams

    Get PDF
    Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in conjunction with object-oriented modelling notations such as the Unified Modelling Language. This paper summarises the main syntax and semantics of spider diagrams and introduces four inference rules for reasoning with spider diagrams and a rule governing the equivalence of Venn and Euler forms of spider diagrams. This paper also details rules for combining two spider diagrams to produce a single diagram which retains as much of their combined semantic information as possible and discusses disjunctive diagrams as one possible way of enriching the system in order to combine spider diagrams so that no semantic information is lost

    A land mobile satellite data system

    Get PDF
    The Telesat Mobile Incorporated (TMI) Mobile Data System (MDS) was developed to apply satellite technology to the transportation industry's requirement for a fleet management system. It will provide two-way messaging and automatic position reporting capabilities between dispatch centers and customers' fleets of trucks. The design was based on the Inmarsat L-Band space segment with system link parameters and margins adjusted to meet the land mobile satellite channel characteristics. The system interfaces with the Teleglobe Des Laurentides earth station at Weir, Quebec. The signaling protocols were derived from the Inmarsat Standard C packet signalling system with unique trucking requirements incorporated where necessary

    Interpreting the Object Constraint Language

    Get PDF
    The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of the whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states

    FARMERS' DECISION PROCESSES AND ADOPTION OF CONSERVATION TILLAGE

    Get PDF
    In a transect survey of crop residue levels in 1995 and 1996, two Minnesota counties had very different percentages of cropland with desired residue cover even though the soil types were similar. To gain a better understanding of the reasons behind this difference, the farmers in these two counties were surveyed about their use or lack of use of conservation tillage practices. A statistical logit analysis of survey responses showed farmers are more apt to adopt conservation tillage if they are larger; are more concerned about erosion on their land; have made a recent major investment in the farm; use other producers for tillage information; have the management skill for conservation tillage; and believe conservation tillage will fit with their production goals and the physical setting of their farm. Two counterintuitive findings are the negative effects of the ease of finding information and the degree of control of the adoption decision. The costs and labor requirements of conservation tillage were important but not as statistically significant as those factors just listed. Some variables, that are often listed as potentially important factors, were not found to be important in this survey. These included the long-term viability of the farm; the age, education, and experience of the farmer; the debt level of the farm; whether a family member wanted to continue farming; the proportion of land rented; the use of other sources for tillage information; the complexity of conservation tillage practices; the producer's planning horizon; the risk of negative returns; the availability of support for conservation tillage systems; and the quality of conservation tillage information.Crop Production/Industries,

    ENVIRO-ECONOMIC ANALYSIS OF PHOSPHORUS NONPOINT POLLUTION

    Get PDF
    The state of Minnesota seeks to reduce phosphorus loading to the Minnesota River by 40% from current levels. The state agency charged with achieving this reduction has indicated each watershed should reduce its current phosphorus loading by 40%. We hypothesized that policies targeting specific practices or regions would have a smaller negative impact on farm income than policies requiring every nonpoint polluter to reduce its contribution by 40%. Using a stylized version of one major watershed in the river basin as an example, we analyzed the cost-effectiveness of various nonpoint pollution reduction policies. We simulated current and alternative farming systems (designed to reduce phosphorus loading by changing tillage or fertilizer practices) in distinct regions within the watershed using a biophysical process model. For each system, estimates of phosphorus loading from biophysical simulation were combined with production cost and return estimates to create an enviro-economic model of the watershed. Additionally, risk premiums were estimated and included with cost estimates for each alternative system. We used a positive math-programming (PMP) version of the enviro-economic model to analyze nonpoint pollution reduction policies (pollution standard, phosphorus effluent tax, conventional tillage tax, and phosphorus fertilizer tax). When regions and practices within the watershed could be targeted for achieving the pollution reduction standard, 13,500 fewer hectares (6% reduction from the baseline cropland level) were farmed. When the same standard was uniformly applied to all regions (not targeted), cropland decline by 40,500 hectares (20%). Under either scenario, cropland was removed from production, implying some producers may exit farming. Cropland reductions resulted in farmers losing 2.8million(52.8 million (5% reduction from the baseline income level) in income with targeting, while not targeting caused farm income to decline by 11.4 million (21%). This finding illustrates how difficulty it is to reduce nonpoint pollution if one does not focus on specific regions. An effluent tax of 74perkilogramofphosphorusreachingtheriverwasneededtoreducephosphorusloadingby4074 per kilogram of phosphorus reaching the river was needed to reduce phosphorus loading by 40% from current levels. With this tax rate, watershed farm income declined by 14 million (25% reduction from the baseline income level), $11 million of which were revenues from the effluent tax. Neither the conventional tillage tax nor the phosphorus fertilizer tax achieved a 40% reduction in phosphorus loading. This finding illustrates the difficulty of reducing nonpoint pollution by focusing only on one practice. Under a pollution-reduction standard, our results indicated it is more cost effective to reduce nonpoint pollution by targeting particular regions or practices in a watershed compared to not targeting. Specifically, producers farming on cropland susceptible to erosion in close proximity to water who switch from conventional tillage to conservation tillage and reduce phosphorus fertilization levels to those recommended by the state extension service will appreciably reduce phosphorus nonpoint pollution loading potential. Efforts to target those producers could minimize potential losses in farm income in the watersheds and the river basin.Environmental Economics and Policy,
    • …
    corecore