Bringing Scheme programming to the iPhone—Experience

The iPhone SDK provides a powerful platform for the development of applications that make use of iPhone capabilities, such as sensors, GPS, Wi‐Fi, or Bluetooth connectivity. We observe that so far the development of iPhone applications has mostly been restricted to using Objective‐C. However, developing applications in plain Objective‐C on the iPhone OS suffers from limitations, such as the need for explicit memory management and lack of syntactic extension mechanism. Moreover, when developing distributed applications in Objective‐C, programmers have to manually deal with distribution concerns, such as service discovery, remote communication, and failure handling. In this paper, we discuss our experience in porting the Scheme programming language to the iPhone OS and how it can be used together with Objective‐C to develop iPhone applications. To support the interaction between Scheme programs and the underlying iPhone APIs, we have implemented a language symbiosis layer that enables programmers to access the iPhone SDK libraries from Scheme. In addition, we have designed high‐level distribution constructs to ease the development of distributed iPhone applications in an event‐driven style. We validate and discuss these constructs with a series of examples, including an iPod controller, a maps application, and a distributed multiplayer Scrabble‐like game. We discuss the lessons learned from this experience for other programming language ports to mobile platforms. Copyright © 2011 John Wiley & Sons, Ltd.     

GPU Shape Grammars

GPU Shape Grammars provide a solution for interactive procedural generation, tuning and visualization of massive environment elements for both video games and production rendering. Our technique generates detailed models without explicit geometry storage. To this end we reformulate the grammar expansion for generation of detailed models at the tesselation control and geometry shader stages. Using the geometry generation capabilities of modern graphics hardware, our technique generated massive, highly detailed models. GPU Shape Grammars integrate within a scalable framework by introducing automatic generation of levels of detail at reduced cost. We apply our solution for interactive generation and rendering of scenes containing thousands of buildings and trees.     

Finite Volume Time Domain modelling of microwave breakdown and plasma formation in a metallic aperture

The modelling of plasma formation during microwave breakdown is a difficult task because of the strong non-linear coupling between Maxwell?s equations and plasma equations, and of the large plasma density gradients that form during breakdown. An original Finite Volume Time Domain (FVTD) method has been developed to solve Maxwell?s equations coupled with a simplified fluid plasma model and is described in this paper. This method is illustrated with the study of the shielding of a metallic aperture by the plasma generated by an incident high power electromagnetic wave. Typical results obtained with the FVTD method for this shielding problem are shown.     

Control-oriented modeling of a three-way catalytic converter with observation of the relative oxygen level profile

The paper presents a novel control-oriented, first-principle model of a three-way catalytic converter (TWC). The model accurately predicts the air–fuel ratio downstream of the catalyst and provides insights into the relative oxygen level (ROL) profile along the catalyst. The reaction mechanism of the TWC model is simplified to only two reactions, with oxygen being the only species stored on the active surface of the catalyst. All the information about the gas composition is taken from the upstream wide-range oxygen sensor. Additional model inputs are the exhaust gas temperature and the exhaust mass flow. The model is parameterized with only a few measurements from an engine test bench. Exact values of gas concentrations are not needed at any point.The ROL profile is a good indicator for the condition of the TWC. It can therefore be used to derive optimal TWC depletion strategies after fuel cut-off phases. Since the model is real-time capable, the ROL profile can even be used for on-line control strategies. Based thereon, a causal strategy is proposed with results that match those of the non-causal strategies found in off-line optimizations.     

Dynamic Spar Elements and Discrete Element Methods in Two Dimensions for the Modeling of Soil-Inclusion Problems

Discrete element methods (DEMs) provide new numerical means to study the behavior of soil-inclusion systems. In some cases, however, the classic DEM fails to model specific aspects of the inclusions. That is why a model based on spar elements is introduced, designed specifically for inclusions. In this model, the movement of the inclusion is considered as a dynamic process and is computed step by step in the same way as in the DEM. The model can be coupled with a DEM code, thus enabling one to simulate the interaction between an inclusion and a disk assembly. Contact laws at the contacts between disks and spar elements describe the interface constitutive behavior. Finally, the results obtained by simulating a geosynthetic anchorage in two different ways are reported. In the first case the inclusion is represented by disks, while in the last case it is represented by spar elements. The comparison shows that spar elements are much more versatile and can simplify the calibration of the discrete models used to simulate soil-inclusion systems.     

A New Method for Measurement of Helium Mass Flow Rate in the Cryogenic System of TORE SUPRA

The TORE SUPRA Tokamak was built by EURATOM-CEA association. The NbTi conductor of superconducting coils is inserted in a tight enclosure filled with pressurized superfluid helium of 0.125 MPa at 1.8 K. The thick casing is cooled to 4.5 K by 1.8 MPa in 4.5 K supercritical helium circulation. Around this thick casing, a 80 K thermal shield protects the parts at very low temperatures from the thermal radiation, which is cooled by pressurized helium at 80 K and 1.8 MPa. A new measurement method for helium mass flow rate of 80 K shield and 4.5 K casing is described in this paper. The commissioning was done on the two helium loops of the cryoplant: the supercritical 4.5 K thick casing and 80 K shields. The purpose is to improve control of the 4.5 K and 80 K refrigeration loops.     

Signed Systems for Paraconsistent Reasoning

We present a novel approach to paraconsistent reasoning, that is, to reasoning from inconsistent information. The basic idea is the following. We transform an inconsistent theory into a consistent one by renaming all literals occurring in the theory. Then, we restore some of the original contents of the theory by introducing progressively formal equivalences linking the original literals to their renamings. This is done as long as consistency is preserved. The restoration of the original contents of the theory is done by appeal to default logic. The overall approach provides us with a family of paraconsistent consequence relations.Our approach is semantical because it works at the level of the propositions; it deals with the semantical link between a proposition and its negation. The approach is therefore independent of the combination of the connectives that are actually applied to the propositions in order to form entire formulas.     

Cantilever-based microsystem for contact and non-contact deposition of picoliter biological samples

This paper describes a cantilever-based microsystem that permits the deposition of picoliter biological samples using a contact or non-contact method. Arrays of silicon-based cantilevers have been used to produce DNA microarrays. An electrowetting-on-dielectric (EWOD) principle is applied for the loading of the liquid by controlling surface tension. Deposition is achieved by direct contact between cantilevers and the surface by capillary transport. A non-contact deposition method has also been developed. It consists in an electric-field applied between the cantilevers and a conductive surface. The results obtained demonstrate that our system meets the need for producing high-density DNA, protein and cell chips.     

Using ambients to control resources

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aim at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of mobile ambients, named controlled ambients, that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled ambients, which makes static resource control possible in our setting, and enhance it with a rich notion of resources .