Cheese tart press machine

Tart is a type of baked open-pastry which consists of a shortcrust pastry and a filling over it (Figure 9.1). Shortcrust pastry often used as the base for the tart. The filling may be usually something sweet and savory poured onto the crust, though modern tarts are usually fruit-based, sometimes with custard. In the production of tart, its crust is the main part. In the process of making tart crust, the dough must first be pressed to get the desired shape and size

Efficiently Disassemble-and-Pack for Mechanism

In this paper, we present a disassemble-and-pack approach for a mechanism to seek a box which contains total mechanical parts with high space utilization. Its key feature is that mechanism contains not only geometric shapes but also internal motion structures which can be calculated to adjust geometric shapes of the mechanical parts. Our system consists of two steps: disassemble mechanical object into a group set and pack them within a box efficiently. The first step is to create a hierarchy of possible group set of parts which is generated by disconnecting the selected joints and adjust motion structures of parts in groups. The aim of this step is seeking total minimum volume of each group. The second step is to exploit the hierarchy based on breadth-first-search to obtain a group set. Every group in the set is inserted into specified box from maximum volume to minimum based on our packing strategy. Until an approximated result with satisfied efficiency is accepted, our approach finish exploiting the hierarchy.Comment: 2 pages, 2 figure

Information hiding through variance of the parametric orientation underlying a B-rep face

Watermarking technologies have been proposed for many different,types of digital media. However, to this date, no viable watermarking techniques have yet emerged for the high value B-rep (i.e. Boundary Representation) models used in 3D mechanical CAD systems. In this paper, the authors propose a new approach (PO-Watermarking) that subtly changes a model's geometric representation to incorporate a 'transparent' signature. This scheme enables software applications to create fragile, or robust watermarks without changing the size of the file, or shape of the CAD model. Also discussed is the amount of information the proposed method could transparently embed into a B-rep model. The results presented demonstrate the embedding and retrieval of text strings and investigate the robustness of the approach after a variety of transformation and modifications have been carried out on the data

Software issues involved in code translation of C to Ada programs

It is often thought that translation of one programming language to another is a simple solution that can be used to extend the software life span or in rehosting software to another environment. The possible problems are examined as are the advantages and disadvantages of direct machine or human code translation versus that of redesign and rewrite of the software. The translation of the expert system language called C Language Integrated Production System (CLIPS) which is written in C, to Ada, will be used as a case study of the problems that are encountered

Loss of Nmp4 optimizes osteogenic metabolism and secretion to enhance bone quality

A goal of osteoporosis therapy is to restore lost bone with structurally sound tissue. Mice lacking the transcription factor Nuclear Matrix Protein 4 (Nmp4, Zfp384, Ciz, ZNF384) respond to several classes of osteoporosis drugs with enhanced bone formation compared to wild type (WT) animals. Nmp4-/- mesenchymal stem/progenitor cells (MSPCs) exhibit an accelerated and enhanced mineralization during osteoblast differentiation. To address the mechanisms underlying this hyper-anabolic phenotype, we carried out RNA-sequencing and molecular and cellular analyses of WT and Nmp4-/- MSPCs during osteogenesis to define pathways and mechanisms associated with elevated matrix production. We determined that Nmp4 has a broad impact on the transcriptome during osteogenic differentiation, contributing to the expression of over 5,000 genes. Phenotypic anchoring of transcriptional data was performed for the hypothesis-testing arm through analysis of cell metabolism, protein synthesis and secretion, and bone material properties. Mechanistic studies confirmed that Nmp4-/- MSPCs exhibited an enhanced capacity for glycolytic conversion- a key step in bone anabolism. Nmp4-/- cells showed elevated collagen translation and secretion. Expression of matrix genes that contribute to bone material-level mechanical properties were elevated in Nmp4-/- cells, an observation that was supported by biomechanical testing of bone samples from Nmp4-/- and WT mice. We conclude that loss of Nmp4 increases the magnitude of glycolysis upon the metabolic switch, which fuels the conversion of the osteoblast into a super-secretor of matrix resulting in more bone with improvements in intrinsic quality

