Refinement modeling and verification of secure operating systems for communication in digital twins

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

Design of weak current measurement system and research on temperature impact

A dedicated weak current measurement system was designed to measure the weak currents generated by the neutron ionization chamber.This system incorporates a second-order low-pass filter circuit and the Kalman filtering algorithm to effectively filter out noise and minimize interference in the measurement results.Testing conducted under normal temperature conditions has demonstrated the system's high precision performance.However,it was observed that temperature variations can affect the measurement performance.Data were collected across temperatures ranging from -20 to 70℃,and a temperature correction model was established through linear regression fitting to address this issue.The feasibility of the temperature correction model was confirmed at temperatures of -5 and 40℃,where relative errors remained below 0.1% after applying the temperature correction.The research indicates that the designed measurement system exhibits excellent temperature adaptability and high precision,making it particularly suitable for measuring weak currents.

Scientific Advances and Weather Services of the China Meteorological Administration’s National Forecasting Systems during the Beijing 2022 Winter Olympics

Since the Beijing 2022 Winter Olympics was the first Winter Olympics in history held in continental winter monsoon climate conditions across complex terrain areas,there is a deficiency of relevant research,operational techniques,and experience.This made providing meteorological services for this event particularly challenging.The China Meteorological Administration(CMA)Earth System Modeling and Prediction Centre,achieved breakthroughs in research on short-and medium-term deterministic and ensemble numerical predictions.Several key technologies crucial for precise winter weather services during the Winter Olympics were developed.A comprehensive framework,known as the Operational System for High-Precision Weather Forecasting for the Winter Olympics,was established.Some of these advancements represent the highest level of capabilities currently available in China.The meteorological service provided to the Beijing 2022 Games also exceeded previous Winter Olympic Games in both variety and quality.This included achievements such as the“100-meter level,minute level”downscaled spatiotemporal resolution and forecasts spanning 1 to 15 days.Around 30 new technologies and over 60 kinds of products that align with the requirements of the Winter Olympics Organizing Committee were developed,and many of these techniques have since been integrated into the CMA’s operational national forecasting systems.These accomplishments were facilitated by a dedicated weather forecasting and research initiative,in conjunction with the preexisting real-time operational forecasting systems of the CMA.This program represents one of the five subprograms of the WMO’s high-impact weather forecasting demonstration project(SMART2022),and continues to play an important role in their Regional Association(RA)II Research Development Project(Hangzhou RDP).Therefore,the research accomplishments and meteorological service experiences from this program will be carried forward into forthcoming highimpact weather forecasting activities.This article provides an overview and assessment of this program and the operational national forecasting systems.

A Precoding Scheme to Reduce the Effect of Channel Correlation for MIMO-PLC System

MIMO technique can provide higher information throughput and transmission reliability for the PLC system.However,the MIMO-PLC system based on three-conductor cable has a high correlation among its sub-channels.Spatial multiplexing technology will be affected by the spatial correlation between MIMO-PLC sub-channels.To reduce the system bit error rate caused by MIMO-PLC correlation among sub-channels,this paper proposed a phase rotation precoding scheme for the 2×2 closed-loop MIMO-PLC system.According to the channel transfer function of high correlation MIMO-PLC system,the phase rotation precoding matrix F is calculated,and the transmission signal matrix S is modulated with the F,the code distance at the receiving point with smallest code distance is increased by phase rotation.Simulation results show that the scheme can effectively reduce the bit error rate of the 2×2 MIMO-PLC system based on ML detection,and significantly improve the system performance.

Corrected QT interval in cirrhosis:A systematic review and metaanalysis

