10 research outputs found

    A Model Driven Approach to the Analysis of Timeliness Properties

    Get PDF
    Abstract. The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri Nets are a good example of this dichotomy. UML is a widely accepted modelling language capable of modelling the structural and behavioural aspects of a system. However UML lacks the mathematical foundation that is required for rigorous analysis. Petri Nets on the other hand have a strong mathematical base that is well suited for analysis of a system but lacks the appeal and ease-of-use of UML. Design in UML languages such as Sequence Diagrams and analysis in Petri Nets require on one hand some expertise in potentially two incompatible systems and their tools, and on the other a seamless transition from one system to the other. One way of addressing this impediment is to focus the software development mainly on the design language system and to facilitate the transition to the formal analysis by means of a combination of automation and tool support. The aim of this paper is to present a transformation system, which takes UML Sequence Diagrams augmented with time constraints and generates semantically equivalent Petri Nets that preserve the timing requirements. A case study on a small network is used in order to illustrate the proposed approach and in particular the design, the transformation and the analysis processes.

    A Machining System for Turning Nonaxisymmetric Surfaces

    Get PDF
    Aspheric reflecting surfaces possessing extremely high surface finish and contour accuracy are often demanded by the optics industry. Such reflectors have also been required in high energy gas laser systems used to trigger thermonuclear reactions in experiments connected with advanced electric power generation. Historically, production of optical pieces of the quality described required many repetitions of selective hand-lapping, polishing and measuring. In the past ten years production of these pieces has been enhanced by machining with diamond cutting tools on precision numerically controlled (NC) turning machines. These machines are capable of generating axisymmetric surfaces competitive in quality to those produced by conventional means without the expensive hand-work. This experiment describes the design and testing of a prototype system for machining an off-axis parabolic sector by on-axis turning. The prototype system utilized an auxiliary slide. which carried the cutting tool. The slide was supported by captive air bearings and was driven by a linear motor. A transformation was performed on the parabola to describe the auxiliary slide motion in coordinates centered in the off-axis sector. A Fourier expansion resulted in a scheme which permits the slide position commands to be generated in real time. The use by the signal generator of position information from the base machine transverse slide along with zero position and tachometer signals from the spindle insured synchronization between all motions. A test part was machined with the prototype system. The contour accuracy of the test part was measured between -.0005 and +.0009 inch. Surface finish varied from 7 microinches RMS near the part center to approximately 60 microinches near the outer edge. Two important factors contributed to the workpiece inaccuracy. An electrical noise level equivalent to 15 to 20 microinches of vibration detracted from the surface finish and denied the use of a diamond cutting tool. A structural resonance in the linear motor prevented the use of higher position loop gain which resulted in increased following error. The system did serve as a proof-of-principle, however, and also produced a workpiece requiring less handwork than would have been required conventionally

    On the continuity of mind: Toward a dynamical account of cognition

    No full text
    It should be obvious by now that this minute inflow of stimulus energy does not consist of discrete inputs—that stimulation does not consist of stimuli. The flow is continuous. There are, of course, episodes in the flow, but these are nested within one another and cannot be cut up into elementary units. Stimulation is not momentary. (J. J. Gibson, 1979). I

    A theory of waste behaviour in the construction industry

    No full text
    Levels of waste within the construction industry need to be reduced for environmental and economic reasons. Changing people's wasteful behaviour can make a significant contribution. This paper describes a research project that used Ajzen's 'theory of planned behaviour' to investigate the attitudinal forces that shape behaviour at the operative level. It concludes that operatives see waste as an inevitable by-product of construction activity. Attitudes towards waste management are not negative, although they are pragmatic and impeded by perceptions of a lack of managerial commitment. Waste management is perceived as a low project priority, and there is an absence of appropriate resources and incentives to support it. A theory of waste behaviour is proposed for the construction industry, and recommendations are made to help managers improve operatives' attitudes towards waste

    Forging African American Minds: Black Pragmatism, “intelligent labor,” and a new look at industrial education, 1879–1900

    No full text
    corecore