期刊文献+
共找到377,696篇文章
< 1 2 250 >
每页显示 20 50 100
A novel small-signal equivalent circuit model for GaN HEMTs incorporating a dual-field-plate
1
作者 Jinye Wang Jun Liu Zhenxin Zhao 《Journal of Semiconductors》 EI CAS CSCD 2024年第5期61-68,共8页
An accurate and novel small-signal equivalent circuit model for GaN high-electron-mobility transistors(HEMTs)is proposed,which considers a dual-field-plate(FP)made up of a gate-FP and a source-FP.The equivalent circui... An accurate and novel small-signal equivalent circuit model for GaN high-electron-mobility transistors(HEMTs)is proposed,which considers a dual-field-plate(FP)made up of a gate-FP and a source-FP.The equivalent circuit of the overall model is composed of parasitic elements,intrinsic transistors,gate-FP,and source-FP networks.The equivalent circuit of the gate-FP is identical to that of the intrinsic transistor.In order to simplify the complexity of the model,a series combination of a resistor and a capacitor is employed to represent the source-FP.The analytical extraction procedure of the model parameters is presented based on the proposed equivalent circuit.The verification is carried out on a 4×250μm GaN HEMT device with a gate-FP and a source-FP in a 0.45μm technology.Compared with the classic model,the proposed novel small-signal model shows closer agreement with measured S-parameters in the range of 1.0 to 18.0 GHz. 展开更多
关键词 small-signal model dual field-plate(FP) GaN high-electron-mobility transistors(HEMT) parameter extraction
下载PDF
Life-Cycle Bearing Capacity for Pre-Stressed T-beams Based on Full-Scale Destructive Test
2
作者 Yushan Ye Tao Gao +4 位作者 Liankun Wang Junjie Ma Yingchun Cai Heng Liu Xiaoge Liu 《Structural Durability & Health Monitoring》 EI 2025年第1期145-166,共22页
To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concret... To investigate the evolution of load-bearing characteristics of pre-stressed beams throughout their service life and to provide a basis for accurately assessing the actual working state of damaged pre-stressed concrete T-beams,destructive tests were conducted on full-scale pre-stressed concrete beams.Based on the measurement and ana-lysis of beam deflection,strain,and crack development under various loading levels during the research tests,combined with the verification coefficient indicators specified in the codes,the verification coefficients of bridges at different stages of damage can be examined.The results indicate that the T-beams experience complete,incom-plete linear,and non-linear stages during the destructive test process.In the complete linear elastic stage,both the deflection and bottom strain verification coefficients comply with the specifications,indicating a good structural load-bearing capacity no longer adheres to the code’s requirements.In the non-linear stage,both coefficients exhi-bit a sharp increase,resulting in a further decrease in the structure’s load-bearing capacity.According to the pro-visions of the current code,the beam can be in the incomplete linear stage when both values fall within the code’s specified range.The strain verification coefficient sourced from the compression zone at the bottom of theflange is not recommended for assessing the bridge’s load-bearing capacity. 展开更多
关键词 Pre-stressed T-beams whole process destructive test bearing capacity verification coefficient
下载PDF
Small-Signal Equivalent Circuit Modeling of a Photodetector Chip 被引量:1
3
作者 苗昂 李轶群 +4 位作者 吴强 崔海林 黄永清 黄辉 任晓敏 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2007年第12期1878-1882,共5页
A small-signal equivalent circuit model and the ted. The equivalent lumped circuit, which takes the main extraction techniques for photodetector chips are presen- factors that limit a photodetector's RF performance i... A small-signal equivalent circuit model and the ted. The equivalent lumped circuit, which takes the main extraction techniques for photodetector chips are presen- factors that limit a photodetector's RF performance into consideration,is first determined based on the device's physical structure. The photodetector's S parameters are then on-wafer measured, and the measured raw data are processed with further calibration. A genetic algorithm is used to fit the measured data, thereby allowing us to calculate each parameter value of the model. Experimental resuits show that the modeled parameters are well matched to the measurements in a frequency range from 130MHz to 20GHz, and the proposed method is proved feasible. This model can give an exact description of the photodetector chip's high frequency performance,which enables an effective circuit-level prediction for photodetector and optoelectronic integrated circuits. 展开更多
关键词 small-signal equivalent circuit model of photodetector parameter extraction high frequency meas-urement genetic algorithm
下载PDF
Small-signal modeling and parameter extraction method for a multigate GaAs pHEMT switch 被引量:3
4
作者 Lin Luo Jun Liu +1 位作者 Guofang Wang Yuxing Wu 《Journal of Semiconductors》 EI CAS CSCD 2020年第3期7-12,共6页
This paper presents an accurate small-signal model for multi-gate GaAs pHEMTs in switching-mode.The extraction method for the proposed model is developed.A 2-gate switch structure is fabricated on a commercial 0.5μm ... This paper presents an accurate small-signal model for multi-gate GaAs pHEMTs in switching-mode.The extraction method for the proposed model is developed.A 2-gate switch structure is fabricated on a commercial 0.5μm AlGaAs/GaAs pHEMT technology to verify the proposed model.Excellent agreement has been obtained between the measured and simulated results over a wide frequency range. 展开更多
关键词 GaAs pHEMTs SWITCH small-signal model parameter extraction
下载PDF
Small-signal analysis of a rectangular helix structure traveling-wave-tube 被引量:1
5
作者 付成芳 魏彦玉 +2 位作者 段兆云 王文祥 宫玉彬 《Chinese Physics B》 SCIE EI CAS CSCD 2009年第7期2749-2756,共8页
This paper investigates the properties of traveling wave-beam interaction in a rectangular helix traveling-wave-tube (TWT) for a solid sheet electron beam. The "hot" dispersion equation is obtained by means of the... This paper investigates the properties of traveling wave-beam interaction in a rectangular helix traveling-wave-tube (TWT) for a solid sheet electron beam. The "hot" dispersion equation is obtained by means of the self-consistent field theory. The small signal analysis,which includes the effects of the beam parameters and slow-wave structure (SWS) parameters,is carried out by theoretical computation. The numerical results show that the bandwidth and the small-signal gain of the rectangular helix TWT increase as the beam current increases;and the beam voltage not obviously influences the small signal gain. Among different rectangular helix structures,the small-signal gain increases as the width of the rectangular helix SWS increases,however,the bandwidth decreases whether structure parameters a and L or ψ and L are fixed or not.In addition,a comparison of the small-signal gain of this structure with a conventional round helix is made.The presented analysis will be useful for the design of the TWT with a rectangular helix circuit. 展开更多
关键词 rectangular helix small-signal gain slow-wave structure compact TWT
下载PDF
Modeling and small-signal stability analysis of doubly-fed induction generator integrated system 被引量:1
6
作者 Tianming Gu Puyu Wang +3 位作者 Dingyuan Liu Ao Sun Dejian Yang Gangui Yan 《Global Energy Interconnection》 EI CSCD 2023年第4期438-449,共12页
Owing to their stability,doubly-fed induction generator(DFIG)integrated systems have gained considerable interest and are the most widely implemented type of wind turbines and due to the increasing escalation of the w... Owing to their stability,doubly-fed induction generator(DFIG)integrated systems have gained considerable interest and are the most widely implemented type of wind turbines and due to the increasing escalation of the wind generation penetration rate in power systems.In this study,we investigate a DFIG integrated system comprising four modules:(1)a wind turbine that considers the maximum power point tracking and pitch-angle control,(2)induction generator,(3)rotor/grid-side converter with the corresponding control strategy,and(4)AC power grid.The detailed small-signal modeling of the entire system is performed by linearizing the dynamic characteristic equation at the steady-state value.Furthermore,a dichotomy method is proposed based on the maximum eigenvalue real part function to obtain the critical value of the parameters.Root-locus analysis is employed to analyze the impact of changes in the phase-locked loop,short-circuit ratio,and blade inertia on the system stability.Lastly,the accuracy of the small-signal model and the real and imaginary parts of the calculated dominant poles in the theoretical analysis are verified using PSCAD/EMTDC. 展开更多
关键词 Doubly-fed induction generator(DFIG) Maximum power point tracking DICHOTOMY small-signal stability
下载PDF
Tuning method for governor control parameters of hydropower generator in isolated grid considering primary frequency performance and small-signal stability 被引量:1
7
作者 Zhenhua Xu 《Global Energy Interconnection》 2018年第5期568-575,共8页
This paper presents a method of tuning governor control parameters of an isolated hydropower generator considering the primary frequency performance and small-signal stability. First, generators that can be operated i... This paper presents a method of tuning governor control parameters of an isolated hydropower generator considering the primary frequency performance and small-signal stability. First, generators that can be operated in isolated state are identified. Second, different schemes are proposed for generator mode switching from on-grid to off-grid state through comparison and mechanism analysis. Third, the time domain model and frequency domain model of the isolated generator governor are constructed to respectively estimate the primary frequency performance and small signal stability. Parameter sets that satisfy the primary frequency performance and small signal stability are acquired as optimal values of governor control parameters. Finally, the measurement-based parameters of the governor are identified and validated using simulations to demonstrate the feasibility and effectiveness of the method. 展开更多
关键词 Isolated grid PRIMARY FREQUENCY regulation capability small-signal stability LAPLACE transfer Parameter ADJUSTING
下载PDF
昆明烟区土壤线虫数量与环境因子的Mantel Test分析
8
作者 施锘 李恩星 +9 位作者 陈江政 蒋碧霞 吴思昊 贺艳杰 王戈 王娜 白羽祥 周鹏 杜宇 李杰 《山东农业科学》 北大核心 2024年第10期153-158,共6页
为进一步明确昆明烟区影响线虫的环境因素,于2022年采集云南昆明烟区8个县(市、区)64个乡镇的320个植烟土壤样品,调查与测定样品采集地的海拔、土壤线虫数量以及土壤理化性质(pH值及有机质、水解性氮、速效钾和有效磷含量),并探讨土壤... 为进一步明确昆明烟区影响线虫的环境因素,于2022年采集云南昆明烟区8个县(市、区)64个乡镇的320个植烟土壤样品,调查与测定样品采集地的海拔、土壤线虫数量以及土壤理化性质(pH值及有机质、水解性氮、速效钾和有效磷含量),并探讨土壤线虫数量与植烟土壤环境因子之间的潜在关系。结果表明,昆明烟区土壤线虫数量一定程度上受到海拔及土壤理化性质的影响,海拔与有机质、水解性氮和速效钾呈显著正相关,pH值与有效磷呈极显著负相关,相关系数为-0.850;土壤线虫数量与土壤有效磷呈正相关,与海拔、pH值、有机质、水解性氮、速效钾呈负相关,其中与海拔、有机质和水解性氮的相关系数较大,分别为-0.751、-0.651和-0.568。通过Mantel test分析确定海拔、有机质和水解性氮含量是影响昆明烟区土壤线虫数量的重要因子。本结果可为有效防治土壤线虫提供科学依据。 展开更多
关键词 土壤线虫 海拔 土壤理化特性 Mantel test分析
下载PDF
Failure characterization of fully grouted rock bolts under triaxial testing 被引量:1
9
作者 Hadi Nourizadeh Ali Mirzaghorbanali +3 位作者 Mehdi Serati Elamin Mutaz Kevin McDougall Naj Aziz 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2024年第3期778-789,共12页
Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic st... Confining stresses serve as a pivotal determinant in shaping the behavior of grouted rock bolts.Nonetheless,prior investigations have oversimplified the three-dimensional stress state,primarily assuming hydrostatic stress conditions.Under these conditions,it is assumed that the intermediate principal stress(σ_(2))equals the minimum principal stress(σ_(3)).This assumption overlooks the potential variations in magnitudes of in situ stress conditions along all three directions near an underground opening where a rock bolt is installed.In this study,a series of push tests was meticulously conducted under triaxial conditions.These tests involved applying non-uniform confining stresses(σ_(2)≠σ_(3))to cubic specimens,aiming to unveil the previously overlooked influence of intermediate principal stresses on the strength properties of rock bolts.The results show that as the confining stresses increase from zero to higher levels,the pre-failure behavior changes from linear to nonlinear forms,resulting in an increase in initial stiffness from 2.08 kN/mm to 32.51 kN/mm.The load-displacement curves further illuminate distinct post-failure behavior at elevated levels of confining stresses,characterized by enhanced stiffness.Notably,the peak load capacity ranged from 27.9 kN to 46.5 kN as confining stresses advanced from σ_(2)=σ_(3)=0 to σ_(2)=20 MPa and σ_(3)=10 MPa.Additionally,the outcomes highlight an influence of confining stress on the lateral deformation of samples.Lower levels of confinement prompt overall dilation in lateral deformation,while higher confinements maintain a state of shrinkage.Furthermore,diverse failure modes have been identified,intricately tied to the arrangement of confining stresses.Lower confinements tend to induce a splitting mode of failure,whereas higher loads bring about a shift towards a pure interfacial shear-off and shear-crushed failure mechanism. 展开更多
关键词 Rock bolts Bolt-grout interface Bond strength Push test Triaxial tests
下载PDF
Unbound^(28)O,the heaviest oxygen isotope observed:a cutting-edge probe for testing nuclear models 被引量:1
10
作者 Jian-Guo Li Bai-Shan Hu +1 位作者 Shuang Zhang Fu-Rong Xu 《Nuclear Science and Techniques》 SCIE EI CAS CSCD 2024年第2期1-2,共2页
The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an ... The beyond-dripline oxygen isotopes^(27,28)O were recently observed at RIKEN,and were found to be unbound decaying into^(24)O by emitting neutrons.The unbound feature of the heaviest oxygen isotope,^(28)O,provides an excellent test for stateof-the-art nuclear models.The atomic nucleus is a self-organized quantum manybody system comprising specific numbers of protons Z and neutrons N. 展开更多
关键词 testING QUANTUM system
下载PDF
A complete small-signal HBT model including AC current crowding effect
11
作者 Jinjing Huang Jun Liu 《Journal of Semiconductors》 EI CAS CSCD 2021年第5期79-84,共6页
An improved small-signal equivalent circuit of HBT concerning the AC current crowding effect is proposed in this paper. AC current crowding effect is modeled as a parallel RC circuit composed of Cbi and Rbi, with dist... An improved small-signal equivalent circuit of HBT concerning the AC current crowding effect is proposed in this paper. AC current crowding effect is modeled as a parallel RC circuit composed of Cbi and Rbi, with distributed base-collector junction capacitance also taken into account. The intrinsic portion is taken as a whole and extracted directly from the measured Sparameters in the whole frequency range of operation without any special test structures. An HBT device with a 2 × 20 μm^(2) emitter-area under three different biases were used to demonstrate the extraction and verify the accuracy of the equivalent circuit. 展开更多
关键词 small-signal model HBT AC current crowding effect
下载PDF
A Direct Parameter-Extraction Method for GaInP/GaAs Heterojunction Bipolar Transistors Small-Signal Model
12
作者 SHIXin-zhi LIUHai-wen +3 位作者 SUNXiao-wei CHEYan-feng CHENGZhi-qun LIZheng-fan 《Wuhan University Journal of Natural Sciences》 CAS 2005年第2期405-409,共5页
An accurate and broad-band method for hetero-junction bipolar transistors(HBT) small-signal model parameters-extraction is presented in this paper. An equivalent circuit forthe HBT under a forward-bias condition is pr... An accurate and broad-band method for hetero-junction bipolar transistors(HBT) small-signal model parameters-extraction is presented in this paper. An equivalent circuit forthe HBT under a forward-bias condition is proposed for extraction of accessresistance and parasiticinductance. This method differs from previous ones by extracting the c-quivalent circuit parameterswithout using special test structure or global numerical optimization techniques. The mainadvantage of this method is that a unique and physically meaningful set of intrinsic parameters isextracted from impedance and admittance representation of the measured S-pa-rameters in thefrequency range of 1-12 GHz under different bias conditions. The method yields a deviation of lessthan 5% between measured and modeled S-parameters. 展开更多
关键词 GalnP/GaAs HBT parameter extraction small-signal model
下载PDF
Small-Signal Stability Analysis of Wind Power System Based on DFIG
13
作者 Bin Sun Zhengyou He +1 位作者 Yong Jia Kai Liao 《Energy and Power Engineering》 2013年第4期418-422,共5页
This paper focuses on the small-signal stability of power system integrated with DFIG-based wind farm. The model of DFIG for small-signal stability analysis has built;the 3-generator 9-bus WECC test system is modified... This paper focuses on the small-signal stability of power system integrated with DFIG-based wind farm. The model of DFIG for small-signal stability analysis has built;the 3-generator 9-bus WECC test system is modified to investigate the impacts of large scale integration of wind power on power system small-signal stability. Different oscillatory modes are obtained with their eigenvalue, frequency and damping ratio, the results from eigenvalue analysis are presented to demonstrate the small-signal stability of power system is enhanced with the increasing output of the wind farm. 展开更多
关键词 small-signal STABILITY DFIG WIND POWER POWER System WIND FARM
下载PDF
Pressure Dependence of the Small-Signal Gain and Saturation Intensity of a Copper Bromide Laser
14
作者 M. E. Aeinehvand S. Behrouzinia +2 位作者 M. K. Salem M, Elahei K. Khorasani 《Chinese Physics Letters》 SCIE CAS CSCD 2017年第8期55-58,共4页
A pair of copper bromide lasers in an oscillator–amplifier configuration is used to investigate the small signal gain and saturation intensity as amplifying parameters and output power of lasers, versus pressure of b... A pair of copper bromide lasers in an oscillator–amplifier configuration is used to investigate the small signal gain and saturation intensity as amplifying parameters and output power of lasers, versus pressure of buffer gas. It is shown that the amplifying parameters and laser output power have a maximum value at optimum buffer gas pressure of 11?Torr. The challenge between microscopic parameters such as stimulated emission cross section, laser upper level lifetime, and population inversion, which determine the values of laser characteristics respective to the operational pressure of buffer gas, are investigated. Thus an optimum delay time of about 10?ns is determined, and a maximum output power equivalent to about 12?W is extracted. The amplifying parameters and measured output power of laser versus delay times show some local maxima and minima at the delay time interval of 6–43?ns. 展开更多
关键词 In CBL Pressure Dependence of the small-signal Gain and Saturation Intensity of a Copper Bromide Laser
下载PDF
Electrochemical biosensors for point-of-care testing 被引量:1
15
作者 Jinsol Kim Juho Jeong Seung Hwan Ko 《Bio-Design and Manufacturing》 SCIE EI CAS CSCD 2024年第4期548-565,共18页
Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT... Point-of-care testing(POCT)is the practice of diagnosing and monitoring diseases where the patient is located,as opposed to traditional treatment conducted solely in a medical laboratory or other clinical setting.POCT has been less common in the recent past due to a lack of portable medical devices capable of facilitating effective medical testing.However,recent growth has occurred in this field due to advances in diagnostic technologies,device miniaturization,and progress in wearable electronics.Among these developments,electrochemical sensors have attracted interest in the POCT field due to their high sensitivity,compact size,and affordability.They are used in various applications,from disease diagnosis to health status monitoring.In this paper we explore recent advancements in electrochemical sensors,the methods of fabricating them,and the various types of sensing mechanisms that can be used.Furthermore,we delve into methods for immobilizing specific biorecognition elements,including enzymes,antibodies,and aptamers,onto electrode surfaces and how these sensors are used in real-world POCT settings. 展开更多
关键词 Point-of-care testing(POCT) Electrochemical sensor ENZYME ANTIBODY Health care
下载PDF
Aquifer Test求群孔抽水试验水文地质参数
16
作者 李红伟 《中国高新科技》 2024年第5期56-57,129,共3页
在水文地质条件复杂的地区,往往采用大型的群孔抽水试验充分揭露含水层特征,获取水文地质参数。用Aquifer Test软件求解水文地质参数,则方便实用、简捷高效,可快速输出拟合图形和求参结果。Aquifer Test提供了丰富的求参方案,求参必须... 在水文地质条件复杂的地区,往往采用大型的群孔抽水试验充分揭露含水层特征,获取水文地质参数。用Aquifer Test软件求解水文地质参数,则方便实用、简捷高效,可快速输出拟合图形和求参结果。Aquifer Test提供了丰富的求参方案,求参必须结合当地当时的水文地质条件实际情况考虑,选择适合的方案和时空数据求取水文地质参数。 展开更多
关键词 群孔抽水试验 水文地质参数 Aquifer test
下载PDF
Micromechanical testing and property upscaling of planetary rocks:A critical review 被引量:1
17
作者 Yiwei Liu Guoping Zhang +1 位作者 Jiangmei Qiao Xuhai Tang 《International Journal of Mining Science and Technology》 SCIE EI CAS CSCD 2024年第9期1217-1241,共25页
Knowledge of the mechanical behavior of planetary rocks is indispensable for space explorations.The scarcity of pristine samples and the irregular shapes of planetary meteorites make it difficult to obtain representat... Knowledge of the mechanical behavior of planetary rocks is indispensable for space explorations.The scarcity of pristine samples and the irregular shapes of planetary meteorites make it difficult to obtain representative samples for conventional macroscale rock mechanics experiments(macro-RMEs).This critical review discusses recent advances in microscale RMEs(micro-RMEs)techniques and the upscaling methods for extracting mechanical parameters.Methods of mineralogical and microstructural analyses,along with non-destructive mechanical techniques,have provided new opportunities for studying planetary rocks with unprecedented precision and capabilities.First,we summarize several mainstream methods for obtaining the mineralogy and microstructure of planetary rocks.Then,nondestructive micromechanical testing methods,nanoindentation and atomic force microscopy(AFM),are detailed reviewed,illustrating the principles,advantages,influencing factors,and available testing results from literature.Subsequently,several feasible upscaling methods that bridge the micro-measurements of meteorite pieces to the strength of the intact body are introduced.Finally,the potential applications of planetary rock mechanics research to guiding the design and execution of space missions are environed,ranging from sample return missions and planetary defense to extraterrestrial construction.These discussions are expected to broaden the understanding of the microscale mechanical properties of planetary rocks and their significant role in deep space exploration. 展开更多
关键词 METEORITES Planetary rock mechanics Non-destructive testing Upscaling method Extraterrestrial construction Space exploration
下载PDF
Seismic performance evaluation of water supply pipes installed in a full-scale RC frame structure based on a shaking table test 被引量:1
18
作者 Wu Houli Guo Endong +2 位作者 Wang Jingyi Dai Xin Dai Chenxi 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2024年第1期163-178,共16页
As an important part of nonstructural components,the seismic response of indoor water supply pipes deserves much attention.This paper presents shaking table test research on water supply pipes installed in a full-scal... As an important part of nonstructural components,the seismic response of indoor water supply pipes deserves much attention.This paper presents shaking table test research on water supply pipes installed in a full-scale reinforced concrete(RC)frame structure.Different material pipes and different methods for penetrating the reinforced concrete floors are combined to evaluate the difference in seismic performance.Floor response spectra and pipe acceleration amplification factors based on test data are discussed and compared with code provisions.A seismic fragility study of displacement demand is conducted based on numerical simulation.The acceleration response and displacement response of different combinations are compared.The results show that the combination of different pipe materials and different passing-through methods can cause obvious differences in the seismic response of indoor riser pipes. 展开更多
关键词 water supply pipe different materials shaking table test amplification factor seismic fragility
下载PDF
Development of multi-functional anchorage support dynamic-static coupling performance test system and its application
19
作者 Qi Wang Shuo Xu +4 位作者 Bei Jiang Chong Zhang Zhe Sun Jingxuan Liu Cailin Jiao 《International Journal of Mining Science and Technology》 SCIE EI CAS CSCD 2024年第3期339-349,共11页
In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses... In underground engineering with complex conditions,the bolt(cable)anchorage support system is in an environment where static and dynamic stresses coexist,under the action of geological conditions such as high stresses and strong disturbances and construction conditions such as the application of high prestress.It is essential to study the support components performance under dynamic-static coupling conditions.Based on this,a multi-functional anchorage support dynamic-static coupling performance test system(MAC system)is developed,which can achieve 7 types of testing functions,including single component performance,anchored net performance,anchored rock performance and so on.The bolt and cable mechanical tests are conducted by MAC system under different prestress levels.The results showed that compared to the non-prestress condition,the impact resistance performance of prestressed bolts(cables)is significantly reduced.In the prestress range of 50–160 k N,the maximum reduction rate of impact energy resisted by different types of bolts is 53.9%–61.5%compared to non-prestress condition.In the prestress range of 150–300 k N,the impact energy resisted by high-strength cable is reduced by76.8%–84.6%compared to non-prestress condition.The MAC system achieves dynamic-static coupling performance test,which provide an effective means for the design of anchorage support system. 展开更多
关键词 Anchorage support system Development of test system Dynamic-static coupling test Combined stress
下载PDF
C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing
20
作者 Wei Zhou Xincong Jiang Chuan Qin 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第5期2069-2093,共25页
Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount impo... Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%. 展开更多
关键词 Compiler testing test case prioritization code representation
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部