BACKGROUND Corrected QT(QTc)interval is prolonged in patients with liver cirrhosis and has been proposed to correlate with the severity of the disease.However,the effects of sex,age,severity,and etiology of cirrhosis on QTc have not been elucidated.At the same time,the role of treatment,acute illness,and liver transplantation(Tx)remains largely unknown.AIM To determine the mean QTc in patients with cirrhosis,assess whether QTc is prolonged in patients with cirrhosis,and investigate whether QTc is affected by factors such as sex,age,severity,etiology,treatment,acute illness,and liver Tx.METHODS In the present systematic review and meta-analysis,the searching protocol“{[QTc]OR[QT interval]OR[QT-interval]OR[Q-T syndrome]}AND{[cirrhosis]OR[Child-Pugh]OR[MELD]}”was applied in PubMed,EMBASE,and Google Scholar databases to identify studies that reported QTc in patients with cirrhosis and published after 1998.Seventy-three studies were considered eligible.Data concerning first author,year of publication,type of study,method used,sample size,mean age,female ratio,alcoholic etiology of cirrhosis ratio,Child-Pugh A/B/C ratio,mean model for end-stage liver disease(MELD)score,treatment withβ-blockers,episode of acute gastrointestinal bleeding,formula for QT correction,mean pulse rate,QTc in patients with cirrhosis and controls,and QTc according to etiology of cirrhosis,sex,Child-Pugh stage,MELD score,and liver Tx status(pre-Tx/post-Tx)were retrieved.The Newcastle-Ottawa quality assessment scale appraised the quality of the eligible studies.Effect estimates,expressed as proportions or standardized mean differences,were combined using the randomeffects,generic inverse variance method of DerSimonian and Laird.Subgroup,sensitivity analysis,and meta-regressions were applied to assess heterogeneity.RESULTS QTc combined mean in patients with cirrhosis was 444.8 ms[95%confidence interval(CI):440.4-449.2;P<0.001 when compared with the upper normal limit of 440 ms],presenting high heterogeneity(I2=97.5%;95%CI:97.2%-97.8%);both Egger’s and Begg’s tests showed non-significance.QTc was elongated in patients with cirrhosis compared with controls(P<0.001).QTc was longer in patients with Child-Pugh C cirrhosis when compared with Child-Pugh B and A(P<0.001);Child-Pugh B patients presented longer QTc when compared with Child-Pugh A patients(P=0.003).The MELD score was higher in patients with cirrhosis with QTc>440 ms when compared with QTc≤440 ms(P<0.001).No correlation of QTc with age(P=0.693),sex(P=0.753),or etiology(P=0.418)was detected.β-blockers shortened QTc(P<0.001).QTc was prolonged during acute gastrointestinal bleeding(P=0.020).Tx tended to improve QTc(P<0.001).No other sources of QTc heterogeneity were revealed.CONCLUSION QTc is prolonged in cirrhosis independently of sex,age,and etiology but is correlated with severity and affected byβ-blockers and acute gastrointestinal bleeding.QTc is improved after liver Tx.

A Data Driven Security Correction Method for Power Systems with UPFC

The access of unified power flow controllers(UPFC)has changed the structure and operation mode of power grids all across the world,and it has brought severe challenges to the traditional real-time calculation of security correction based on traditionalmodels.Considering the limitation of computational efficiency regarding complex,physical models,a data-driven power system security correction method with UPFC is,in this paper,proposed.Based on the complex mapping relationship between the operation state data and the security correction strategy,a two-stage deep neural network(DNN)learning framework is proposed,which divides the offline training task of security correction into two stages:in the first stage,the stacked auto-encoder(SAE)classification model is established,and the node correction state(0/1)output based on the fault information;in the second stage,the DNN learningmodel is established,and the correction amount of each action node is obtained based on the action nodes output in the previous stage.In this paper,the UPFC demonstration project of NanjingWest Ring Network is taken as a case study to validate the proposed method.The results show that the proposed method can fully meet the real-time security correction time requirements of power grids,and avoid the inherent defects of the traditional model method without an iterative solution and can also provide reasonable security correction strategies for N-1 and N-2 faults.

Vision Sensing-Based Online Correction System for Robotic Weld Grinding

The service cycle and dynamic performance of structural parts are afected by the weld grinding accuracy and surface consistency. Because of reasons such as assembly errors and thermal deformation, the actual track of the robot does not coincide with the theoretical track when the weld is ground ofine, resulting in poor workpiece surface quality. Considering these problems, in this study, a vision sensing-based online correction system for robotic weld grinding was developed. The system mainly included three subsystems: weld feature extraction, grinding, and robot real-time control. The grinding equipment was frst set as a substation for the robot using the WorkVisual software. The input/output (I/O) ports for communication between the robot and the grinding equipment were confgured via the I/O mapping function to enable the robot to control the grinding equipment (start, stop, and speed control). Subsequently, the Ethernet KRL software package was used to write the data interaction structure to realize realtime communication between the robot and the laser vision system. To correct the measurement error caused by the bending deformation of the workpiece, we established a surface profle model of the base material in the weld area using a polynomial ftting algorithm to compensate for the measurement data. The corrected extracted weld width and height errors were reduced by 2.01% and 9.3%, respectively. Online weld seam extraction and correction experiments verifed the efectiveness of the system’s correction function, and the system could control the grinding trajectory error within 0.2 mm. The reliability of the system was verifed through actual weld grinding experiments. The roughness, Ra, could reach 0.504 µm and the average residual height was within 0.21 mm. In this study, we developed a vision sensing-based online correction system for robotic weld grinding with a good correction efect and high robustness.

