The Galileo E1 open service （OS） and the global positioning system （GPS） L1C are intending to use the multiplexed binary offset carrier （MBOC） modulation in E1/L1 band, including both pilot and data components. ...The Galileo E1 open service （OS） and the global positioning system （GPS） L1C are intending to use the multiplexed binary offset carrier （MBOC） modulation in E1/L1 band, including both pilot and data components. The impact of data and pilot codes cross-correlation on the distortion of the discriminator function （i.e., the S-curve） is investigated, when only the pilot （or data） components of MBOC signals are tracked. It is shown that the modulation schemes and the receiver configuration （e.g., the correlator spacing） strongly affect the S-curve bias. In this paper, two methods are proposed to optimize the data/pilot code pairs of Galileo E1 OS and GPS L1C. The optimization goal is to obtain the minimum average S-curve bias when tracking only the pilot components a the specific correlator spacing. Figures of merit, such as S-curve bias, correlation loss and code tracking variance have been adopted for analyzing and comparing the un-optimized and optimized code pairs. Simulation results show that the optimized data/pilot code pairs could significantly mitigate the intra-channel codes cross-correlation, and then improve the code tracking performance of MBOC signals.展开更多
To address the issue of low measurement accuracy caused by noise interference in the acquisition of low fluid flow rate signals with ultrasonic Doppler flow meters,a novel signal processing algorithm that combines ens...To address the issue of low measurement accuracy caused by noise interference in the acquisition of low fluid flow rate signals with ultrasonic Doppler flow meters,a novel signal processing algorithm that combines ensemble empirical mode decomposition(EEMD)and cross-correlation algorithm was proposed.Firstly,a fast Fourier transform(FFT)spectrum analysis was utilized to ascertain the frequency range of the signal.Secondly,data acquisition was conducted at an appropriate sampling frequency,and the acquired Doppler flow rate signal was then decomposed into a series of intrinsic mode functions(IMFs)by EEMD.Subsequently,these decomposed IMFs were recombined based on their energy entropy,and then the noise of the recombined Doppler flow rate signal was removed by cross-correlation filtering.Finally,an ideal ultrasonic Doppler flow rate signal was extracted.Simulation and experimental verification show that the proposed Doppler flow signal processing method can effectively enhance the signal-to-noise ratio(SNR)and extend the lower limit of measurement of the ultrasonic Doppler flow meter.展开更多
The improved cross-correlation algorithm for the strain demodulation of Vernier-effect-based optical fiber sensor(VE-OFS)is proposed in this article.The algorithm identifies the most similar spectrum to the measured o...The improved cross-correlation algorithm for the strain demodulation of Vernier-effect-based optical fiber sensor(VE-OFS)is proposed in this article.The algorithm identifies the most similar spectrum to the measured one from the database of the collected spectra by employing the cross-correlation operation,subsequently deriving the predicted value via weighted calculation.As the algorithm uses the complete information in the measured raw spectrum,more accurate results and larger measurement range can be obtained.Additionally,the improved cross-correlation algorithm also has the potential to improve the measurement speed compared to current standards due to the possibility for the collection using low sampling rate.This work presents an important algorithm towards a simpler,faster way to improve the demodulation performance of VE-OFS.展开更多
Detecting coupling pattern between elements in a complex system is a basic task in data-driven analysis. The trajectory for each specific element is a cooperative result of its intrinsic dynamic, its couplings with ot...Detecting coupling pattern between elements in a complex system is a basic task in data-driven analysis. The trajectory for each specific element is a cooperative result of its intrinsic dynamic, its couplings with other elements, and the environment. It is subsequently composed of many components, only some of which take part in the couplings. In this paper we present a framework to detect the component correlation pattern. Firstly, the interested trajectories are decomposed into components by using decomposing methods such as the Fourier expansion and the Wavelet transformation. Secondly, the cross-correlations between the components are calculated, resulting into a component cross-correlation matrix(network).Finally, the dominant structure in the network is identified to characterize the coupling pattern in the system. Several deterministic dynamical models turn out to be characterized with rich structures such as the clustering of the components. The pattern of correlation between respiratory(RESP) and ECG signals is composed of five sub-clusters that are mainly formed by the components in ECG signal. Interestingly, only 7 components from RESP(scattered in four sub-clusters) take part in the realization of coupling between the two signals.展开更多
介绍了高温蠕变工况下运行的压力容器可能出现的失效模式,结合工程设计现状,指出了我国当前压力容器标准体系在确定高温蠕变工况许用压应力时存在的技术瓶颈,在此基础之上引出ASME Code Case 3029,对其适用范围、发展历程、产生背景及...介绍了高温蠕变工况下运行的压力容器可能出现的失效模式,结合工程设计现状,指出了我国当前压力容器标准体系在确定高温蠕变工况许用压应力时存在的技术瓶颈,在此基础之上引出ASME Code Case 3029,对其适用范围、发展历程、产生背景及工程意义进行了简单的介绍,以某工程设计项目中的实际结构为例,介绍了该方法的使用过程及注意事项,并结合压力容器工程设计领域的实际需求,对我国标准体系下一步的制定或修订方向提出了展望。展开更多
Traditional cross-correlation algorithms are prone to time-of-flight(TOF)calculation errors under conditions of strong noise interference and complex temperature gradients,resulting in a decline in the accuracy of ult...Traditional cross-correlation algorithms are prone to time-of-flight(TOF)calculation errors under conditions of strong noise interference and complex temperature gradients,resulting in a decline in the accuracy of ultrasonic temperature measurement.To this end,this paper proposes an ultrasonic temperature measurement method that combines YOLOv11 target detection with energy-type weighted cross-correlation algorithm.The YOLOv11 model is utilized to conduct target detection and key area positioning on the ultrasonic signal waveform diagram,automatically identifying characteristic waveforms such as node waves and end face waves,and achieving adaptive extraction of the effective signal interval.Further introduce the energy-based weighted cross-correlation algorithm.Based on the signal energy distribution,the cross-correlation results are weighted and processed to enhance the main wave response and suppress noise interference.Experiments show that the YOLOv11 model has high detection accuracy(Precision=0.987,Recall=0.958,mAP@50=0.988);The proposed method maintains the stability of time delay estimation under strong noise and high temperature(>1200℃),with the average time delay error reduced by approximately 35%to 50%compared to traditional algorithms.This verifies its high robustness and temperature measurement accuracy in complex environments,and it has a promising engineering application prospect.展开更多
Mobile communications are reaching out to every aspect of our daily life,necessitating highefficiency data transmission and support for diverse data types and communication scenarios.Polar codes have emerged as a prom...Mobile communications are reaching out to every aspect of our daily life,necessitating highefficiency data transmission and support for diverse data types and communication scenarios.Polar codes have emerged as a promising solution due to their outstanding error-correction performance and low complexity.Unequal error protection(UEP)involves nonuniform error safeguarding for distinct data segments,achieving a fine balance between error resilience and resource allocation,which ultimately enhancing system performance and efficiency.In this paper,we propose a novel class of UEP rateless polar codes.The codes are designed based on matrix extension of polar codes,and elegant mapping and duplication operations are designed to achieve UEP property while preserving the overall performance of conventional polar codes.Superior UEP performance is attained without significant modifications to conventional polar codes,making it straightforward for compatibility with existing polar codes.A theoretical analysis is conducted on the block error rate and throughput efficiency performance.To the best of our knowledge,this work provides the first theoretical performance analysis of UEP rateless polar codes.Simulation results show that the proposed codes significantly outperform existing polar coding schemes in both block error rate and throughput efficiency.展开更多
Differential pulse-position modulation(DP PM)can achieve a good compromise between power and bandwidth requirements.However,the output sequence has undetectable insertions and deletions.This paper proposes a successiv...Differential pulse-position modulation(DP PM)can achieve a good compromise between power and bandwidth requirements.However,the output sequence has undetectable insertions and deletions.This paper proposes a successive cancellation(SC)decoding scheme based on the weighted levenshtein distance(WLD)of polar codes for correcting insertions/deletions in DPPM systems.In this method,the WLD is used to calculate the transfer probabilities recursively to obtain likelihood ratios,and the low-complexity SC decoding method is built according to the error characteristics to match the DPPM system.Additionally,the proposed SC decoding scheme is extended to list decoding,which can further improve error correction performance.Simulation results show that the proposed scheme can effectively correct insertions/deletions in the DPPM system,which enhances its reliability and performance.展开更多
As artificial Intelligence(AI)continues to expand exponentially,particularly with the emergence of generative pre-trained transformers(GPT)based on a transformer’s architecture,which has revolutionized data processin...As artificial Intelligence(AI)continues to expand exponentially,particularly with the emergence of generative pre-trained transformers(GPT)based on a transformer’s architecture,which has revolutionized data processing and enabled significant improvements in various applications.This document seeks to investigate the security vulnerabilities detection in the source code using a range of large language models(LLM).Our primary objective is to evaluate the effectiveness of Static Application Security Testing(SAST)by applying various techniques such as prompt persona,structure outputs and zero-shot.To the selection of the LLMs(CodeLlama 7B,DeepSeek coder 7B,Gemini 1.5 Flash,Gemini 2.0 Flash,Mistral 7b Instruct,Phi 38b Mini 128K instruct,Qwen 2.5 coder,StartCoder 27B)with comparison and combination with Find Security Bugs.The evaluation method will involve using a selected dataset containing vulnerabilities,and the results to provide insights for different scenarios according to the software criticality(Business critical,non-critical,minimum effort,best effort)In detail,the main objectives of this study are to investigate if large language models outperform or exceed the capabilities of traditional static analysis tools,if the combining LLMs with Static Application Security Testing(SAST)tools lead to an improvement and the possibility that local machine learning models on a normal computer produce reliable results.Summarizing the most important conclusions of the research,it can be said that while it is true that the results have improved depending on the size of the LLM for business-critical software,the best results have been obtained by SAST analysis.This differs in“NonCritical,”“Best Effort,”and“Minimum Effort”scenarios,where the combination of LLM(Gemini)+SAST has obtained better results.展开更多
Transformer-based models have significantly advanced binary code similarity detection(BCSD)by leveraging their semantic encoding capabilities for efficient function matching across diverse compilation settings.Althoug...Transformer-based models have significantly advanced binary code similarity detection(BCSD)by leveraging their semantic encoding capabilities for efficient function matching across diverse compilation settings.Although adversarial examples can strategically undermine the accuracy of BCSD models and protect critical code,existing techniques predominantly depend on inserting artificial instructions,which incur high computational costs and offer limited diversity of perturbations.To address these limitations,we propose AIMA,a novel gradient-guided assembly instruction relocation method.Our method decouples the detection model into tokenization,embedding,and encoding layers to enable efficient gradient computation.Since token IDs of instructions are discrete and nondifferentiable,we compute gradients in the continuous embedding space to evaluate the influence of each token.The most critical tokens are identified by calculating the L2 norm of their embedding gradients.We then establish a mapping between instructions and their corresponding tokens to aggregate token-level importance into instructionlevel significance.To maximize adversarial impact,a sliding window algorithm selects the most influential contiguous segments for relocation,ensuring optimal perturbation with minimal length.This approach efficiently locates critical code regions without expensive search operations.The selected segments are relocated outside their original function boundaries via a jump mechanism,which preserves runtime control flow and functionality while introducing“deletion”effects in the static instruction sequence.Extensive experiments show that AIMA reduces similarity scores by up to 35.8%in state-of-the-art BCSD models.When incorporated into training data,it also enhances model robustness,achieving a 5.9%improvement in AUROC.展开更多
The ultracold neutron(UCN)transport code,MCUCN,designed initially for simulating UCN transportation from a solid deuterium(SD_2)source and neutron electric dipole moment experiments,could not simulate UCN storage and ...The ultracold neutron(UCN)transport code,MCUCN,designed initially for simulating UCN transportation from a solid deuterium(SD_2)source and neutron electric dipole moment experiments,could not simulate UCN storage and transportation in a superfluid^(4)He(SFHe,He-Ⅱ)source accurately.This limitation arose from the absence of an^(4)He upscattering mechanism and the absorption of^(3)He.And the provided source energy distribution in MCUCN is different from that in SFHe source.This study introduced enhancements to MCUCN to address these constraints,explicitly incorporating the^(4)He upscattering effect,the absorption of^(3)He,the loss caused by impurities on converter wall,UCN source energy distribution in SFHe,and the transmission through negative optical potential.Additionally,a Python-based visualization code for intermediate states and results was developed.To validate these enhancements,we systematically compared the simulation results of the Lujan Center Mark3 UCN system by MCUCN and the improved MCUCN code(iMCUCN)with UCNtransport simulations.Additionally,we compared the results of the SUN1 system simulated by MCUCN and iMCUCN with measurement results.The study demonstrates that iMCUCN effectively simulates the storage and transportation of ultracold neutrons in He-Ⅱ.展开更多
Automated Program Repair(APR)techniques have shown significant potential in mitigating the cost and complexity associated with debugging by automatically generating corrective patches for software defects.Despite cons...Automated Program Repair(APR)techniques have shown significant potential in mitigating the cost and complexity associated with debugging by automatically generating corrective patches for software defects.Despite considerable progress in APR methodologies,existing approaches frequently lack contextual awareness of runtime behaviors and structural intricacies inherent in buggy source code.In this paper,we propose a novel APR approach that integrates attention mechanisms within an autoencoder-based framework,explicitly utilizing structural code affinity and execution context correlation derived from stack trace analysis.Our approach begins with an innovative preprocessing pipeline,where code segments and stack traces are transformed into tokenized representations.Subsequently,the BM25 ranking algorithm is employed to quantitatively measure structural code affinity and execution context correlation,identifying syntactically and semantically analogous buggy code snippets and relevant runtime error contexts from extensive repositories.These extracted features are then encoded via an attention-enhanced autoencoder model,specifically designed to capture significant patterns and correlations essential for effective patch generation.To assess the efficacy and generalizability of our proposed method,we conducted rigorous experimental comparisons against DeepFix,a state-of-the-art APR system,using a substantial dataset comprising 53,478 studentdeveloped C programs.Experimental outcomes indicate that our model achieves a notable bug repair success rate of approximately 62.36%,representing a statistically significant performance improvement of over 6%compared to the baseline.Furthermore,a thorough K-fold cross-validation reinforced the consistency,robustness,and reliability of our method across diverse subsets of the dataset.Our findings present the critical advantage of integrating attentionbased learning with code structural and execution context features in APR tasks,leading to improved accuracy and practical applicability.Future work aims to extend the model’s applicability across different programming languages,systematically optimize hyperparameters,and explore alternative feature representation methods to further enhance debugging efficiency and effectiveness.展开更多
Temporal-spatial cross-correlation analysis of non-stationary wind speed time series plays a crucial role in wind field reconstruction as well as in wind pattern recognition.Firstly,the near-surface wind speed time se...Temporal-spatial cross-correlation analysis of non-stationary wind speed time series plays a crucial role in wind field reconstruction as well as in wind pattern recognition.Firstly,the near-surface wind speed time series recorded at different locations are studied using the detrended fluctuation analysis(DFA),and the corresponding scaling exponents are larger than 1.This indicates that all these wind speed time series have non-stationary characteristics.Secondly,concerning this special feature( i.e.,non-stationarity)of wind signals,a cross-correlation analysis method,namely detrended cross-correlation analysis(DCCA) coefficient,is employed to evaluate the temporal-spatial cross-correlations between non-stationary time series of different anemometer pairs.Finally,experiments on ten wind speed data synchronously collected by the ten anemometers with equidistant arrangement illustrate that the method of DCCA cross-correlation coefficient can accurately analyze full-scale temporal-spatial cross-correlation between non-stationary time series and also can easily identify the seasonal component,while three traditional cross-correlation techniques(i.e.,Pearson coefficient,cross-correlation function,and DCCA method) cannot give us these information directly.展开更多
In order to solve the problem of ambiguous acquisition of BOC signals caused by its property of multiple peaks,an unambiguous acquisition algorithm named reconstruction of sub cross-correlation cancellation technique(...In order to solve the problem of ambiguous acquisition of BOC signals caused by its property of multiple peaks,an unambiguous acquisition algorithm named reconstruction of sub cross-correlation cancellation technique(RSCCT)for BOC(kn,n)signals is proposed.In this paper,the principle of signal decomposition is combined with the traditional acquisition algorithm structure,and then based on the method of reconstructing the correlation function.The method firstly gets the sub-pseudorandom noise(PRN)code by decomposing the local PRN code,then uses BOC(kn,n)and the sub-PRN code cross-correlation to get the sub cross-correlation function.Finally,the correlation peak with a single peak is obtained by reconstructing the sub cross-correlation function so that the ambiguities of BOC acquisition are removed.The simulation shows that RSCCT can completely eliminate the side peaks of BOC(kn,n)group signals while maintaining the narrow correlation of BOC,and its computational complexity is equivalent to sub carrier phase cancellation(SCPC)and autocorrelation side-peak cancellation technique(ASPeCT),and it reduces the computational complexity relative to BPSK-like.For BOC(n,n),the acquisition sensitivity of RSCCT is 3.25 dB,0.81 dB and 0.25 dB higher than binary phase shift keying(BPSK)-like,SCPC and ASPeCT at the acquisition probability of 90%,respectively.The peak to average power ratio is 1.91,3.0 and 3.7 times higher than ASPeCT,SCPC and BPSK-like at SNR=–20 dB,respectively.For BOC(2n,n),the acquisition sensitivity of RSCCT is 5.5 dB,1.25 dB and 2.69 dB higher than BPSK-like,SCPC and ASPeCT at the acquisition probability of 90%,respectively.The peak to average power ratio is 1.02,1.68 and 2.12 times higher than ASPeCT,SCPC and BPSK-like at SNR=–20 dB,respectively.展开更多
This paper describes the estimation of cloud motion using lag cross-correlation. In order to compute the lag cross correlation, the Bayes Decision method is used first to identify cloud and surface of earth. Then clou...This paper describes the estimation of cloud motion using lag cross-correlation. In order to compute the lag cross correlation, the Bayes Decision method is used first to identify cloud and surface of earth. Then cloud motion vectors are retrieved at a subset of points through multiple applications of a cross-correlation analysis. An objective analysis is used to define displacement at every satellite pixel throughout the domain and smooth the local inconsistencies. Cloud motions are then produced with a backward trajectory technique by using these displacement vectors.展开更多
Model-driven and data-driven inversions are two prominent methods for obtaining P-wave impedance,which is significant in reservoir description and identification.Based on proper initial models,most model-driven method...Model-driven and data-driven inversions are two prominent methods for obtaining P-wave impedance,which is significant in reservoir description and identification.Based on proper initial models,most model-driven methods primarily use the limited frequency bandwidth information of seismic data and can invert P-wave impedance with high accuracy,but not high resolution.Conventional data-driven methods mainly employ the information from well-log data and can provide high-accuracy and highresolution P-wave impedance owing to the superior nonlinear curve fitting capacity of neural networks.However,these methods require a significant number of training samples,which are frequently insufficient.To obtain P-wave impedance with both high accuracy and high resolution,we propose a model-data-driven inversion method using Res Nets and the normalized zero-lag cross-correlation objective function which is effective for avoiding local minima and suppressing random noise.By using initial models and training samples,the proposed model-data-driven method can invert P-wave impedance with satisfactory accuracy and resolution.Tests on synthetic and field data demonstrate the proposed method’s efficacy and practicability.展开更多
In the paper we use detrended cross-correlation analysis （DCCA） to study the electroencephalograms of healthy young subjects and healthy old subjects. It is found that the cross-correlation between different leads o...In the paper we use detrended cross-correlation analysis （DCCA） to study the electroencephalograms of healthy young subjects and healthy old subjects. It is found that the cross-correlation between different leads of a healthy young subject is larger than that of a healthy old subject. It was shown that the cross-correlation relationship decreases with the aging process and the phenomenon can help to diagnose whether the subject＇s brain function is healthy or not.展开更多
The algorithm of Binary Image Cross-Correlation (BICC) was developed to measure the unsteady flow field. A vortex flow field was used to test the algorithm by numerical simulation. The results show that BICC is an e...The algorithm of Binary Image Cross-Correlation (BICC) was developed to measure the unsteady flow field. A vortex flow field was used to test the algorithm by numerical simulation. The results show that BICC is an effective algorithm for particle identification from consecutive images, the accurate velocity vector field can be obtained. The real velocity field in a valve chamber was measured by BICC in this study. From the full-field velocity information, the pressure and vorticity fields were also extracted by post-processing. (Edited author abstract) 6 Refs.展开更多
The amount of seismological data is rapidly increasing with accumulating observational time and increasing number of stations, requiring modern technique to provide adequate computing power. In present study, we propo...The amount of seismological data is rapidly increasing with accumulating observational time and increasing number of stations, requiring modern technique to provide adequate computing power. In present study, we proposed a framework to calculate large-scale noise crosscorrelation functions(NCFs) using public cloud service from ALIYUN. The entire computation is factorized into small pieces which are performed parallelly on specified number of virtual servers provided by the cloud. Using data from most seismic stations in China, five NCF databases are built. The results show that, comparing to the time cost using a single server, the entire time can be reduced over two orders of magnitude depending number of evoked virtual servers. This could reduce computation time from months to less than 12 hours. Based on obtained massive NCFs, the global body waves are retrieved through array interferometry and agree well with those from earthquakes. This leads to a solution to process massive seismic dataset within an affordable time and is applicable to other large-scale computing in seismological researches.展开更多
基金National Basic Research Program of China(No.2010CB731805)
文摘The Galileo E1 open service （OS） and the global positioning system （GPS） L1C are intending to use the multiplexed binary offset carrier （MBOC） modulation in E1/L1 band, including both pilot and data components. The impact of data and pilot codes cross-correlation on the distortion of the discriminator function （i.e., the S-curve） is investigated, when only the pilot （or data） components of MBOC signals are tracked. It is shown that the modulation schemes and the receiver configuration （e.g., the correlator spacing） strongly affect the S-curve bias. In this paper, two methods are proposed to optimize the data/pilot code pairs of Galileo E1 OS and GPS L1C. The optimization goal is to obtain the minimum average S-curve bias when tracking only the pilot components a the specific correlator spacing. Figures of merit, such as S-curve bias, correlation loss and code tracking variance have been adopted for analyzing and comparing the un-optimized and optimized code pairs. Simulation results show that the optimized data/pilot code pairs could significantly mitigate the intra-channel codes cross-correlation, and then improve the code tracking performance of MBOC signals.
基金supported by National Natural Science Foundation of China(No.61973234)Tianjin Science and Technology Plan Project(No.22YDTPJC00090)。
文摘To address the issue of low measurement accuracy caused by noise interference in the acquisition of low fluid flow rate signals with ultrasonic Doppler flow meters,a novel signal processing algorithm that combines ensemble empirical mode decomposition(EEMD)and cross-correlation algorithm was proposed.Firstly,a fast Fourier transform(FFT)spectrum analysis was utilized to ascertain the frequency range of the signal.Secondly,data acquisition was conducted at an appropriate sampling frequency,and the acquired Doppler flow rate signal was then decomposed into a series of intrinsic mode functions(IMFs)by EEMD.Subsequently,these decomposed IMFs were recombined based on their energy entropy,and then the noise of the recombined Doppler flow rate signal was removed by cross-correlation filtering.Finally,an ideal ultrasonic Doppler flow rate signal was extracted.Simulation and experimental verification show that the proposed Doppler flow signal processing method can effectively enhance the signal-to-noise ratio(SNR)and extend the lower limit of measurement of the ultrasonic Doppler flow meter.
文摘The improved cross-correlation algorithm for the strain demodulation of Vernier-effect-based optical fiber sensor(VE-OFS)is proposed in this article.The algorithm identifies the most similar spectrum to the measured one from the database of the collected spectra by employing the cross-correlation operation,subsequently deriving the predicted value via weighted calculation.As the algorithm uses the complete information in the measured raw spectrum,more accurate results and larger measurement range can be obtained.Additionally,the improved cross-correlation algorithm also has the potential to improve the measurement speed compared to current standards due to the possibility for the collection using low sampling rate.This work presents an important algorithm towards a simpler,faster way to improve the demodulation performance of VE-OFS.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 11875042 and 11505114)the Shanghai Project for Construction of Top Disciplines (Grant No. USST-SYS-01)。
文摘Detecting coupling pattern between elements in a complex system is a basic task in data-driven analysis. The trajectory for each specific element is a cooperative result of its intrinsic dynamic, its couplings with other elements, and the environment. It is subsequently composed of many components, only some of which take part in the couplings. In this paper we present a framework to detect the component correlation pattern. Firstly, the interested trajectories are decomposed into components by using decomposing methods such as the Fourier expansion and the Wavelet transformation. Secondly, the cross-correlations between the components are calculated, resulting into a component cross-correlation matrix(network).Finally, the dominant structure in the network is identified to characterize the coupling pattern in the system. Several deterministic dynamical models turn out to be characterized with rich structures such as the clustering of the components. The pattern of correlation between respiratory(RESP) and ECG signals is composed of five sub-clusters that are mainly formed by the components in ECG signal. Interestingly, only 7 components from RESP(scattered in four sub-clusters) take part in the realization of coupling between the two signals.
文摘介绍了高温蠕变工况下运行的压力容器可能出现的失效模式,结合工程设计现状,指出了我国当前压力容器标准体系在确定高温蠕变工况许用压应力时存在的技术瓶颈,在此基础之上引出ASME Code Case 3029,对其适用范围、发展历程、产生背景及工程意义进行了简单的介绍,以某工程设计项目中的实际结构为例,介绍了该方法的使用过程及注意事项,并结合压力容器工程设计领域的实际需求,对我国标准体系下一步的制定或修订方向提出了展望。
文摘Traditional cross-correlation algorithms are prone to time-of-flight(TOF)calculation errors under conditions of strong noise interference and complex temperature gradients,resulting in a decline in the accuracy of ultrasonic temperature measurement.To this end,this paper proposes an ultrasonic temperature measurement method that combines YOLOv11 target detection with energy-type weighted cross-correlation algorithm.The YOLOv11 model is utilized to conduct target detection and key area positioning on the ultrasonic signal waveform diagram,automatically identifying characteristic waveforms such as node waves and end face waves,and achieving adaptive extraction of the effective signal interval.Further introduce the energy-based weighted cross-correlation algorithm.Based on the signal energy distribution,the cross-correlation results are weighted and processed to enhance the main wave response and suppress noise interference.Experiments show that the YOLOv11 model has high detection accuracy(Precision=0.987,Recall=0.958,mAP@50=0.988);The proposed method maintains the stability of time delay estimation under strong noise and high temperature(>1200℃),with the average time delay error reduced by approximately 35%to 50%compared to traditional algorithms.This verifies its high robustness and temperature measurement accuracy in complex environments,and it has a promising engineering application prospect.
基金supported by National Natural Science Foundation of China(No.62301008)China Postdoctoral Science Foundation(No.2022M720272)New Cornerstone Science Foundation through the XPLORER PRIZE。
文摘Mobile communications are reaching out to every aspect of our daily life,necessitating highefficiency data transmission and support for diverse data types and communication scenarios.Polar codes have emerged as a promising solution due to their outstanding error-correction performance and low complexity.Unequal error protection(UEP)involves nonuniform error safeguarding for distinct data segments,achieving a fine balance between error resilience and resource allocation,which ultimately enhancing system performance and efficiency.In this paper,we propose a novel class of UEP rateless polar codes.The codes are designed based on matrix extension of polar codes,and elegant mapping and duplication operations are designed to achieve UEP property while preserving the overall performance of conventional polar codes.Superior UEP performance is attained without significant modifications to conventional polar codes,making it straightforward for compatibility with existing polar codes.A theoretical analysis is conducted on the block error rate and throughput efficiency performance.To the best of our knowledge,this work provides the first theoretical performance analysis of UEP rateless polar codes.Simulation results show that the proposed codes significantly outperform existing polar coding schemes in both block error rate and throughput efficiency.
基金supported by National Natural Science Foundation of China(No.61801327).
文摘Differential pulse-position modulation(DP PM)can achieve a good compromise between power and bandwidth requirements.However,the output sequence has undetectable insertions and deletions.This paper proposes a successive cancellation(SC)decoding scheme based on the weighted levenshtein distance(WLD)of polar codes for correcting insertions/deletions in DPPM systems.In this method,the WLD is used to calculate the transfer probabilities recursively to obtain likelihood ratios,and the low-complexity SC decoding method is built according to the error characteristics to match the DPPM system.Additionally,the proposed SC decoding scheme is extended to list decoding,which can further improve error correction performance.Simulation results show that the proposed scheme can effectively correct insertions/deletions in the DPPM system,which enhances its reliability and performance.
文摘As artificial Intelligence(AI)continues to expand exponentially,particularly with the emergence of generative pre-trained transformers(GPT)based on a transformer’s architecture,which has revolutionized data processing and enabled significant improvements in various applications.This document seeks to investigate the security vulnerabilities detection in the source code using a range of large language models(LLM).Our primary objective is to evaluate the effectiveness of Static Application Security Testing(SAST)by applying various techniques such as prompt persona,structure outputs and zero-shot.To the selection of the LLMs(CodeLlama 7B,DeepSeek coder 7B,Gemini 1.5 Flash,Gemini 2.0 Flash,Mistral 7b Instruct,Phi 38b Mini 128K instruct,Qwen 2.5 coder,StartCoder 27B)with comparison and combination with Find Security Bugs.The evaluation method will involve using a selected dataset containing vulnerabilities,and the results to provide insights for different scenarios according to the software criticality(Business critical,non-critical,minimum effort,best effort)In detail,the main objectives of this study are to investigate if large language models outperform or exceed the capabilities of traditional static analysis tools,if the combining LLMs with Static Application Security Testing(SAST)tools lead to an improvement and the possibility that local machine learning models on a normal computer produce reliable results.Summarizing the most important conclusions of the research,it can be said that while it is true that the results have improved depending on the size of the LLM for business-critical software,the best results have been obtained by SAST analysis.This differs in“NonCritical,”“Best Effort,”and“Minimum Effort”scenarios,where the combination of LLM(Gemini)+SAST has obtained better results.
基金supported by Key Laboratory of Cyberspace Security,Ministry of Education,China。
文摘Transformer-based models have significantly advanced binary code similarity detection(BCSD)by leveraging their semantic encoding capabilities for efficient function matching across diverse compilation settings.Although adversarial examples can strategically undermine the accuracy of BCSD models and protect critical code,existing techniques predominantly depend on inserting artificial instructions,which incur high computational costs and offer limited diversity of perturbations.To address these limitations,we propose AIMA,a novel gradient-guided assembly instruction relocation method.Our method decouples the detection model into tokenization,embedding,and encoding layers to enable efficient gradient computation.Since token IDs of instructions are discrete and nondifferentiable,we compute gradients in the continuous embedding space to evaluate the influence of each token.The most critical tokens are identified by calculating the L2 norm of their embedding gradients.We then establish a mapping between instructions and their corresponding tokens to aggregate token-level importance into instructionlevel significance.To maximize adversarial impact,a sliding window algorithm selects the most influential contiguous segments for relocation,ensuring optimal perturbation with minimal length.This approach efficiently locates critical code regions without expensive search operations.The selected segments are relocated outside their original function boundaries via a jump mechanism,which preserves runtime control flow and functionality while introducing“deletion”effects in the static instruction sequence.Extensive experiments show that AIMA reduces similarity scores by up to 35.8%in state-of-the-art BCSD models.When incorporated into training data,it also enhances model robustness,achieving a 5.9%improvement in AUROC.
基金the National Key R&D Program of China(No.2024YFE0110001)the National Natural Science Foundation of China(U1932219)the Mobility Programme endorsed by the Joint Committee of the Sino-German Center(M0728)。
文摘The ultracold neutron(UCN)transport code,MCUCN,designed initially for simulating UCN transportation from a solid deuterium(SD_2)source and neutron electric dipole moment experiments,could not simulate UCN storage and transportation in a superfluid^(4)He(SFHe,He-Ⅱ)source accurately.This limitation arose from the absence of an^(4)He upscattering mechanism and the absorption of^(3)He.And the provided source energy distribution in MCUCN is different from that in SFHe source.This study introduced enhancements to MCUCN to address these constraints,explicitly incorporating the^(4)He upscattering effect,the absorption of^(3)He,the loss caused by impurities on converter wall,UCN source energy distribution in SFHe,and the transmission through negative optical potential.Additionally,a Python-based visualization code for intermediate states and results was developed.To validate these enhancements,we systematically compared the simulation results of the Lujan Center Mark3 UCN system by MCUCN and the improved MCUCN code(iMCUCN)with UCNtransport simulations.Additionally,we compared the results of the SUN1 system simulated by MCUCN and iMCUCN with measurement results.The study demonstrates that iMCUCN effectively simulates the storage and transportation of ultracold neutrons in He-Ⅱ.
文摘Automated Program Repair(APR)techniques have shown significant potential in mitigating the cost and complexity associated with debugging by automatically generating corrective patches for software defects.Despite considerable progress in APR methodologies,existing approaches frequently lack contextual awareness of runtime behaviors and structural intricacies inherent in buggy source code.In this paper,we propose a novel APR approach that integrates attention mechanisms within an autoencoder-based framework,explicitly utilizing structural code affinity and execution context correlation derived from stack trace analysis.Our approach begins with an innovative preprocessing pipeline,where code segments and stack traces are transformed into tokenized representations.Subsequently,the BM25 ranking algorithm is employed to quantitatively measure structural code affinity and execution context correlation,identifying syntactically and semantically analogous buggy code snippets and relevant runtime error contexts from extensive repositories.These extracted features are then encoded via an attention-enhanced autoencoder model,specifically designed to capture significant patterns and correlations essential for effective patch generation.To assess the efficacy and generalizability of our proposed method,we conducted rigorous experimental comparisons against DeepFix,a state-of-the-art APR system,using a substantial dataset comprising 53,478 studentdeveloped C programs.Experimental outcomes indicate that our model achieves a notable bug repair success rate of approximately 62.36%,representing a statistically significant performance improvement of over 6%compared to the baseline.Furthermore,a thorough K-fold cross-validation reinforced the consistency,robustness,and reliability of our method across diverse subsets of the dataset.Our findings present the critical advantage of integrating attentionbased learning with code structural and execution context features in APR tasks,leading to improved accuracy and practical applicability.Future work aims to extend the model’s applicability across different programming languages,systematically optimize hyperparameters,and explore alternative feature representation methods to further enhance debugging efficiency and effectiveness.
基金Projects(61271321,61573253,61401303)supported by the National Natural Science Foundation of ChinaProject(14ZCZDSF00025)supported by Tianjin Key Technology Research and Development Program,China+1 种基金Project(13JCYBJC17500)supported by Tianjin Natural Science Foundation,ChinaProject(20120032110068)supported by Doctoral Fund of Ministry of Education of China
文摘Temporal-spatial cross-correlation analysis of non-stationary wind speed time series plays a crucial role in wind field reconstruction as well as in wind pattern recognition.Firstly,the near-surface wind speed time series recorded at different locations are studied using the detrended fluctuation analysis(DFA),and the corresponding scaling exponents are larger than 1.This indicates that all these wind speed time series have non-stationary characteristics.Secondly,concerning this special feature( i.e.,non-stationarity)of wind signals,a cross-correlation analysis method,namely detrended cross-correlation analysis(DCCA) coefficient,is employed to evaluate the temporal-spatial cross-correlations between non-stationary time series of different anemometer pairs.Finally,experiments on ten wind speed data synchronously collected by the ten anemometers with equidistant arrangement illustrate that the method of DCCA cross-correlation coefficient can accurately analyze full-scale temporal-spatial cross-correlation between non-stationary time series and also can easily identify the seasonal component,while three traditional cross-correlation techniques(i.e.,Pearson coefficient,cross-correlation function,and DCCA method) cannot give us these information directly.
基金supported by the National Science Foundation of China(61561016 61861008+4 种基金 11603041)the Guangxi Natural Science Foundation Project(2018JJA170090)the Innovation Project of Guet Graduate Education(2018YJCX19 2018YJCX31)Guangxi Key Laboratory of Precision Navigation Technology and Application,Guilin University of Electronic Technology(DH201707)
文摘In order to solve the problem of ambiguous acquisition of BOC signals caused by its property of multiple peaks,an unambiguous acquisition algorithm named reconstruction of sub cross-correlation cancellation technique(RSCCT)for BOC(kn,n)signals is proposed.In this paper,the principle of signal decomposition is combined with the traditional acquisition algorithm structure,and then based on the method of reconstructing the correlation function.The method firstly gets the sub-pseudorandom noise(PRN)code by decomposing the local PRN code,then uses BOC(kn,n)and the sub-PRN code cross-correlation to get the sub cross-correlation function.Finally,the correlation peak with a single peak is obtained by reconstructing the sub cross-correlation function so that the ambiguities of BOC acquisition are removed.The simulation shows that RSCCT can completely eliminate the side peaks of BOC(kn,n)group signals while maintaining the narrow correlation of BOC,and its computational complexity is equivalent to sub carrier phase cancellation(SCPC)and autocorrelation side-peak cancellation technique(ASPeCT),and it reduces the computational complexity relative to BPSK-like.For BOC(n,n),the acquisition sensitivity of RSCCT is 3.25 dB,0.81 dB and 0.25 dB higher than binary phase shift keying(BPSK)-like,SCPC and ASPeCT at the acquisition probability of 90%,respectively.The peak to average power ratio is 1.91,3.0 and 3.7 times higher than ASPeCT,SCPC and BPSK-like at SNR=–20 dB,respectively.For BOC(2n,n),the acquisition sensitivity of RSCCT is 5.5 dB,1.25 dB and 2.69 dB higher than BPSK-like,SCPC and ASPeCT at the acquisition probability of 90%,respectively.The peak to average power ratio is 1.02,1.68 and 2.12 times higher than ASPeCT,SCPC and BPSK-like at SNR=–20 dB,respectively.
文摘This paper describes the estimation of cloud motion using lag cross-correlation. In order to compute the lag cross correlation, the Bayes Decision method is used first to identify cloud and surface of earth. Then cloud motion vectors are retrieved at a subset of points through multiple applications of a cross-correlation analysis. An objective analysis is used to define displacement at every satellite pixel throughout the domain and smooth the local inconsistencies. Cloud motions are then produced with a backward trajectory technique by using these displacement vectors.
基金financially supported by the Important National Science&Technology Specific Project of China(Grant No.2017ZX05018-005)
文摘Model-driven and data-driven inversions are two prominent methods for obtaining P-wave impedance,which is significant in reservoir description and identification.Based on proper initial models,most model-driven methods primarily use the limited frequency bandwidth information of seismic data and can invert P-wave impedance with high accuracy,but not high resolution.Conventional data-driven methods mainly employ the information from well-log data and can provide high-accuracy and highresolution P-wave impedance owing to the superior nonlinear curve fitting capacity of neural networks.However,these methods require a significant number of training samples,which are frequently insufficient.To obtain P-wave impedance with both high accuracy and high resolution,we propose a model-data-driven inversion method using Res Nets and the normalized zero-lag cross-correlation objective function which is effective for avoiding local minima and suppressing random noise.By using initial models and training samples,the proposed model-data-driven method can invert P-wave impedance with satisfactory accuracy and resolution.Tests on synthetic and field data demonstrate the proposed method’s efficacy and practicability.
基金supported by the Science Foundation of Jiangsu Province of China (Grant No.BK2011759)
文摘In the paper we use detrended cross-correlation analysis （DCCA） to study the electroencephalograms of healthy young subjects and healthy old subjects. It is found that the cross-correlation between different leads of a healthy young subject is larger than that of a healthy old subject. It was shown that the cross-correlation relationship decreases with the aging process and the phenomenon can help to diagnose whether the subject＇s brain function is healthy or not.
基金The project supported by the National Natural Science Foundation of China
文摘The algorithm of Binary Image Cross-Correlation (BICC) was developed to measure the unsteady flow field. A vortex flow field was used to test the algorithm by numerical simulation. The results show that BICC is an effective algorithm for particle identification from consecutive images, the accurate velocity vector field can be obtained. The real velocity field in a valve chamber was measured by BICC in this study. From the full-field velocity information, the pressure and vorticity fields were also extracted by post-processing. (Edited author abstract) 6 Refs.
基金supported by National Key R&D Program of China(No.2018YFC1503200)National Natural Science Foundation of China(Nos.41674061,41790463 and 41674058)
文摘The amount of seismological data is rapidly increasing with accumulating observational time and increasing number of stations, requiring modern technique to provide adequate computing power. In present study, we proposed a framework to calculate large-scale noise crosscorrelation functions(NCFs) using public cloud service from ALIYUN. The entire computation is factorized into small pieces which are performed parallelly on specified number of virtual servers provided by the cloud. Using data from most seismic stations in China, five NCF databases are built. The results show that, comparing to the time cost using a single server, the entire time can be reduced over two orders of magnitude depending number of evoked virtual servers. This could reduce computation time from months to less than 12 hours. Based on obtained massive NCFs, the global body waves are retrieved through array interferometry and agree well with those from earthquakes. This leads to a solution to process massive seismic dataset within an affordable time and is applicable to other large-scale computing in seismological researches.
