Sec-Auditor:A Blockchain-Based Data Auditing Solution for Ensuring Integrity and Semantic Correctness

Currently,there is a growing trend among users to store their data in the cloud.However,the cloud is vulnerable to persistent data corruption risks arising from equipment failures and hacker attacks.Additionally,when users perform file operations,the semantic integrity of the data can be compromised.Ensuring both data integrity and semantic correctness has become a critical issue that requires attention.We introduce a pioneering solution called Sec-Auditor,the first of its kind with the ability to verify data integrity and semantic correctness simultaneously,while maintaining a constant communication cost independent of the audited data volume.Sec-Auditor also supports public auditing,enabling anyone with access to public information to conduct data audits.This feature makes Sec-Auditor highly adaptable to open data environments,such as the cloud.In Sec-Auditor,users are assigned specific rules that are utilized to verify the accuracy of data semantic.Furthermore,users are given the flexibility to update their own rules as needed.We conduct in-depth analyses of the correctness and security of Sec-Auditor.We also compare several important security attributes with existing schemes,demonstrating the superior properties of Sec-Auditor.Evaluation results demonstrate that even for time-consuming file upload operations,our solution is more efficient than the comparison one.

Design-Stage Prediction of Project Correctness or Incorrectness

The success of a software development project requires the early objective determination of the project’s correctness or incorrectness and the identification of the most effective solution for project management. However, few studies have been conducted on the reliable quantitative early judgment of correctness or incorrectness. In recent years, the collection and accumulation of actual attribute data from Japanese domestic software development projects have been conducted by the Software Engineering Centre of the Information-Technology Promotion Agency of Japan. In a previous article, we proposed a precise definition of project correctness or incorrectness and identified the important factors in successful projects;we also proposed a quantitative decision-making method for judging project correctness or incorrectness objectively and quantitatively on the basis of discriminant analysis using project completion attribute data. On the basis of the previous results, we propose a quantitative decision-making technique for the early judging of project correctness or incorrectness based on the attribute data of design stage as early stage of development.

Political Correctness in American English and Its Implication in TEFL

Political correctness （PC） is both a cultural existence and a language phenomenon. It is used to describe language policies intending to avoid offense or disadvmatages to specific groups in society reflecting the language norms of the Americans as well as withdrawing from language discrimination. This paper traces briefly the history of political correctness in American English, make analysis of the connotations of politically correct terms in American English, and illustrates the influence PC has on American English. Finally, some implications in political correctness in TEFL （Teaching English as a Foreign Language） were drawn with the intention to enhance learners＇ competency in language as well as intercultural communication.

International Terrorism and Radical “Political Correctness”:Conceptual Criticism and Value Reconstruction

As the result of the western political polarization,traditional Cold war mentality and dominant powers’anxiety in the context of reconstruction of global politics and economy,extreme political correctness is not only the enemy of the freedom of speech,but also the breeding ground of international terrorism.The final destination of international anti-terrorism and global human rights governance is the pursuit of a happy life for all human beings and construction of a community with a shared future for human beings,rather than the extreme political correctness.only we persist in the idea of pursuing a happy life for all human beings and a community with a shared future for human beings,by means of cooperation in the global governance and"civilization dialogue,can the path to the future be possible."

Political Correctness in Translation

Translation has been typically seen as a process of decoding the overall meaning of the source language,both linguisti⁃cally and culturally.Political correctness that hidden between the lines and words is one of the challenges in translation.This paper presents several examples of political correctness in different text types,provides the principles of doing politically correct transla⁃tions.This paper also takes a look at issues of the increase in politically correct words and different cultural background in translat⁃ing.

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.

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.

Ensuring the Correctness of Regular Expressions: A Review

Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose,and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attention from researchers and practitioners, especially in recent years. In this study, we provide a review of the recent works for ensuring the correct usage of regular expressions. We classify those works into different categories, including the empirical study, test string generation, automatic synthesis and learning, static checking and verification,visual representation and explanation, and repairing. For each category, we review the main results, compare different approaches, and discuss their advantages and disadvantages. We also discuss some potential future research directions.

A new proof for the correctness of the F5 algorithm

In 2002, Faugere presented the famous F5 algorithm for computing GrSbner basis where two cri- teria, syzygy criterion and rewritten criterion, were proposed to avoid redundant computations. He proved the correctness of the syzygy criterion, but the proof for the correctness of the rewritten criterion was left. Since then, F5 has been studied extensively. Some proofs for the correctness of F5 were proposed, but these proofs are valid only under some extra assumptions. In this paper, we give a proof for the correctness of F5B, an equivalent version of F5 in Buchberger＇s style. The proof is valid for both homogeneous and non-homogeneous polynomial systems. Since this proof does not depend on the computing order of the S-pairs, any strategy of selecting S-pairs could be used in F5B or F5. Furthermore, we propose a natural and non-incremental variant of F5 where two revised criteria can be used to remove almost all redundant S-pairs.

AutoSyn:A new approach to automated synthesis of composite web services with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design （e.g. freeness of deadlock and unspecified reception, and temporal constraints） is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design, which makes the composition process both complex and time-consuming. In this paper, we propose a novel approach, referred to as AutoSyn to compose web services, where the correctness is guaranteed in the synthesis process. For a given set of services, a composite service is automatically constructed based on L＊ algorithm, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We show the soundness and completeness of our solution and give a set of optimization techniques for reducing the time consumption. We have implemented a prototype system of AutoSyn and evaluated the effectiveness and efficiency of AutoSyn through an experimental study.

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.

Corrigendum to“Active components of Dengzhan Shengmai ameliorate cognitive impairment by facilitating hippocampal long-term potentiation via the NMDA receptor-mediated Ca^(2+)/CaMKII pathway”[J.Pharm.Anal.14(2024)435–438]

The authors regret there was an unfortunate error in the reproduction of Fig.1I in the article.In the original figure,the fluorescence picture of the positive control drug-ifenprodil was misused.The authors have corrected Fig.1I and provided the original fluorescence pictures of all groups(seven groups,n=5 for each group)to the editorial office.Below,the corrected Fig.1I is shown below.The authors declare that this correction does not affect the description,interpretation,or the original conclusions of the article.

Optical-Microwave Entanglement Paves the Way for Distributed Quantum Computation

Over the past few years,quantum computation based on superconducting circuits has achieved remarkable progress.A milestone occurred in 2019 when Google released Sycamore,a processor with 54 qubits,and claimed quantum supremacy by performing in just 100 s a specific computation which would take a classical supercomputer,as stated by Google’s team,10000 years to complete.[1]In 2021,a strong quantum advantage was demonstrated by Pan and his colleagues from the University of Science and Technology of China,using a quantum processor named Zuchongzhi,which has 66 functional qubits.[2]This year,the record of the number of quantum qubits has been lifted to 127 qubits.[3]Indeed,the number of qubits is limited to a few hundreds due to the finite space of dilution refrigerators,where the superconducting qubits must be placed to be isolated from thermal noise.However,this number is still several orders of magnitude away from the requirement of quantum error correction,which is essential for general-purpose quantum computers.[4–8].

Correction to:Feasibility study of the photonuclear reaction cross section of medical radioisotopes using a laser Compton scattering gamma source

Correction to:Nuclear Science and Techniques(2024)35:155 https://doi.org/10.1007/s41365-024-01481-7 In Eq.(2)of this article,the term'i'should be denoted as a subscript,the corrected equation should read N_(0)=σ(E)N_(t)QC_(kbeam)^(e^(-λt_(i)))∫_(0)^(t_(i))e^(λt)dt,(2)The original article has been corrected.