Control Flow Obfuscation Based Protection Method for Android Applications

With the popularization and rapid development of mobile intelligent terminals(MITs), the number of mobile applications, or apps, has increased exponentially. It is increasingly common for malicious code to be inserted into counterfeit apps, which can cause significant economic damage and threaten the security of users. Code obfuscation techniques are a highly efficient group of methods for code security protection. In this paper, we propose a novel control flow obfuscation based method for Android code protection. First, algorithms to insert irrelevant code and flatten the control flow are employed that minimize the cost of obfuscation while ensuring its strength. Second, we improve the traditional methods of control flow flattening to further reduce the costs of obfuscation. Lastly, the use of opaque predicates is strengthened by establishing an access control strategy, which converts the identification of opaque predicates in the entire program into a graph traversal problem, and thereby increases the strength of the code protection. We did some experiments to evaluate our method, and the results show that the proposed method can work well.

DCFl-Checker： Checking Kernel Dynamic Control Flow Integrity with Performance Monitoring Counter

It is a challenge to verify integrity of dynamic control flows due to their dynamic and volatile nature.To meet the challenge,existing solutions usually implant an "attachment" in each control transfer.However,the attachment introduces additional cost except performance penalty.For example,the attachment must be unique or restrictedly modified.In this paper,we propose a novel approach to detect integrity of dynamic control flows by counting executed branch instructions without involving any attachment.Our solution is based on the following observation.If a control flow is compromised,the number of executed branch instructions will be abnormally increased.The cause is that intruders usually hijack control flows for malicious execution which absolutely introduces additional branch instructions.Inspired by the above observation,in this paper,we devise a novel system named DCFIChecker,which detect integrity corruption of dynamic control flows with the support of Performance Monitoring Counter(PMC).We have developed a proof-of-concept prototype system of DCFI-Checker on Linux fedora 5.Our experiments with existing kernel rootkits and buffer overflow attack show that DCFIChecker is effective to detect compromised dynamic control transfer,and performance evaluations indicate that performance penalty induced by DCFI-Checker is acceptable.

Reinforcement learning for wind-farm flow control:Current state and future actions

Wind-farm flow control stands at the forefront of grand challenges in wind-energy science.The central issue is that current algorithms are based on simplified models and,thus,fall short of capturing the complex physics of wind farms associated with the high-dimensional nature of turbulence and multiscale wind-farm-atmosphere interactions.Reinforcement learning(RL),as a subset of machine learning,has demonstrated its effectiveness in solving high-dimensional problems in various domains,and the studies performed in the last decade prove that it can be exploited in the development of the next generation of algorithms for wind-farm flow control.This review has two main objectives.Firstly,it aims to provide an up-to-date overview of works focusing on the development of wind-farm flow control schemes utilizing RL methods.By examining the latest research in this area,the review seeks to offer a comprehensive understanding of the advancements made in wind-farm flow control through the application of RL techniques.Secondly,it aims to shed light on the obstacles that researchers face when implementing wind-farm flow control based on RL.By highlighting these challenges,the review aims to identify areas requiring further exploration and potential opportunities for future research.

Flow control performance evaluation of a tri-electrode sliding discharge plasma actuator

Tri-electrode sliding discharge(TED)plasma actuators are formed by adding a direct current(DC)exposed electrode to conventional dielectric barrier discharge(DBD)plasma actuators.There are three TED modes depending on the polarity and amplitude of the DC supply:DBD discharge,extended discharge and sliding discharge.This paper evaluates the electrical,aerodynamic and mechanical characteristics of a TED plasma actuator based on energy analysis,particle image velocimetry experiments and calculations using the Navier-Stokes equation.The flow control performances of different discharge modes are quantitatively analyzed based on characteristic parameters.The results show that flow control performance in both extended discharge and sliding discharge is more significant than that of DBD,mainly because of the significantly higher(up to 141%)body force of TED compared with DBD.However,conductivity loss is the primary power loss caused by the DC polarity for TED discharge.Therefore,power consumption can be reduced by optimizing the dielectric material and thickness,thus improving the flow control performance of plasma actuators.