Comparison of the treatment duration and nursing requirements of the EarWell infant ear correction system for different types of auricle deformities

Objective:To observe whether the Ear Well infant ear correction system makes any difference in terms of the treatment effect,duration,complication rate,and nursing care requirements in different types of infant auricle deformities.Methods:A total of 93 infant patients with auricular deformity(age:<3 months of age)who were diagnosed and treated in Guangzhou Children and Women’s Medical Center from April 2018 to September 2020 were selected and treated with the Ear Well infant ear correction system.We observed and recorded the effects of the Ear Well infant ear correction system,the treatment duration,the number of rebound cases,and complications that are likely to occur during treatment,and noted the related factors causing complications and the relative requirements for nursing care.Results:The Earwell infant ear correction system could effectively correct infant auricle deformities.Among the 93 cases,90 cases had positive therapeutical outcome and the effective rate was 96.77%.The treatment duration for lop ear and protruding ear was longer than for other auricle deformities;the deformity recoil and the treatment compilation rates were much higher for these 2 deformity types,and the difference was statistically significant(P<0.05).Conclusions:The treatment suggestion for the wearing duration of the Ear Well infant ear correction system for lop ear and protruding ear is a prolonged duration compared with that for other infant auricle deformities.Fur ther,the requirements for nursing care intensity and infant patient’s guardian’s nursing knowledge and skill are obviously increased for these 2 types of auricle deformities.

Blockchain-Based Certificate Authentication System with Enabling Correction

Blockchain has proven to be an emerging technology in the digital world, changing the way everyone thinks about data security and bringing efficiency to several industries. It has already been applied to a wide range of applications, from financial services and supply chain management to voting systems and identity verification. An organization must verify its candidates before selecting them. Choosing an unqualified candidate can ruin an organization’s reputation. In this paper, a blockchain-based academic certificate authentication system will be used to ensure authenticity and make the assertion of the decentralized system secure. However, the system will generate, authenticate and make corrections on academic certificates. Ultimately, some blockchain-based authentication systems already exist, they can’t correct any errors that occur during generation. A blockchain-based certificate authentication system was built using blockchain technology. Where admin could generate, authenticate and correct the certificate if necessary. The admin can also check how many times a certificate has been modified. Other users can only check the authenticity of the certificates. We’re using two blockchains to enable corrections. Blockchain technology can successfully implement a certificate authentication system. This system will eliminate doubts about the authenticity of certificates, provide fast responses, and ensure reliable and secure storage. The proposed system will help in many ways, such as providing a user-friendly university admission, and smooth job hiring process, etc. In conclusion, our proposed system can permanently eradicate certificate forgeries and create and promote trust in society.

Statewide GNSS-RTN Systems: Current Practices

The applications of geospatial technologies and positioning data embrace every sphere of modern-day science and industry. With technological advancement, the demands for highly accurate positioning services in real-time led to the development of the Global Navigation Satellite System—Real-Time Network (GNSS-RTN). While there is numerous published information on the technical aspects of the GNSS-RTN technology, information on the best practices or guidelines in building, operating, and managing the GNSS-RTN networks is lacking in practice. To better understand the current practice in establishing and operating the GNSS-RTN systems, an online questionnaire survey was sent to the GNSS-RTN system owners/operators across the U.S. Additionally, a thorough review of available literature on business models and interviews with representatives of two major manufacturers/vendors of GNSS-RTN products and services were conducted. Study results revealed a great deal of inconsistency in current practices among states in the way the GNSS-RTN systems are built, operated, and managed. Aspects of the diversity in state practices involved the business models for the GNSS-RTN systems besides the technical attributes of the network and system products. The information gathered in this study is important in helping state agencies make informed decisions as they build, expand or manage their own GNSS-RTN systems.

Research on Weighing System and Debugging Technology for Batching Under Blast Furnace Ore Tank

The article introduces the composition and working principle of the batching and weighing system underneath the blast furnace hearth.Besides,the shortcomings of the batching and weighing system during installation,debugging,and calibration,as well as the dynamic errors in the batching process are also analyzed.Corresponding solutions are then provided.

Correction:Nanomaterial-Based Repurposing of Macrophage Metabolism and Its Applications

Following publication of the original article[1],the authors reported an error in the last author’s name,it was mistakenly written as“Jun Den”.The correct author’s name“Jun Deng”has been updated in this Correction.

