Sungjae Hwang  Sungho Lee  Sukyoung Ryu 《Software》2020,50(7):1061-1086

Android supports seamless user experience by maintaining activities from different applications (apps) in the same activity stack. Although such close inter-app communication is essential in the Android framework, the powerful inter-app communication contains vulnerabilities that can inject malicious activities into a victim app's activity stack to hijack user interaction flows. In this article, we demonstrate activity injection attacks with a simple malware, and formally specify the activity activation mechanism using operational semantics. Based on the operational semantics, we develop a static analysis tool, which analyzes Android apps to detect activity injection attacks. Our tool is fast enough to analyze real-world Android apps in 6 seconds on average, and our experiments found that 1761 apps out of 129,756 real-world Android apps inject their activities into other apps' tasks. Moreover, we propose a defense mechanism, dubbed signature-based activity access control (SAAC), which completely prohibits activity injection attacks. The defense mechanism is general enough to keep the current Android multitasking features intact, and it is simple enough to be independent of the complex activity activation semantics, which does not increase activity activation time noticeably. With the extension of the formal semantics for SAAC, we prove that SAAC correctly mitigates activity injection attacks without any false alarms.  相似文献   

    

《Journal of Manufacturing Systems》2020

The stable operation of diesel engine is critical to the normal production of the industry, and the prevention, monitoring, and identification of faults are of great significance. At present, the fault research on diesel engines still has some defects, such as only few types of faults diagnosis are identified, the accuracy of fault diagnosis is still low, and fault identification is located at a fixed speed. A novel fault detection and diagnostic method of diesel engine by combining rule-based algorithm and Bayesian networks (BNs) or Back Propagation neural networks (BPNNs) is proposed. The signals are processed by wavelet threshold denoising and ensemble empirical mode decomposition. The signal-sensitive feature values are extracted from the decomposed intrinsic mode function. Seven faults are roughly identified using rule-based algorithm and finely identified using BNs or BPNNs. Results show the proposed fault diagnosis method has a good diagnostic performance for a wide range of rotation speeds when the training data for BNs and BPNNs are from fixed speeds. In addition, the influences of the layers of decomposed signals, sensor noise and external excitation interference on the fault diagnostic performance are also researched.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(17):10602-10612

Owing to high specific energy and low emissions production, hydrogen is a desirable alternative fuel. The combustion and emission performance can be improved by hydrogen addition injected in-cylinder, intake manifold and aspirated with air. However, engine loads and hydrogen-air ration have a significant effect on the performance, combustion and emission of the diesel-hydrogen (high speed direct injection) HSDI engine. In this paper, the CFD method is used to calculate the combustion process of a diesel-hydrogen dual HSDI engine working at constant speed of 4000 rpm, at different hydrogen added from intake port (hydrogen volume fraction of 0%–10%) and five engine loads (equivalent to 20%, 40%, 60%, 80% and 100% of its maximum output power), respectively. The modelling results showed that the in-cylinder pressure and temperature under low engine load were more affected by hydrogen addition. With increasing hydrogen volume fraction, the indicated expansion work and in-cylinder peak pressure increased, and combustion duration decreased due to faster fuel-air mixing and spray flame speed.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(5):3396-3406

Hydrogen is recognized as a key source of the sustainable energy solutions. The transportation sector is known as one of the largest fuel consumers of the global energy market. Hydrogen can become a promising fuel for sustainable transportation by providing clean, reliable, safe, convenient, customer friendly, and affordable energy. In this study, the possibility of hydrogen as the major fuel for transportation systems is investigated comprehensively based on the recent data published in the literature. Due to its several characteristic advantages, such as energy density, abundance, ease of transportation, a wide variety of production methods from clean and renewable fuels with zero or minimal emissions; hydrogen appears to be a great chemical fuel which can potentially replace fossil fuel use in internal combustion engines. In order to take advantage of hydrogen as an internal combustion engine fuel, existing engines should be redesigned to avoid abnormal combustion. Hydrogen use in internal combustion engines could enhance system efficiencies, offer higher power outputs per vehicle, and emit lower amounts of greenhouse gases. Even though hydrogen-powered fuel cells have lower emissions than internal combustion engines, they require additional space and weight and they are generally more expensive. Therefore, the scope of this study is hydrogen-fueled internal combustion engines. It is also highlighted that in order to become a truly sustainable and clean fuel, hydrogen should be produced from renewable energy and material resources with zero or minimal emissions at high efficiencies. In addition, in this study, conventional, hybrid, electric, biofuel, fuel cell, and hydrogen fueled ICE vehicles are comparatively assessed based on their CO₂ and SO₂ emissions, social cost of carbon, energy and exergy efficiencies, fuel consumption, fuel price, and driving range. The results show that when all of these criteria are taken into account, fuel cell vehicles have the highest average performance ranking (4.97/10), followed by hydrogen fueled ICEs (4.81/10) and biofuel vehicles (4.71/10). On the other hand, conventional vehicles have the lowest average performance ranking (1.21/10), followed by electric vehicles (4.24/10) and hybrid vehicles (4.53/10).  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(5):3632-3640

