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 DCFI- Checker, 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 kemel rootkits and buffer overflow attack show that DCFI- Checker is effective to detect compromised dynamic control transfer, and performance evaluations indicate that performance penaltyinduced by DCFI-Checker is acceptable.

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.

Mathematical Modeling and Control Algorithm Development for Bidirectional Power Flow in CCS-CNT System

As the demand for more efficient and adaptable power distribution systems intensifies, especially in rural areas, innovative solutions like the Capacitor-Coupled Substation with a Controllable Network Transformer (CCS-CNT) are becoming increasingly critical. Traditional power distribution networks, often limited by unidirectional flow capabilities and inflexibility, struggle to meet the complex demands of modern energy systems. The CCS-CNT system offers a transformative approach by enabling bidirectional power flow between high-voltage transmission lines and local distribution networks, a feature that is essential for integrating renewable energy sources and ensuring reliable electrification in underserved regions. This paper presents a detailed mathematical representation of power flow within the CCS-CNT system, emphasizing the control of both active and reactive power through the adjustment of voltage levels and phase angles. A control algorithm is developed to dynamically manage power flow, ensuring optimal performance by minimizing losses and maintaining voltage stability across the network. The proposed CCS-CNT system demonstrates significant potential in enhancing the efficiency and reliability of power distribution, making it particularly suited for rural electrification and other applications where traditional methods fall short. The findings underscore the system's capability to adapt to varying operational conditions, offering a robust solution for modern power distribution challenges.

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

袋型阻尼密封动力学特性双控制体Bulk Flow模型

为快速准确预测袋型阻尼密封泄漏特性和动力学特性,针对传统单控制体Bulk Flow模型预测精度低、无法预测交叉动力系数的问题,提出了袋型阻尼密封双控制体Bulk Flow模型和动力学特性数值预测方法,并开发了计算程序。首先,依据边界层理论,将袋型密封腔室划分为两个控制体,推导了控制体的连续性、周向动量和能量方程,引入Swamee-Jain和Takahashi方程,计算流体-壁面间和流体-流体间的周向黏性摩擦力;其次,采用牛顿-拉夫森算法和摄动分析法分别求解0阶和1阶控制方程,获得各刚度、阻尼动力特性系数;然后,通过与袋型阻尼密封泄漏量和动力特性系数的实验值、单控制体Bulk Flow模型和非定常计算流体动力学(CFD)数值结果进行比较,验证了模型和方法的准确性和可靠性;最后,研究了转子转速(10 000、15 000、20 000 r/min)和预旋比(0.067、0.724、0.997)对袋型阻尼密封动力学特性的影响。结果表明:所发展的模型和方法具有计算速度快、预测精度高(泄漏量预测误差小于6%,动力特性系数预测误差小于38%)的优点;转子转速和进口预旋的增大均会导致袋型阻尼密封有效阻尼显著减小,穿越频率显著增大,易诱发轴系失稳。

A grouping strategy for reinforcement learning-based collective yawcontrol of wind farms

Reinforcement learning(RL)algorithms are expected to become the next generation of wind farm control methods.However,as wind farms continue to grow in size,the computational complexity of collective wind farm control will exponentially increase with the growth of action and state spaces,limiting its potential in practical applications.In this Letter,we employ a RL-based wind farm control approach with multi-agent deep deterministic policy gradient to optimize the yaw manoeuvre of grouped wind turbines in wind farms.To reduce the computational complexity,the turbines in the wind farm are grouped according to the strength of the wake interaction.Meanwhile,to improve the control efficiency,each subgroup is treated as a whole and controlled by a single agent.Optimized results show that the proposed method can not only increase the power production of the wind farm but also significantly improve the control efficiency.

Cloud control for IIoT in a cloud-edge environment

The industrial Internet of Things(IIoT)is a new indus-trial idea that combines the latest information and communica-tion technologies with the industrial economy.In this paper,a cloud control structure is designed for IIoT in cloud-edge envi-ronment with three modes of 5G.For 5G based IIoT,the time sensitive network(TSN)service is introduced in transmission network.A 5G logical TSN bridge is designed to transport TSN streams over 5G framework to achieve end-to-end configuration.For a transmission control protocol(TCP)model with nonlinear disturbance,time delay and uncertainties,a robust adaptive fuzzy sliding mode controller(AFSMC)is given with control rule parameters.IIoT workflows are made up of a series of subtasks that are linked by the dependencies between sensor datasets and task flows.IIoT workflow scheduling is a non-deterministic polynomial(NP)-hard problem in cloud-edge environment.An adaptive and non-local-convergent particle swarm optimization(ANCPSO)is designed with nonlinear inertia weight to avoid falling into local optimum,which can reduce the makespan and cost dramatically.Simulation and experiments demonstrate that ANCPSO has better performances than other classical algo-rithms.

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.

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.

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.

A Fuzzy Flow Control Approach for ABR Service in ATM Networks

The explicit rate flow control mechanisms for ABR service are used to sharethe available bandwidth of a bottleneck link fairly and reasonably among many competitive users andto maintain the buffer queue length of a bottleneck switch connected to the link at a desired levelin order to avoid and control congestion in ATM networks. However, designing effective flow controlmechanisms for the service is known to be difficult because of the variety of dynamic parametersinvolved such as available link bandwidth, burst of the traffic, the distances between ABR sourcesand switches. In this paper, we present a fuzzy explicit rate flow control mechanism for ABRservice. The mechanism has a simple structure and is robust in the sense that the mechanism'sstability is not sensitive to the change in the number of active virtual connections (VCs). Manysimulations show that this mechanism can not only effectively avoid network congestion, but alsoensure fair share of the bandwidth for all active VCs regardless of the number of hops theytraverse. Additionally, it has the advantages of fast convergence, low oscillation, and high linkbandwidth utilization.

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.