107 research outputs found

    Dynamics of braze spreading

    Get PDF
    AbstractFundamental studies of liquid flow provide a useful framework for analysing the spreading behaviour of brazes. Three stages can be distinguished by analysing kinetic data for the spreading of a reactive NiP braze over FeCr workpieces. The first and last stages when the interfacial microstructure is relatively stable can be modelled by mathematical relationships developed to describe the flow of idealised non-reactive systems, while the intermediate stage can be related to the flow kinetics of active metal brazes over ceramics. We discuss the mechanisms responsible and argue that classification of kinetic behaviour could be of value in modelling other systems

    Composability and Predictability for Independent Application Development, Verification and Execution

    Get PDF
    System-on-chip (SOC) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence be verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other’s behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in SOC resources are presented and we explain their implementation for processors, interconnect, and memories in our platform

    A composable, energy-managed, real-time MPSOC platform.

    Get PDF
    Multi-processors systems on chip (MPSOC) platforms emerged in embedded systems as hardware solutions to support the continuously increasing functionality and performance demands in this domain. Such a platform has to execute a mix of applications with diverse performance and timing constraints, i.e., real-time or non-real-time, thus different application schedulers should co-exist on an MPSOC. Moreover, applications share many MPSOC resources, thus their timing depends on the arbitration at these resources. Arbitration may create inter-application dependencies, e.g., the timing of a low priority application depends on the timing of all higher priority ones. Application inter-dependencies make the functional and timing verification and the integration process harder. This is especially problematic for real-time applications, for which fulfilling the time-related constraints should be guaranteed by construction. Moreover, energy and power management, commonly employed in embedded systems, make this verification even more difficult. Typically, energy and power management involves scaling the resources operating point, which has a direct impact on the resource performance, thus influences the application time behaviour. Finally, a small change in one application leads to the need to re-verify all other applications, incurring a large effort. Composability is a property meant to ease the verification and integration process. A system is composable if the functionality and the timing behaviour of each application is independent of other applications mapped on the same platform. Composability is achieved by utilising arbiters that ensure applications independence. In this paper we present the concepts behind a composable, scalable, energy-managed MPSOC platform, able to support different real-time and nonreal time schedulers concurrently, and discuss its advantages and limitations

    Well-posedness of Hydrodynamics on the Moving Elastic Surface

    Full text link
    The dynamics of a membrane is a coupled system comprising a moving elastic surface and an incompressible membrane fluid. We will consider a reduced elastic surface model, which involves the evolution equations of the moving surface, the dynamic equations of the two-dimensional fluid, and the incompressible equation, all of which operate within a curved geometry. In this paper, we prove the local existence and uniqueness of the solution to the reduced elastic surface model by reformulating the model into a new system in the isothermal coordinates. One major difficulty is that of constructing an appropriate iterative scheme such that the limit system is consistent with the original system.Comment: The introduction is rewritte

    A composable, energy-managed, real-time MPSOC platform

    Full text link
    Multi-processors systems on chip (MPSOC) platforms emerged in embedded systems as hardware solutions to support the continuously increasing functionality and performance demands in this domain. Such a platform has to execute a mix of applications with diverse performance and timing constraints, i.e., real-time or non-real-time, thus different application schedulers should co-exist on an MPSOC. Moreover, applications share many MPSOC resources, thus their timing depends on the arbitration at these resources. Arbitration may create inter-application dependencies, e.g., the timing of a low priority application depends on the timing of all higher priority ones. Application inter-dependencies make the functional and timing verification and the integration process harder. This is especially problematic for real-time applications, for which fulfilling the time-related constraints should be guaranteed by construction. Moreover, energy and power management, commonly employed in embedded systems, make this verification even more difficult. Typically, energy and power management involves scaling the resources operating point, which has a direct impact on the resource performance, thus influences the application time behaviour. Finally, a small change in one application leads to the need to re-verify all other applications, incurring a large effort. Composability is a property meant to ease the verification and integration process. A system is composable if the functionality and the timing behaviour of each application is independent of other applications mapped on the same platform. Composability is achieved by utilising arbiters that ensure applications independence. In this paper we present the concepts behind a composable, scalable, energy-managed MPSOC platform, able to support different real-time and nonreal time schedulers concurrently, and discuss its advantages and limitations

    Optical nanofibers and spectroscopy

    Full text link
    We review our recent progress in the production and characterization of tapered optical fibers with a sub-wavelength diameter waist. Such fibers exhibit a pronounced evanescent field and are therefore a useful tool for highly sensitive evanescent wave spectroscopy of adsorbates on the fiber waist or of the medium surrounding. We use a carefully designed flame pulling process that allows us to realize preset fiber diameter profiles. In order to determine the waist diameter and to verify the fiber profile, we employ scanning electron microscope measurements and a novel accurate in situ optical method based on harmonic generation. We use our fibers for linear and non-linear absorption and fluorescence spectroscopy of surface-adsorbed organic molecules and investigate their agglomeration dynamics. Furthermore, we apply our spectroscopic method to quantum dots on the surface of the fiber waist and to caesium vapor surrounding the fiber. Finally, towards dispersive measurements, we present our first results on building and testing a single-fiber bi-modal interferometer.Comment: 13 pages, 18 figures. Accepted for publication in Applied Physics B. Changes according to referee suggestions: changed title, clarification of some points in the text, added references, replacement of Figure 13

    Possible origins of macroscopic left-right asymmetry in organisms

    Full text link
    I consider the microscopic mechanisms by which a particular left-right (L/R) asymmetry is generated at the organism level from the microscopic handedness of cytoskeletal molecules. In light of a fundamental symmetry principle, the typical pattern-formation mechanisms of diffusion plus regulation cannot implement the "right-hand rule"; at the microscopic level, the cell's cytoskeleton of chiral filaments seems always to be involved, usually in collective states driven by polymerization forces or molecular motors. It seems particularly easy for handedness to emerge in a shear or rotation in the background of an effectively two-dimensional system, such as the cell membrane or a layer of cells, as this requires no pre-existing axis apart from the layer normal. I detail a scenario involving actin/myosin layers in snails and in C. elegans, and also one about the microtubule layer in plant cells. I also survey the other examples that I am aware of, such as the emergence of handedness such as the emergence of handedness in neurons, in eukaryote cell motility, and in non-flagellated bacteria.Comment: 42 pages, 6 figures, resubmitted to J. Stat. Phys. special issue. Major rewrite, rearranged sections/subsections, new Fig 3 + 6, new physics in Sec 2.4 and 3.4.1, added Sec 5 and subsections of Sec

    Report of a Working Group on Barley: Sixth meeting, 3 December 2000, Salsomaggiore, Italy

    Get PDF
    These proceedings outline the discussions and recommendations made at the working group and contains the collection of presented papers from the meeting. Main topics of discussion include the European Barley Database (EBDB), the status of national collections, sharing responsibilities for conservation and promoting the use of barley genetic resources

    The state of the Martian climate

    Get PDF
    60°N was +2.0°C, relative to the 1981–2010 average value (Fig. 5.1). This marks a new high for the record. The average annual surface air temperature (SAT) anomaly for 2016 for land stations north of starting in 1900, and is a significant increase over the previous highest value of +1.2°C, which was observed in 2007, 2011, and 2015. Average global annual temperatures also showed record values in 2015 and 2016. Currently, the Arctic is warming at more than twice the rate of lower latitudes
    corecore