Software vulnerabilities are the root cause of various information security incidents while dynamic taint analysis is an emerging program analysis technique. In this paper, to maximize the use of the technique to dete...
详细信息
Software vulnerabilities are the root cause of various information security incidents while dynamic taint analysis is an emerging program analysis technique. In this paper, to maximize the use of the technique to detect software vulnerabilities, we present SwordDTA, a tool that can perform dynamic taint analysis for binaries. This tool is flexible and extensible that it can work with commodity software and hardware. It can be used to detect software vulnerabilities with vulnerability modeling and taint check. We evaluate it with a number of commonly used real-world applications. The experimental results show that SwordDTA is capable of detecting at least four kinds of softavare vulnerabilities including buffer overflow, integer overflow, division by zero and use-after-free, and is applicable for a wide range of software.
The single event effect of a silicon–germanium heterojunction bipolar transistor(SiGe HBT) was thoroughly investigated. By considering the worst bias condition, the sensitive area of the proposed device was scanned w...
详细信息
The single event effect of a silicon–germanium heterojunction bipolar transistor(SiGe HBT) was thoroughly investigated. By considering the worst bias condition, the sensitive area of the proposed device was scanned with a pulsed *** variation of the collector bias and pulsed laser incident energy, the single event transient of the SiGe HBT was ***, the single event transient produced by laser irradiation at a wavelength of 532 nm was more pronounced than at a wavelength of 1064 nm. Finally, the impact of the equivalent linear energy transfer of the 1064 nm pulsed laser on the single event transient was qualitatively examined by performing technology computer-aided design simulations, and a good consistency between the experimental data and the simulated outcomes was attained.
With the development of the aerospace industry,space missions are becoming more complicated and diversified,and there is a demand for antenna mechanisms with a larger physical *** this paper,a planar deployable mechan...
详细信息
With the development of the aerospace industry,space missions are becoming more complicated and diversified,and there is a demand for antenna mechanisms with a larger physical *** this paper,a planar deployable mechanism is proposed,which can form a flat reflection surface with a small gap between *** this end,a novel large-scale two-dimensional deployable nine-grid planar antenna mechanism is ***,two antenna folding schemes and four supporting mechanism schemes are *** comparison analysis,the antenna configuration scheme with the best comprehensive performance is selected.A kinematic model of the deployable mechanism is established,and its kinematic characteristics are ***,the correctness of the kinematic model is verified by comparing the analytical and simulation results of the kinematic ***,a finite element model of the antenna is *** on the response surface method,the structural parameters of the support rods of the antenna are optimized,and a set of optimized solutions with lightweight and high fundamental frequency characteristics are ***,a prototype of the proposed nine-grid planar antenna is *** feasibility of the deployment principle and the rationality of the designed mechanism are verified by deployment experiments.
Detecting high-speed, small targets in air is challenging due to their complex non-linear motion model and range migration effects. Traditional finite order polynomial models often fail to account for atmospheric drag...
详细信息
In this paper, the defect mode of one-dimensional photonic crystal was studied. For photonic crystal with one defect layer, the effects of refractive index and thickness of defect layer, photon period number and incid...
详细信息
Distributed simulationsystems are complex systems that may suffer from runtime uncertainty or runtime errors. The core of defect detection in distributed simulationsystems is to effectively traverse the state space ...
详细信息
Particle swarm optimization (PSO) is a new stochastic population-based search methodology by simulating the animal social behaviors such as birds flocking and fish *** improvements have been proposed within the framew...
详细信息
Particle swarm optimization (PSO) is a new stochastic population-based search methodology by simulating the animal social behaviors such as birds flocking and fish *** improvements have been proposed within the framework of this biological assumption. However,in this paper,the search pattern of PSO is used to model the branch growth process of natural *** provides a different poten- tial manner from artificial *** illustrate the effectiveness of this new model,apical dominance phenomenon is introduced to construct a ncvel variant by emphasizing the influence of the *** this improvement,the population is divided into three different kinds of buds associated with their ***,a mutation strategy is applied to enhance the ability escaping from a local ***- ulation results demonstrate good performance of the new method when solving high-dimensional multi-modal problems.
Many applications and related studies of solar energy have been focused on guiding sunlight into the indoors for illumination purposes. To achieve this objective, one of the approaches is the use of a high efficiency ...
详细信息
As the battlefield environment becomes more complex, optical guided weapons will face increasingly complex photoelectric interference environment. This paper analyzes the photoelectric interference and interference mo...
详细信息
The aeroelastic model for a wing in the time domain is constructed with continuous wind gust and structural uncertainties. The H∞ optimal method and μ synthesis are applied to the robust control law design for gust ...
详细信息
The aeroelastic model for a wing in the time domain is constructed with continuous wind gust and structural uncertainties. The H∞ optimal method and μ synthesis are applied to the robust control law design for gust load alleviation (GLA) problem. Specifically, with instability risk introduced in the uncertain model, the GLA factor can be largely increased. The instability probability for a uncertain system and nominal GLA factor are trade-off to get a higher performance and acceptable instability risk. At the same flow velocity, the stability robustness is decreased while the nominal gust load can be largely alleviated. Vise visa, though the nominal aeroelastic model is stable at all the velocities between 10 m/s to 30 m/s, the instability risk increased with the GLA factor ascending. Results indicate that with introducing a 0.2% instability risk, the nominal gust load can be alleviated by 24.5%.
暂无评论