Multicriteria Analysis by Codification for the Determination of Soil Landscape Units in Forest and Pre-Forest Zones of Cote D’Ivoire: The Case of the Square Degrees of M’Bahiakro and Daloa

The present study, carried out in the forest (Daloa) and pre-forest (M’Bahiakro) zones of Cote d’Ivoire, aims to determine soil landscape units using the coding method. Geological maps and satellite images (SRTM and Landsat) were used for this purpose. The methodological approach adopted consisted in producing maps of slope, geology, land use and topography using the codification method. These various maps, integrated into a GIS using the coding aggregation method, were used to generate soil landscape maps. Twenty-seven (27) soil landscapes have been identified for the pre-forest zone (M’Bahiakro), with a strong dominance of acid rock over a moderate relief under savannah, forest/degraded forest and crops/fallow. However, the forest zone (Daloa), with forty-one (41) soil landscapes identified over the entire zone, is characterized by a majority of mafic rocks on a medium altitude under forest/degraded forest, water and crops/fallow. The criteria used from the codification method (sum of aggregations) made it possible to predict the spatial distribution of soil map units according to agro-ecological environments in the humid intertropical zone. This is essential for the orientation and reinforcement of soil survey tools. However, a comparative evaluation of the different multicriteria analysis methods for coding and weighting soil landscape unit mapping would enable us to identify the most suitable and efficient method for drawing up base maps for soil surveys.

Development and validation of a new oxide fuel rod performance analysis code for the liquid metal fast reactor

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.

Analysis of GB 6675-2003 Nafional Safety Technical Code for Toys in Detail

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.

How Does Naming Affect Language Models on Code Analysis Tasks?

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.

Verification of a self-developed CFD-based multi-physics coupled code MPC-LBE for LBE-cooled reactor

To perform an integral simulation of a pool-type reactor using CFD code,a multi-physics coupled code MPC-LBE for an LBE-cooled reactor was proposed by integrating a point kinetics model and a fuel pin heat transfer model into self-developed CFD code.For code verification,a code-to-code comparison was employed to validate the CFD code.Furthermore,a typical BT transient benchmark on the LBE-cooled XADS reactor was selected for verification in terms of the integral or system performance.Based on the verification results,it was demonstrated that the MPC-LBE coupled code can perform thermal-hydraulics or safety analyses for analysis for processes involved in LBE-cooled pool-type reactors.

Development of an Evaluation Methodology for Fuel Discharge in Core Disruptive Accidents of Sodium-Cooled Fast Reactors

The purpose of the present study is to develop a methodology to evaluate fuel discharge through the CRGT （control-rod guide tube） during CDAs （core-disruptive accidents） of SFRs （sodium-cooled fast reactors）, since fuel discharge will decrease the core reactivity and CRGTs have a potential to provide an effective discharge path. Fuel discharge contains multi-component fluid dynamics with phase changes, and, in the present study, the SFR safety analysis code SIMMER （Sn, implicit, multifield, multicomponent, Eulerian recriticality） was utilized as a technical basis. First, dominant phenomena affecting fuel discharge through the CRGT are identified based on parametric calculations by the SIMMER code. Next, validations on the code models closely relating to these phenomena were carried out based on experimental data. It was shown that the SIMMER code with some model modifications could reproduce the experimental results appropriately. Through the present study, the evaluation methodology for the molten-fuel discharge through the CRGT was successfully developed.

Characterization and analysis of coded excitation ultrasound parameters for rock properties

Coded excitation technology （CET） can effectively enhance the penetration and resolution of ultrasonic testing. To analyze the influence of rock properties on pulse compression performance （PCP） of coded excitation signals （CES）, a numerical simulation, and an ultrasonic experiment on different rock samples are performed; and the detection ability of several CESs are also investigated and compared. The results of experiments showed that the loss of the signal-to-noise ratio （SNR） of Barker coded signal with tapered linear frequency modulated carrier （BTLFM） is always less than Barker coded signal with sine carrier （BS）, while the resolution loss of BTLFM is lower than tapered linear frequency modulated signal （TLFM）. In sum, the results not only verifiy the effectiveness of CET, but also provide a basis for the parameter settings of coded signals used in rock ultrasonic testing.

Recent Development of Pressure Vessel Technology in China——Formulation of Chinese Design Code by Analysis

This paper is a summarized account of the Chinese professional stantard—JB4732 Steel Pressure Vessels—Design by Analysis. As compared with similar standards in other countries, there are some features in elastic plastic analysis of pressure vessels and their components in JB4732. Three of them are introduced in brief. It includes: flat head design method considering plastic carrying capactities of structures; a reinforcement design method based on limit analysis of spherical shells with nozzles and the calculation method of stress concentration factors of two intersecting cylindrical shells with d/D≤0 7 based on an analytical solution.

