Transcriptional assays, such as yeast two-hybrid and TANGO, that convert transient protein-protein interactions (PPIs) into stable expression of transgenes are powerful tools for PPI discovery, screens, and analysis of cell populations. However, such assays often have high background and lose information about PPI dynamics. We have developed SPARK (Specific Protein Association tool giving trans...

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...

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...

The spark timing plays a significant role in the combustion process and in deciding the engine parameters of SI engine. This paper aims at demonstrating the effect of advanced and retarded spark timing on the burn fraction variation versus crank angle, cumulative heat release rate versus the crank angle and the pressure variation as a function of crank angle with the help of MATLAB programs. Fo...