A CRS oedometer cell for unsaturated and non-isothermal tests

Research into the thermo-hydro-mechanical (THM) behavior of unsaturated soils and the effect of strain rate on their mechanical responses requires employment of advanced laboratory testing systems and procedures as well as protocols of correcting the measured data in order to account for errors associated with complex test conditions and apparatus calibrations. This paper presents design and calibration of an innovative constant-rate-of-strain (CRS) oedometer cell for characterization of the THM behavior of soils under combined non-isothermal and unsaturated conditions. The advanced oedometer cell enables for simultaneous control of temperature, suction, and stress state within the soil specimens. Temperatures of 20 to 200° C is applied through a tubular heating element placed at the base of the soil specimen. Suction is controlled using axis-translation technique, and measured using both axis-translation and two high-capacity tensiometers (HCTs) accommodated on the periphery of the specimen. The performance of the new cell is assessed based on a set of tests performed on clay specimens and its merits and advantages are discussed in detail

A simple, low-cost, data-logging pendulum built from a computer mouse

Lessons and homework problems involving a pendulum are often a big part of introductory physics classes and laboratory courses from high school to undergraduate levels. Although laboratory equipment for pendulum experiments is commercially available, it is often expensive and may not be affordable for teachers on fixed budgets, particularly in developing countries. We present a low-cost, easy-to-build rotary sensor pendulum using the existing hardware in a ball-type computer mouse. We demonstrate how this apparatus may be used to measure both the frequency and coefficient of damping of a simple physical pendulum. This easily constructed laboratory equipment makes it possible for all students to have hands-on experience with one of the most important simple physical systems.Comment: 3 pages, 3 figure

Modular, Fully-abstract Compilation by Approximate Back-translation

A compiler is fully-abstract if the compilation from source language programs to target language programs reflects and preserves behavioural equivalence. Such compilers have important security benefits, as they limit the power of an attacker interacting with the program in the target language to that of an attacker interacting with the program in the source language. Proving compiler full-abstraction is, however, rather complicated. A common proof technique is based on the back-translation of target-level program contexts to behaviourally-equivalent source-level contexts. However, constructing such a back- translation is problematic when the source language is not strong enough to embed an encoding of the target language. For instance, when compiling from STLC to ULC, the lack of recursive types in the former prevents such a back-translation. We propose a general and elegant solution for this problem. The key insight is that it suffices to construct an approximate back-translation. The approximation is only accurate up to a certain number of steps and conservative beyond that, in the sense that the context generated by the back-translation may diverge when the original would not, but not vice versa. Based on this insight, we describe a general technique for proving compiler full-abstraction and demonstrate it on a compiler from STLC to ULC. The proof uses asymmetric cross-language logical relations and makes innovative use of step-indexing to express the relation between a context and its approximate back-translation. The proof extends easily to common compiler patterns such as modular compilation and it, to the best of our knowledge, it is the first compiler full abstraction proof to have been fully mechanised in Coq. We believe this proof technique can scale to challenging settings and enable simpler, more scalable proofs of compiler full-abstraction

An integrated opto-mechanical measurement system for in-process defect measurement on a roll-to-roll process

This paper reports on the recent work carried out to develop and implement a high precision on-line optical measurement system with the aim of providing defect detection and characterisation for ALD coated vapour barrier films produced by a roll-to-roll process. This proof-of-concept system is designed to detect and measure pre-existing defects on the film and define their size, location, form and density. The aim is to be able to detect defects in a thin film Al2O3 layer that are critical to vapour barrier performance, and eventually provide valuable process control information. Such an inspection system must be fast in order to evaluate large areas involved (500 mm width foil) at high magnifications. In addition the flexibility of the foil introduces challenges in terms of dealing with surface deviation away from an ideal plane and vibrations. Our solution is a wavelength scanning interferometer (WSI) combined with two kinematic stages, vertical (for auto-focus) and a traverse stage to provide full coverage of the foil. A porous air-bearing conveyor system is used to hold the foil at a fixed height and improve the flatness of the film relative to the measurement plane. This paper describes the principle and design of the inspection system