Experimental investigation of dynamic stall flow control using a microsecond-pulsed plasma actuator

To alleviate the performance deterioration caused by dynamic stall of a wind turbine airfoil,the flow control by a microsecond-pulsed dielectric barrier discharge(MP-DBD) actuator on the dynamic stall of a periodically pitching NACA0012 airfoil was investigated experimentally.Unsteady pressure measurements with high temporal accuracy were employed in this study,and the unsteady characteristics of the boundary layer were investigated by wavelet packet analysis and the moving root mean square method based on the acquired pressure.The experimental Mach number was 0.2,and the chord-based Reynolds number was 870 000.The dimensionless actuation frequencies F+ were chosen to be 0.5,1,2,and 3,respectively.For the light dynamic regime,the MP-DBD plasma actuator plays the role of suppressing flow separation from the trial edge and accelerating the flow reattachment due to the high-momentum freestream flow being entrained into the boundary layer.Meanwhile,actuation effects were promoted with the increasing dimensionless actuation frequency F+.The control effects of the deep dynamic stall were to delay the onset and reduce the strength of the dynamic stall vortex due to the accumulating vorticity near the leading edge being removed by the induced coherent vortex structures.The laminar fluctuation and Kelvin-Helmholtz(K-H) instabilities of transition and relaminarization were also mitigated by the MP-DBD actuation,and the alleviated K-H rolls led to the delay of the transition onset and earlier laminar reattachment,which improved the hysteresis effect of the dynamic stall.For the controlled cases of F+=2,and F+=3,the laminar fluctuation was replaced by relatively low frequency band disturbances corresponding to the harmonic responses of the MP-DBD actuation frequency.

Model Predictive Control Strategy of Multi-Port Interline DC Power Flow Controller

There are issues with flexible DC transmission system such as a lack of control freedom over power flow.In order to tackle these issues,a DC power flow controller(DCPFC)is incorporated into a multi-terminal,flexible DC power grid.In recent years,a multi-port DC power flow controller based on a modular multi-level converter has become a focal point of research due to its simple structure and robust scalability.This work proposes a model predictive control(MPC)strategy for multi-port interline DC power flow controllers in order to improve their steady-state dynamic performance.Initially,the mathematical model of a multi-terminal DC power grid with a multi-port interline DC power flow controller is developed,and the relationship between each regulated variable and control variable is determined;The power flow controller is then discretized,and the cost function and weight factor are built with numerous control objectives.Sub module sorting method and nearest level approximation modulation regulate the power flow controller;Lastly,theMATLAB/Simulink simulation platformis used to verify the correctness of the establishedmathematicalmodel and the control performance of the suggestedMPC strategy.Finally,it is demonstrated that the control strategy possesses the benefits of robust dynamic performance,multiobjective control,and a simple structure.

Autonomous Multi-Factor Energy Flows Controller (AmEFC): Enhancing Renewable Energy Management with Intelligent Control Systems Integration

The transition to sustainable energy systems is one of the defining challenges of our time, necessitating innovations in how we generate, distribute, and manage electrical power. Micro-grids, as localized energy hubs, have emerged as a promising solution to integrate renewable energy sources, ensure energy security, and improve system resilience. The Autonomous multi-factor Energy Flow Controller (AmEFC) introduced in this paper addresses this need by offering a scalable, adaptable, and resilient framework for energy management within an on-grid micro-grid context. The urgency for such a system is predicated on the increasing volatility and unpredictability in energy landscapes, including fluctuating renewable outputs and changing load demands. To tackle these challenges, the AmEFC prototype incorporates a novel hierarchical control structure that leverages Renewable Energy Sources (RES), such as photovoltaic systems, wind turbines, and hydro pumps, alongside a sophisticated Battery Management System (BMS). Its prime objective is to maintain an uninterrupted power supply to critical loads, efficiently balance energy surplus through hydraulic storage, and ensure robust interaction with the main grid. A comprehensive Simulink model is developed to validate the functionality of the AmEFC, simulating real-world conditions and dynamic interactions among the components. The model assesses the system’s reliability in consistently powering critical loads and its efficacy in managing surplus energy. The inclusion of advanced predictive algorithms enables the AmEFC to anticipate energy production and consumption trends, integrating weather forecasting and inter-controller communication to optimize energy flow within and across micro-grids. This study’s significance lies in its potential to facilitate the seamless incorporation of RES into existing power systems, thus propelling the energy sector towards a more sustainable, autonomous, and resilient future. The results underscore the potential of such a system to revolutionize energy management practices and highlight the importance of smart controller systems in the era of smart grids.