The application of the strip-shaped cymba conchae orthosis in the nonsurgical correction of complex auricular deformity

Objective: This study aims to evaluate the efficacy and safety of using a strip-shaped cymba conchae orthosis for the nonsurgical correction of complex auricular deformities. Methods: Clinical data were collected from 2020 to 2021 for 6 patients who underwent correction using a stripshaped cymba conchae orthosis. The indications, corrective effects, and complications associated with use of the orthosis were analyzed. Results: There were four indications for treatment: cryptotia with helix adhesion;cryptotia with grade I microtia;cryptotia with excessive helix thickness;and auricular deformity beyond the treatment time window(≥6 months). Excellent corrective effects were observed in all 6 patients. Complications occurred in one patient, who recovered after symptomatic treatment. Conclusion: The use of a strip-shaped cymba conchae orthosis alone or combined with a U-shaped helix orthosis presents a feasible approach for correcting complex auricular deformities or deformities beyond the treatment time window in pediatric patients.

Delineation of urban growth boundary based on FLUS model under the perspective of land use evaluation in hilly mountainous areas

With rapid economic development,the size of urban land in China is expanding dramatically.The Urban Growth Boundary(UGB)is an expandable spatial boundary for urban construction in a certain period in order to control the urban sprawl.Reasonable delineation of UGB can inhibit the disorderly spread of urban space and guide the normal development of the city.It is of practical significance for the construction of green urban space.The study utilizes GIS technology to establish a land construction suitability evaluation system for Nankang city,which is experiencing rapid urban expansion,and outlines the preliminary UGB under the future land use simulation(FLUS)model.At the same time,considering the coupled coordination of"Production-Living-Ecological Space",and based on the suitability evaluation,we revised the preliminary UGB by combining the advantages of the patch-generating land use simulation(PLUS)model and the convex hull model to delineate the final UGB.The results show that:1)the comprehensive score of the evaluation of the suitability of the construction of land from high to low shows the distribution of the center of the city to the surrounding circle type spread,the center of the city has the highest suitability score.The results of convex hull model show that the urban expansion type of Nankang is epitaxial.In the future,the urban expansion will mainly occur in the northern part of the city.The PLUS model predicts an increase of 3359.97 hm^(2)of construction land in Nankang by 2035,of which 2022.97 hm^(2)is urban construction land.2)The FLUS model has a prediction accuracy of 86.3%and delineates a preliminary UGB area of 9215.07 hm^(2).3)We used the results of the construction suitability evaluation,PLUS model simulation results,and convex hull model predictions to revise the originally delineated UGB.The final delineated UGB area is 8895.67 hm^(2)and it is capable of meeting the future development of the study area.The results of the delineation can promote sustainable urban development,and the delineation methodology can provide a reference basis for the preparation of territorial spatial planning.

从中国首台紫外-可见光高光谱卫星仪器反演得到的高空间分辨率臭氧廓线

Understanding the vertical distribution of ozone is crucial when assessing both its horizontal and vertical transport,as well as when analyzing the physical and chemical properties of the atmosphere.One of the most effective ways to obtain high spatial resolution ozone profiles is through satellite observations.The Environmental Trace Gases Monitoring Instrument(EMI)deployed on the Gaofen-5 satellite is the first Chinese ultraviolet-visible hyperspectral spectrometer.However,retrieving ozone profiles using backscattered radiance values measured by the EMI is challenging due to unavailable measurement errors and a low signal-to-noise ratio.The algorithm developed for the Tropospheric Monitoring Instrument did not allow us to retrieve 87%of the EMI pixels.Therefore,we developed an algorithm specific to the characteristics of the EMI.The fitting residuals are smaller than 0.3%in most regions.The retrieved ozone profiles were in good agreement with ozonesonde data,with maximum mean biases of 20%at five latitude bands.By applying EMI averaging kernels to the ozonesonde profiles,the integrated stratospheric column ozone and tropospheric column ozone also showed excellent agreement with ozonesonde data,The lower layers(0-7.5 km)of the EMI ozone profiles reflected the seasonal variation in surface ozone derived from the China National Environmental Monitoring Center(CNEMC).However,the upper layers(9.7-16.7 km)of the ozone profiles show different trends,with the ozone peak occurring at an altitude of 9.7-16.7 km in March,2019.A stratospheric intrusion event in central China from August 11 to 15,2019,is captured using the EMI ozone profiles,potential vorticity data,and relative humidity data.The increase in the CNEMC ozone co ncentration showed that downward transport enhanced surface ozone pollution.

Turbo Code Simulation in W-CDMA System

