Based on the principle of 3D particle flow code,a numerical landslide run-out model is presented to simulate the failure process of the Zhenggang landslide(in southwestern China) under the effect of water after a rain...Based on the principle of 3D particle flow code,a numerical landslide run-out model is presented to simulate the failure process of the Zhenggang landslide(in southwestern China) under the effect of water after a rainfall.The relationship between the micro-mechanical parameters and the macro-shear strength of the grain material is determined through numerical calibrations.Then the rainfall effect is considered in numerical simulations and rain-induced sliding processes are performed,which help us to discuss the mechanism of deformation and failure of this landslide together with field observations.It shows the Zhenggang landslide would most likely be activated in Zone I and would gain momentum in Zone II.In order to prevent the potential disaster,a tailing dam is advised to be designed about 175 m downstream from the current landslide boundary of Zone II.Verified by field observations,the presented landslide model can reflect the failure mechanism after rainfall.It can also provide a method to predict the potential disaster and draft disaster prevention measures.展开更多
Proteomics is the study of proteins and their interactions in a cell. With the successful completion of the Human Cenome Project, it comes the postgenome era when the proteomics technology is emerging. This paper stud...Proteomics is the study of proteins and their interactions in a cell. With the successful completion of the Human Cenome Project, it comes the postgenome era when the proteomics technology is emerging. This paper studies protein molecule from the algebraic point of view. The algebraic system （∑, ＋, ＊） is introduced, where ∑ is the set of 64 codons. According to the characteristics of （∑, ＋, ＊）, a novel quasi-amino acids code classification method is introduced and the corresponding algebraic operation table over the set ZU of the 16 kinds of quasi-amino acids is established. The internal relation is revealed about quasi-amino acids. The results show that there exist some very close correlations between the properties of the quasi-amino acids and the codon. All these correlation relationships may play an important part in establishing the logic relationship between codons and the quasi-amino acids during the course of life origination. According to Ma F et al （2003 J. Anhui Agricultural University 30 439）, the corresponding relation and the excellent properties about amino acids code are very difficult to observe. The present paper shows that （ZU, ＋,×） is a field. Furthermore, the operational results display that the eodon tga has different property from other stop codons. In fact, in the mitochondrion from human and ox genomic codon, tga is just tryptophane, is not the stop codon like in other genetic code, it is the case of the Chen W C et al （2002 Acta Biophysiea Siniea 18（1） 87）. The present theory avoids some inexplicable events of the 20 kinds of amino acids code, in other words it solves the problem of ＇the 64 codon assignments of mRNA to amino acids is probably completely wrong＇ proposed by Yang （2006 Progress in Modern Biomedicine 6 3）.展开更多
The study uses an actual building to compare the modal response spectrum analysis results of Saudi Building Code (SBC) and the 1997 Uniform Building Code (UBC) used in Saudi Arabia before the introduction of SBC. A sa...The study uses an actual building to compare the modal response spectrum analysis results of Saudi Building Code (SBC) and the 1997 Uniform Building Code (UBC) used in Saudi Arabia before the introduction of SBC. A sample of four buildings with reported analysis of comparison between IBC and UBC is taken for confirming the comparison. Eight sample places from SBC map for Saudi Arabia together with two sample places of high seismic activity in USA were taken for the comparisons. The study used software package ETABS in this study for modeling and analysis. The results are dissimilar from the comparisons reported for test places of USA. It is concluded that at most places SBC base shear is higher for both ELFP and MRSA. However, the results cannot be generalized and considered always right. The same is factual for overturning moments. Consequently, we cannot report that SBC is more conservative than UBC for all scenarios.展开更多
Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpe...Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpected channel volatility and thus developing a re-transmission mechanism(e.g.,hybrid automatic repeat request[HARQ])becomes indispensable.In that regard,instead of discarding previously transmitted information,the incremental knowledge-based HARQ(IK-HARQ)is deemed as a more effective mechanism that could sufficiently utilize the information semantics.However,considering the possible existence of semantic ambiguity in image transmission,a simple bit-level cyclic redundancy check(CRC)might compromise the performance of IK-HARQ.Therefore,there emerges a strong incentive to revolutionize the CRC mechanism,thus more effectively reaping the benefits of both SemCom and HARQ.In this paper,built on top of swin transformer-based joint source-channel coding(JSCC)and IK-HARQ,we propose a semantic image transmission framework SC-TDA-HARQ.In particular,different from the conventional CRC,we introduce a topological data analysis(TDA)-based error detection method,which capably digs out the inner topological and geometric information of images,to capture semantic information and determine the necessity for re-transmission.Extensive numerical results validate the effectiveness and efficiency of the proposed SC-TDA-HARQ framework,especially under the limited bandwidth condition,and manifest the superiority of TDA-based error detection method in image transmission.展开更多
X-Code is one of the most important redundant array of independent disk （RAID）-6 codes which are capable of tolerating double disk failures. However, the code length of X-Code is restricted to be a prime number, and...X-Code is one of the most important redundant array of independent disk （RAID）-6 codes which are capable of tolerating double disk failures. However, the code length of X-Code is restricted to be a prime number, and such code length restriction of X-Code limits its usage in the real storage systems. Moreover, as a vertical RAID-6 code, X-Code can not be extended easily to an arbitrary code length like horizontal RAID-6 codes. In this paper, a novel and efficient code shortening algorithm for X-Code is proposed to extend X-Code to an arbitrary length. It can be further proved that the code shortening algorithm maintains the maximum-distance-separable （MDS） property of X-Code, and namely, the shortened X-Code is still MDS code with the optimal space efficiency. In the context of the shortening algorithm for X-Code, an in-depth performance analysis on X-Code at consecutive code lengths is conducted, and the impacts of the code shortening algorithm on the performance of X-Code in various performance metrics are revealed.展开更多
At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are int...At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are inter-process. In order to make their implementation easy, we propose a new method to construct an optimizing compiling system CCOC for Concurrent C. CCOC supports inter-process code analysis and optimization to Concurrent C programs and does not affect the system's portability and separate compilation of source programs. We also discuss some implementation details of CCOC briefly.展开更多
The integrity and reliability of fuel rods under both normal and accidental operating conditions are of great importance for nuclear reactors.In this study,considering various irradiation behaviors,a fuel rod performa...The integrity and reliability of fuel rods under both normal and accidental operating conditions are of great importance for nuclear reactors.In this study,considering various irradiation behaviors,a fuel rod performance analysis code,named KMC-Fueltra,was developed to evaluate the thermal–mechanical performance of oxide fuel rods under both normal and transient conditions in the LMFR.The accuracy and reliability of the KMC-Fueltra were validated by analytical solutions,as well as the results obtained from codes and experiments.The results indicated that KMC-Fueltra can predict the performance of oxide fuel rods under both normal and transient conditions in the LMFR.展开更多
Based on mirror-blocks, a totally coded algorithm （TCA） for switched-current （SI） network analysis in frequency domain is presented. The algorithm is simple, available, and suitable for any swltched-current networ...Based on mirror-blocks, a totally coded algorithm （TCA） for switched-current （SI） network analysis in frequency domain is presented. The algorithm is simple, available, and suitable for any swltched-current networks. A basis of analysis and design for switched-current networks via this algorithm is provided.展开更多
The Large Language Models (LLMs), such as GPT and BERT, were proposed for natural language processing (NLP) and have shown promising results as general-purpose language models. An increasing number of industry profess...The Large Language Models (LLMs), such as GPT and BERT, were proposed for natural language processing (NLP) and have shown promising results as general-purpose language models. An increasing number of industry professionals and researchers are adopting LLMs for program analysis tasks. However, one significant difference between programming languages and natural languages is that a programmer has the flexibility to assign any names to variables, methods, and functions in the program, whereas a natural language writer does not. Intuitively, the quality of naming in a program affects the performance of LLMs in program analysis tasks. This paper investigates how naming affects LLMs on code analysis tasks. Specifically, we create a set of datasets with code containing nonsense or misleading names for variables, methods, and functions, respectively. We then use well-trained models (CodeBERT) to perform code analysis tasks on these datasets. The experimental results show that naming has a significant impact on the performance of code analysis tasks based on LLMs, indicating that code representation learning based on LLMs heavily relies on well-defined names in code. Additionally, we conduct a case study on some special code analysis tasks using GPT, providing further insights.展开更多
Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation: expanded sum-of-product form and arbitrarily nested form. Expanded...Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation: expanded sum-of-product form and arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit. Nested form is neither canonical nor amenable to symbolic manipulation. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. This algorithm, called totally coded method (TCM), consists of representing the symbolic determinant of a circuit matrix by code series and performing symbolic analysis by code manipulation. We describe an efficient code-ordering heuristic and prove that it is optimum for ladder-structured circuits. For practical analog circuits, TCM not only covers all advantages of the algorithm via determinant decision diagrams (DDD) but is more simple and efficient than DDD method.展开更多
The Iberian Peninsula is close to the Eurasia-Africa plate boundary resulting in a considerable seismic hazard.In fact,the southwestern Iberian Peninsula is affected by far away earthquakes of long-return period with ...The Iberian Peninsula is close to the Eurasia-Africa plate boundary resulting in a considerable seismic hazard.In fact,the southwestern Iberian Peninsula is affected by far away earthquakes of long-return period with large-very large magnitude.A project named PERSISTAH(Projetos de Escolas Resilientes aos SISmos no Território do Algarve e de Huelva,in Portuguese)aims to cooperatively assess the seismic vulnerability of primary schools located in the Algarve(Portugal)and Huelva(Spain).Primary schools have been selected due to the considerable amount of similar buildings and their seismic vulnerability.In Portugal,the Decreto Lei 235/83(RSAEEP)is mandatory while in Spain,the mandatory code is the Seismic Building Code(NCSE-02).In both countries,the Eurocode-8(EC-8)is recommended.Despite the fact that both regions would be equally affected by an earthquake,both seismic codes are significantly different.This research compares the seismic action of Ayamonte(Huelva)and Vila Real de Santo António(Portugal).Both towns are very close and located at both sides of the border.Moreover,they share the same geology.This analysis has been applied considering a reinforced concrete(RC)primary school building located in Huelva.To do so,the performance-based method has been used.The seismic action and the damage levels are compared and analysed.The results have shown considerable differences in the seismic actions designation,in the performance point values and in the damage levels.The values considered in the Portuguese code are significantly more unfavourable.An agreement between codes should be made for border regions.展开更多
LargeLanguageModels(LLMs)are increasingly appliedinthe fieldof code translation.However,existing evaluation methodologies suffer from two major limitations:(1)the high overlap between test data and pretraining corpora...LargeLanguageModels(LLMs)are increasingly appliedinthe fieldof code translation.However,existing evaluation methodologies suffer from two major limitations:(1)the high overlap between test data and pretraining corpora,which introduces significant bias in performance evaluation;and(2)mainstream metrics focus primarily on surface-level accuracy,failing to uncover the underlying factors that constrain model capabilities.To address these issues,this paper presents TCode(Translation-Oriented Code Evaluation benchmark)—a complexity-controllable,contamination-free benchmark dataset for code translation—alongside a dedicated static feature sensitivity evaluation framework.The dataset is carefully designed to control complexity along multiple dimensions—including syntactic nesting and expression intricacy—enabling both broad coverage and fine-grained differentiation of sample difficulty.This design supports precise evaluation of model capabilities across a wide spectrum of translation challenges.The proposed evaluation framework introduces a correlation-driven analysis mechanism based on static program features,enabling predictive modeling of translation success from two perspectives:Code Form Complexity(e.g.,code length and character density)and Semantic Modeling Complexity(e.g.,syntactic depth,control-flow nesting,and type system complexity).Empirical evaluations across representative LLMs—including Qwen2.5-72B and Llama3.3-70B—demonstrate that even state-of-the-art models achieve over 80% compilation success on simple samples,but their accuracy drops sharply below 40% on complex cases.Further correlation analysis indicates that Semantic Modeling Complexity alone is correlated with up to 60% of the variance in translation success,with static program features exhibiting nonlinear threshold effects that highlight clear capability boundaries.This study departs fromthe traditional accuracy-centric evaluation paradigm and,for the first time,systematically characterizes the capabilities of large languagemodels in translation tasks through the lens of programstatic features.The findings provide actionable insights for model refinement and training strategy development.展开更多
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.展开更多
For structural design and assessment of reinforced concrete members, the nonlinear analysis has become an important tool. The purpose of the pushover analysis is to assess the structural performance by estimating the ...For structural design and assessment of reinforced concrete members, the nonlinear analysis has become an important tool. The purpose of the pushover analysis is to assess the structural performance by estimating the strength and deformation capacities using static, nonlinear analysis and comparing these capacities with the demands at the corresponding performance levels. This paper aims to compare the results given by IBC2009 code and ESEE regulations. In this paper, four RC frames having 5, 15, 20 and 30 storeys were designed for seismicity according to both the recently adopted seismic code in Abu Dhabi (IBC2009) and the ESEE regulations. A pushover analysis is carried out for these buildings using SAP2000 (Ver. 15) and the ultimate capacities of the buildings are established. The obtained pushover curves and plastic hinges distributions are used to compare between the IBC2009 code and ESEE regulations. The comparison showed that there was variation in the obtained results by the two codes and the buildings designed by IBC2009 code were more vulnerable.展开更多
GB 6675-2003 National Safety Technical Code for Toys, in which the safetylevel of toys has achieved the advanced international level, is the general standard of all kinds oftoys. It will facilitate the improvement of ...GB 6675-2003 National Safety Technical Code for Toys, in which the safetylevel of toys has achieved the advanced international level, is the general standard of all kinds oftoys. It will facilitate the improvement of the whole quality of toys and the development of toysindustry. It also improves the competitive ability of our toys in international market. It is a newlandmark of the development of toys industry in China.展开更多
The global growth of the Internet and the rapid expansion of social networks such as Facebook make multilingual sentiment analysis of social media content very necessary. This paper performs the first sentiment analys...The global growth of the Internet and the rapid expansion of social networks such as Facebook make multilingual sentiment analysis of social media content very necessary. This paper performs the first sentiment analysis on code-mixed Bambara-French Facebook comments. We develop four Long Short-term Memory（LSTM）-based models and two Convolutional Neural Network（CNN）-based models, and use these six models, Na？ve Bayes, and Support Vector Machines（SVM） to conduct experiments on a constituted dataset. Social media text written in Bambara is scarce. To mitigate this weakness, this paper uses dictionaries of character and word indexes to produce character and word embedding in place of pre-trained word vectors. We investigate the effect of comment length on the models and perform a comparison among them. The best performing model is a one-layer CNN deep learning model with an accuracy of 83.23 %.展开更多
In this paper, we perform an unprotected partial flow blockage analysis of the hottest fuel assembly in the core of the SNCLFR-100 reactor, a 100 MW_(th) modular natural circulation lead-cooled fast reactor, developed...In this paper, we perform an unprotected partial flow blockage analysis of the hottest fuel assembly in the core of the SNCLFR-100 reactor, a 100 MW_(th) modular natural circulation lead-cooled fast reactor, developed by University of Science and Technology of China. The flow blockage shall cause a degradation of the heat transfer between the fuel assembly and the coolant potentially,which can eventually result in the clad fusion. An analysis of core blockage accidents in a single assembly is of great significance for LFR. Such scenarios are investigated by using the best estimation code RELAP5. Reactivity feedback and axial power profile are considered. The crosssectional fraction of blockage, axial position of blockage,and blockage-developing time are discussed. The cladding material failure shall be the biggest challenge and shall be a considerable threat for integrity of the fuel assembly if the cross-sectional fraction of blockage is over 94%. The blockage-developing time only affects the accident progress. The consequence will be more serious if the axial position of a sudden blockage is closer to the core outlet.The method of analysis procedure can also be applied to analyze similar transient behaviors of other fuel-type reactors.展开更多
This paper proposes a framework for human action recognition based on procrustes analysis and Fisher vector coding(FVC).Firstly,we applied a pose feature extracted from silhouette image by employing Procrustes analysi...This paper proposes a framework for human action recognition based on procrustes analysis and Fisher vector coding(FVC).Firstly,we applied a pose feature extracted from silhouette image by employing Procrustes analysis and local preserving projection(LPP).Secondly,the extracted feature can preserve the discriminative shape information and local manifold structure of human pose and is invariant to translation,rotation and scaling.Finally,after the pose feature was extracted,a recognition framework based on FVC and multi-class supporting vector machine was employed to classify the human action.Experimental results on benchmarks demonstrate the effectiveness of the proposed method.展开更多
The differential evolution(DE)algorithm was deployed to calibrate microparameters of the DEM cohesive granular material.4 macroparameters,namely,uniaxial compressive strength,direct tensile strength,Young’s modulus a...The differential evolution(DE)algorithm was deployed to calibrate microparameters of the DEM cohesive granular material.4 macroparameters,namely,uniaxial compressive strength,direct tensile strength,Young’s modulus and Poisson’s ratio,can be calibrated to high accuracy.The best calibration accuracy could reach the sum of relative errors RE_(sum)<0.1%.Most calibrations can be achieved with RE_(sum)<5%within hours or RE_(sum)<1%within 2 days.Based on the calibrated results,microparameters uniqueness analysis was carried out to reveal the correlation between microparameters and the macroscopic mechanical behaviour of material:(1)microparameters effective modulus,tensile strength and normal-to-shear stiffness ratio control the elastic behaviour and stable crack growth,(2)microparameters cohesion and friction angles present a negative linear correlation that controls the axial strain and lateral strain prior to the peak stress,and(3)microparameters friction coefficient controls shear crack friction and slip mainly refers to the unstable crack behaviour.Consideration of more macroparameters to regulate the material mechanical behaviour that is dominated by shear crack and slip motion is highlighted for future study.The DE calibration method is expected to serve as an alternative method to calibrate the DEM cohesive granular material to its peak strength.展开更多
This paper presents a comparison of the seismic forces generated from a Modal Response Spectrum Analysis （MRSA） by applying the provisions of two building codes, the 1997 Uniform Building Code （UBC） and the 2000-2...This paper presents a comparison of the seismic forces generated from a Modal Response Spectrum Analysis （MRSA） by applying the provisions of two building codes, the 1997 Uniform Building Code （UBC） and the 2000-2009 International Building Code （IBC）, to the most common ordinary residential buildings of standard occupancy. Considering IBC as the state of the art benchmark code, the primary concern is the safety of buildings designed using the UBC as compared to those designed using the IBC. A sample of four buildings with different layouts and heights was used for this comparison. Each of these buildings was assumed to be located at four different geographical sample locations arbitrarily selected to represent various earthquake zones on a seismic map of the USA, and was subjected to code-compliant response spectrum analyses for all sample locations and for five different soil types at each location. Response spectrum analysis was performed using the ETABS software package. For all the cases investigated, the UBC was found to be significantly more conservative than the IBC. The UBC design response spectra have higher spectral accelerations, and as a result, the response spectrum analysis provided a much higher base shear and moment in the structural members as compared to the IBC. The conclusion is that ordinary office and residential buildings designed using UBC 1997 are considered to be overdesigned, and therefore they are quite safe even according to the IBC provisions.展开更多
基金The National Natural Science Foundation of China(Grants Nos.51309089,41472272 and 11202063)the National Key Technology R&D Program(Grant No.2013BAB06B00)+1 种基金the Natural Science Foundation of Jiangsu Province(Grant No.BK20130846)the Fundamental Research Funds for the Central Universities(Grant No.2015B06014)supported this work
文摘Based on the principle of 3D particle flow code,a numerical landslide run-out model is presented to simulate the failure process of the Zhenggang landslide(in southwestern China) under the effect of water after a rainfall.The relationship between the micro-mechanical parameters and the macro-shear strength of the grain material is determined through numerical calibrations.Then the rainfall effect is considered in numerical simulations and rain-induced sliding processes are performed,which help us to discuss the mechanism of deformation and failure of this landslide together with field observations.It shows the Zhenggang landslide would most likely be activated in Zone I and would gain momentum in Zone II.In order to prevent the potential disaster,a tailing dam is advised to be designed about 175 m downstream from the current landslide boundary of Zone II.Verified by field observations,the presented landslide model can reflect the failure mechanism after rainfall.It can also provide a method to predict the potential disaster and draft disaster prevention measures.
基金Project supported in part by the International Technology Collaboration Research Program of China (Grant No 2007DFA706700)
文摘Proteomics is the study of proteins and their interactions in a cell. With the successful completion of the Human Cenome Project, it comes the postgenome era when the proteomics technology is emerging. This paper studies protein molecule from the algebraic point of view. The algebraic system （∑, ＋, ＊） is introduced, where ∑ is the set of 64 codons. According to the characteristics of （∑, ＋, ＊）, a novel quasi-amino acids code classification method is introduced and the corresponding algebraic operation table over the set ZU of the 16 kinds of quasi-amino acids is established. The internal relation is revealed about quasi-amino acids. The results show that there exist some very close correlations between the properties of the quasi-amino acids and the codon. All these correlation relationships may play an important part in establishing the logic relationship between codons and the quasi-amino acids during the course of life origination. According to Ma F et al （2003 J. Anhui Agricultural University 30 439）, the corresponding relation and the excellent properties about amino acids code are very difficult to observe. The present paper shows that （ZU, ＋,×） is a field. Furthermore, the operational results display that the eodon tga has different property from other stop codons. In fact, in the mitochondrion from human and ox genomic codon, tga is just tryptophane, is not the stop codon like in other genetic code, it is the case of the Chen W C et al （2002 Acta Biophysiea Siniea 18（1） 87）. The present theory avoids some inexplicable events of the 20 kinds of amino acids code, in other words it solves the problem of ＇the 64 codon assignments of mRNA to amino acids is probably completely wrong＇ proposed by Yang （2006 Progress in Modern Biomedicine 6 3）.
文摘The study uses an actual building to compare the modal response spectrum analysis results of Saudi Building Code (SBC) and the 1997 Uniform Building Code (UBC) used in Saudi Arabia before the introduction of SBC. A sample of four buildings with reported analysis of comparison between IBC and UBC is taken for confirming the comparison. Eight sample places from SBC map for Saudi Arabia together with two sample places of high seismic activity in USA were taken for the comparisons. The study used software package ETABS in this study for modeling and analysis. The results are dissimilar from the comparisons reported for test places of USA. It is concluded that at most places SBC base shear is higher for both ELFP and MRSA. However, the results cannot be generalized and considered always right. The same is factual for overturning moments. Consequently, we cannot report that SBC is more conservative than UBC for all scenarios.
基金supported in part by the National Key Research and Development Program of China under Grant 2024YFE0200600in part by the National Natural Science Foundation of China under Grant 62071425+3 种基金in part by the Zhejiang Key Research and Development Plan under Grant 2022C01093in part by the Zhejiang Provincial Natural Science Foundation of China under Grant LR23F010005in part by the National Key Laboratory of Wireless Communications Foundation under Grant 2023KP01601in part by the Big Data and Intelligent Computing Key Lab of CQUPT under Grant BDIC-2023-B-001.
文摘Semantic communication(SemCom)aims to achieve high-fidelity information delivery under low communication consumption by only guaranteeing semantic accuracy.Nevertheless,semantic communication still suffers from unexpected channel volatility and thus developing a re-transmission mechanism(e.g.,hybrid automatic repeat request[HARQ])becomes indispensable.In that regard,instead of discarding previously transmitted information,the incremental knowledge-based HARQ(IK-HARQ)is deemed as a more effective mechanism that could sufficiently utilize the information semantics.However,considering the possible existence of semantic ambiguity in image transmission,a simple bit-level cyclic redundancy check(CRC)might compromise the performance of IK-HARQ.Therefore,there emerges a strong incentive to revolutionize the CRC mechanism,thus more effectively reaping the benefits of both SemCom and HARQ.In this paper,built on top of swin transformer-based joint source-channel coding(JSCC)and IK-HARQ,we propose a semantic image transmission framework SC-TDA-HARQ.In particular,different from the conventional CRC,we introduce a topological data analysis(TDA)-based error detection method,which capably digs out the inner topological and geometric information of images,to capture semantic information and determine the necessity for re-transmission.Extensive numerical results validate the effectiveness and efficiency of the proposed SC-TDA-HARQ framework,especially under the limited bandwidth condition,and manifest the superiority of TDA-based error detection method in image transmission.
基金supported by the National Basic Research Program of China (Grant Nos.2011CB302300, 2011CB302301)the National High-Technology Research and Development Program of China (Grant Nos.2009AA01A401,2009AA01A402)+1 种基金the National Natural Science Foundation of China (Grant Nos.60873028, 60933002, 61025008)the Changjiang Innovation Group of Education of China (Grant No.IRT0725)
文摘X-Code is one of the most important redundant array of independent disk （RAID）-6 codes which are capable of tolerating double disk failures. However, the code length of X-Code is restricted to be a prime number, and such code length restriction of X-Code limits its usage in the real storage systems. Moreover, as a vertical RAID-6 code, X-Code can not be extended easily to an arbitrary code length like horizontal RAID-6 codes. In this paper, a novel and efficient code shortening algorithm for X-Code is proposed to extend X-Code to an arbitrary length. It can be further proved that the code shortening algorithm maintains the maximum-distance-separable （MDS） property of X-Code, and namely, the shortened X-Code is still MDS code with the optimal space efficiency. In the context of the shortening algorithm for X-Code, an in-depth performance analysis on X-Code at consecutive code lengths is conducted, and the impacts of the code shortening algorithm on the performance of X-Code in various performance metrics are revealed.
文摘At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are inter-process. In order to make their implementation easy, we propose a new method to construct an optimizing compiling system CCOC for Concurrent C. CCOC supports inter-process code analysis and optimization to Concurrent C programs and does not affect the system's portability and separate compilation of source programs. We also discuss some implementation details of CCOC briefly.
文摘The integrity and reliability of fuel rods under both normal and accidental operating conditions are of great importance for nuclear reactors.In this study,considering various irradiation behaviors,a fuel rod performance analysis code,named KMC-Fueltra,was developed to evaluate the thermal–mechanical performance of oxide fuel rods under both normal and transient conditions in the LMFR.The accuracy and reliability of the KMC-Fueltra were validated by analytical solutions,as well as the results obtained from codes and experiments.The results indicated that KMC-Fueltra can predict the performance of oxide fuel rods under both normal and transient conditions in the LMFR.
文摘Based on mirror-blocks, a totally coded algorithm （TCA） for switched-current （SI） network analysis in frequency domain is presented. The algorithm is simple, available, and suitable for any swltched-current networks. A basis of analysis and design for switched-current networks via this algorithm is provided.
文摘The Large Language Models (LLMs), such as GPT and BERT, were proposed for natural language processing (NLP) and have shown promising results as general-purpose language models. An increasing number of industry professionals and researchers are adopting LLMs for program analysis tasks. However, one significant difference between programming languages and natural languages is that a programmer has the flexibility to assign any names to variables, methods, and functions in the program, whereas a natural language writer does not. Intuitively, the quality of naming in a program affects the performance of LLMs in program analysis tasks. This paper investigates how naming affects LLMs on code analysis tasks. Specifically, we create a set of datasets with code containing nonsense or misleading names for variables, methods, and functions, respectively. We then use well-trained models (CodeBERT) to perform code analysis tasks on these datasets. The experimental results show that naming has a significant impact on the performance of code analysis tasks based on LLMs, indicating that code representation learning based on LLMs heavily relies on well-defined names in code. Additionally, we conduct a case study on some special code analysis tasks using GPT, providing further insights.
文摘Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation: expanded sum-of-product form and arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit. Nested form is neither canonical nor amenable to symbolic manipulation. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. This algorithm, called totally coded method (TCM), consists of representing the symbolic determinant of a circuit matrix by code series and performing symbolic analysis by code manipulation. We describe an efficient code-ordering heuristic and prove that it is optimum for ladder-structured circuits. For practical analog circuits, TCM not only covers all advantages of the algorithm via determinant decision diagrams (DDD) but is more simple and efficient than DDD method.
基金This work has been supported by the INTERREG-POCTEP Spain-Portugal programme and the European Regional Development Fund through the 0313_PERSISTAH_5_P project and the VI-PPI of the University of Seville by the granting of a scholarship.The grant provided by the Instituto Universitario de Arquitectura and Ciencias de la Construcción is acknowledged.
文摘The Iberian Peninsula is close to the Eurasia-Africa plate boundary resulting in a considerable seismic hazard.In fact,the southwestern Iberian Peninsula is affected by far away earthquakes of long-return period with large-very large magnitude.A project named PERSISTAH(Projetos de Escolas Resilientes aos SISmos no Território do Algarve e de Huelva,in Portuguese)aims to cooperatively assess the seismic vulnerability of primary schools located in the Algarve(Portugal)and Huelva(Spain).Primary schools have been selected due to the considerable amount of similar buildings and their seismic vulnerability.In Portugal,the Decreto Lei 235/83(RSAEEP)is mandatory while in Spain,the mandatory code is the Seismic Building Code(NCSE-02).In both countries,the Eurocode-8(EC-8)is recommended.Despite the fact that both regions would be equally affected by an earthquake,both seismic codes are significantly different.This research compares the seismic action of Ayamonte(Huelva)and Vila Real de Santo António(Portugal).Both towns are very close and located at both sides of the border.Moreover,they share the same geology.This analysis has been applied considering a reinforced concrete(RC)primary school building located in Huelva.To do so,the performance-based method has been used.The seismic action and the damage levels are compared and analysed.The results have shown considerable differences in the seismic actions designation,in the performance point values and in the damage levels.The values considered in the Portuguese code are significantly more unfavourable.An agreement between codes should be made for border regions.
文摘LargeLanguageModels(LLMs)are increasingly appliedinthe fieldof code translation.However,existing evaluation methodologies suffer from two major limitations:(1)the high overlap between test data and pretraining corpora,which introduces significant bias in performance evaluation;and(2)mainstream metrics focus primarily on surface-level accuracy,failing to uncover the underlying factors that constrain model capabilities.To address these issues,this paper presents TCode(Translation-Oriented Code Evaluation benchmark)—a complexity-controllable,contamination-free benchmark dataset for code translation—alongside a dedicated static feature sensitivity evaluation framework.The dataset is carefully designed to control complexity along multiple dimensions—including syntactic nesting and expression intricacy—enabling both broad coverage and fine-grained differentiation of sample difficulty.This design supports precise evaluation of model capabilities across a wide spectrum of translation challenges.The proposed evaluation framework introduces a correlation-driven analysis mechanism based on static program features,enabling predictive modeling of translation success from two perspectives:Code Form Complexity(e.g.,code length and character density)and Semantic Modeling Complexity(e.g.,syntactic depth,control-flow nesting,and type system complexity).Empirical evaluations across representative LLMs—including Qwen2.5-72B and Llama3.3-70B—demonstrate that even state-of-the-art models achieve over 80% compilation success on simple samples,but their accuracy drops sharply below 40% on complex cases.Further correlation analysis indicates that Semantic Modeling Complexity alone is correlated with up to 60% of the variance in translation success,with static program features exhibiting nonlinear threshold effects that highlight clear capability boundaries.This study departs fromthe traditional accuracy-centric evaluation paradigm and,for the first time,systematically characterizes the capabilities of large languagemodels in translation tasks through the lens of programstatic features.The findings provide actionable insights for model refinement and training strategy development.
文摘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.
文摘For structural design and assessment of reinforced concrete members, the nonlinear analysis has become an important tool. The purpose of the pushover analysis is to assess the structural performance by estimating the strength and deformation capacities using static, nonlinear analysis and comparing these capacities with the demands at the corresponding performance levels. This paper aims to compare the results given by IBC2009 code and ESEE regulations. In this paper, four RC frames having 5, 15, 20 and 30 storeys were designed for seismicity according to both the recently adopted seismic code in Abu Dhabi (IBC2009) and the ESEE regulations. A pushover analysis is carried out for these buildings using SAP2000 (Ver. 15) and the ultimate capacities of the buildings are established. The obtained pushover curves and plastic hinges distributions are used to compare between the IBC2009 code and ESEE regulations. The comparison showed that there was variation in the obtained results by the two codes and the buildings designed by IBC2009 code were more vulnerable.
文摘GB 6675-2003 National Safety Technical Code for Toys, in which the safetylevel of toys has achieved the advanced international level, is the general standard of all kinds oftoys. It will facilitate the improvement of the whole quality of toys and the development of toysindustry. It also improves the competitive ability of our toys in international market. It is a newlandmark of the development of toys industry in China.
基金Supported by the National Natural Science Foundation of China(61272451,61572380,61772383 and 61702379)the Major State Basic Research Development Program of China(2014CB340600)
文摘The global growth of the Internet and the rapid expansion of social networks such as Facebook make multilingual sentiment analysis of social media content very necessary. This paper performs the first sentiment analysis on code-mixed Bambara-French Facebook comments. We develop four Long Short-term Memory（LSTM）-based models and two Convolutional Neural Network（CNN）-based models, and use these six models, Na？ve Bayes, and Support Vector Machines（SVM） to conduct experiments on a constituted dataset. Social media text written in Bambara is scarce. To mitigate this weakness, this paper uses dictionaries of character and word indexes to produce character and word embedding in place of pre-trained word vectors. We investigate the effect of comment length on the models and perform a comparison among them. The best performing model is a one-layer CNN deep learning model with an accuracy of 83.23 %.
文摘In this paper, we perform an unprotected partial flow blockage analysis of the hottest fuel assembly in the core of the SNCLFR-100 reactor, a 100 MW_(th) modular natural circulation lead-cooled fast reactor, developed by University of Science and Technology of China. The flow blockage shall cause a degradation of the heat transfer between the fuel assembly and the coolant potentially,which can eventually result in the clad fusion. An analysis of core blockage accidents in a single assembly is of great significance for LFR. Such scenarios are investigated by using the best estimation code RELAP5. Reactivity feedback and axial power profile are considered. The crosssectional fraction of blockage, axial position of blockage,and blockage-developing time are discussed. The cladding material failure shall be the biggest challenge and shall be a considerable threat for integrity of the fuel assembly if the cross-sectional fraction of blockage is over 94%. The blockage-developing time only affects the accident progress. The consequence will be more serious if the axial position of a sudden blockage is closer to the core outlet.The method of analysis procedure can also be applied to analyze similar transient behaviors of other fuel-type reactors.
基金National Natural Science Foundation of China(No.61602148)Natural Science Foundation of Fujian Province,China(No.2016J01040)Xiamen University of Technology High Level Talents Project,China(No.YKJ15018R)
文摘This paper proposes a framework for human action recognition based on procrustes analysis and Fisher vector coding(FVC).Firstly,we applied a pose feature extracted from silhouette image by employing Procrustes analysis and local preserving projection(LPP).Secondly,the extracted feature can preserve the discriminative shape information and local manifold structure of human pose and is invariant to translation,rotation and scaling.Finally,after the pose feature was extracted,a recognition framework based on FVC and multi-class supporting vector machine was employed to classify the human action.Experimental results on benchmarks demonstrate the effectiveness of the proposed method.
文摘The differential evolution(DE)algorithm was deployed to calibrate microparameters of the DEM cohesive granular material.4 macroparameters,namely,uniaxial compressive strength,direct tensile strength,Young’s modulus and Poisson’s ratio,can be calibrated to high accuracy.The best calibration accuracy could reach the sum of relative errors RE_(sum)<0.1%.Most calibrations can be achieved with RE_(sum)<5%within hours or RE_(sum)<1%within 2 days.Based on the calibrated results,microparameters uniqueness analysis was carried out to reveal the correlation between microparameters and the macroscopic mechanical behaviour of material:(1)microparameters effective modulus,tensile strength and normal-to-shear stiffness ratio control the elastic behaviour and stable crack growth,(2)microparameters cohesion and friction angles present a negative linear correlation that controls the axial strain and lateral strain prior to the peak stress,and(3)microparameters friction coefficient controls shear crack friction and slip mainly refers to the unstable crack behaviour.Consideration of more macroparameters to regulate the material mechanical behaviour that is dominated by shear crack and slip motion is highlighted for future study.The DE calibration method is expected to serve as an alternative method to calibrate the DEM cohesive granular material to its peak strength.
文摘This paper presents a comparison of the seismic forces generated from a Modal Response Spectrum Analysis （MRSA） by applying the provisions of two building codes, the 1997 Uniform Building Code （UBC） and the 2000-2009 International Building Code （IBC）, to the most common ordinary residential buildings of standard occupancy. Considering IBC as the state of the art benchmark code, the primary concern is the safety of buildings designed using the UBC as compared to those designed using the IBC. A sample of four buildings with different layouts and heights was used for this comparison. Each of these buildings was assumed to be located at four different geographical sample locations arbitrarily selected to represent various earthquake zones on a seismic map of the USA, and was subjected to code-compliant response spectrum analyses for all sample locations and for five different soil types at each location. Response spectrum analysis was performed using the ETABS software package. For all the cases investigated, the UBC was found to be significantly more conservative than the IBC. The UBC design response spectra have higher spectral accelerations, and as a result, the response spectrum analysis provided a much higher base shear and moment in the structural members as compared to the IBC. The conclusion is that ordinary office and residential buildings designed using UBC 1997 are considered to be overdesigned, and therefore they are quite safe even according to the IBC provisions.
