期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
REVIEW OF HIGH LEVEL FAULT MODELING APPROACHES FOR MIXED-SIGNAL SYSTEMS
1
作者 Xia Likun Ian Bell Antony Wilkinson 《Journal of Electronics(China)》 2010年第4期490-497,共8页
In the modern analogue design, Transistor Level Fault Simulation (TLFS) plays the im-portant part since every fault in the whole circuit has to be simulated at that level. Unfortunately, it is a very CPU intensive tas... In the modern analogue design, Transistor Level Fault Simulation (TLFS) plays the im-portant part since every fault in the whole circuit has to be simulated at that level. Unfortunately, it is a very CPU intensive task even though it maintains the high accuracy. Therefore, High Level Fault Modeling (HLFM) and High Level Fault Simulation (HLFS) are required in order to alleviate the efforts of simulation. In this paper, different HLFM approaches are reviewed at the device level during last two decades. We clarify their domains of application and evaluate their strengths and current limitations. We also analyze causes of faults and introduce various test approaches. 展开更多
关键词 High Level fault modeling (HLFM) Automated Model Generation (AMG)
在线阅读 下载PDF
Building the 3D seismic fault models for the 2021 M_(S)6.4 Yunnan Yangbi earthquake:The potential role of pre-existing faults in generating unexpected moderate-strong earthquakes in southeast Xizang 被引量:1
2
作者 Xiao Sun Jinyu Zhang +4 位作者 Renqi Lu Wei Wang Peng Su Guanshen Liu Fang Xu 《Earthquake Science》 2025年第3期172-186,共15页
The three-dimensional(3D)geometry of a fault is a critical control on earthquake nucleation,dynamic rupture,stress triggering,and related seismic hazards.Therefore,a 3D model of an active fault can significantly impro... The three-dimensional(3D)geometry of a fault is a critical control on earthquake nucleation,dynamic rupture,stress triggering,and related seismic hazards.Therefore,a 3D model of an active fault can significantly improve our understanding of seismogenesis and our ability to evaluate seismic hazards.Utilising the SKUA GoCAD software,we constructed detailed seismic fault models for the 2021 M_(S)6.4 Yangbi earthquake in Yunnan,China,using two sets of relocated earthquake catalogs and focal mechanism solutions following a convenient 3D fault modeling workflow.Our analysis revealed a NW-striking main fault with a high-angle SW dip,accompanied by two branch faults.Interpretation of one dataset revealed a single NNW-striking branch fault SW of the main fault,whereas the other dataset indicated four steep NNE-striking segments with a left-echelon pattern.Additionally,a third ENE-striking short fault was identified NE of the main fault.In combination with the spatial distribution of pre-existing faults,our 3D fault models indicate that the Yangbi earthquake reactivated pre-existing NW-and NE-striking fault directions rather than the surface-exposed Weixi-Qiaohou-Weishan Fault zone.The occurrence of the Yangbi earthquake demonstrates that the reactivation of pre-existing faults away from active fault zones,through either cascade or conjugate rupture modes,can cause unexpected moderate-large earthquakes and severe disasters,necessitating attention in regions like southeast Xizang,which have complex fault systems. 展开更多
关键词 Yangbi earthquake 3D seismogenic fault model relocated earthquakes Weixi-Qiaohou-Weishan fault seismic hazard
在线阅读 下载PDF
The Relationship between Fe Mineralization and Magnetic Basement Faults using Multifractal Modeling in the Esfordi and Behabad Areas(BMD), Central Iran
3
作者 Masoumeh NABILOU Peyman AFZAL +4 位作者 Mehran ARIAN Ahmad ADIB Hassan KHEYROLLAHI Mohammad FOUDAZI Parviz ANSARIRAD 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2022年第2期591-606,共16页
Multifractal modeling is a mathematical method for the separation of a high potential mineralized background from a non-mineralized background. The Concentration-Distance to Fault structures(C-DF) fractal model and th... Multifractal modeling is a mathematical method for the separation of a high potential mineralized background from a non-mineralized background. The Concentration-Distance to Fault structures(C-DF) fractal model and the distribution of the known iron(Fe) deposits/mines seen in the Esfordi and Behabad 1:100,000 sheets from the Bafq region of central Iran are used to distinguish Fe mineralization based on their distance to magnetic basement structures and surface faults, separately, using airborne geophysical data and field surveys. Application of the C-DF fractal model for the classification of Fe mineralizations in the Esfordi and Behabad areas reveals that the main ones show a correlation with their distance from magnetic basement structures. Accordingly, the distances of Fe mineralizations with grades of Fe higher than 55%(43% < Fe ≤ 60%) are located at a distance of less than 1 km, whereas for surfacial faults with grades of 43% ≤ Fe ≤ 60%, the distances are 3162< DF ≤ 4365 m from the faults. Thus, there is a positive relationship between Fe mineralization and magnetic basement structures. Also, the proximity evidence of Precambrian high-grade Fe mineralization related to magnetic basement structures indicates syn-rifting tectonic events. Finally, this C-DF fractal model can be used for exploration of magmatic and hydrothermal ore deposits. 展开更多
关键词 Fe mineralization PROSPECTING Concentration-Distance to fault model(C-DF) fractals Bafq Iran
在线阅读 下载PDF
A New Growth Model of Fault Attributes in a Strike-Slip Fault System in the Tarim Basin 被引量:4
4
作者 ZHANG Yintao WU Guanghui +3 位作者 WANG Junfang LI Guohui WAN Xiaoguo YANG Tianyi 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2020年第5期1373-1380,共8页
Fault attributes generally display a consistent power–law-scaling relationship.Based on new 3 D seismic data,however,we found some exceptional fault attribute relationships of lengths(L)–throw(T)(vertical component ... Fault attributes generally display a consistent power–law-scaling relationship.Based on new 3 D seismic data,however,we found some exceptional fault attribute relationships of lengths(L)–throw(T)(vertical component of displacement),overlap zone length(Lo)–width(Wo)from a strike-slip fault system of the Ordovician carbonates in the Tarim Basin.The L–T relationship shows two linear segments with breakup at^40 km in fault length.This presents an exceptional throw increase in the second stage,which is attributed to a localization of vertical displacement and deformation in overlapping zones other than the different fault scales in a mature fault zone.The Lo–Wo relationship in the overlapping zones shows multiply stepped-shape patterns,suggesting multiple fault differential growth and periodic increase in fault size.Therefore,we propose a new alternative growth model of fault attributes in strike-slip fault zones,in which the overlapping zones accumulated localized displacement and deformation in the intracratonic strike-slip fault zone. 展开更多
关键词 fault modeling fault attributes strike-slip fault overlapping zone power-law-scaling fault growth process
在线阅读 下载PDF
Iterative Learning Fault Diagnosis Algorithm for Non-uniform Sampling Hybrid System 被引量:2
5
作者 Hongfeng Tao Dapeng Chen Huizhong Yang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2017年第3期534-542,共9页
For a class of non-uniform output sampling hybrid system with actuator faults and bounded disturbances,an iterative learning fault diagnosis algorithm is proposed.Firstly,in order to measure the impact of fault on sys... For a class of non-uniform output sampling hybrid system with actuator faults and bounded disturbances,an iterative learning fault diagnosis algorithm is proposed.Firstly,in order to measure the impact of fault on system between every consecutive output sampling instants,the actual fault function is transformed to obtain an equivalent fault model by using the integral mean value theorem,then the non-uniform sampling hybrid system is converted to continuous systems with timevarying delay based on the output delay method.Afterwards,an observer-based fault diagnosis filter with virtual fault is designed to estimate the equivalent fault,and the iterative learning regulation algorithm is chosen to update the virtual fault repeatedly to make it approximate the actual equivalent fault after some iterative learning trials,so the algorithm can detect and estimate the system faults adaptively.Simulation results of an electro-mechanical control system model with different types of faults illustrate the feasibility and effectiveness of this algorithm. 展开更多
关键词 Equivalent fault model fault diagnosis iterative learning algorithm non-uniform sampling hybrid system virtual fault
在线阅读 下载PDF
Coseismic fault model of the 2017 M_(W)6.5 Jiuzhaigou earthquake and implications for the regional fault slip pattern 被引量:2
6
作者 Yang Liu Yangmao Wen +2 位作者 Zhicai Li Ying Peng Caijun Xu 《Geodesy and Geodynamics》 CSCD 2022年第2期104-113,共10页
On August 8,2017,an M_(W)6.5 earthquake occurred in Jiuzhaigou County,Sichuan Province,China,on the eastern margin of the Qinghai-Tibet Plateau.This study investigates the coseismic deformation field and fault model w... On August 8,2017,an M_(W)6.5 earthquake occurred in Jiuzhaigou County,Sichuan Province,China,on the eastern margin of the Qinghai-Tibet Plateau.This study investigates the coseismic deformation field and fault model with ascending and descending Sentinel-1 synthetic aperture radar(SAR)images,aftershock distribution,and elastic half-space dislocation model.The regional fault slip pattern is then quantita-tively examined using the boundary element method.The results show that the ascending and descending interferometric synthetic aperture radar(InSAR)coseismic deformation fields display an overall NNW-SSE trend,with more significant deformation on the southwest side of the fault.The coseismic fault geometry is divided into NW and SE sub-faults with strikes of 162.1°and 149.3°,respectively.The coseismic fault slip is dominated by a left-lateral strike-slip movement with an average rake of-2.31°,mainly occurring at a depth of 0-13.04 km with a shape of an approximately inverted triangle.The fault slip features two peak slip zones,with a maximum of 1.39 m.The total seismic moment is 6.34×10^(18) N·m(M_(W)6.47).The boundary element calculation quantitatively indicates that the regional fault slip pattern may be mainly attributable to the changing strike and dip.The strike changes from NNWeSSE to nearly NS direction,and the dip gradually decreases from the Jiuzhaigou earthquake fault in the north to the Huya fault in the south.With these characteristics,the Huya and the Jiuzhaigou earthquake faults form the eastern boundary of the Minshan uplift zone and accommodate the accumulated deformation. 展开更多
关键词 2017 M_(W)6.5 Jiuzhaigou earthquake INSAR fault model Boundary element method Regional fault slip pattern
原文传递
Influence of fault slip on mining-induced pressure and optimization ofroadway support design in fault-influenced zone 被引量:13
7
作者 Hongwei Wang Yaodong Jiang +4 位作者 Sheng Xue Lingtao Mao Zhinan Lin Daixin Deng Dengqiang Zhang 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2016年第5期660-671,共12页
This paper presents an investigation on the characteristics of overlying strata collapse and mining-induced pressure in fault-influenced zone by employing the physical modeling in consideration of fault structure. The... This paper presents an investigation on the characteristics of overlying strata collapse and mining-induced pressure in fault-influenced zone by employing the physical modeling in consideration of fault structure. The precursory information of fault slip during the underground mining activities is studied as well. Based on the physical modeling, the optimization of roadway support design and the field verification in fault-influenced zone are conducted. Physical modeling results show that, due to the combined effect of mining activities and fault slip, the mining-induced pressure and the extent of damaged rock masses in the fault-influenced zone are greater than those in the uninfluenced zone. The sharp increase and the succeeding stabilization of stress or steady increase in displacement can be identified as the precursory information of fault slip. Considering the larger mining-induced pressure in the fault-influenced zone, the new support design utilizing cables is proposed. The optimization of roadway support design suggests that the cables can be anchored in the stable surrounding rocks and can effectively mobilize the load bearing capacity of the stable surrounding rocks. The field observation indicates that the roadway is in good condition with the optimized roadway support design. 展开更多
关键词 Physical modeling fault slipMining-induced pressure Roadway support design Field observation
在线阅读 下载PDF
An aligned mixture probabilistic principal component analysis for fault detection of multimode chemical processes 被引量:5
8
作者 杨雅伟 马玉鑫 +1 位作者 宋冰 侍洪波 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2015年第8期1357-1363,共7页
A novel approach named aligned mixture probabilistic principal component analysis(AMPPCA) is proposed in this study for fault detection of multimode chemical processes. In order to exploit within-mode correlations,the... A novel approach named aligned mixture probabilistic principal component analysis(AMPPCA) is proposed in this study for fault detection of multimode chemical processes. In order to exploit within-mode correlations,the AMPPCA algorithm first estimates a statistical description for each operating mode by applying mixture probabilistic principal component analysis(MPPCA). As a comparison, the combined MPPCA is employed where monitoring results are softly integrated according to posterior probabilities of the test sample in each local model. For exploiting the cross-mode correlations, which may be useful but are inadvertently neglected due to separately held monitoring approaches, a global monitoring model is constructed by aligning all local models together. In this way, both within-mode and cross-mode correlations are preserved in this integrated space. Finally, the utility and feasibility of AMPPCA are demonstrated through a non-isothermal continuous stirred tank reactor and the TE benchmark process. 展开更多
关键词 Multimode process monitoring Mixture probabilistic principal component analysis Model alignment fault detection
在线阅读 下载PDF
FAULT DIAGNOSIS APPROACH BASED ON HIDDEN MARKOV MODEL AND SUPPORT VECTOR MACHINE 被引量:4
9
作者 LIU Guanjun LIU Xinmin QIU Jing HU Niaoqing 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2007年第5期92-95,共4页
Aiming at solving the problems of machine-learning in fault diagnosis, a diagnosis approach is proposed based on hidden Markov model (HMM) and support vector machine (SVM). HMM usually describes intra-class measur... Aiming at solving the problems of machine-learning in fault diagnosis, a diagnosis approach is proposed based on hidden Markov model (HMM) and support vector machine (SVM). HMM usually describes intra-class measure well and is good at dealing with continuous dynamic signals. SVM expresses inter-class difference effectively and has perfect classify ability. This approach is built on the merit of HMM and SVM. Then, the experiment is made in the transmission system of a helicopter. With the features extracted from vibration signals in gearbox, this HMM-SVM based diagnostic approach is trained and used to monitor and diagnose the gearbox's faults. The result shows that this method is better than HMM-based and SVM-based diagnosing methods in higher diagnostic accuracy with small training samples. 展开更多
关键词 Hidden Markov model Support vector machine fault diagnosis
在线阅读 下载PDF
Local paleo-tsunami size evaluation using numerical modeling for boulder transport at Ishigaki Island,Japan 被引量:1
10
作者 Akifumi Hisamatsu Kazuhisa Goto Fumihiko Imamura 《Episodes》 2014年第4期265-276,共12页
In this study,we simulated the transport of a large coralline boulder on southern Ishigaki Island of the Sakishima Islands,Japan,to evaluate local paleotsunami size in comparison to a well-known historical event(the 1... In this study,we simulated the transport of a large coralline boulder on southern Ishigaki Island of the Sakishima Islands,Japan,to evaluate local paleotsunami size in comparison to a well-known historical event(the 1771 Meiwa tsunami).According to the geological evidence,the boulder was deposited at 10 m elevation by two paleo-tsunami events.We assumed two types of fault models and eight dislocations for each fault.Then we investigated whether there are any combinations of the fault models that can satisfy the movement of the boulder from its presumed initial position to the present position by two tsunamis.Results show that several combinations of tsunami source models can satisfy the geological constraints. 展开更多
关键词 Ishigaki Island fault models paleotsunami geological evidence Sakishima Islands coralline boulder geological evidencethe numerical modeling
在线阅读 下载PDF
2D-HIDDEN MARKOV MODEL FEATURE EXTRACTION STRATEGY OF ROTATING MACHINERY FAULT DIAGNOSIS 被引量:1
11
作者 YE Dapeng DING Qiquan WU Zhaotong 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2006年第1期156-158,共3页
A new feature extraction method based on 2D-hidden Markov model(HMM) is proposed. Meanwhile the time index and frequency index are introduced to represent the new features. The new feature extraction strategy is tes... A new feature extraction method based on 2D-hidden Markov model(HMM) is proposed. Meanwhile the time index and frequency index are introduced to represent the new features. The new feature extraction strategy is tested by the experimental data that collected from Bently rotor experiment system. The results show that this methodology is very effective to extract the feature of vibration signals in the rotor speed-up course and can be extended to other non-stationary signal analysis fields in the future. 展开更多
关键词 fault diagnosis Rotating machinery 2D-hidden Markov model(HMM)Feature extraction
在线阅读 下载PDF
A fault injection model-oriented testing strategy for component security
12
作者 陈锦富 卢炎生 +1 位作者 张卫 谢晓东 《Journal of Central South University》 SCIE EI CAS 2009年第2期258-264,共7页
A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault inje... A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components. 展开更多
关键词 component testing component security fault injection model testing strategy detecting algorithm
在线阅读 下载PDF
Study of fault injection system based on software
13
作者 仉立军 仉俊峰 洪炳镕 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2007年第6期761-764,共4页
A software fault injection system SFIS is designed,which consists of the target system plus a fault injector,fault library,workload,data collector,and data analyzer. A serial communication mechanism is adopted to simu... A software fault injection system SFIS is designed,which consists of the target system plus a fault injector,fault library,workload,data collector,and data analyzer. A serial communication mechanism is adopted to simulate the factual work environment. Then a fault model is built for single particle event,which can be denoted as FM=(FL,FT). FL stands for fault location,and FT stands for fault type. The fault model supports three temporal faults: transient,intermittent,and permanent. During the experiments implemented by SFIS,the software interruption method is adopted to inject transient faults,and step trace method is adopted to inject permanent faults into the target system. The experiment results indicate that for the injected transient code segment faults,2.8 % of them do not affect the program output,80.1% of them are detected by the built-in error detection in the system,and 17.1% of them are not detected by fault detection mechanism. The experiment results verify the validity of the fault injection method. 展开更多
关键词 software fault injection fault model fault injector WORKLOAD
在线阅读 下载PDF
Dynamic Fault Model for On-Line Evaluation of Yarn End Breakage during Ring Spinning
14
作者 黄迪山 BROUGHTON Roy M Jr ELMOGAHZY Yelia E 《Journal of Donghua University(English Edition)》 EI CAS 2012年第5期423-427,共5页
In this paper, a dynamic fault model is proposed to predict yarn end breakage in the spinning procedure through investigation of fault characteristics. In view of the principle that uniformity bad in raw material caus... In this paper, a dynamic fault model is proposed to predict yarn end breakage in the spinning procedure through investigation of fault characteristics. In view of the principle that uniformity bad in raw material causes iustable yarn formation, the investigation focuses on the fault characteristic existing in the dynamic tension. Analyzing the dynamic spinning system, the phenomenon of over random shock in a spinning triangle is discovered to be the main physical event prior to yarn end breakage. The fault characteristic is further confirmed by dynamic tests and signal processing, and can be used to make an approach to predicting yarn end breakage. A relative energy feature is defined for evaluating the tendency of yarn end breakage, and its effectiveness is verified by on.line monitoring tests in the laboratory. The research results show that the proposed dynamic fault model has not only an advantage in indicating the presence of fault characteristics, but also great potentials in quantitating fault in online spinning monitoring. 展开更多
关键词 yarn end breakage fault characteristic on-line monitoring spinning procedure fault model
在线阅读 下载PDF
Spatial and temporal evolutions of aftershocks between 2017 and 2023 at the Pohang EGS site and its vicinity
15
作者 Dabeen Heo Byeong Seok Ahn +3 位作者 Kwang-Hee Kim Junkee Rhie Yujin Sohn Tae-Seob Kang 《Episodes》 2024年第3期611-623,共13页
Five sequences of deep fluid injections at the Pohang Enhanced Geothermal System(EGS)triggered an ML 5.4 earthquake on November 15,2017.The foreshock-mainshock-aftershock sequence was monitored using dense seismic net... Five sequences of deep fluid injections at the Pohang Enhanced Geothermal System(EGS)triggered an ML 5.4 earthquake on November 15,2017.The foreshock-mainshock-aftershock sequence was monitored using dense seismic networks.Between November 14,2017,and May 31,2023,this study detected 5,169 earthquakes and determined the relative locations of 4,902 earthquakes,including seven foreshocks.A heterogeneous subsurface fault model is proposed,in which the fault is reactivated by induced and triggered earthquakes.The earthquake frequency decreased after the mainshock,with a temporary increase after the ML 4.6 event on February 10,2018.The magnitude-frequency b-values are significantly lower than those for the background seismicity in the Korean Peninsula and those for the 2016 Gyeongju earthquake sequence.The aftershock decay rate p-values are within the range of typical values,regardless of decreasing over time.The earthquake focal mechanisms exhibit a predominance of strike-slip components,whereas the slip tendency indicates a higher value in reverse faulting geometry,implying stress redistribution after the mainshock.The seismic landscape with ongoing aftershock activity after the 2017 Pohang earthquake underscores the importance of sustained,long-term seismic monitoring to comprehensively grasp the implications of the new seismic environment for seismic hazards in the area. 展开更多
关键词 spatial evolution induced triggered earthquakesthe enhanced geothermal system egs triggered dense seismic networksbetween temporal evolution heterogeneous subsurface fault model deep fluid injections
在线阅读 下载PDF
Stress triggering of the Lushan M7. 0 earthquake by the Wenchuan Ms8. 0 earthquake 被引量:3
16
作者 Wu Jianchao Yu Song +2 位作者 Cai Yongjian Lei Dongning Li Heng 《Geodesy and Geodynamics》 2013年第3期35-39,共5页
The Wenchuan Ms8.0 earthquake and the Lushan M7.0 earthquake occurred in the north and south segments of the Longmenshan nappe tectonic belt, respectively. Based on the focal mechanism and finite fault model of the We... The Wenchuan Ms8.0 earthquake and the Lushan M7.0 earthquake occurred in the north and south segments of the Longmenshan nappe tectonic belt, respectively. Based on the focal mechanism and finite fault model of the Wenchuan Ms8.0 earthquake, we calculated the coulomb failure stress change. The inverted coulomb stress changes based on the Nishimura and Chenji models both show that the Lushan MT. 0 earth- quake occurred in the increased area of coulomb failure stress induced by the Wenchuan Ms8. 0 earthquake. The coulomb failure stress increased by approximately 0. 135 - 0. 152 bar in the source of the Lushan M7.0 earthquake, which is far more than the stress triggering threshold. Therefore, the Lushan M7.0 earthquake was most likely triggered by the coulomb failure stress change. 展开更多
关键词 focal mechanism finite fault model coulomb failure stress stress triggering threshold
原文传递
Simulation of surface displacement and strain field of the 2011 Japan Mw9. 0 earthquake 被引量:1
17
作者 Chen Shujun Wu Jianchao +3 位作者 Lei Dongning Cai Yongjian Li Heng Zhang Xinlin 《Geodesy and Geodynamics》 2011年第4期28-32,共5页
Based on dislocation theory of 0kada, we adopted a finite-element fault model inverted by Gavin Hayes from seismic data for the 2011 Japan Mw9.0 earthquake, and obtained the corresponding surface displacement and stra... Based on dislocation theory of 0kada, we adopted a finite-element fault model inverted by Gavin Hayes from seismic data for the 2011 Japan Mw9.0 earthquake, and obtained the corresponding surface displacement and strain fields. The calculated displacement field is consistent with the observed GPS results in the trend of changes. Also the surface displacement and strain fields both show large variations in space. 展开更多
关键词 finite fault model fault dislocation displacement field strain field
原文传递
Fault Analysis on AES:A Property-Based Verification Perspective 被引量:1
18
作者 Xiaojie Dai Xingxin Wang +2 位作者 Xue Qu Baolei Mao Wei Hu 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2024年第2期576-588,共13页
Fault analysis is a frequently used side-channel attack for cryptanalysis.However,existing fault attack methods usually involve complex fault fusion analysis or computation-intensive statistical analysis of massive fa... Fault analysis is a frequently used side-channel attack for cryptanalysis.However,existing fault attack methods usually involve complex fault fusion analysis or computation-intensive statistical analysis of massive fault traces.In this work,we take a property-based formal verification approach to fault analysis.We derive fine-grained formal models for automatic fault propagation and fusion,which establish a mathematical foundation for precise measurement and formal reasoning of fault effects.We extract the correlations in fault effects in order to create properties for fault verification.We further propose a method for key recovery,by formally checking when the extracted properties can be satisfied with partial keys as the search variables.Experimental results using both unprotected and masked advanced encryption standard(AES)implementations show that our method has a key search complexity of 216,which only requires two correct and faulty ciphertext pairs to determine the secret key,and does not assume knowledge about fault location or pattern. 展开更多
关键词 side-channel attack fault analysis fault propagation model property extraction fault verification
原文传递
Source parameter and rupture process of the M_W6.3 early strong aftershock immediately following the 2016 M_W7.8 Kaikoura earthquake(New Zealand)
19
作者 Qingjun Meng Aizhi Guo +1 位作者 Xiangteng Wang Shuofan Wang 《Earthquake Science》 2019年第1期1-11,共11页
The 2016 A/w7.8 Kaikoura(New Zealand)earthquake was the most complex event ever instrumentally recorded and geologically investigated,as it ruptured on more than 12 fault segments of various geometries.To study the ma... The 2016 A/w7.8 Kaikoura(New Zealand)earthquake was the most complex event ever instrumentally recorded and geologically investigated,as it ruptured on more than 12 fault segments of various geometries.To study the mainshock rupture characteristics,geodetic methods like InSAR and GPS play an essential role in providing satisfactory spatial resolution.However,early strong aftershocks may cause extra ground deformation which bias the mainshock rupture inversion result.In this paper,we will focus on studying the Mw 6.3 aftershock,which is the only A/6+thrust slip aftershock that occurred only 30 minutes after the Kaikoura mainshock.We will relocate the hypocenter of this event using the hypo 2000 method,make the finite fault model(FFM)inversion for the detailed rupture processes and calculate the synthetic surface displacement to compare with the observed GPS data and figure out its influence on the mainshock study.Although we are not able to resolve the real ruptured fault of this event because of limited observation data,we infer that it is a west-ward dipping event of oblique slip mechanism,consistent with the subfault geometries of the Kaikoura mainshock.According to the inverted FFM,this event can generate 10-20 cm ground surface displacement and affect the ground displacement observation at nearby GPS stations. 展开更多
关键词 Kaikoura mainshock AFTERSHOCK finite fault model surface displacement
在线阅读 下载PDF
Hybrid Slip Model for Near-Field Ground Motion Estimation Based on Uncertainty of Source Parameters
20
作者 孙晓丹 陶夏新 +1 位作者 汤爱平 路建波 《Transactions of Tianjin University》 EI CAS 2010年第1期61-67,共7页
The hybrid slip model used to generate a finite fault model for near-field ground motion estimation and seismic hazard assessment was improved to express the uncertainty of the source form of a future earthquake.In th... The hybrid slip model used to generate a finite fault model for near-field ground motion estimation and seismic hazard assessment was improved to express the uncertainty of the source form of a future earthquake.In this process, source parameters were treated as normal random variables, and the Fortran code of hybrid slip model was modified by adding a random number generator so that the code could generate many finite fault models with different dimensions and slip distributions for a given magnitude.Furth... 展开更多
关键词 hybrid slip model uncertainty of source parameters optimal finite fault model near-field ground motion estimation
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部