We construct the moduli space of r−jets at a point of Riemannian metrics on a smooth manifold. The construction is closely related to the problem of classification of jet metrics via differential invariants. The moduli space is proved to be a differentiable space which admits a finite canonical stratification into smooth manifolds. A complete study on the stratifica-tion of moduli spaces is car...

Abstract Reducing the level of pollutant emissions internal combustion engines requires adaptation solutions that improve process in cylinder but those may increase their constructive complexity. For this reason, use hydrogen is an effective solution, both for replacing fossil fuels and reducing concentration emissions. The as additional fuel automotive spark ignition offers possibility obtaini...

In this paper we report on the work we performed to extend the logic model checker SPIN with builtin support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic t...

The system on chip paradigm consists of one or more instruction set processors integrated with custom hardware on a single integrated circuit. A uni-processor real-time kernel is presented that integrates hardware coprocessors by viewing them as system resources to be scheduled in conjunction with the processor. The kernel implements the earliest-deadline first scheduling policy. To demonstrate...

A scheme for explicit ly representing and using expert knowledge of a procedural k ind is described. The scheme al­ lows the explicit representation of both declarative and proce­ dural knowledge wi th in a unified framework, yet retains all the desirable properties of expert systems such as modular i ty , ex­ planatory capabil i ty, and extendabil i ty. It thus bridges the gap between the proc...

This paper provides a review of recently obtained spectroscopic results, ab-initio calculations and catalytic activity tests from the authors ́ laboratory of factors affecting the performance of materials used as automobile catalysts. Issues addressed include the preparation of (Ce,Zr)Ox/Al2O3 (CZA) mixed oxide supports and the use of new active metals, such as Pd and Cu, for three-way catalysts...

The increasing automobile vehicles and congestions in the world cause critical pollutions such as air and noise. Hence, we need comprehensive measures to reduce carbon dioxide (CO2) emission in transportation area. Many researchers have studied the impact of adopting ecofriendly vehicles such as electric vehicle (EV), hybrid electric vehicle (HEV), plug-in hybrid electric vehicle (PHEV), and fu...

Newton's laws describe some very general principles of the motion of an automobile car and their quantitative relations but do not prescribe its design. For instance, a vehicle does not necessarily have four wheels, but based on Newton’s second law it should have an engine that provides a force. Once a design has been made, theory helps in the analysis of the performance of this new design (as ...

This paper proposes a profile-based sensing framework for adaptive sensor systems based on models that relate possibly heterogeneous sensor data and profiles generated by the models to detect events. With these concepts, three phases for building the sensor systems are extracted from two examples: a combustion control sensor system for an automobile engine, and a sensor system for home security...