Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzi...Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.展开更多
Integrated sensing and communication(ISAC) is considered an effective technique to solve spectrum congestion in the future. In this paper, we consider a hybrid reconfigurable intelligent surface(RIS)-assisted downlink...Integrated sensing and communication(ISAC) is considered an effective technique to solve spectrum congestion in the future. In this paper, we consider a hybrid reconfigurable intelligent surface(RIS)-assisted downlink ISAC system that simultaneously serves multiple single-antenna communication users and senses multiple targets. Hybrid RIS differs from fully passive RIS in that it is composed of both active and passive elements, with the active elements having the effect of amplifying the signal in addition to phase-shifting. We maximize the achievable sum rate of communication users by collaboratively improving the beamforming matrix at the dual function base station(DFBS) and the phase-shifting matrix of the hybrid RIS, subject to the transmit power constraint at the DFBS, the signal-to-interference-plus-noise-ratio(SINR) constraint of the radar echo signal and the RIS constraint are satisfied at the same time. The builtin RIS-assisted ISAC design problem model is significantly non-convex due to the fractional objective function of this optimization problem and the coupling of the optimization variables in the objective function and constraints. As a result, we provide an effective alternating optimization approach based on fractional programming(FP) with block coordinate descent(BCD)to solve the optimization variables. Results from simulations show that the hybrid RIS-assisted ISAC system outperforms the other benchmark solutions.展开更多
The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gr...The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gramming （SQP）. Firstly, a steady-state hybrid aero-engine model is designed in the whole flight envelope with a dramatic enhancement of real-time capability. Secondly, the aero-engine performance seeking control including the maximum thrust mode and the minimum fuel-consumption mode is performed by SQP. Finally, digital simu- lations for cruise and accelerating flight are carried out. Results show that the proposed method improves real- time capability considerably with satisfactory effectiveness of optimization.展开更多
通信感知一体化(Integrated Sensing and Communication,ISAC)系统可以将通信感知功能有机融合,以取得更高的频谱效率和硬件利用率,但传统的大规模集中式天线阵列在平面波假设下无法提供距离维增益,且其混合波束赋形设计为非凸优化问题...通信感知一体化(Integrated Sensing and Communication,ISAC)系统可以将通信感知功能有机融合,以取得更高的频谱效率和硬件利用率,但传统的大规模集中式天线阵列在平面波假设下无法提供距离维增益,且其混合波束赋形设计为非凸优化问题,仍是具有挑战性的难题。为此,提出了一种基于子阵列的混合波束赋形设计方案,在较低的硬件复杂度下通过扩展球面波区域范围提供距离维增益,以在满足感知性能约束和发射功率预算的前提下最大化通信速率。首先提出了一种基于分式规划和最优化最小化方法的算法,将非凸优化问题转化为凸问题后迭代求解得到一个联合波束赋形矩阵;进而提出一种基于流形优化和最小二乘法的算法,迭代求解后将其分解为数字/模拟波束赋形矩阵。仿真结果表明,基于子阵列的算法相较于集中式阵列能够获得更多的距离维信息和感知自由度,通信性能提升40%,且流形优化后混合波束赋形方案能够很好地逼近联合优化的数字波束赋形方案的性能。展开更多
Aiming to reduce fuel consumption and emissions of a dual-clutch hybrid electric vehicle during cold start, multiobjective optimization for fuel consumption and HC/CO emission from a TWC(three-way catalytic converter)...Aiming to reduce fuel consumption and emissions of a dual-clutch hybrid electric vehicle during cold start, multiobjective optimization for fuel consumption and HC/CO emission from a TWC(three-way catalytic converter) outlet is presented in this paper. DP(dynamic programming) considering dual-state variables is proposed based on the Bellman optimality principle. Both the battery SOC(state of charge) and the temperature of TWC monolith are considered in the algorithm simultaneously. In this way the global optimal control strategy and the Pareto optimal solution of multi-objective function are derived. Simulation results show that the proposed method is able to promote the TWC light-off significantly by decreasing the engine's load and improving exhaust temperature from the outlet of the engine, in comparison with original DP considering the single battery SOC. Compared to the results achieved by rule-based control strategy, fuel economy and emission of TWC outlet for cold start are optimized comprehensively. Each indicator of Pareto solution set shows the significant improvement.展开更多
To implement structural hybrid simulation independent of the control system of any testing equipment in civil engineering, an external command control approach is put forward. Several setup technologies and the corres...To implement structural hybrid simulation independent of the control system of any testing equipment in civil engineering, an external command control approach is put forward. Several setup technologies and the corresponding API approaches are investigated to simultaneously combine numerical simulation with physical testing. Hybrid program technology is put forward and described in detail, using Visual C++ program to effectively and accurately control testing equipment and MATLAB program to implement numerical simulation with easy extension. The control program of testing equipment and numerical simulation program are integrated by calling MATLAB engine in Visual C++. A hybrid simulation about a full-scale six-story masonry structure is carried out. The testing results manifest that the external command control approach has the versatility because of simple hardware connection and control program independent on control software of testing equipment; powerful program function of Visual C++ and flexible program of MATLAB are integrated by hybrid program technology; hybrid simulation system provides a realistic and cost-effective testing platform that enables earthquake engineer researchers to accurately and efficiently capture the seismic performance of large or complex structures without having to carry out physical testing of the entire structure.展开更多
基金the National Key Research and Development Program of China under Grant No.2016QY07X1404National Natural Science Foundation of China(NSFC)under Grant No.61602035 and 61772078+1 种基金Beijing Science and Technology Project under Grant No.Z191100007119010,CCF-NSFOCUS Kun-Peng Scientific Research FoundationOpen Found of Key Laboratory of Network Assessment Technology,Institute of Information Engineering,Chinese Academy of Sciences.
文摘Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.
文摘Integrated sensing and communication(ISAC) is considered an effective technique to solve spectrum congestion in the future. In this paper, we consider a hybrid reconfigurable intelligent surface(RIS)-assisted downlink ISAC system that simultaneously serves multiple single-antenna communication users and senses multiple targets. Hybrid RIS differs from fully passive RIS in that it is composed of both active and passive elements, with the active elements having the effect of amplifying the signal in addition to phase-shifting. We maximize the achievable sum rate of communication users by collaboratively improving the beamforming matrix at the dual function base station(DFBS) and the phase-shifting matrix of the hybrid RIS, subject to the transmit power constraint at the DFBS, the signal-to-interference-plus-noise-ratio(SINR) constraint of the radar echo signal and the RIS constraint are satisfied at the same time. The builtin RIS-assisted ISAC design problem model is significantly non-convex due to the fractional objective function of this optimization problem and the coupling of the optimization variables in the objective function and constraints. As a result, we provide an effective alternating optimization approach based on fractional programming(FP) with block coordinate descent(BCD)to solve the optimization variables. Results from simulations show that the hybrid RIS-assisted ISAC system outperforms the other benchmark solutions.
基金Supported by the Aeronautical Science Foundation of China(2010ZB52011)the Funding of Jiangsu Innovation Program for Graduate Education(CXLX11-0213)the Nanjing University of Aeronautics and Astronautics Research Funding(NS2010055)~~
文摘The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gramming （SQP）. Firstly, a steady-state hybrid aero-engine model is designed in the whole flight envelope with a dramatic enhancement of real-time capability. Secondly, the aero-engine performance seeking control including the maximum thrust mode and the minimum fuel-consumption mode is performed by SQP. Finally, digital simu- lations for cruise and accelerating flight are carried out. Results show that the proposed method improves real- time capability considerably with satisfactory effectiveness of optimization.
文摘通信感知一体化(Integrated Sensing and Communication,ISAC)系统可以将通信感知功能有机融合,以取得更高的频谱效率和硬件利用率,但传统的大规模集中式天线阵列在平面波假设下无法提供距离维增益,且其混合波束赋形设计为非凸优化问题,仍是具有挑战性的难题。为此,提出了一种基于子阵列的混合波束赋形设计方案,在较低的硬件复杂度下通过扩展球面波区域范围提供距离维增益,以在满足感知性能约束和发射功率预算的前提下最大化通信速率。首先提出了一种基于分式规划和最优化最小化方法的算法,将非凸优化问题转化为凸问题后迭代求解得到一个联合波束赋形矩阵;进而提出一种基于流形优化和最小二乘法的算法,迭代求解后将其分解为数字/模拟波束赋形矩阵。仿真结果表明,基于子阵列的算法相较于集中式阵列能够获得更多的距离维信息和感知自由度,通信性能提升40%,且流形优化后混合波束赋形方案能够很好地逼近联合优化的数字波束赋形方案的性能。
基金Funded by National Natural Science Foundation of China(No.51305472)National Natural Science Foundation of Chongqing Science and Technology Committee(No.cstc2014jcyj A60005)Natural Science Foundation of Chongqing Education Committee(No.KJ1400312)
文摘Aiming to reduce fuel consumption and emissions of a dual-clutch hybrid electric vehicle during cold start, multiobjective optimization for fuel consumption and HC/CO emission from a TWC(three-way catalytic converter) outlet is presented in this paper. DP(dynamic programming) considering dual-state variables is proposed based on the Bellman optimality principle. Both the battery SOC(state of charge) and the temperature of TWC monolith are considered in the algorithm simultaneously. In this way the global optimal control strategy and the Pareto optimal solution of multi-objective function are derived. Simulation results show that the proposed method is able to promote the TWC light-off significantly by decreasing the engine's load and improving exhaust temperature from the outlet of the engine, in comparison with original DP considering the single battery SOC. Compared to the results achieved by rule-based control strategy, fuel economy and emission of TWC outlet for cold start are optimized comprehensively. Each indicator of Pareto solution set shows the significant improvement.
基金Funded by National Natural Science Foundation of China under the Grant No.90715036Open Project of Jiangsu Key Laboratory of Structural Engineering (Grant No.ZD1004)Project of the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD)
文摘To implement structural hybrid simulation independent of the control system of any testing equipment in civil engineering, an external command control approach is put forward. Several setup technologies and the corresponding API approaches are investigated to simultaneously combine numerical simulation with physical testing. Hybrid program technology is put forward and described in detail, using Visual C++ program to effectively and accurately control testing equipment and MATLAB program to implement numerical simulation with easy extension. The control program of testing equipment and numerical simulation program are integrated by calling MATLAB engine in Visual C++. A hybrid simulation about a full-scale six-story masonry structure is carried out. The testing results manifest that the external command control approach has the versatility because of simple hardware connection and control program independent on control software of testing equipment; powerful program function of Visual C++ and flexible program of MATLAB are integrated by hybrid program technology; hybrid simulation system provides a realistic and cost-effective testing platform that enables earthquake engineer researchers to accurately and efficiently capture the seismic performance of large or complex structures without having to carry out physical testing of the entire structure.
