Abstract—The good idle speed control of spark ignition engine makes the customers comfortable and drives smooth. To derive its controller, a control-oriented object based model of spark ignition engine is discussed in this paper. To achieve accuracy tracking and reduce the control effort, a digital MIMO dynamic sliding surface control rule is proposed in this paper. The sliding mode controller ...

Igniter is an important part of aircraft engine, which should be reliable to ensure safety. Spark frequency disorder is common fault to the aviation ignition device, and it is great hidden danger to the aircraft engine. To guarantee the safety and reliability of aviation igniter, the fault mechanism of the aviation ignition spark frequency disorder is researched in this paper. The factors which...

Apache Spark is one of the most widely used open source processing engines for big data, with rich language-integrated APIs and a wide range of libraries. Over the past two years, our group has worked to deploy Spark to a wide range of organizations through consulting relationships as well as our hosted service, Databricks. We describe the main challenges and requirements that appeared in takin...

We present a link between the interactive proof assistant Isabelle/HOL and the Spark/Ada tool suite for the verification of high-integrity software. Using this link, we can tackle verification problems that are beyond reach of the proof tools currently available for Spark. To demonstrate that our methodology is suitable for real-world applications, we show how it can be used to verify an effici...

We analyze the experimental time series of internal pressure in a four cylinder spark ignition engine. In our experiment, performed for different spark advance angles, apart from the usual cyclic changes of engine pressure we observed additional oscillations. These oscillations are with longer time scales ranging from one to several hundred engine cycles depending on engine working conditions. ...

A focused electric spark is used as a non-contact acoustic source to excite stress waves in solids. The source consists of an electric spark source located at the near focus of an ellipsoidal reflector that focuses the acoustic disturbance generated by the spark source to the far focal point. Experimental studies using both contact and non-contact sensors indicate that the source has the capabi...

In this paper an analysis of the complexity involved in the implementation and synthesis of linear parameter-varying (LPV) controllers is presented. Its purpose is to provide guidance in the selection of a synthesis approach for practical LPV control problems and reveal directions for further research with respect to complexity issues in LPV control. Standard methods are classified into polytop...

A ∂-analogue of differential characters for complex manifolds is introduced and studied using a new theory of homological spark complexes. Many essentially different spark complexes are shown to have isomorphic groups of spark classes. This has many consequences: It leads to an analytic representation of O-gerbes with connection, it yields a soft resolution of the sheaf O by currents on the man...

Spark timing of an Internal Combustion (IC) engine is often limited by engine knock in the advanced direction. The ability to operate the engine at its advanced (borderline knock) spark limit is the key for improving output power and fuel economy. Due to combustion cycle-to-cycle variations, IC engine combustion behaves similar to a random process and so does the engine performance criteria, su...