InAs/AlAs superlattice structures have significant potential for application in low-noise avalanche photodetectors.With their performance in practical applications linked to the fundamental physical properties of carr...InAs/AlAs superlattice structures have significant potential for application in low-noise avalanche photodetectors.With their performance in practical applications linked to the fundamental physical properties of carrier relaxation time,this study investigated the carrier relaxation times of InAs/AlAs superlattices across various monolayers,temperatures,and carrier concentrations.Our investigation indicated that relaxation times span several tens of picoseconds,confirming that high-quality interfaces do not significantly reduce relaxation times in the way defect states might.Moreover,our study demonstrates that adjustments to the superlattice period can effectively modulate both the bandgap and carrier relaxation times,potentially impacting the performance of avalanche photodiodes by altering the electron-phonon interaction pathways and bandgap width.We established that lower temperatures contribute to an increase in the bandgap and the suppression of high-frequency optical phonon vibrations,thereby lengthening the relaxation times.Additionally,our observations indicate that in InAs/AlAs superlattices,the relaxation time increases as the excitation power increases,owing to the phonon bottleneck effect.These insights into InAs/AlAs superlattice carrier dynamics highlight their applicability in enhancing avalanche photodetectors,and may contribute to the optimized design of superlattices for specific applications.展开更多
We experimentally analyze the effect of the optical power on the time delay signature identification and the random bit generation in chaotic semiconductor laser with optical feedback.Due to the inevitable noise durin...We experimentally analyze the effect of the optical power on the time delay signature identification and the random bit generation in chaotic semiconductor laser with optical feedback.Due to the inevitable noise during the photoelectric detection and analog-digital conversion,the varying of output optical power would change the signal to noise ratio,then impact time delay signature identification and the random bit generation.Our results show that,when the optical power is less than-14 dBm,with the decreasing of the optical power,the actual identified time delay signature degrades and the entropy of the chaotic signal increases.Moreover,the extracted random bit sequence with lower optical power is more easily pass through the randomness testing.展开更多
For non-stationary complex dynamic systems,a standardized algorithm is developed to compute time correlation functions,addressing the limitations of traditional methods reliant on the stationary assumption.The propose...For non-stationary complex dynamic systems,a standardized algorithm is developed to compute time correlation functions,addressing the limitations of traditional methods reliant on the stationary assumption.The proposed algorithm integrates two-point and multi-point time correlation functions into a unified framework.Further,it is verified by a practical application in complex financial systems,demonstrating its potential in various complex dynamic systems.展开更多
The attenuation of the acoustic activity in marble specimens under uniaxial compressive loadingunloading loops is quantified in juxtaposition to that of the electric activity.In parallel,the existence of"pre-fail...The attenuation of the acoustic activity in marble specimens under uniaxial compressive loadingunloading loops is quantified in juxtaposition to that of the electric activity.In parallel,the existence of"pre-failure indiceso"warning about entrance into a critical stage,that of impending fracture,is explored.The acoustic activity is quantified in terms of the normalized number of acoustic hits,their average rate of production and their cumulative energy,and,the cumulative counts and their average rate of change.The electric activity is studied in terms of the pressure stimulated currents and the electric charge released.The analysis revealed that the acoustic and electric activities are linearly correlated to each other,suggesting that they are different manifestations of the same damage mechanisms.In addition,Kaiser's effect,governing the acoustic activity,is found to govern,also,the electric activity.Moreover,it is concluded that entrance into the critical stage is safely predicted by means of a simple criterion,based on the evolution of the average rate of change of the normalized cumulative counts in the natural time domain.These predictions are almost identical with those of the criterion based on the "varianceo" and the "entropies" of the time series of acoustic events in this domain.展开更多
Site index(SI)is determined from the top height development and is a proxy for forest productivity,defined as the expected top height for a given species at a certain index age.In Norway,an index age of 40 years is us...Site index(SI)is determined from the top height development and is a proxy for forest productivity,defined as the expected top height for a given species at a certain index age.In Norway,an index age of 40 years is used.By using bi-temporal airborne laser scanning(ALS)data,SI can be determined using models estimated from SI observed on field plots(the direct approach)or from predicted top heights at two points in time(the height differential approach).Time series of ALS data may enhance SI determination compared to conventional methods used in operational forest inventory by providing more detailed information about the top height development.We used longitudinal data comprising spatially consistent field and ALS data collected from training plots in 1999,2010,and 2022 to determine SI using the direct and height differential approaches using all combinations of years and performed an external validation.We also evaluated the use of data assimilation.Values of root mean square error obtained from external validation were in the ranges of 16.3%–21.4%and 12.8%–20.6%of the mean fieldregistered SI for the direct approach and the height differential approach,respectively.There were no statistically significant effects of time series length or the number of points in time on the obtained accuracies.Data assimilation did not result in any substantial improvement in the obtained accuracies.Although a time series of ALS data did not yield greater accuracies compared to using only two points in time,a larger proportion of the study area could be used in ALS-based determination of SI when a time series was available.This was because areas that were unsuitable for SI determination between two points in time could be subject to SI determination based on data from another part of the time series.展开更多
To guarantee secure communication against eavesdropping and malicious attack,an artificial noise(AN)-aided frequency-hopping(FH)architecture is adopted in this article.But the inevitable time misalignment between the ...To guarantee secure communication against eavesdropping and malicious attack,an artificial noise(AN)-aided frequency-hopping(FH)architecture is adopted in this article.But the inevitable time misalignment between the received signal and locally reconstructed AN will deteriorate the AN cancellation performance,yielding significant secrecy degradation at the FH receiver.In view of this,first,the AN cancellation performance under time misalignment is evaluated via signal to AN-plus-noise ratio,and the system secrecy is analyzed via secrecy rate.Then,to mitigate the performance degradation raised by time misalignment,the transmitting power allocation scheme for AN and confidential signal(CS)is optimized,and the optimal hopping period is designed.Notably,the obtained conclusions in both the performance evaluation and transmitter optimization sections hold no matter whether the eavesdropper can realize FH synchronization or not.Simulations verify that time misalignment will raise non-negligible performance degradation.Besides,the power ratio of AN to CS should decrease as time misalignment increases,and for perfect time synchronization,the transmitting power of AN and CS should be equivalent.In addition,a longer hopping period is preferred for secrecy enhancement when time misalignment gets exacerbated.展开更多
在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RA...在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。展开更多
To improve the prediction accuracy of chaotic time series and reconstruct a more reasonable phase space structure of the prediction network,we propose a convolutional neural network-long short-term memory(CNN-LSTM)pre...To improve the prediction accuracy of chaotic time series and reconstruct a more reasonable phase space structure of the prediction network,we propose a convolutional neural network-long short-term memory(CNN-LSTM)prediction model based on the incremental attention mechanism.Firstly,a traversal search is conducted through the traversal layer for finite parameters in the phase space.Then,an incremental attention layer is utilized for parameter judgment based on the dimension weight criteria(DWC).The phase space parameters that best meet DWC are selected and fed into the input layer.Finally,the constructed CNN-LSTM network extracts spatio-temporal features and provides the final prediction results.The model is verified using Logistic,Lorenz,and sunspot chaotic time series,and the performance is compared from the two dimensions of prediction accuracy and network phase space structure.Additionally,the CNN-LSTM network based on incremental attention is compared with long short-term memory(LSTM),convolutional neural network(CNN),recurrent neural network(RNN),and support vector regression(SVR)for prediction accuracy.The experiment results indicate that the proposed composite network model possesses enhanced capability in extracting temporal features and achieves higher prediction accuracy.Also,the algorithm to estimate the phase space parameter is compared with the traditional CAO,false nearest neighbor,and C-C,three typical methods for determining the chaotic phase space parameters.The experiments reveal that the phase space parameter estimation algorithm based on the incremental attention mechanism is superior in prediction accuracy compared with the traditional phase space reconstruction method in five networks,including CNN-LSTM,LSTM,CNN,RNN,and SVR.展开更多
During air injection into an oil reservoir,an oxidation reaction generates some heat to raise the reservoir temperature.When the reservoir temperature reaches an ignition temperature,spontaneous ignition occurs.There ...During air injection into an oil reservoir,an oxidation reaction generates some heat to raise the reservoir temperature.When the reservoir temperature reaches an ignition temperature,spontaneous ignition occurs.There is a time delay from the injection to ignition.There are mixed results regarding the feasibility of spontaneous ignition in real-field projects and in laboratory experiments.No analytical model is available in the literature to estimate the oxidation time required to reach spontaneous ignition with heat loss.This paper discusses the feasibility of spontaneous ignition from theoretical points and experimental and field project observations.An analytical model considering heat loss is proposed.Analytical models with and without heat loss investigate the factors that affect spontaneous ignition.Based on the discussion and investigations,we find that it is more difficult for spontaneous ignition to occur in laboratory experiments than in oil reservoirs;spontaneous ignition is strongly affected by the initial reservoir temperature,oil activity,and heat loss;spontaneous ignition is only possible when the initial reservoir temperature is high,the oil oxidation rate is high,and the heat loss is low.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
基金supported by the Science and Technology Innovation Program of Hunan Province(Grant No.2021RC4026)。
文摘InAs/AlAs superlattice structures have significant potential for application in low-noise avalanche photodetectors.With their performance in practical applications linked to the fundamental physical properties of carrier relaxation time,this study investigated the carrier relaxation times of InAs/AlAs superlattices across various monolayers,temperatures,and carrier concentrations.Our investigation indicated that relaxation times span several tens of picoseconds,confirming that high-quality interfaces do not significantly reduce relaxation times in the way defect states might.Moreover,our study demonstrates that adjustments to the superlattice period can effectively modulate both the bandgap and carrier relaxation times,potentially impacting the performance of avalanche photodiodes by altering the electron-phonon interaction pathways and bandgap width.We established that lower temperatures contribute to an increase in the bandgap and the suppression of high-frequency optical phonon vibrations,thereby lengthening the relaxation times.Additionally,our observations indicate that in InAs/AlAs superlattices,the relaxation time increases as the excitation power increases,owing to the phonon bottleneck effect.These insights into InAs/AlAs superlattice carrier dynamics highlight their applicability in enhancing avalanche photodetectors,and may contribute to the optimized design of superlattices for specific applications.
基金Project supported in part by the National Natural Science Foundation of China(Grant Nos.62005129 and 62175116)。
文摘We experimentally analyze the effect of the optical power on the time delay signature identification and the random bit generation in chaotic semiconductor laser with optical feedback.Due to the inevitable noise during the photoelectric detection and analog-digital conversion,the varying of output optical power would change the signal to noise ratio,then impact time delay signature identification and the random bit generation.Our results show that,when the optical power is less than-14 dBm,with the decreasing of the optical power,the actual identified time delay signature degrades and the entropy of the chaotic signal increases.Moreover,the extracted random bit sequence with lower optical power is more easily pass through the randomness testing.
基金Project supported by the Postdoctoral Fellowship Program of China Postdoctoral Science Foundation(Grant No.GZC20231050)the National Natural Science Foundation of China(Grant Nos.12175193 and 11905183)the 13th Five-year plan for Education Science Funding of Guangdong Province(Grant No.2021GXJK349)。
文摘For non-stationary complex dynamic systems,a standardized algorithm is developed to compute time correlation functions,addressing the limitations of traditional methods reliant on the stationary assumption.The proposed algorithm integrates two-point and multi-point time correlation functions into a unified framework.Further,it is verified by a practical application in complex financial systems,demonstrating its potential in various complex dynamic systems.
文摘The attenuation of the acoustic activity in marble specimens under uniaxial compressive loadingunloading loops is quantified in juxtaposition to that of the electric activity.In parallel,the existence of"pre-failure indiceso"warning about entrance into a critical stage,that of impending fracture,is explored.The acoustic activity is quantified in terms of the normalized number of acoustic hits,their average rate of production and their cumulative energy,and,the cumulative counts and their average rate of change.The electric activity is studied in terms of the pressure stimulated currents and the electric charge released.The analysis revealed that the acoustic and electric activities are linearly correlated to each other,suggesting that they are different manifestations of the same damage mechanisms.In addition,Kaiser's effect,governing the acoustic activity,is found to govern,also,the electric activity.Moreover,it is concluded that entrance into the critical stage is safely predicted by means of a simple criterion,based on the evolution of the average rate of change of the normalized cumulative counts in the natural time domain.These predictions are almost identical with those of the criterion based on the "varianceo" and the "entropies" of the time series of acoustic events in this domain.
基金part of the Centre for Research-based Innovation SmartForest:Bringing Industry 4.0 to the Norwegian forest sector(NFR SFI project no.309671,smartforest.no)。
文摘Site index(SI)is determined from the top height development and is a proxy for forest productivity,defined as the expected top height for a given species at a certain index age.In Norway,an index age of 40 years is used.By using bi-temporal airborne laser scanning(ALS)data,SI can be determined using models estimated from SI observed on field plots(the direct approach)or from predicted top heights at two points in time(the height differential approach).Time series of ALS data may enhance SI determination compared to conventional methods used in operational forest inventory by providing more detailed information about the top height development.We used longitudinal data comprising spatially consistent field and ALS data collected from training plots in 1999,2010,and 2022 to determine SI using the direct and height differential approaches using all combinations of years and performed an external validation.We also evaluated the use of data assimilation.Values of root mean square error obtained from external validation were in the ranges of 16.3%–21.4%and 12.8%–20.6%of the mean fieldregistered SI for the direct approach and the height differential approach,respectively.There were no statistically significant effects of time series length or the number of points in time on the obtained accuracies.Data assimilation did not result in any substantial improvement in the obtained accuracies.Although a time series of ALS data did not yield greater accuracies compared to using only two points in time,a larger proportion of the study area could be used in ALS-based determination of SI when a time series was available.This was because areas that were unsuitable for SI determination between two points in time could be subject to SI determination based on data from another part of the time series.
基金supported in part by the National Natural Science Foundation of China under Grant 62071094in part by the National Key Laboratory of Wireless Communications Foundation under Grant IFN202402in part by the Postdoctoral Fellowship Program(Grade C)of China Postdoctoral Science Foundation under Grant GZC20240217.
文摘To guarantee secure communication against eavesdropping and malicious attack,an artificial noise(AN)-aided frequency-hopping(FH)architecture is adopted in this article.But the inevitable time misalignment between the received signal and locally reconstructed AN will deteriorate the AN cancellation performance,yielding significant secrecy degradation at the FH receiver.In view of this,first,the AN cancellation performance under time misalignment is evaluated via signal to AN-plus-noise ratio,and the system secrecy is analyzed via secrecy rate.Then,to mitigate the performance degradation raised by time misalignment,the transmitting power allocation scheme for AN and confidential signal(CS)is optimized,and the optimal hopping period is designed.Notably,the obtained conclusions in both the performance evaluation and transmitter optimization sections hold no matter whether the eavesdropper can realize FH synchronization or not.Simulations verify that time misalignment will raise non-negligible performance degradation.Besides,the power ratio of AN to CS should decrease as time misalignment increases,and for perfect time synchronization,the transmitting power of AN and CS should be equivalent.In addition,a longer hopping period is preferred for secrecy enhancement when time misalignment gets exacerbated.
文摘在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。
文摘To improve the prediction accuracy of chaotic time series and reconstruct a more reasonable phase space structure of the prediction network,we propose a convolutional neural network-long short-term memory(CNN-LSTM)prediction model based on the incremental attention mechanism.Firstly,a traversal search is conducted through the traversal layer for finite parameters in the phase space.Then,an incremental attention layer is utilized for parameter judgment based on the dimension weight criteria(DWC).The phase space parameters that best meet DWC are selected and fed into the input layer.Finally,the constructed CNN-LSTM network extracts spatio-temporal features and provides the final prediction results.The model is verified using Logistic,Lorenz,and sunspot chaotic time series,and the performance is compared from the two dimensions of prediction accuracy and network phase space structure.Additionally,the CNN-LSTM network based on incremental attention is compared with long short-term memory(LSTM),convolutional neural network(CNN),recurrent neural network(RNN),and support vector regression(SVR)for prediction accuracy.The experiment results indicate that the proposed composite network model possesses enhanced capability in extracting temporal features and achieves higher prediction accuracy.Also,the algorithm to estimate the phase space parameter is compared with the traditional CAO,false nearest neighbor,and C-C,three typical methods for determining the chaotic phase space parameters.The experiments reveal that the phase space parameter estimation algorithm based on the incremental attention mechanism is superior in prediction accuracy compared with the traditional phase space reconstruction method in five networks,including CNN-LSTM,LSTM,CNN,RNN,and SVR.
基金supported by the National Natural Science Foundation of China (No.51974334)Hainan Province Science and Technology Special Fund (ZDYF2022SHFZ107)local efficient reform and development funds for personnel training projects supported by the central government,Heilongjiang Postdoctoral Scientific Research Fund (LBH-Q21012)。
文摘During air injection into an oil reservoir,an oxidation reaction generates some heat to raise the reservoir temperature.When the reservoir temperature reaches an ignition temperature,spontaneous ignition occurs.There is a time delay from the injection to ignition.There are mixed results regarding the feasibility of spontaneous ignition in real-field projects and in laboratory experiments.No analytical model is available in the literature to estimate the oxidation time required to reach spontaneous ignition with heat loss.This paper discusses the feasibility of spontaneous ignition from theoretical points and experimental and field project observations.An analytical model considering heat loss is proposed.Analytical models with and without heat loss investigate the factors that affect spontaneous ignition.Based on the discussion and investigations,we find that it is more difficult for spontaneous ignition to occur in laboratory experiments than in oil reservoirs;spontaneous ignition is strongly affected by the initial reservoir temperature,oil activity,and heat loss;spontaneous ignition is only possible when the initial reservoir temperature is high,the oil oxidation rate is high,and the heat loss is low.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