Numerical Investigation of Flow Separation Control over an NACA0018 Airfoil Using Sweeping Jet Actuator

As an active flow control technology and with the advantages of no moving components, the Sweeping jet actuator has become a hotspot in the field of flow control. However, the linear relationship between oscillation frequency and momentum coefficient in a sweeping jet actuator makes it difficult to determine the dominant factors that affect control effectiveness. Decoupling the oscillation frequency and momentum coefficient, as well as determining the control mechanism, is the focus of studying the sweeping jet actuator. In this study, a novel sweeping jet actuator is designed using synthetic jets instead of feedback channels and applied to the flow separation control of NACA0018 airfoil. This article studies the control effect under three oscillation frequencies of F+ = f × c/U∞ = 1, 10, 100 and three momentum coefficients of Cμ = 0.45%, 0.625%, 0.9%. The numerical results indicate that all three oscillation frequencies have good control effects on flow separation, and the control effect is best when F+ = 1, with the maximum lift coefficient increasing by approximately 14% compared to the other two cases. And the sweeping jet actuator has a better ability to control flow separation as the momentum coefficient increases. By decoupling the characteristics of the sweeping jet actuator and conducting numerical analysis of the flow control effect, it will promote its better engineering application in the field of flow control. .

Bipartite graph-based control flow checking for COTS-based small satellites

Abstract Single event upset （SEU） effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves （COTS）. SEU induced control flow errors （CFEs） may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique （CFC） and bipartite graphbased control flow checking （BGCFC）. To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.

Prediction and Analysis of Elevator Traffic Flow under the LSTM Neural Network

Elevators are essential components of contemporary buildings, enabling efficient vertical mobility for occupants. However, the proliferation of tall buildings has exacerbated challenges such as traffic congestion within elevator systems. Many passengers experience dissatisfaction with prolonged wait times, leading to impatience and frustration among building occupants. The widespread adoption of neural networks and deep learning technologies across various fields and industries represents a significant paradigm shift, and unlocking new avenues for innovation and advancement. These cutting-edge technologies offer unprecedented opportunities to address complex challenges and optimize processes in diverse domains. In this study, LSTM (Long Short-Term Memory) network technology is leveraged to analyze elevator traffic flow within a typical office building. By harnessing the predictive capabilities of LSTM, the research aims to contribute to advancements in elevator group control design, ultimately enhancing the functionality and efficiency of vertical transportation systems in built environments. The findings of this research have the potential to reference the development of intelligent elevator management systems, capable of dynamically adapting to fluctuating passenger demand and optimizing elevator usage in real-time. By enhancing the efficiency and functionality of vertical transportation systems, the research contributes to creating more sustainable, accessible, and user-friendly living environments for individuals across diverse demographics.

Graph-tree-based software control flow checking for COTS processors on pico-satellites

This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.

Optimization of flow control devices in a single-strand slab continuous casting tundish

The optimization of flow control devices in a single-slab continuous casting tundish was carried out by physical modeling, and the optimized scheme was presented. With the optimal tundish configuration, the minimum residence time of liquid steel was increased by 1.4 times, the peak concentration time was increased by 97%, and the dead volume fraction was decreased by 72%. A mathematical model for molten steel in the tundish was established by using the fluid dynamics package Fluent. The velocity field, concentration field, and the resi-dence time distribution （RTD） curves of molten steel flow before and after optimization were obtained. Experimental results showed that the reasonable configuration with flow control devices can improve the fluid flow characteristics in the tundish. The results of industrial applica-tion show that the nonmetallic inclusion area ratio in casting slabs is decreased by 32% with the optimal tundish configuration.

