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.

Positron Emission Tomography Lung Image Respiratory Motion Correcting with Equivariant Transformer

In addressing the challenge of motion artifacts in Positron Emission Tomography (PET) lung scans, our studyintroduces the Triple Equivariant Motion Transformer (TEMT), an innovative, unsupervised, deep-learningbasedframework for efficient respiratory motion correction in PET imaging. Unlike traditional techniques,which segment PET data into bins throughout a respiratory cycle and often face issues such as inefficiency andoveremphasis on certain artifacts, TEMT employs Convolutional Neural Networks (CNNs) for effective featureextraction and motion decomposition.TEMT’s unique approach involves transforming motion sequences into Liegroup domains to highlight fundamental motion patterns, coupled with employing competitive weighting forprecise target deformation field generation. Our empirical evaluations confirm TEMT’s superior performancein handling diverse PET lung datasets compared to existing image registration networks. Experimental resultsdemonstrate that TEMT achieved Dice indices of 91.40%, 85.41%, 79.78%, and 72.16% on simulated geometricphantom data, lung voxel phantom data, cardiopulmonary voxel phantom data, and clinical data, respectively. Tofacilitate further research and practical application, the TEMT framework, along with its implementation detailsand part of the simulation data, is made publicly accessible at https://github.com/yehaowei/temt.

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.

Clinical Effect Analysis of Posterior Chamber Intraocular Lens Implantation for Correcting High Myopia and Astigmatism

Objective:To explore the corrective effect of posterior chamber intraocular lens implantation with phakic eyes in the treatment of high myopia and astigmatism.Methods:From May 2023,the hospital began to collect the case data of diagnosis and treatment of high myopia and astigmatism.By May 2024,310 cases were included,all of which were treated with posterior chamber intraocular lens implantation.The visual acuity,astigmatism and axial position of the intraocular lens were observed before and after treatment.Results:At different time points after the operation,the patient’s vision was significantly improved compared with that before the operation(P<0.05),and the vision level was equal to or greater than the best-corrected vision before the operation.At different time points after the operation,the average rotation of the intraocular lens was less than 5 degrees.Astigmatism was significantly lower than that before the operation(P<0.05).After the operation,the intraocular pressure increased in 11 cases,accounting for 3.55%,with no adverse complications such as lens turbidity,glare and obvious halo occurring.Conclusion:The posterior chamber intraocular lens implantation with phakic eyes has an ideal correction effect in the treatment of high myopia and astigmatism,which can effectively improve the vision level of patients and reduce the degree of astigmatism,and has high effectiveness and safety.

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.

A Form-Correcting System of Chinese Characters Using a Model of Correcting Procedures of Calligraphists

A support system for form-correction of Chinese characters is developedbased upon a generation model SAM, and its feasibility is evaluated. SAMis excelIent as a model for generating Chinese characters, but it is difficult todetermine appropriate parameters because the use of calligraphic knowledge isneeded. By noticing that calligraphic knowledge of calligraphists is includedin their corrective actions, we adopt a strategy to acquire calligraphic knowl-edge by monitoring, recording and analyzing corrective actions of calligraphists,and try to realize an environment under which calligraphists can easily makecorrections to character forms and which can record corrective actions of cal-ligraphists without interfering with them. In this paper, we first construct amodel of correcting procedurcs of calligraphists, which is composed of typicalcorrecting procedures that are acquired by extensively observing their correc-tive actions and interviewing them, and develop a form-correcting system forbrush-written Chinese characters by using the model. Secondly, through actualcorrecting experiments, we demonstrate that parameters within SAM can beeasily corrected at the level of character patterns by our system, and show thatit is effective and easy for calligraphists to be used by evaluating effectivenessof the correcting model, sufficiency of its functions and execution speed.

A method for correcting characteristic X-ray net peak count from drifted shadow peak

To correct spectral peak drift and obtain more reliable net counts,this study proposes a long short-term memory(LSTM)model fused with a convolutional neural network(CNN)to accurately estimate the relevant parameters of a nuclear pulse signal by learning of samples.A predefined mathematical model was used to train the CNN-LSTM model and generate a dataset composed of distorted pulse sequences.The trained model was validated using simulated pulses.The relative errors in the amplitude estimation of pulse sequences with different degrees of distortion were obtained using triangular shaping,CNN-LSTM,and LSTM models.As a result,for severely distorted pulses,the relative error of the CNN-LSTM model in estimating the pulse parameters was reduced by 14.35%compared with that of the triangular shaping algorithm.For slightly distorted pulses,the relative error of the CNN-LSTM model was reduced by 0.33%compared with that of the triangular shaping algorithm.The model was then evaluated considering two performance indicators,the correction ratio and the efficiency ratio,which represent the proportion of the increase in peak area of the two characteristic peak regions of interest(ROIs)to the peak area of the corrected characteristic peak ROI and the proportion of the increase in peak area of the two characteristic peak ROIs to the peak areas of the two shadow peak ROI,respectively.Ten measurement results of the iron ore samples indicate that approximately 86.27%of the decreased peak area of the shadow peak ROI was corrected to the characteristic peak ROI,and the proportion of the corrected peak area to the peak area of the characteristic peak ROI was approximately 1.72%.The proposed CNN-LSTM model can be applied to X-ray energy spectrum correction,which is of great significance for X-ray spectroscopy and elemental content analyses.

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.

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

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.

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.

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.