The Scimitar engine is a new advanced propulsion system designed to propel the aircraft A2 of the LAPCAT project. It is a hybrid system that utilizes the features of turbofan, ramjet and air-turborocket. Hydrogen and air are used as the fuel and oxidant, respectively, while helium is used to transfer heat from the hot incoming air to the hydrogen in the engine. In this study, we present a thermodynamic cycle analysis of the Scimitar engine for the assessment of NO_x emissions. The combustion of fuel is studied in detail with an equilibrium model taking into account various dissociation and formation reactions since high levels of temperatures are achieved in its combustion chamber. The NO_x emissions of the engine at Mach 5 and the effects of fuel and air flow rates, cruise speed and altitude on these emissions are presented by solving a nonlinear system of equations formed through our novel thermodynamic model. The results show that the NO emissions of the engine can be diminished significantly by decreasing air flow rate, cruise speed and altitude and by increasing the fuel flow rate. The variations of NO₂ emissions with these parameters are similar except the variation with altitude which has an inverse effect as compared to the variation of NO.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(39):20491-20500

The unburned H₂ can be used to reduce NO emission in conventional TWC (three-way catalyst) for a hydrogen internal combustion engine when it works at equivalence ratio marginally higher than the stoichiometric ratio. To explore the effects and feasibility of this reaction, a Perfectly Stirred Reactor simulation model of TWC has been built with simplified mechanisms. Experiments on a 2.3 L turbocharged hydrogen engine are used to verify the conclusion. It shows that rising initial temperature accelerates the reduction of NO and the maximum reaction rate occurs at 400 °C temperature. The conversion efficiency of NO remains approximately 0 when temperatures below 300 °C. The efficiency reaches a peak value of approximately 98% with 400 °C and declines gradually. The unburned H₂ to NO mixing ratio greater than 1.5 in TWC guarantees 100% NO conversion efficiency. The experiments indicate that the NOx concentration decreases from 2056 ppm to 41 ppm at the stoichiometric ratio after the treatment of TWC and NOx reaches 0 ppm with a rich ratio. Results also demonstrate that the suitable reaction temperatures for TWC locate in the range of 400 °C–500 °C. Therefore, if the temperature and the mixing ratio are appropriate, it can achieve zero emissions with NOx reduction by unburned H₂ in conventional TWC for a hydrogen engine.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(39):20419-20425

Detailed hydrogen-air chemical reaction mechanisms were coupled with three dimension grids of an experimental hydrogen fueled internal combustion engine (HICE) to establish a combustion model based on CONVERGE software. The influence of excess hydrogen coefficient on the combustion and emission characteristics of HICE under full load was studied based on the CFD model. Simulation results showed that excess hydrogen leaded to higher concentration of OH species in flame front, and quicker hydrogen-oxygen reaction and flame propagation speed, which in turn leaded to higher pressure and temperature in cylinder. The rise of pressure and temperature in turn contributed to the increase of indicate power but un-burned hydrogen leaded to decrease of efficiency. NOx, especially NO emissions decreased significantly with excess hydrogen under full load not only because increased of H concentration, and decreased of O and OH concentration, which leaded to reverse reaction of NO formation through thermal NO routes. Low excess hydrogen coefficient can achieve a good trade-off between power and emissions under full load.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(16):9353-9367

Hydrogen addition effectively reduces the fuel consumption of spark ignition engines. We propose a new on-board reformer that produces hydrogen at high concentrations and enables multi-mode operations. For the proposed reformer, we employ a catalytic fuel decomposition reaction via a commercial NiO–CaAl₂O₄ catalyst. We explore the physical and chemical aspects of the reforming process using a fixed bed micro-reactor operating at temperatures of 550–700 °C. During reduction, methane is decomposed to form hydrogen and carbon. Carbon formation is critical to hydrogen production, and free space for carbon growth is essential at low temperatures (≤600 °C). We define a new accumulated conversion ratio that quantitatively measures highly transient catalytic decomposition. The free space of the coated monolith clearly aided low-temperature decomposition with negligible pressure drop. The coated substrate is therefore suitable for on-board applications considering that our reformer concept also utilizes the catalytic fuel decomposition reaction.  相似文献   

    

《International Journal of Hydrogen Energy》2020,45(38):19720-19732

The need to reduce PEMFC systems cost as well as to increase their durability is crucial for their integration in various applications and especially for transport applications. A new simplified architecture of the anode circuit called Alternating Fuel Feeding (AFF) offers to reduce the development costs. Requiring a new stack concept, it combines the simplicity of Dead-End Anode (DEA) with the operation advantages of the hydrogen recirculation. The three architectures (DEA, recirculation and AFF) are compared in terms of performance on a 5-kW test bench in automotive conditions, through a sensitivity analysis. A gain of 17% on the system efficiency is observed when switching from DEA to AFF. Moreover, similar performances are obtained both for AFF and for recirculation after an accurate optimization of the AFF tuning parameters. Based on DoE data, a gain of 25% on the weight of the anodic line has been identified compared to pulsed ejector architecture and 43% with the classic recirculation architecture with blower only (Miraï).  相似文献   

Anatomy and evolution of database search engines—a central component of mass spectrometry based proteomic workflows     

Kenneth Verheggen  Helge Ræder  Frode S. Berven  Lennart Martens  Harald Barsnes  Marc Vaudel 《Mass spectrometry reviews》2020,39(3):292-306

  相似文献