Theoretical Analysis and Numerical Simulation of the Static and Dynamic Characteristics of Hydrostatic Guides Based on Progressive Mengen Flow Controller

The oil film thickness of oil hydrostatic guide with constant pressure supply based on capillary restrictor is greatly affected by load, and this kind of hydrostatic guide is usually applied to the machine tools with moderate load. The static and dynamic characteristics of the guide have been studied by using some theoretical, numerical and experimental approaches, and some methods and measures have been proposed to improve its performances. The hydrostatic guide based on progressive mengen（PM） flow controller is especially suitable for the heavy numerical control（NC） machine tools. However, few literatures about the research on the static and dynamic characteristics of the hydrostatic guides based on PM flow controller are reported. In this paper, the formulae are derived for analyzing the static and dynamic characteristics of hydrostatic guides with rectangle pockets and PM flow controller according to the theory of hydrostatic bearing. On the basis of the analysis of hydrostatic bearing with circular pocket, some equations are derived for solving the static pressure, volume pressure and squeezing pressure which influence the dynamic characteristics of hydrostatic guides with rectangle pocket. The function and the influencing factors of three pressures are clarified. The formulae of amplitude-frequency characteristics and dynamic stiffness of the hydrostatic guide system are derived. With the help of software MATLAB, programs are coded with C＋＋ language to simulate numerically the static and dynamic characteristics of the hydrostatic guide based on PM flow controller. The simulation results indicate that the sensitive oil volume between the outlet of the PM flow controller and the guide pocket has the greatest influence on the characteristics of the guide, and it should be reduced as small as possible when the field working condition is met. Choosing the oil with a greater viscosity is also helpful in improving the dynamic performance of hydrostatic guides. The research work has instructing significance for analyzing and designing the guide with PM flow controller.

ASYMMETRIC VORTICES FLOW OVER SLENDER BODY AND ITS ACTIVE CONTROL AT HIGH ANGLE OF ATTACK

The studies of asymmetric vortices flow over slender body and its active control at high angles of attack have significant importance for both academic field and engineering area.This paper attempts to provide an update state of art to the investigations on the fields of forebody asymmetric vortices.This review emphasizes the correlation between micro-perturbation on the model nose and its response and evolution behaviors of the asymmetric vortices.The critical issues are discussed, which include the formation and evolution mechanism of asymmetric multi-vortices;main behaviors of asymmetric vortices flow including its deterministic feature and vortices flow structure;the evolution and development of asymmetric vortices under the perturbation on the model nose;forebody vortex active control especially discussed micro-perturbation active control concept and technique in more detail.However present understanding in this area is still very limited and this paper tries to identify the key unknown problems in the concluding remarks.

Orthogonal analysis of water model study on the optimization of flow control devices in a six-strand tundish

Improper flow control devices in a multi-strand tundish can cause some problems, for example, liquid steel cannot reach every nozzle at the same time and the liquid steel in nozzles far away from the entry zone has a lower temperature. The water model experiment of a six-strand tundish of Tianjin Iron ＆ Steel Co. Ltd. was performed, a new ＂U＂ type baffle was obtained, and its parameters were defined by perpendicular analysis. The ＂U＂ baffle can not only improve those imperfections, but also prolong the residence time of nonmetallic inclusions, which is good for their flotation and separation.

Improvement of tundish shape and optimization of flow control devices for sequence casting heavy steel ingots

The metallurgical effect of a round tundish used to cast heavy steel ingots in machine works at present was evaluated through water modeling experiments. The flow control devices of the improved oval tundish, which was used instead of the round tundish, had been optimized. The results show that the residence time of the round tundish is short, its inclusion removal efficiency is too low, and it has more dead zones and an unreasonable flow field. Compared with the round tundish, the improved oval tundish with the optimized weir and dam has a better effect： its minimum residence time is prolonged by 38.1 s, the average residence time is prolonged by 233.4 s, its dead volume fraction decreases from 26% to 15%, and the ratio of plug volume fraction to dead volume fraction increases from 0.54 to 1.27. The inclusion removal efficiency also increases by 17.5%.

