检索结果-内蒙古大学图书馆

SwordDTA： A Dynamic Taint Analysis Tool for Software Vulnerability Detection

Wuhan University Journal of Natural sciences 2016年第1期21卷 10-20页

作者： CAI Jun ZOU Peng MA Jinxin HE Jun Science and Technology on Complex Electronic System Simulation Laboratory Academy of Equipment Beijing 101416China China Information Technology Security Evaluation Center Beijing 100085 China

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.

关键词： information security software vulnerability detection dynamic taint analysis use-after-free

来源：评论

学校读者我要写书评

暂无评论

Sensitivity study of the SiGe heterojunction bipolar transistor single event effect based on pulsed laser and technology computer-aided design simulation

引用

Chinese Physics B 2023年第6期32卷 420-428页

作者：冯亚辉郭红霞潘霄宇张晋新钟向丽张鸿琚安安刘晔欧阳晓平 School of Materials Science and Engineering Xiangtan UniversityXiangtan 411105China State Key Laboratory of Experimental Simulation and Effects of Strong Pulse Radiation Northwest Institute of Nuclear TechnologyXi'an 710024China School of Space Science and Technology Xidian UniversityXi'an 710071China

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.

关键词： silicon-germanium heterojunction bipolar transistor pulsed laser single event effect equivalent linear energy transfer(LET)value

来源：评论

学校读者我要写书评

暂无评论

Innovative design and optimization of a two-dimensional deployable nine-grid planar antenna mechanism with a flat reflection surface

引用

Chinese Journal of Aeronautics 2023年第11期36卷 529-550页

作者： Bo CHEN Ze JIANG Xinlu WEI Luyao GUO Xin ZHOU Yundou XU Junjie QIAN Yongsheng ZHAO Parallel Robot and Mechatronic System Laboratory of Hebei Province Yanshan UniversityQinhuangdao 066004China Key Laboratory of Advanced Forging&Stamping Technology and Science of Ministry of National Education Yanshan UniversityQinhuangdao 066004China Space Structure and Mechanism Technology Laboratory of China Aerospace Science and Technology Group Co.Ltd Shanghai 201109China Aerospace System Engineering Shanghai Shanghai 201109China

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.

关键词： Design optimization Kinematics Planar antenna Structural design Two-dimensional expansion

来源：评论

学校读者我要写书评

暂无评论

Logarithm Radon-Fourier transform for high speed small target detection with atmospheric resistance effect

引用

Digital Signal Processing: A Review Journal 2025年 165卷

作者： Sun, Difeng Xu, He Wu, Zutang Li, Jin Wu, Youcao Li, Jianbing State Key Laboratory of Complex Electromagnetic Environmental Effects on Electronics and Information System College of Electronic Science and Technology National University of Defense Technology Changsha410073 China National Key Laboratory of Intense Pulsed Radiation Simulation and Effect Northwest Institute of Nuclear Technology Xi'an710024 China Academy of Military Science of the People's Liberation Army Beijing100071 China

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 accurately. This paper introduces a logarithmic relationship between range and time to model this motion, employing the Logarithmic Radon-Fourier Transform (LRFT) for accurately compensating the envelope and phase migration over extended accumulation periods. It offers both the ergodic search method and the fast implementation method for solving LRFT, along with a theoretical analysis of lobe location and amplitude. simulation results indicate that compared with traditional RFT-based methods, LRFT improves accumulation gain, enhances the main lobe's relative amplitude over sidelobes, and offers better detection performance in noisy environments. It provides more accurate recovery of target motion and improved target distinction capabilities. These benefits over traditional methods are especially evident when the product of the attenuation coefficient α, the initial velocity v0, and the total coherent accumulation time TM exceeds a specific threshold. © 2025 Elsevier Inc.

关键词： Fast Fourier transforms

来源：评论

学校读者我要写书评

暂无评论

One-Dimensional Photonic Crystal Filter with Multiple Defect Layers Based on Particle Swarm Optimization 21st

One-Dimensional Photonic Crystal Filter with Multiple Defect...

引用

21st Asia simulation Conference, AsiaSim 2022

作者： Hao, Kaizi Du, Jian Ma, Jing Zhang, Ying Ma, Yiyuan Wan, Chen Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing100854 China North University of China Taiyuan030051 China

ISBN: (纸本)9789811991974

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 incident angle on defect mode were discussed. Photonic crystal structure with multiple defect layers was constructed, and multiple defect modes were obtained in the forbidden band. Based on the photonic crystal structure with two defect layers, a dual-channel narrow-band filter operating at 480 nm and 532 nm was designed. Particle swarm optimization algorithm was introduced to optimize the position and transmittance of defect modes, which mainly depended on the thickness of defect layer. The calculation results showed that the transmittance of the two defect modes reached 97.52% and 97.55%, respectively, while the full width at half maximum was only 1.0 nm and 1.8 nm. The simulation of the electric field distribution further proved the correctness of the design results. The research results had important value in the field of underwater laser communication. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Photonic crystals