Tuning parallel symbolic execution engine for better performance

Symbolic execution is widely used in many code analysis, testing, and verification tools. As symbolic execu- tion exhaustively explores all feasible paths, it is quite time consuming. To handle the problem, researchers have par- alleled existing symbolic execution tools （e.g., KLEE）. In particular, Cloud9 is a widely used paralleled symbolic exe- cution tool, and researchers have used the tool to analyze real code. However, researchers criticize that tools such as Cloud9 still cannot analyze large scale code. In this paper, we con- duct a field study on Cloud9, in which we use KLEE and Cloud9 to analyze benchmarks in C. Our results confirm the criticism. Based on the results, we identify three bottlenecks that hinder the performance of Cloud9： the communication time gap, the job transfer policy, and the cache management of the solved constraints. To handle these problems, we tune the communication time gap with better parameters, modify the job transfer policy, and implement an approach for cache management of solved constraints. We conduct two evalua- tions on our benchmarks and a real application to understand our improvements. Our results show that our tuned Cloud9 reduces the execution time significantly, both on our bench- marks and the real application. Furthermore, our evaluation results show that our tuning techniques improve the effective- ness on all the devices, and the improvement can be achievedupto five times, depending upon a tuning value of our ap- proach and the behaviour of program under test.

Novel Video Steganography Algorithm Based on Secret Sharing and Error-Correcting Code for H.264/AVC

In this paper, we analyze the video steganography technique, which is used to ensure national security and the confidentiality of the information of governmental agencies and enterprises. Videos may be used to transmit secrets and conduct covert communication. As such, we present an algorithm based on a secret sharing scheme and an Error-Correcting Code（ECC）, which combines Grey Relational Analysis（GRA） with a partition mode in video compression standard H.264/AVC. First, we process secret information by secret sharing, and then use an ECC to process the obtained information. Moreover, we choose the Discrete Cosine Transform（DCT） blocks using GRA, and then use rules to hide the pretreated information in DCT coefficients of the video frames. Experimental results indicate that our algorithm has good invisibility, better robustness, good anti-steganalysis ability, and little influence on the bit rate of the video carrier. In addition, the bit error rate is low after attacks such as noise, filtering,or frame loss in the simulation environment.

Experience gained in analyzing severe accidents for WWER RP using CC SOCRAT

The current Russian regulatory documents on the safety of nuclear power plant(NPP)specify the requirements regarding design basis accidents(DBAs)and beyond design basis accidents(BDBAs),including severe accidents(SAs)with core meltdown,in NPP design(NP-001-15,NP-082-07,and others).For a rigorous calculational justification of BDBAs and SAs,it is necessary to develop an integral CC that will be in line with the requirements of regulatory documents on verification and certification(RD-03-33-2008,RD-03-34-2000)and will allow for determining the amount of data required to provide information within the scope stipulated by the requirements for the structure of the safety analysis report(SAR)(NP-006-16).The system of codes for realistic analysis of severe accidents(SOCRAT)(formerly,thermohydraulics(RATEG)/coupled physical and chemical processes(SVECHA)/behavior of core materials relocated into the reactor lower plenum(HEFEST))was developed in Russia to analyze a wide range of SAs at NPP with water-cooled water-moderated power-generating reactor(WWER)at all stages of the accident.Enhancements to the code and broadening of its applicability are continually being pursued by the code developers(Nuclear Safety Institute of the Russian Academy of Sciences(IBRAE RAN))with OKB Gidropress JSC and other organizations.Currently,the SOCRAT/В1 code can be used as a base tool to obtain realistic estimates for all parameters important for computational justification of the reactor plant(RP)safety at the in-vessel stage of SAs with fuel melting.To perform analyses using CC SOCRAT/В1,the experience gained during execution of thermohydraulic codes is applied,which allows for minimizing the uncertainties in the results at the early stage of an accident scenario.This study presents the results of the work performed in 2010–2020 in OKB Gidropress JSC using the CC SOCRAT/В1.Approaches have been considered to develop calculational models and analyze SAs using CC SOCRAT.This process,which is clearly structured in OKB Gidropress JSC,provides a noticeable reduction in human involvement,and reduces the probability of erroneous results.This study represents the principal results of the work performed in 2010–2020 in OKB Gidropress JSC using the CC SOCRAT,as well as a list of the tasks planned for 2021–2023.CC SOCRAT/B1 is used as the base thermohydraulic SAs code.