RESEARCH ON THE PERFORMANCE OF NEW TYPE OF PROPORTIONAL PESSURE AND FLOW CONTROL VALVE

A new closed loop flow controlling principle through correcting the valve'sopening area while load pressure is changing is carried out. Further more a principle using only oneproportional valve to compound control pressure and flow is suggested. By using very simpleproportional throttle valve in structure, the functions that five kinds of proportional valves orany two of them combined possess can be complimented. After analyzing, comparing, and testing thedynamic and static characteristics of valve with different controlling principles and main valvestructure styles, the optimized structure styles and control methods are achieved.

Numerical Investigation of Electrohydrodynamic (EHD) Flow Control in an S-Shaped Duct

An electrohydrodynamic （EHD） method, which is based on glow discharge plasma, is presented for flow control in an S-shaped duct. The research subject is an expanding channel with a constant width and a rectangular cross section. An equivalent divergence angle and basic function are introduced to build the three-dimensional model. Subsequently, the plasma physical models are simplified as the effects of electrical body force and work （done by the force） on the fluid near the wall. With the aid of FLUENT software, the source terms of momentum and energy are added to the Navier-Stokes equation. Finally, the original performance of three models （A, B and C） is studied, in which model A demonstrates better performance. Then EHD control based on model A is discussed. The results show that the EHD method is an effective way of reducing flow loss and improving uniformity at the duct exit. The innovation in this study is the assessment of the EHD control effect on the flow in an S-shaped duct. Both the parametric modeling of the S-shaped duct and the simplified models of plasma provide valuable information for future research on aircraft inlet ducts.

Flow Control for a Two-Stage Proportional Valve with Hydraulic Position Feedback

The current research mainly focuses on the flow control for the two-stage proportional valve with hydraulic position feedback which is named as Valvistor valve.Essentially,the Valvistor valve is a proportional throttle valve and the flow fluctuates with the change of load pressure.The flow fluctuation severely restricts the application of the Valvistor valve.In this paper,a novel flow control method the Valvistor valve is provided to suppress the flow fluctuation and develop a high performance proportional flow valve.The mathematical model of this valve is established and linearized.Fuzzy proportional-integral-derivative(PID)controller is adopted in the closed-loop flow control system.The feedback is obtained by the flow inference with back-propagation neural network(BPNN)based on the spool displacement in the pilot stage and the pressure differential across the main orifice.The results show that inference with BPNN can obtain the flow data fast and accurately.With the flow control method,the flow can keep at the set point when the pressure differential across the main orifice changes.The flow control method is effective and the Valvistor valve changes from proportional throttle valve to proportional flow valve.For the developed proportional flow valve,the settling time of the flow is very short when the load pressure changes abruptly.The performances of hysteresis,linearity and bandwidth are in a high range.The linear mathematical model can be verified and the assumptions in the system modeling is reasonable.

Mechanism of controlling turbulent channel flow with the effect of spanwise Lorentz force distribution

A direct numerical simulation（DNS） is performed to investigate the control effect and mechanism of turbulent channel flow with the distribution of spanwise Lorentz force. A sinusoidal distribution of constant spanwise Lorentz force is selected, of which the control effects, such as flow characters, mean Reynolds stress, and drag reductions, at different parameters of amplitude A and wave number k_x are discussed. The results indicate that the control effects vary with the parameter A and k_x. With the increase of A, the drag reduction rate D_r first increases and then decreases rapidly at low k_x,and slowly at high k_x. The low drag reduction（or even drag increase） is due to a weak suppression or even the enhancements of the random velocity fluctuation and mean Reynolds stress. The efficient drag reduction is due to the quasi-streamwise vortex structure induced by Lorentz force, which contributes to suppressing the random velocity fluctuation and mean Reynolds stress, and the negative vorticity improves the distribution of streamwise velocity. Therefore, the optimal control effect with a drag reduction of up to 58% can be obtained.