Turbo code has drawn more and more attractions for high data rate transmission these years especially in W CDMA and CDMA2000 of the third generation mobile communications systems. In this paper, the simulation performance of turbo code under Rayleigh fading channel and additive white Gaussian channels are depicted. Comparison with the performance of convolutional code are made respect to different parameters, such as pilot length, interleaver size, frame length, mobile velocity and data rate, etc. Faithful results are drawn out.

Adaptation analysis and fusion correction method of CMIP6 precipitation simulation data on the Qinghai-Tibetan Plateau

In order to obtain more accurate precipitation data and better simulate the precipitation on the Tibetan Plateau,the simulation capability of 14 Coupled Model Intercomparison Project Phase 6(CMIP6)models of historical precipitation(1982-2014)on the Qinghai-Tibetan Plateau was evaluated in this study.Results indicate that all models exhibit an overestimation of precipitation through the analysis of the Taylor index,temporal and spatial statistical parameters.To correct the overestimation,a fusion correction method combining the Backpropagation Neural Network Correction(BP)and Quantum Mapping(QM)correction,named BQ method,was proposed.With this method,the historical precipitation of each model was corrected in space and time,respectively.The correction results were then analyzed in time,space,and analysis of variance(ANOVA)with those corrected by the BP and QM methods,respectively.Finally,the fusion correction method results for each model were compared with the Climatic Research Unit(CRU)data for significance analysis to obtain the trends of precipitation increase and decrease for each model.The results show that the IPSL-CM6A-LR model is relatively good in simulating historical precipitation on the Qinghai-Tibetan Plateau(R=0.7,RSME=0.15)among the uncorrected data.In terms of time,the total precipitation corrected by the fusion method has the same interannual trend and the closest precipitation values to the CRU data;In terms of space,the annual average precipitation corrected by the fusion method has the smallest difference with the CRU data,and the total historical annual average precipitation is not significantly different from the CRU data,which is better than BP and QM.Therefore,the correction effect of the fusion method on the historical precipitation of each model is better than that of the QM and BP methods.The precipitation in the central and northeastern parts of the plateau shows a significant increasing trend.The correlation coefficients between monthly precipitation and site-detected precipitation for all models after BQ correction exceed 0.8.

Real-time model correction using Kalman filter for Raman-controlled cell culture processes

Raman spectroscopy has found extensive use in monitoring and controlling cell culture processes.In this context,the prediction accuracy of Raman-based models is of paramount importance.However,models established with data from manually fed-batch cultures often exhibit poor performance in Raman-controlled cultures.Thus,there is a need for effective methods to rectify these models.The objective of this paper is to investigate the efficacy of Kalman filter(KF)algorithm in correcting Raman-based models during cell culture.Initially,partial least squares(PLS)models for different components were constructed using data from manually fed-batch cultures,and the predictive performance of these models was compared.Subsequently,various correction methods including the PLS-KF-KF method proposed in this study were employed to refine the PLS models.Finally,a case study involving the auto-control of glucose concentration demonstrated the application of optimal model correction method.The results indicated that the original PLS models exhibited differential performance between manually fed-batch cultures and Raman-controlled cultures.For glucose,the root mean square error of prediction(RMSEP)of manually fed-batch culture and Raman-controlled culture was 0.23 and 0.40 g·L^(-1).With the implementation of model correction methods,there was a significant improvement in model performance within Raman-controlled cultures.The RMSEP for glucose from updating-PLS,KF-PLS,and PLS-KF-KF was 0.38,0.36 and 0.17 g·L^(-1),respectively.Notably,the proposed PLS-KF-KF model correction method was found to be more effective and stable,playing a vital role in the automated nutrient feeding of cell cultures.

Correction: Surface Patterning of Metal ZincElectrode with an In-Region Zincophilic Interfacefor High-Rate and Long-Cycle-Life Zinc MetalAnode

Correction to:Nano-Micro Letters(2024)16:112 https://doi.org/10.1007/s40820-024-01327-2 In the supplementary information the following corrections have been carried out:1.Institute of Energy and Climate Research,Materials Synthesis and Processing,Forschungszentrum Jülich GmbH,52425 Jülich,Germany.Corrected:Institute of Energy and Climate Research:Materials Synthesis and Processing(IEK-1),Forschungszentrum Jülich GmbH,52425 Jülich,Germany.

Author Correction:Recent Progress in Interfacial Dipole Engineering for Perovskite Solar Cells

In the version of this Article originally published online,there was an error in the schematics of Figures 2b and 2c.These errors have now been corrected in the original article.