来源：评论

学校读者我要写书评

暂无评论

A Runtime Verification Tool for Distributed simulation systems 5th

A Runtime Verification Tool for Distributed Simulation Syst...

引用

5th China Conference on Intelligent Networked Things, CINT 2022

作者： Zhang, Lianyi Qing, Duzheng Zhang, Han Wang, Qingyun Laili, Yuanjun Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing China Beijing Institute of Electronic System Engineering Beijing China Beihang University Beijing China

ISBN: (纸本)9789811989148

Distributed simulation systems are complex systems that may suffer from runtime uncertainty or runtime errors. The core of defect detection in distributed simulation systems is to effectively traverse the state space of communication between nodes in the system. In a distributed simulation system, simulation nodes communicate and exchange data through event requests. Different event interaction sequences constitute different states of system behavior. Therefore, an efficient traversal of the state space can be transformed into sequential control of event requests in the system. This paper mainly studies the hybrid method based on software testing and model checking to perform runtime verification of the temporal properties of distributed simulation systems. We develop the runtime verification tool TempoRV. It monitors the distributed simulation system and responds immediately when the behavior of the system violated certain temporal properties. Finally, to illustrate the effectiveness of the proposed tool, we conduct a case study to show that TempoRV provides an important guarantee for the temporal correctness of distributed simulation systems. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Apical-dominant particle swarm optimization

引用

Progress in Natural science:Materials International 2008年第12期18卷 1577-1582页

作者： Zhihua Cui~(a,b) Xingjuan Cai~b Jianchao Zeng~b Guoji Sun~a a State Key laboratory for Manufacturing systems Engineering,Xi’an Jiaotong University,Xi’an 710049,China b Division of system simulation and Computer Application,Taiyuan University of science and technology,Taiyuan 030024,China [a]State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University Xi’an 710049 China [b]Division of System Simulation and Computer Application Taiyuan University of Science and Technology Taiyuan 030024 China

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.

关键词： Apical-dominance phenomenon Particle swarm optimization Branch growth model High-dimensional multi-modal benchmarks

来源：评论

学校读者我要写书评

暂无评论

Innovative design of cassegrain solar concentrator system for indoor illumination utilizing chromatic aberration to filter out ultraviolet and infrared in sunlight

引用

Solar Energy 2009年第8期83卷 1115-1122页

作者： Whang, Allen Jong-Woei Chen, Yi-Yung Wu, Bo-Yi Photonics System Simulation Design Laboratory Department of Electronic Engineering National Taiwan University of Science and Technology 43 Sec.4 Keelung Rd Taipei 106 Taiwan

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 solar concentrator based on cassegrain construction with sun tracking system. However, exposure to UV in sunlight has been proved to be hazardous to humans, and the heat content of IR degrades illumination quality. In order to solve the two problems, we develop an innovative cassegrain solar concentrator system utilizing the theory of chromatic aberration by a chromatic lens to reduce UV and IR. A dispersion model to consider the impact between the chromatic lens and a guiding fiber is also proposed. As a result, the system can filter out UV completely and reduce IR by half. Further, the chromaticity coordinates of collected light for illumination is almost equal to sunlight, and the color difference is so small that the two appear equal to the human eye. © 2009.

关键词： Solar concentrators

来源：评论

学校读者我要写书评

暂无评论

Study on photoelectric anti-interference technology of Optical Detecting system used in Surface-to-air Missiles 6

Study on photoelectric anti-interference technology of Optic...

引用

6th Conference on Frontiers in Optical Imaging and technology: Imaging Detection and Target Recognition

作者： Li-Qin, Zhang Lei, Chen Wei, Shen Jin-Dong, Fei Beijing Institute of Electronic System Engineering Peking100854 China Science and Technology on Special System Simulation Laboratory Peking100854 China

ISBN: (数字)9781510679733

ISBN: (纸本)9781510679726

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 mode faced by the optical detection system used in surface-to-air missiles, also gives anti-interference methods and simulation results, aiming at providing reference for anti-interference design of surface-to-air missiles. © 2024 SPIE. All rights reserved.

关键词： Surface to air missiles

来源：评论

学校读者我要写书评

暂无评论

Probabilistic robust control strategy for gust load alleviation 16

Probabilistic robust control strategy for gust load alleviat...

引用

16th International Forum on Aeroelasticity and Structural Dynamics, IFASD 2015

作者： Dai, Yuting Yang, Chao Wang, Chaolei School of Aeronautic Science and Engineering Beihang University Beijing100854 China Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing100854 China

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

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：