Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysi...Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysis and Abstract Syntax Trees(ASTs),often face challenges due to the complex syntax of programming languages like Java and Python.This paper introduces a novel approach that leverages Large Language Models(LLMs)to generate CFGs through a methodical Chain of Thought(CoT)process.By employing CoT,the proposed approach systematically interprets code semantics directly from natural language,enhancing the adaptability across various programming languages and simplifying the CFG construction process.By implementing a modular AI chain strategy that adheres to the single responsibility principle,our approach breaks down CFG generation into distinct,manageable steps handled by separate AI and non-AI units,which can significantly improve the precision and coverage of CFG nodes and edges.The experiments with 245 Java and 281 Python code snippets from Stack Overflow demonstrate that our method achieves efficient performance on different programming languages and exhibits strong robustness.展开更多
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 contr...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.展开更多
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, t...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.展开更多
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...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.展开更多
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） processo...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.展开更多
With the rapid development of software technology, software vulnerability has become a major threat to computer security. The timely detection and repair of potential vulnerabilities in software, are of great signific...With the rapid development of software technology, software vulnerability has become a major threat to computer security. The timely detection and repair of potential vulnerabilities in software, are of great significance in reducing system crashes and maintaining system security and integrity. This paper focuses on detecting three common types of vulnerabilities: Unused_Variable, Use_of_Uninitialized_Variable, and Use_After_ Free. We propose a method for software vulnerability detection based on an improved control flow graph(ICFG) and several predicates of vulnerability properties for each type of vulnerability. We also define a set of grammar rules for analyzing and deriving the three mentioned types of vulnerabilities, and design three vulnerability detection algorithms to guide the process of vulnerability detection. In addition, we conduct cases studies of the three mentioned types of vulnerabilities with real vulnerability program segments from Common Weakness Enumeration(CWE). The results of the studies show that the proposed method can detect the vulnerability in the tested program segments. Finally, we conduct manual analysis and experiments on detecting the three types of vulnerability program segments(30 examples for each type) from CWE, to compare the vulnerability detection effectiveness of the proposed method with that of the existing detection tool Cpp Check. The results show that the proposed method performs better. In summary, the method proposed in this paper has certain feasibility and effectiveness in detecting the three mentioned types of vulnerabilities, and it will also have guiding significance for the detection of other common vulnerabilities.展开更多
The multi-terminal direct current(DC)grid has extinctive superiorities over the traditional alternating current system in integrating large-scale renewable energy.Both the DC circuit breaker(DCCB)and the current flow ...The multi-terminal direct current(DC)grid has extinctive superiorities over the traditional alternating current system in integrating large-scale renewable energy.Both the DC circuit breaker(DCCB)and the current flow controller(CFC)are demanded to ensure the multiterminal DC grid to operates reliably and flexibly.However,since the CFC and the DCCB are all based on fully controlled semiconductor switches(e.g.,insulated gate bipolar transistor,integrated gate commutated thyristor,etc.),their separation configuration in the multiterminal DC grid will lead to unaffordable implementation costs and conduction power losses.To solve these problems,integrated equipment with both current flow control and fault isolation abilities is proposed,which shares the expensive and duplicated components of CFCs and DCCBs among adjacent lines.In addition,the complicated coordination control of CFCs and DCCBs can be avoided by adopting the integrated equipment in themultiterminal DC grid.In order to examine the current flow control and fault isolation abilities of the integrated equipment,the simulation model of a specific meshed four-terminal DC grid is constructed in the PSCAD/EMTDC software.Finally,the comparison between the integrated equipment and the separate solution is presented a specific result or conclusion needs to be added to the abstract.展开更多
With the continuous increase of aeroengine flight ceiling(>20 km),the thin atmosphere at high altitudes and the size effect all cause the compressor component inlet Reynolds number to decrease rapidly to a critical...With the continuous increase of aeroengine flight ceiling(>20 km),the thin atmosphere at high altitudes and the size effect all cause the compressor component inlet Reynolds number to decrease rapidly to a critical value(approximately 2.0×10^(5)),and the significant transition process on the blade/endwall surface leads to the sharp degradation of compressor performance,which seriously affects the engine fuel consumption and working stability at high altitudes.In this paper,the research progress on the internal flow mechanism and flow control methods of axial compressors at low Reynolds numbers is reviewed from the aspects of quantification and prediction of performance variation,flow loss mechanism related to separation and transition,efficient transition control and flow field organization.The development trend of the low-Reynolds-number effect of axial flow compressors is noted,and the difficulties and application prospects of aerodynamic design and efficient flow control methods for compressors under low Reynolds numbers at high altitudes are discussed.展开更多
The stability of supersonic inlets faces challenges due to various changes in flight conditions,and flow control methods that address shock wave/boundary layer interactions under only one set of conditions cannot meet...The stability of supersonic inlets faces challenges due to various changes in flight conditions,and flow control methods that address shock wave/boundary layer interactions under only one set of conditions cannot meet developmental requirements.This paper proposes an adaptive bump control scheme and employs dynamic mesh technology for numerical simulation to investigate the unsteady control effects of adaptive bumps.The obtained results indicate that the use of moving bumps to control shock wave/boundary layer interactions is feasible.The adaptive control effects of five different bump speeds are evaluated.Within the range of bump speeds studied,the analysis of the flow field structure reveals the patterns of change in the separation zone area during the control process,as well as the relationship between the bump motion speed and the control effect on the separation zone.It is concluded that the moving bump endows the boundary layer with additional energy.展开更多
The flow control at low Reynolds numbers is one of the most promising technologies in the field of aerodynamics,and it is also an important source of the innovation for novel aircraft.In this study,a new way of nonlin...The flow control at low Reynolds numbers is one of the most promising technologies in the field of aerodynamics,and it is also an important source of the innovation for novel aircraft.In this study,a new way of nonlinear flow control by interaction between two flexible flaps is proposed,and their flow control mechanism is studied employing the self-constructed immersed boundary-lattice Boltzmann-finite element method(IB-LB-FEM).The effects of the difference in material properties and flap length between the two flexible flaps on the nonlinear flow control of the airfoil are discussed.It is suggested that the relationship between the deformation of the two flexible flaps and the evolution of the vortex under the fluid-structure interaction(FSI).It is shown that the upstream flexible flap plays a key role in the flow control of the two flexible flaps.The FSI effect of the upstream flexible flap will change the unsteady flow behind it and affect the deformation of the downstream flexible flap.Two flexible flaps with different material properties and different lengths will change their own FSI characteristics by the induced vortex,effectively suppressing the flow separation on the airfoil’s upper surface.The interaction of two flexible flaps plays an extremely important role in improving the autonomy and adjustability of flow control.The numerical results will provide a theoretical basis and technical guidance for the development and application of a new flap passive control technology.展开更多
The conventional Shear Stress Transport(SST)k–ωturbulence model often exhibits substantial inaccu-racies when applied to the prediction of flow behavior in complex regions within axial flow control valves.To enhance...The conventional Shear Stress Transport(SST)k–ωturbulence model often exhibits substantial inaccu-racies when applied to the prediction of flow behavior in complex regions within axial flow control valves.To enhance its predictive fidelity for internal flow fields,this study introduces a novel calibration framework that integrates an artificial neural network(ANN)surrogate model with a particle swarm optimization(PSO)algorithm.In particular,an optimal Latin hypercube sampling strategy was employed to generate representative sample points across the empirical parameter space.For each sample,numerical simulations using ANSYS Fluent were conducted to evaluate the flow characteristics,with empirical turbulence model parameters as inputs and flow rate as the target output.These data were used to construct the high-fidelity ANN surrogate model.The PSO algorithm was then applied to this surrogate to identify the optimal set of empirical parameters tailored specifically to axial flow control valve configurations.A revealed by the presented results,the calibrated SST k–ωmodel significantly improves prediction accuracy:deviations from large eddy simulation(LES)benchmarks at small valve openings were reduced from 7.6%to under 3%.Furthermore,the refined model maintains the computational efficiency characteristic of Reynolds-averaged Navier-Stokes(RANS)simulations while substantially enhancing the accuracy of both pressure and velocity field predictions.Overall,the proposed methodology effectively reconciles the trade-off between computational cost and predictive accuracy,offering a robust and scalable approach for turbulence model calibration in complex internal flow scenarios.展开更多
The nanofluid-based direct absorption solar collector(NDASC)ensures that solar radiation passing through the tube wall is directly absorbed by the nanofluid,reducing thermal resistance in the energy transfer process.H...The nanofluid-based direct absorption solar collector(NDASC)ensures that solar radiation passing through the tube wall is directly absorbed by the nanofluid,reducing thermal resistance in the energy transfer process.However,further exploration is required to suppress the outward thermal losses from the nanofluid at high temperatures.Herein,this paper proposes a novel NDASC in which the outer surface of the collector tube is covered with functional coatings and a three-dimensional computational fluid dynamics model is established to study the energy flow distributions on the collector within the temperature range of 400-600 K.When the nanofluid’s absorption coefficient reaches 80 m^(-1),the NDASC shows the optimal thermal performance,and the NDASC with local Sn-In_(2)O_(3) coating achieves a 7.8% improvement in thermal efficiency at 400 K compared to the original NDASC.Furthermore,hybrid coatings with Sn In_(2)O_(3)/WTi-Al_(2)O_(3) are explored,and the optimal coverage angles are determined.The NDASC with such coatings shows a 10.22%-17.9% increase in thermal efficiency compared to the original NDASC and a 7.6%-19.5% increase compared to the traditional surface-type solar collectors,demonstrating the effectiveness of the proposed energy flow control strategy for DASCs.展开更多
The current research on the manufacturing of large-scale and complex components focuses mainly on the casting processes.Compared with casting,plastic forming has significant advantages in terms of performance.However,...The current research on the manufacturing of large-scale and complex components focuses mainly on the casting processes.Compared with casting,plastic forming has significant advantages in terms of performance.However,effectively controlling the material flow to achieve a reduced loading force and near-uniformity in the isothermal plastic forming process of large-scale asymmetric magnesium alloy complex housings(LSMACHs)is challenging.This study proposes a material flow control method based on the diffluence upsetting-extrusion forming(DUEF)process by dividing different forging deformation regions,combining these with the principal stress method,and establishing an efficient and accurate design procedure.A rational preformed billet was designed successfully using this method.Subsequently,a finite element simulation was employed to analyze the multiphysics fields of the DUEF process.The results indicated that compared with the traditional closed-die forging(TCDF)process,the DUEF process could control the orderly flow of materials,achieve short-distance filling of materials,and reduce hydrostatic stress.Simultaneously,it improved the deformation uniformity by 20.3%and reduced the loading force by 22.6%.Finally,the rationality of the proposed method was validated through physical experiments.Compared with the TCDF process,the DUEF process exhibited a low loading force and uniform mechanical properties.The proposed material flow control method based on the DUEF process provides a new technological approach for the plastic formation of LSMACH and similar components.展开更多
Activeow control technology is a technique that controls the internaloweld of aircraft engines or theoweld around wings by means of disturbances induced by actuators,and adjusts the aerodynamic force and attitude of t...Activeow control technology is a technique that controls the internaloweld of aircraft engines or theoweld around wings by means of disturbances induced by actuators,and adjusts the aerodynamic force and attitude of the aircraft,so as to achieve the purposes of increasing lift,reducing drag,suppressing vibration and reducing noise.Hailed as an important source of innovative development for aircraft,this technology provides a new technical approach to solve the aerodynamic problems of aircraft,signicantly improve their comprehensive performance,break throughight boundaries,and promote disruptive innovation in the next generation of aircraft.展开更多
Modern power systems increasingly depend on interconnected microgrids to enhance reliability and renewable energy utilization.However,the high penetration of intermittent renewable sources often causes frequency devia...Modern power systems increasingly depend on interconnected microgrids to enhance reliability and renewable energy utilization.However,the high penetration of intermittent renewable sources often causes frequency deviations,voltage fluctuations,and poor reactive power coordination,posing serious challenges to grid stability.Conventional Interconnection FlowControllers(IFCs)primarily regulate active power flowand fail to effectively handle dynamic frequency variations or reactive power sharing in multi-microgrid networks.To overcome these limitations,this study proposes an enhanced Interconnection Flow Controller(e-IFC)that integrates frequency response balancing and an Interconnection Reactive Power Flow Controller(IRFC)within a unified adaptive control structure.The proposed e-IFC is implemented and analyzed in DIgSILENT PowerFactory to evaluate its performance under various grid disturbances,including frequency drops,load changes,and reactive power fluctuations.Simulation results reveal that the e-IFC achieves 27.4% higher active power sharing accuracy,19.6% lower reactive power deviation,and 18.2% improved frequency stability compared to the conventional IFC.The adaptive controller ensures seamless transitions between grid-connected and islanded modes and maintains stable operation even under communication delays and data noise.Overall,the proposed e-IFCsignificantly enhances active-reactive power coordination and dynamic stability in renewable-integrated multi-microgrid systems.Future research will focus on coupling the e-IFC with tertiary-level optimization frameworks and conducting hardware-in-the-loop validation to enable its application in large-scale smart microgrid environments.展开更多
This paper examines a model that combines vortex generators and leading-edge tubercles for controlling the laminar separation bubble(LSB)over an airfoil at low Reynolds numbers(Re).This new concept of passive flow con...This paper examines a model that combines vortex generators and leading-edge tubercles for controlling the laminar separation bubble(LSB)over an airfoil at low Reynolds numbers(Re).This new concept of passive flow control technique utilizing a tubercle and vortex generator(VG)close to the leading edge was analyzed numerically for a NACA0015 airfoil.In this study,the Shear Stress Transport(SST)turbulence model was employed in the numerical modelling.Numerical modelling was completed using the ANSYS-Fluent 18.2 solver.Analyses were conducted to investigate the flow pattern and understand the underlying LSB control phenomena that enabled the new passive flow control method to provide this significant performance benefit.The findings indicated that the new concept of passive flow control technique suppressed the formation of an LSB at the suction surface of the NACA0015 airfoil,resulting in a higher lift coefficient and improved aerodynamic performance.Improvements in LSB dynamics and aerodynamic performance through the passive flow control method lead to increased energy output and enhanced stability.展开更多
Fluidic Thrust Vectoring(FTV)is used for the yaw attitude control of tailless flying wing,which can significantly improve stealth performance,maneuverability and lateral/heading maneuverability.The FTV control scheme ...Fluidic Thrust Vectoring(FTV)is used for the yaw attitude control of tailless flying wing,which can significantly improve stealth performance,maneuverability and lateral/heading maneuverability.The FTV control scheme of co-directional secondary flow was designed based on a 30 kgf thrust turbojet engine,an equivalent rudder deflection control variable of Mass Flow Combination(MFC)was proposed,and a control model was established to form a FTV control system scheme,which was integrated with the flight control system of a 100 kg tailless flying wing with medium aspect ratio to achieve closed-loop control of the yaw attitude based on FTV.The heading stability augmentation and maneuvering control characteristics and time response characteristics of tailless flying wing by FTV were quantitatively studied through virtual flight test in a wind tunnel at a wind speed of 35 m/s.The results show that the control strategy based on MFC achieves bidirectional continuous and stable control of thrust vector angle in a range of±11°,and the thrust vector angle varies monotonically with MFC;the co-directional FTV realizes bidirectional continuous and stable control of the yaw attitude of tailless flying wing,without longitudinal/lateral coupling moment.The increment of the maximum yawing moment coefficient is 0.0029,the maximum yaw rate is 7.55(°)/s,and the response time of the yaw rate of the vectoring nozzle actuated by the secondary flow is about 0.06 s,which satisfies the heading stability augmentation and maneuvering control response requirements of the aircraft with statically unstable heading,and provides new control means for the heading rudderless attitude control of tailless flying wing.展开更多
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 bo...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.展开更多
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 re...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.展开更多
基金Supported by the National Natural Science Foundation of China(62462036,62262031)Jiangxi Provincial Natural Science Foundation(20242BAB26017,20232BAB202010)+1 种基金Distinguished Youth Fund Project of the Natural Science Foundation of Jiangxi Province(20242BAB23011)the Jiangxi Province Graduate Innovation Found Project(YJS2023032)。
文摘Control Flow Graphs(CFGs)are essential for understanding the execution and data flow within software,serving as foundational structures in program analysis.Traditional CFG construction methods,such as bytecode analysis and Abstract Syntax Trees(ASTs),often face challenges due to the complex syntax of programming languages like Java and Python.This paper introduces a novel approach that leverages Large Language Models(LLMs)to generate CFGs through a methodical Chain of Thought(CoT)process.By employing CoT,the proposed approach systematically interprets code semantics directly from natural language,enhancing the adaptability across various programming languages and simplifying the CFG construction process.By implementing a modular AI chain strategy that adheres to the single responsibility principle,our approach breaks down CFG generation into distinct,manageable steps handled by separate AI and non-AI units,which can significantly improve the precision and coverage of CFG nodes and edges.The experiments with 245 Java and 281 Python code snippets from Stack Overflow demonstrate that our method achieves efficient performance on different programming languages and exhibits strong robustness.
基金support from the National Natural Science Foundation of Chinathe Fundamental Research Funds for the Central Universities of China
文摘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.
基金The work is supported in part by the National Natural Science Foundation of China，Natural Science Foundation of Beijing，National 863 High-Tech Research Development Program of China
文摘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.
基金supported by National Natural Science Foundation of China (CN) Project (U153610079,61401038, 61762086)
文摘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.
基金supported by National Natural Science Foundation of China (No. 60904090)
文摘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.
基金Supported by the National Natural Science Foundation of China(61202110 and 61502205)the Project of Jiangsu Provincial Six Talent Peaks(XYDXXJS-016)
文摘With the rapid development of software technology, software vulnerability has become a major threat to computer security. The timely detection and repair of potential vulnerabilities in software, are of great significance in reducing system crashes and maintaining system security and integrity. This paper focuses on detecting three common types of vulnerabilities: Unused_Variable, Use_of_Uninitialized_Variable, and Use_After_ Free. We propose a method for software vulnerability detection based on an improved control flow graph(ICFG) and several predicates of vulnerability properties for each type of vulnerability. We also define a set of grammar rules for analyzing and deriving the three mentioned types of vulnerabilities, and design three vulnerability detection algorithms to guide the process of vulnerability detection. In addition, we conduct cases studies of the three mentioned types of vulnerabilities with real vulnerability program segments from Common Weakness Enumeration(CWE). The results of the studies show that the proposed method can detect the vulnerability in the tested program segments. Finally, we conduct manual analysis and experiments on detecting the three types of vulnerability program segments(30 examples for each type) from CWE, to compare the vulnerability detection effectiveness of the proposed method with that of the existing detection tool Cpp Check. The results show that the proposed method performs better. In summary, the method proposed in this paper has certain feasibility and effectiveness in detecting the three mentioned types of vulnerabilities, and it will also have guiding significance for the detection of other common vulnerabilities.
基金supported in part by Natural Science Foundation of Jiangsu Province under Grant BK20230255Natural Science Foundation of Shandong Province under Grant ZR2023QE281.
文摘The multi-terminal direct current(DC)grid has extinctive superiorities over the traditional alternating current system in integrating large-scale renewable energy.Both the DC circuit breaker(DCCB)and the current flow controller(CFC)are demanded to ensure the multiterminal DC grid to operates reliably and flexibly.However,since the CFC and the DCCB are all based on fully controlled semiconductor switches(e.g.,insulated gate bipolar transistor,integrated gate commutated thyristor,etc.),their separation configuration in the multiterminal DC grid will lead to unaffordable implementation costs and conduction power losses.To solve these problems,integrated equipment with both current flow control and fault isolation abilities is proposed,which shares the expensive and duplicated components of CFCs and DCCBs among adjacent lines.In addition,the complicated coordination control of CFCs and DCCBs can be avoided by adopting the integrated equipment in themultiterminal DC grid.In order to examine the current flow control and fault isolation abilities of the integrated equipment,the simulation model of a specific meshed four-terminal DC grid is constructed in the PSCAD/EMTDC software.Finally,the comparison between the integrated equipment and the separate solution is presented a specific result or conclusion needs to be added to the abstract.
基金co-supported by the National Natural Science Foundation of China(No.52306053)the Science Center for Gas Turbine Project,China(No.P2022-B-Ⅱ-005-001)the National Science and Technology Major Project of China(No.2017-Ⅱ-0010-0024)。
文摘With the continuous increase of aeroengine flight ceiling(>20 km),the thin atmosphere at high altitudes and the size effect all cause the compressor component inlet Reynolds number to decrease rapidly to a critical value(approximately 2.0×10^(5)),and the significant transition process on the blade/endwall surface leads to the sharp degradation of compressor performance,which seriously affects the engine fuel consumption and working stability at high altitudes.In this paper,the research progress on the internal flow mechanism and flow control methods of axial compressors at low Reynolds numbers is reviewed from the aspects of quantification and prediction of performance variation,flow loss mechanism related to separation and transition,efficient transition control and flow field organization.The development trend of the low-Reynolds-number effect of axial flow compressors is noted,and the difficulties and application prospects of aerodynamic design and efficient flow control methods for compressors under low Reynolds numbers at high altitudes are discussed.
基金supported by the National Key R&D Program of China(Grant No.2019YFA0405300)the National Natural Science Foundation of China(Grant No.11972368)the Natural Science Foundation of Hunan Province(Grant No.2021JJ10045).
文摘The stability of supersonic inlets faces challenges due to various changes in flight conditions,and flow control methods that address shock wave/boundary layer interactions under only one set of conditions cannot meet developmental requirements.This paper proposes an adaptive bump control scheme and employs dynamic mesh technology for numerical simulation to investigate the unsteady control effects of adaptive bumps.The obtained results indicate that the use of moving bumps to control shock wave/boundary layer interactions is feasible.The adaptive control effects of five different bump speeds are evaluated.Within the range of bump speeds studied,the analysis of the flow field structure reveals the patterns of change in the separation zone area during the control process,as well as the relationship between the bump motion speed and the control effect on the separation zone.It is concluded that the moving bump endows the boundary layer with additional energy.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.92371201,52192633,11872293,and 92152301)the Natural Science Basic Research Program of Shaanxi(Grant Nos.2024JC-YBQN-0008,and 2022JC-03)+1 种基金Shaanxi Key Research and Development Program(Grant No.2022ZDLGY02-07)the Joint Natural Science Foundation of China with Guangdong Province for TianHe-II Supercomputer Resources,and the Research Start-up Foundation of Xi’an University of Science and Technology for the High-Level Talent.
文摘The flow control at low Reynolds numbers is one of the most promising technologies in the field of aerodynamics,and it is also an important source of the innovation for novel aircraft.In this study,a new way of nonlinear flow control by interaction between two flexible flaps is proposed,and their flow control mechanism is studied employing the self-constructed immersed boundary-lattice Boltzmann-finite element method(IB-LB-FEM).The effects of the difference in material properties and flap length between the two flexible flaps on the nonlinear flow control of the airfoil are discussed.It is suggested that the relationship between the deformation of the two flexible flaps and the evolution of the vortex under the fluid-structure interaction(FSI).It is shown that the upstream flexible flap plays a key role in the flow control of the two flexible flaps.The FSI effect of the upstream flexible flap will change the unsteady flow behind it and affect the deformation of the downstream flexible flap.Two flexible flaps with different material properties and different lengths will change their own FSI characteristics by the induced vortex,effectively suppressing the flow separation on the airfoil’s upper surface.The interaction of two flexible flaps plays an extremely important role in improving the autonomy and adjustability of flow control.The numerical results will provide a theoretical basis and technical guidance for the development and application of a new flap passive control technology.
基金funded by Gansu Provincial Department of Education(Industrial Support Plan Project:2025CYZC-048).
文摘The conventional Shear Stress Transport(SST)k–ωturbulence model often exhibits substantial inaccu-racies when applied to the prediction of flow behavior in complex regions within axial flow control valves.To enhance its predictive fidelity for internal flow fields,this study introduces a novel calibration framework that integrates an artificial neural network(ANN)surrogate model with a particle swarm optimization(PSO)algorithm.In particular,an optimal Latin hypercube sampling strategy was employed to generate representative sample points across the empirical parameter space.For each sample,numerical simulations using ANSYS Fluent were conducted to evaluate the flow characteristics,with empirical turbulence model parameters as inputs and flow rate as the target output.These data were used to construct the high-fidelity ANN surrogate model.The PSO algorithm was then applied to this surrogate to identify the optimal set of empirical parameters tailored specifically to axial flow control valve configurations.A revealed by the presented results,the calibrated SST k–ωmodel significantly improves prediction accuracy:deviations from large eddy simulation(LES)benchmarks at small valve openings were reduced from 7.6%to under 3%.Furthermore,the refined model maintains the computational efficiency characteristic of Reynolds-averaged Navier-Stokes(RANS)simulations while substantially enhancing the accuracy of both pressure and velocity field predictions.Overall,the proposed methodology effectively reconciles the trade-off between computational cost and predictive accuracy,offering a robust and scalable approach for turbulence model calibration in complex internal flow scenarios.
基金Project(52476095)supported by the National Natural Science Foundation of ChinaProject(kq2506013)supported by Changsha Outstanding Innovative Youth Training Program,China。
文摘The nanofluid-based direct absorption solar collector(NDASC)ensures that solar radiation passing through the tube wall is directly absorbed by the nanofluid,reducing thermal resistance in the energy transfer process.However,further exploration is required to suppress the outward thermal losses from the nanofluid at high temperatures.Herein,this paper proposes a novel NDASC in which the outer surface of the collector tube is covered with functional coatings and a three-dimensional computational fluid dynamics model is established to study the energy flow distributions on the collector within the temperature range of 400-600 K.When the nanofluid’s absorption coefficient reaches 80 m^(-1),the NDASC shows the optimal thermal performance,and the NDASC with local Sn-In_(2)O_(3) coating achieves a 7.8% improvement in thermal efficiency at 400 K compared to the original NDASC.Furthermore,hybrid coatings with Sn In_(2)O_(3)/WTi-Al_(2)O_(3) are explored,and the optimal coverage angles are determined.The NDASC with such coatings shows a 10.22%-17.9% increase in thermal efficiency compared to the original NDASC and a 7.6%-19.5% increase compared to the traditional surface-type solar collectors,demonstrating the effectiveness of the proposed energy flow control strategy for DASCs.
基金Supported by National Natural Science Foundation of China(Grant No.52075501).
文摘The current research on the manufacturing of large-scale and complex components focuses mainly on the casting processes.Compared with casting,plastic forming has significant advantages in terms of performance.However,effectively controlling the material flow to achieve a reduced loading force and near-uniformity in the isothermal plastic forming process of large-scale asymmetric magnesium alloy complex housings(LSMACHs)is challenging.This study proposes a material flow control method based on the diffluence upsetting-extrusion forming(DUEF)process by dividing different forging deformation regions,combining these with the principal stress method,and establishing an efficient and accurate design procedure.A rational preformed billet was designed successfully using this method.Subsequently,a finite element simulation was employed to analyze the multiphysics fields of the DUEF process.The results indicated that compared with the traditional closed-die forging(TCDF)process,the DUEF process could control the orderly flow of materials,achieve short-distance filling of materials,and reduce hydrostatic stress.Simultaneously,it improved the deformation uniformity by 20.3%and reduced the loading force by 22.6%.Finally,the rationality of the proposed method was validated through physical experiments.Compared with the TCDF process,the DUEF process exhibited a low loading force and uniform mechanical properties.The proposed material flow control method based on the DUEF process provides a new technological approach for the plastic formation of LSMACH and similar components.
文摘Activeow control technology is a technique that controls the internaloweld of aircraft engines or theoweld around wings by means of disturbances induced by actuators,and adjusts the aerodynamic force and attitude of the aircraft,so as to achieve the purposes of increasing lift,reducing drag,suppressing vibration and reducing noise.Hailed as an important source of innovative development for aircraft,this technology provides a new technical approach to solve the aerodynamic problems of aircraft,signicantly improve their comprehensive performance,break throughight boundaries,and promote disruptive innovation in the next generation of aircraft.
基金the Deanship of Scientific Research at Northern Border University,Arar,Saudi Arabia,for funding this research work through the project number“NBU-FFR-2025-3623-11”.
文摘Modern power systems increasingly depend on interconnected microgrids to enhance reliability and renewable energy utilization.However,the high penetration of intermittent renewable sources often causes frequency deviations,voltage fluctuations,and poor reactive power coordination,posing serious challenges to grid stability.Conventional Interconnection FlowControllers(IFCs)primarily regulate active power flowand fail to effectively handle dynamic frequency variations or reactive power sharing in multi-microgrid networks.To overcome these limitations,this study proposes an enhanced Interconnection Flow Controller(e-IFC)that integrates frequency response balancing and an Interconnection Reactive Power Flow Controller(IRFC)within a unified adaptive control structure.The proposed e-IFC is implemented and analyzed in DIgSILENT PowerFactory to evaluate its performance under various grid disturbances,including frequency drops,load changes,and reactive power fluctuations.Simulation results reveal that the e-IFC achieves 27.4% higher active power sharing accuracy,19.6% lower reactive power deviation,and 18.2% improved frequency stability compared to the conventional IFC.The adaptive controller ensures seamless transitions between grid-connected and islanded modes and maintains stable operation even under communication delays and data noise.Overall,the proposed e-IFCsignificantly enhances active-reactive power coordination and dynamic stability in renewable-integrated multi-microgrid systems.Future research will focus on coupling the e-IFC with tertiary-level optimization frameworks and conducting hardware-in-the-loop validation to enable its application in large-scale smart microgrid environments.
基金the Scientific Research Projects Unit of Erciyes University under contract no:FDS-2022-11532 and FOA-2025-14773.
文摘This paper examines a model that combines vortex generators and leading-edge tubercles for controlling the laminar separation bubble(LSB)over an airfoil at low Reynolds numbers(Re).This new concept of passive flow control technique utilizing a tubercle and vortex generator(VG)close to the leading edge was analyzed numerically for a NACA0015 airfoil.In this study,the Shear Stress Transport(SST)turbulence model was employed in the numerical modelling.Numerical modelling was completed using the ANSYS-Fluent 18.2 solver.Analyses were conducted to investigate the flow pattern and understand the underlying LSB control phenomena that enabled the new passive flow control method to provide this significant performance benefit.The findings indicated that the new concept of passive flow control technique suppressed the formation of an LSB at the suction surface of the NACA0015 airfoil,resulting in a higher lift coefficient and improved aerodynamic performance.Improvements in LSB dynamics and aerodynamic performance through the passive flow control method lead to increased energy output and enhanced stability.
文摘Fluidic Thrust Vectoring(FTV)is used for the yaw attitude control of tailless flying wing,which can significantly improve stealth performance,maneuverability and lateral/heading maneuverability.The FTV control scheme of co-directional secondary flow was designed based on a 30 kgf thrust turbojet engine,an equivalent rudder deflection control variable of Mass Flow Combination(MFC)was proposed,and a control model was established to form a FTV control system scheme,which was integrated with the flight control system of a 100 kg tailless flying wing with medium aspect ratio to achieve closed-loop control of the yaw attitude based on FTV.The heading stability augmentation and maneuvering control characteristics and time response characteristics of tailless flying wing by FTV were quantitatively studied through virtual flight test in a wind tunnel at a wind speed of 35 m/s.The results show that the control strategy based on MFC achieves bidirectional continuous and stable control of thrust vector angle in a range of±11°,and the thrust vector angle varies monotonically with MFC;the co-directional FTV realizes bidirectional continuous and stable control of the yaw attitude of tailless flying wing,without longitudinal/lateral coupling moment.The increment of the maximum yawing moment coefficient is 0.0029,the maximum yaw rate is 7.55(°)/s,and the response time of the yaw rate of the vectoring nozzle actuated by the secondary flow is about 0.06 s,which satisfies the heading stability augmentation and maneuvering control response requirements of the aircraft with statically unstable heading,and provides new control means for the heading rudderless attitude control of tailless flying wing.
文摘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.
文摘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.
