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. How...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.展开更多
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 ...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.展开更多
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 ...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.展开更多
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 la...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.展开更多
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...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."展开更多
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 c...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.展开更多
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 o...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.展开更多
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 ...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.展开更多
We present a symbolic-numeric hybrid method, based on sum-of-squares （SOS） relaxation and rational vec- tor recovery, to compute inequality invariants and ranking functions for proving total correctness and generati...We present a symbolic-numeric hybrid method, based on sum-of-squares （SOS） relaxation and rational vec- tor recovery, to compute inequality invariants and ranking functions for proving total correctness and generating pre- conditions for programs. The SOS relaxation method is used to compute approximate invariants and approximate rank- ing functions with floating point coefficients. Then Gauss- Newton refinement and rational vector recovery are applied to approximate polynomials to obtain candidate polynomials with rational coefficients, which exactly satisfy the conditions of invariants and ranking functions. In the end, several exam- ples are given to show the effectiveness of our method.展开更多
Aerodynamic performances of axial compressors are significantly affected by variation of Reynolds number in aero-engines.In the design and analysis of compressors,previous correction methods for cascades and stages ha...Aerodynamic performances of axial compressors are significantly affected by variation of Reynolds number in aero-engines.In the design and analysis of compressors,previous correction methods for cascades and stages have difficulties in predicting comprehensively Reynolds number effects on airfoils,matching and characteristics curves.This study proposes Re-correction models for loss,deviation angle and endwall blockage based on classical theories and cascade tests,and loss and deviation models show good agreement in test data of NACA65 and C4 cascades.Throughflow method considering Reynolds number effects is developed by integrating the correction models into a verified Streamline Curvature(SLC)tool.A three-stage axial compressor is investigated through SLC and CFD methods from design Reynolds number(Red=2106)to low Re=4104,and the numerical methods are validated with test data of characteristic curves and spanwise distributions at Red.With Re reduction,SLC method with correction models well predicts variation in overall performances compared with CFD calculations and Wassell's model.Streamwise and spanwise matching such as total pressure and loss distributions in SLC predictions are basically consistent with those in CFD results at near-stall points under design and low Reynolds numbers.SLC and CFD methods share similar detections of stall risks in the third stage(Stg3),and their analyses of diffusion processes deviate to some extent due to different predictions in separated endwall flow.The correction models can be adopted to consider Reynolds number effects in through-flow design and analysis of axial compressors.展开更多
The accuracy of genomic annotation is crucial for subsequent functional investigations;however,computational protocols used in high-throughput annotation of open reading frames(ORFs)can introduce inconsistencies.These...The accuracy of genomic annotation is crucial for subsequent functional investigations;however,computational protocols used in high-throughput annotation of open reading frames(ORFs)can introduce inconsistencies.These inconsistencies,which lead to non-uniform extension or truncation of sequence ends,pose challenges for downstream analyses.Existing strategies to rectify these inconsistencies are time-consuming and labor-intensive,lacking specific approaches.To address this gap,we developed to GC,a tool that integrates genomic annotation with RNA-seq datasets to rectify annotation inconsistencies.Using to GC,we achieved an accuracy of nearly 100%accuracy in correcting inconsistencies in published Phytophthora sojae ORFs.We applied this innovative pipeline to the GPCR-bigrams gene family,which was predicted to have 42 members in the P.sojae genome but lacked experimental validation.By employing to GC,we identified 32 GPCR-bigram ORFs with inconsistencies between previous annotations and to GC-corrected sequences.Notably,among these were 5 genes(GPCR-TKL9,GPCR-TKL15,GPCR-PDE3,GPCR-AC3,and GPCR-AC4)showed substantial inconsistencies.Experimental gene annotation confirmed the effectiveness of to GC,as sequences obtained through cloning matched those annotated by to GC.Importantly,we discovered two novel GPCRs(GPCR-AC3 and GPCR-AC4),which were previously mispredicted as a single gene.CRISPR/Cas9-mediated knockout experiments revealed the involvement of GPCR-AC4 but not GPCR-AC3 in oospore production,further confirming their status as two separate genes.In addition to P.sojae,the reliability of the to GC pipeline in Phytophthora capsici and Pythium ultimum further emphasizes the robustness of this pipeline.Our findings highlight the utility of to GC for reliable gene model correction,facilitating investigations into biological functions and offering potential applications in diverse species analyses.展开更多
This study investigates in-station pressure drop mechanisms in a shale gas gathering system,providing a quantitative basis for flow system optimization.Computational fluid dynamics(CFD)simulations,based on field-measu...This study investigates in-station pressure drop mechanisms in a shale gas gathering system,providing a quantitative basis for flow system optimization.Computational fluid dynamics(CFD)simulations,based on field-measured parameters related to a representative case(a shale gas platform located in Sichuan,China)are conducted to analyze the flow characteristics of specific fittings and manifolds,and to quantify fitting resistance coefficients and manifold inlet interference.The resulting coefficients are integrated into a full-station gathering network model in PipeSim,which,combined with production data,enables evaluation of pressure losses and identification of equivalent pipeline blockages.The results indicate that the resistance coefficients,valid only for fittings under the studied field-specific geometries,are 0.21 for 90◦elbows in the fully open position,0.16 for gate valve passages in the fully open position,and 2.3 for globe valve passages.Manifold interference decreases with lower high-pressure inlet values,whereas inlets farther from the high-pressure side experience stronger disturbances.Interestingly,significant discrepancies between simulated and measured pressure drops reveal partial blockages,corresponding to effective diameter reductions of 65 mm,38 mm,44 mm,38 mm,and 28 mm for Wells 1#,3#,5#,and 6#,respectively.展开更多
The rapid melting of Arctic sea ice poses significant risks to the safety of shipping routes.Accurate remote sensing data on sea ice concentration(SIC)is crucial for effective route planning of ships and ensuring navi...The rapid melting of Arctic sea ice poses significant risks to the safety of shipping routes.Accurate remote sensing data on sea ice concentration(SIC)is crucial for effective route planning of ships and ensuring navigational safety.Despite the availability of numerous SIC products in China,these datasets still lag behind mainstream international products in terms of data accuracy,spatiotemporal resolution,and time span.To enhance the accuracy of China's domestic SIC remote sensing data,this study used the SIC data derived from the passive microwave remote sensing dataset provided by the University of Bremen(BRM-SIC)as a reference to conduct a comprehensive evaluation and analysis of two additional SIC datasets:the dataset derived from the microwave radiation imager(MWRI)aboard the FY-3D satellite,provided by the National Satellite Meteorological Center(FY-SIC),and the dataset obtained through the DT-ASI algorithm from the microwave imager of the FY-3D satellite,provided by Ocean University of China(OUC-SIC).Based on the evaluation results,a TransUnet fusion correction model was developed.The performance of this model was then compared against Ordinary Least Squares(OLS),Random Forest(RF),and UNet correction models,through spatial and temporal analyses.Results indicate that,compared to FY-SIC data,the RMSE of the OUC-SIC data and the standard data is reduced by24.245%,while the R is increased by 12.516%.Overall,the accuracy of OUC-SIC data is superior to that of FY-SIC data.During the research period(2020–2022),the standard deviation(SD)and coefficient of variation(CV)of OUC-SIC were 3.877%and 10.582%,respectively,while those for FY-SIC were 7.836%and 7.982%,respectively.In the study area,compared with OUC-SIC data,FYSIC data exhibited a larger standard deviation of deviation and a smaller coefficient of variation of deviation across most sea areas.These results indicate that the OUC-SIC data exhibit better temporal and spatial stability,whereas the FY-SIC data show stronger relative dimensionless stability.Among the four correction models,all showed improvements over the original,unfused corrected data.The fusion corrections using the OLS,RF,UNet,and TransUnet models reduced RMSE by 5.563%,14.601%,42.927%,and48.316%,respectively.Correspondingly,R increased by 0.463%,1.176%,3.951%,and 4.342%,respectively.Among these models,TransUnet performed the best,effectively integrating the advantages of FY-SIC and OUC-SIC data and notably improving the overall accuracy and spatiotemporal stability of SIC data.展开更多
Accurate precipitation estimation in semiarid,topographically complicated areas is critical for water resource management and climate risk monitoring.This work provides a detailed,multi-scale evaluation of four major ...Accurate precipitation estimation in semiarid,topographically complicated areas is critical for water resource management and climate risk monitoring.This work provides a detailed,multi-scale evaluation of four major satellite precipitation products(CHIRPS,PERSIANN-CDR,IMERG-F v07,and GSMaP)over Isfahan province,Iran,over a 9-year period(2015-2023).The performance of these products was benchmarked against a dense network of 98 rain gauges using a suite of continuous and categorical statistical metrics,following a two-stage quality control protocol to remove outliers and false alarms.The results revealed that the performance of all products improves with temporal aggregation.At the daily level,GSMaP performed marginally better,although all products were linked with considerable uncertainty.At the monthly and annual levels,the GPM-era products(IMERG and GSMaP)clearly beat the other two,establishing themselves as dependable tools for long-term hydro-climatological studies.Error analysis revealed that topography is the dominant regulating factor,creating a systematic elevationdependent bias,largely characterized by underestimation from most products in high-elevation areas,though the PERSIANN-CDR product exhibited a contrasting overestimation tendency.Finally,the findings highlight the importance of implementing local,elevation-dependent calibration before deploying these products in hydrological modeling.展开更多
Marine forecasting is critical for navigation safety and disaster prevention.However,traditional ocean numerical forecasting models are often limited by substantial errors and inadequate capture of temporal-spatial fe...Marine forecasting is critical for navigation safety and disaster prevention.However,traditional ocean numerical forecasting models are often limited by substantial errors and inadequate capture of temporal-spatial features.To address the limitations,the paper proposes a TimeXer-based numerical forecast correction model optimized by an exogenous-variable attention mechanism.The model treats target forecast values as internal variables,and incorporates historical temporal-spatial data and seven-day numerical forecast results from traditional models as external variables based on the embedding strategy of TimeXer.Using a self-attention structure,the model captures correlations between exogenous variables and target sequences,explores intrinsic multi-dimensional relationships,and subsequently corrects endogenous variables with the mined exogenous features.The model’s performance is evaluated using metrics including MSE(Mean Squared Error),MAE(Mean Absolute Error),RMSE(Root Mean Square Error),MAPE(Mean Absolute Percentage Error),MSPE(Mean Square Percentage Error),and computational time,with TimeXer and PatchTST models serving as benchmarks.Experiment results show that the proposed model achieves lower errors and higher correction accuracy for both one-day and seven-day forecasts.展开更多
In ultrasonic non-destructive testing of high-temperature industrial equipment,sound velocity drift induced by non-uniform temperature fields can severely compromise defect localization accuracy.Conventional approache...In ultrasonic non-destructive testing of high-temperature industrial equipment,sound velocity drift induced by non-uniform temperature fields can severely compromise defect localization accuracy.Conventional approaches that rely on room-temperature sound velocities introduce systematic errors,potentially leading to misjudgment of safety-critical components.Two primary challenges hinder current methods:first,it is difficult to monitor real-time changes in sound velocity distribution within a thermal gradient;second,traditional uniform-temperature correction models fail to capture the nonlinear dependence of material properties on temperature and their effect on ultrasonic velocity fields.Here,we propose a defect localization correction method based on multiphysics coupling.A two-dimensional coupled heat transfer–wave propagation model is established in COMSOL,and a one-dimensional steady-state heat transfer condition is used to design a numerical pulse–echo experiment in 1020 steel.Temperature-dependent material properties are incorporated,and the intrinsic relationship between sound velocity and temperature is derived,confirming consistency with classical theories.To account for gradient temperature fields,a micro-element integration algorithm discretizes the propagation path into segments,each associated with a locally computed temperature from the steady-state heat conduction solution.Defect positions are dynamically corrected through cumulative displacement along the propagation path.By integrating heat conduction and elastic wave propagation in a multiphysics framework,this method overcomes the limitations of uniform-temperature assumptions.The micro-element integration approach enables dynamic tracking of spatially varying sound velocities,offering a robust strategy to enhance ultrasonic testing accuracy in high-temperature industrial environments.展开更多
The infrared channels of the FY-4B advanced geosynchronous radiation imagers(AGRI) play a crucial role in temperature and humidity analyses for mesoscale numerical weather prediction, particularly in enhancing the ini...The infrared channels of the FY-4B advanced geosynchronous radiation imagers(AGRI) play a crucial role in temperature and humidity analyses for mesoscale numerical weather prediction, particularly in enhancing the initial field quality and the forecasting accuracy of the model. This study assimilated FY-4B AGRI data into the CMA-MESO model and analyzed the bias characteristics and correction methods. Analysis of the AGRI data revealed a clear diurnal variation in the bias, which was positively correlated with the solar elevation angle. However, the diurnal variation in the bias lagged behind the solar elevation angle, likely owing to temperature changes and delayed instrument responses resulting from solar radiation. To address this issue, we propose a correction method that utilizes the solar elevation angle after an optimal time shift. Using the time-shifted solar elevation angle as a predictor effectively reduces the diurnal variation in bias and significantly improves the correction effect. This approach provides theoretical support for the assimilation of FY-4B AGRI data into mesoscale numerical weather predictions, thereby enhancing the reliability of the assimilation results.展开更多
In real industrial microgrids(MGs),the length of the primary delivery feeder to the connection point of the main substation is sometimes long.This reduces the power factor and increases reactive power absorption along...In real industrial microgrids(MGs),the length of the primary delivery feeder to the connection point of the main substation is sometimes long.This reduces the power factor and increases reactive power absorption along the primary delivery feeder from the external network.Besides,the giant induction electro-motors as the working horse of industries requires remarkable amounts of reactive power for electro-mechanical energy conversions.To reduce power losses and operating costs of the MG as well as to improve the voltage quality,this study aims at providing an insightful model for optimal placement and sizing of reactive power compensation capacitors in an industrial MG.In the presented model,the objective function considers voltage profile and network power factor improvement at the MG connection point.Also,it realizes power flow equations within which all operational security constraints are considered.Various reactive power compensation strategies including distributed group compensation,centralized compensation at the main substation,and distributed compensation along the primary delivery feeder are scrutinized.A real industrial MG,say as Urmia Petrochemical plant,is considered in numerical validations.The obtained results in each scenario are discussed in depth.As seen,the best performance is obtained when the optimal location and sizing of capacitors are simultaneously determined at the main buses of the industrial plants,at the main substation of the MG,and alongside the primary delivery feeder.In this way,74.81%improvement in power losses reduction,1.3%lower active power import from the main grid,23.5%improvement in power factor,and 37.5%improvement in network voltage deviation summation are seen in this case compared to the base case.展开更多
Sensor noise is a critical factor that degrades the performance of image processing systems.In traditional computing systems,noise correction is implemented in the digital domain,resulting in redundant latency and pow...Sensor noise is a critical factor that degrades the performance of image processing systems.In traditional computing systems,noise correction is implemented in the digital domain,resulting in redundant latency and power consumption overhead in the analog-to-digital conversion.In this work,we propose an analog-domain image correction architecture based on a proposed small-scale UNet,which implements a compact noise correction network within a one-transistor-one-memristor(1T1R)array.The statistical non-idealities of the fabricated 1T1R array(e.g.,device variability)are rigorously incorporated into the network's training and inference simulations.This correction network architecture leverages memristors for conducting multiply-accumulate operations aimed at rectifying non-uniform noise,defective pixels(stuck-at-bright/dark),and exposure mismatch.Compared to systems without correction,the proposed architecture achieves up to 50.13%improvement in recognition accuracy while demonstrating robust tolerance to memristor device-level errors.The proposed system achieves a 2.13-fold latency reduction and three orders of magnitude higher energy efficiency compared to conventional architecture.This work establishes a new paradigm for advancing the development of low-power,low-latency,and high-precision image processing systems.展开更多
Correction to“Liu QQ,Li YD,Chen JX,Zhang LL,Guan RC,Zhao W,Meng LY.Prognostic value of preoperative fibrinogen,neutrophil-to-lymphocyte ratio,serum alpha-fetoprotein,and prealbumin for patients with primary liver can...Correction to“Liu QQ,Li YD,Chen JX,Zhang LL,Guan RC,Zhao W,Meng LY.Prognostic value of preoperative fibrinogen,neutrophil-to-lymphocyte ratio,serum alpha-fetoprotein,and prealbumin for patients with primary liver cancer undergoing transarterial chemoembolization.World J Gastrointest Oncol 2025;17(6):103198 PMID:40547171 DOI:10.4251/wjgo.v17.i6.103198”.The funding number listed in the"Supported by"section of this article needs to be corrected.展开更多
文摘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.
基金by National Natural Science Foundation of China(Nos.61872339,61502184 and 61925203).
文摘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.
基金This research was supported by the Qinghai Provincial High-End Innovative and Entrepreneurial Talents Project.
文摘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.
文摘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.
文摘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."
文摘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.
基金supported by National Key Basic Research Project of China (Grant No.2011CB302400)National Natural Science Foundation of China (Grant Nos. 10971217 and 61121062)
文摘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.
基金the National High-Tech Research&Development Program of China(Grant No.2007AA010301)the National Basic Research Program of China(Grant No.2005CB321803)+2 种基金the National Natural Science Foundation of China for Distinguished Young Scholar(Grant No.60525209)the National Natural Science Foundation of China(NSFC)/Research Grants Council(RGC)Joint Research Project(Grant No.60731160632)the Program for New Century Excellent Talents in University(Grant No.NCET-05-0186)
文摘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.
文摘We present a symbolic-numeric hybrid method, based on sum-of-squares （SOS） relaxation and rational vec- tor recovery, to compute inequality invariants and ranking functions for proving total correctness and generating pre- conditions for programs. The SOS relaxation method is used to compute approximate invariants and approximate rank- ing functions with floating point coefficients. Then Gauss- Newton refinement and rational vector recovery are applied to approximate polynomials to obtain candidate polynomials with rational coefficients, which exactly satisfy the conditions of invariants and ranking functions. In the end, several exam- ples are given to show the effectiveness of our method.
基金supported by the National Science and Tech-nology Major Project of China(Nos.2017-II-0007-0021 and J2019-II-0017-0038)。
文摘Aerodynamic performances of axial compressors are significantly affected by variation of Reynolds number in aero-engines.In the design and analysis of compressors,previous correction methods for cascades and stages have difficulties in predicting comprehensively Reynolds number effects on airfoils,matching and characteristics curves.This study proposes Re-correction models for loss,deviation angle and endwall blockage based on classical theories and cascade tests,and loss and deviation models show good agreement in test data of NACA65 and C4 cascades.Throughflow method considering Reynolds number effects is developed by integrating the correction models into a verified Streamline Curvature(SLC)tool.A three-stage axial compressor is investigated through SLC and CFD methods from design Reynolds number(Red=2106)to low Re=4104,and the numerical methods are validated with test data of characteristic curves and spanwise distributions at Red.With Re reduction,SLC method with correction models well predicts variation in overall performances compared with CFD calculations and Wassell's model.Streamwise and spanwise matching such as total pressure and loss distributions in SLC predictions are basically consistent with those in CFD results at near-stall points under design and low Reynolds numbers.SLC and CFD methods share similar detections of stall risks in the third stage(Stg3),and their analyses of diffusion processes deviate to some extent due to different predictions in separated endwall flow.The correction models can be adopted to consider Reynolds number effects in through-flow design and analysis of axial compressors.
基金supported by the grants to Min Qiu and Ming Wang from the National Natural Science Foundation of China(32100160 and 32100044)the grants to Ming Wang from the Jiangsu“Innovative and Entrepreneurial Talent”Program,China(JSSCRC2021510)the grants to Yuanchao Wang from the Chinese Modern Agricultural Industry Technology System(CARS-004-PS14)。
文摘The accuracy of genomic annotation is crucial for subsequent functional investigations;however,computational protocols used in high-throughput annotation of open reading frames(ORFs)can introduce inconsistencies.These inconsistencies,which lead to non-uniform extension or truncation of sequence ends,pose challenges for downstream analyses.Existing strategies to rectify these inconsistencies are time-consuming and labor-intensive,lacking specific approaches.To address this gap,we developed to GC,a tool that integrates genomic annotation with RNA-seq datasets to rectify annotation inconsistencies.Using to GC,we achieved an accuracy of nearly 100%accuracy in correcting inconsistencies in published Phytophthora sojae ORFs.We applied this innovative pipeline to the GPCR-bigrams gene family,which was predicted to have 42 members in the P.sojae genome but lacked experimental validation.By employing to GC,we identified 32 GPCR-bigram ORFs with inconsistencies between previous annotations and to GC-corrected sequences.Notably,among these were 5 genes(GPCR-TKL9,GPCR-TKL15,GPCR-PDE3,GPCR-AC3,and GPCR-AC4)showed substantial inconsistencies.Experimental gene annotation confirmed the effectiveness of to GC,as sequences obtained through cloning matched those annotated by to GC.Importantly,we discovered two novel GPCRs(GPCR-AC3 and GPCR-AC4),which were previously mispredicted as a single gene.CRISPR/Cas9-mediated knockout experiments revealed the involvement of GPCR-AC4 but not GPCR-AC3 in oospore production,further confirming their status as two separate genes.In addition to P.sojae,the reliability of the to GC pipeline in Phytophthora capsici and Pythium ultimum further emphasizes the robustness of this pipeline.Our findings highlight the utility of to GC for reliable gene model correction,facilitating investigations into biological functions and offering potential applications in diverse species analyses.
基金the National Natural Science Foundation of China under Grant 52441411,52325402 and 52274057Deep Earth Probe and Mineral Resources Exploration-National Science and Technology Major Project under Grant 2024ZD1004302-04the National Key R&D Program of China under Grant 2023YFB4104200.
文摘This study investigates in-station pressure drop mechanisms in a shale gas gathering system,providing a quantitative basis for flow system optimization.Computational fluid dynamics(CFD)simulations,based on field-measured parameters related to a representative case(a shale gas platform located in Sichuan,China)are conducted to analyze the flow characteristics of specific fittings and manifolds,and to quantify fitting resistance coefficients and manifold inlet interference.The resulting coefficients are integrated into a full-station gathering network model in PipeSim,which,combined with production data,enables evaluation of pressure losses and identification of equivalent pipeline blockages.The results indicate that the resistance coefficients,valid only for fittings under the studied field-specific geometries,are 0.21 for 90◦elbows in the fully open position,0.16 for gate valve passages in the fully open position,and 2.3 for globe valve passages.Manifold interference decreases with lower high-pressure inlet values,whereas inlets farther from the high-pressure side experience stronger disturbances.Interestingly,significant discrepancies between simulated and measured pressure drops reveal partial blockages,corresponding to effective diameter reductions of 65 mm,38 mm,44 mm,38 mm,and 28 mm for Wells 1#,3#,5#,and 6#,respectively.
基金supported by the National Natural Science Foundation of China(No.41971339)the SDUST Research Fund(No.2019TDJH103)。
文摘The rapid melting of Arctic sea ice poses significant risks to the safety of shipping routes.Accurate remote sensing data on sea ice concentration(SIC)is crucial for effective route planning of ships and ensuring navigational safety.Despite the availability of numerous SIC products in China,these datasets still lag behind mainstream international products in terms of data accuracy,spatiotemporal resolution,and time span.To enhance the accuracy of China's domestic SIC remote sensing data,this study used the SIC data derived from the passive microwave remote sensing dataset provided by the University of Bremen(BRM-SIC)as a reference to conduct a comprehensive evaluation and analysis of two additional SIC datasets:the dataset derived from the microwave radiation imager(MWRI)aboard the FY-3D satellite,provided by the National Satellite Meteorological Center(FY-SIC),and the dataset obtained through the DT-ASI algorithm from the microwave imager of the FY-3D satellite,provided by Ocean University of China(OUC-SIC).Based on the evaluation results,a TransUnet fusion correction model was developed.The performance of this model was then compared against Ordinary Least Squares(OLS),Random Forest(RF),and UNet correction models,through spatial and temporal analyses.Results indicate that,compared to FY-SIC data,the RMSE of the OUC-SIC data and the standard data is reduced by24.245%,while the R is increased by 12.516%.Overall,the accuracy of OUC-SIC data is superior to that of FY-SIC data.During the research period(2020–2022),the standard deviation(SD)and coefficient of variation(CV)of OUC-SIC were 3.877%and 10.582%,respectively,while those for FY-SIC were 7.836%and 7.982%,respectively.In the study area,compared with OUC-SIC data,FYSIC data exhibited a larger standard deviation of deviation and a smaller coefficient of variation of deviation across most sea areas.These results indicate that the OUC-SIC data exhibit better temporal and spatial stability,whereas the FY-SIC data show stronger relative dimensionless stability.Among the four correction models,all showed improvements over the original,unfused corrected data.The fusion corrections using the OLS,RF,UNet,and TransUnet models reduced RMSE by 5.563%,14.601%,42.927%,and48.316%,respectively.Correspondingly,R increased by 0.463%,1.176%,3.951%,and 4.342%,respectively.Among these models,TransUnet performed the best,effectively integrating the advantages of FY-SIC and OUC-SIC data and notably improving the overall accuracy and spatiotemporal stability of SIC data.
文摘Accurate precipitation estimation in semiarid,topographically complicated areas is critical for water resource management and climate risk monitoring.This work provides a detailed,multi-scale evaluation of four major satellite precipitation products(CHIRPS,PERSIANN-CDR,IMERG-F v07,and GSMaP)over Isfahan province,Iran,over a 9-year period(2015-2023).The performance of these products was benchmarked against a dense network of 98 rain gauges using a suite of continuous and categorical statistical metrics,following a two-stage quality control protocol to remove outliers and false alarms.The results revealed that the performance of all products improves with temporal aggregation.At the daily level,GSMaP performed marginally better,although all products were linked with considerable uncertainty.At the monthly and annual levels,the GPM-era products(IMERG and GSMaP)clearly beat the other two,establishing themselves as dependable tools for long-term hydro-climatological studies.Error analysis revealed that topography is the dominant regulating factor,creating a systematic elevationdependent bias,largely characterized by underestimation from most products in high-elevation areas,though the PERSIANN-CDR product exhibited a contrasting overestimation tendency.Finally,the findings highlight the importance of implementing local,elevation-dependent calibration before deploying these products in hydrological modeling.
基金supported by the National Key Research and Development Program Project(2023YFC3107804)Planning Fund Project of Humanities and Social Sciences Research of the Ministry of Education(24YJA880097)the Graduate Education Reform Project in North China University of Technology(217051360025XN095-17)。
文摘Marine forecasting is critical for navigation safety and disaster prevention.However,traditional ocean numerical forecasting models are often limited by substantial errors and inadequate capture of temporal-spatial features.To address the limitations,the paper proposes a TimeXer-based numerical forecast correction model optimized by an exogenous-variable attention mechanism.The model treats target forecast values as internal variables,and incorporates historical temporal-spatial data and seven-day numerical forecast results from traditional models as external variables based on the embedding strategy of TimeXer.Using a self-attention structure,the model captures correlations between exogenous variables and target sequences,explores intrinsic multi-dimensional relationships,and subsequently corrects endogenous variables with the mined exogenous features.The model’s performance is evaluated using metrics including MSE(Mean Squared Error),MAE(Mean Absolute Error),RMSE(Root Mean Square Error),MAPE(Mean Absolute Percentage Error),MSPE(Mean Square Percentage Error),and computational time,with TimeXer and PatchTST models serving as benchmarks.Experiment results show that the proposed model achieves lower errors and higher correction accuracy for both one-day and seven-day forecasts.
基金supported by the following projects:National Natural Science Foundation of China[U24A20135]Science and Technology Program of the State Administration for Market Regulation[2024MK016]+9 种基金Basic Scientific Research Fund Project for Higher Education Institutions of Inner Mongolia(2024YXXS057)Key Project of Natural Science Foundation of Inner Mongolia[2023ZD12]2023 Inner Mongolia Autonomous Region Key R&D and Achievement Transformation Program[2023YFHH0090]Natural Science Foundation of Inner Mongolia[2022MS05006]Talent Development Fund of Inner Mongolia Autonomous RegionFundamental Research Funds for Universities[2023RCTD012]Fundamental Research Funds for Universities[2023QNJS075]Inner Mongolia Autonomous Region Postgraduate Research Innovation Project[KC2024053B]Fundamental Research Funds for Universities[2024YXXS012]Open Project of the National Key Laboratory of Special Vehicle Design and Manufacturing Integration Technology[GZ2023KF012].
文摘In ultrasonic non-destructive testing of high-temperature industrial equipment,sound velocity drift induced by non-uniform temperature fields can severely compromise defect localization accuracy.Conventional approaches that rely on room-temperature sound velocities introduce systematic errors,potentially leading to misjudgment of safety-critical components.Two primary challenges hinder current methods:first,it is difficult to monitor real-time changes in sound velocity distribution within a thermal gradient;second,traditional uniform-temperature correction models fail to capture the nonlinear dependence of material properties on temperature and their effect on ultrasonic velocity fields.Here,we propose a defect localization correction method based on multiphysics coupling.A two-dimensional coupled heat transfer–wave propagation model is established in COMSOL,and a one-dimensional steady-state heat transfer condition is used to design a numerical pulse–echo experiment in 1020 steel.Temperature-dependent material properties are incorporated,and the intrinsic relationship between sound velocity and temperature is derived,confirming consistency with classical theories.To account for gradient temperature fields,a micro-element integration algorithm discretizes the propagation path into segments,each associated with a locally computed temperature from the steady-state heat conduction solution.Defect positions are dynamically corrected through cumulative displacement along the propagation path.By integrating heat conduction and elastic wave propagation in a multiphysics framework,this method overcomes the limitations of uniform-temperature assumptions.The micro-element integration approach enables dynamic tracking of spatially varying sound velocities,offering a robust strategy to enhance ultrasonic testing accuracy in high-temperature industrial environments.
基金National Key Research and Development Program of China (2022YFC3004004)National Natural Science Foundation of China (42075155,12241104)National Natural Science Foundation of China Joint Fund (U2342213)。
文摘The infrared channels of the FY-4B advanced geosynchronous radiation imagers(AGRI) play a crucial role in temperature and humidity analyses for mesoscale numerical weather prediction, particularly in enhancing the initial field quality and the forecasting accuracy of the model. This study assimilated FY-4B AGRI data into the CMA-MESO model and analyzed the bias characteristics and correction methods. Analysis of the AGRI data revealed a clear diurnal variation in the bias, which was positively correlated with the solar elevation angle. However, the diurnal variation in the bias lagged behind the solar elevation angle, likely owing to temperature changes and delayed instrument responses resulting from solar radiation. To address this issue, we propose a correction method that utilizes the solar elevation angle after an optimal time shift. Using the time-shifted solar elevation angle as a predictor effectively reduces the diurnal variation in bias and significantly improves the correction effect. This approach provides theoretical support for the assimilation of FY-4B AGRI data into mesoscale numerical weather predictions, thereby enhancing the reliability of the assimilation results.
文摘In real industrial microgrids(MGs),the length of the primary delivery feeder to the connection point of the main substation is sometimes long.This reduces the power factor and increases reactive power absorption along the primary delivery feeder from the external network.Besides,the giant induction electro-motors as the working horse of industries requires remarkable amounts of reactive power for electro-mechanical energy conversions.To reduce power losses and operating costs of the MG as well as to improve the voltage quality,this study aims at providing an insightful model for optimal placement and sizing of reactive power compensation capacitors in an industrial MG.In the presented model,the objective function considers voltage profile and network power factor improvement at the MG connection point.Also,it realizes power flow equations within which all operational security constraints are considered.Various reactive power compensation strategies including distributed group compensation,centralized compensation at the main substation,and distributed compensation along the primary delivery feeder are scrutinized.A real industrial MG,say as Urmia Petrochemical plant,is considered in numerical validations.The obtained results in each scenario are discussed in depth.As seen,the best performance is obtained when the optimal location and sizing of capacitors are simultaneously determined at the main buses of the industrial plants,at the main substation of the MG,and alongside the primary delivery feeder.In this way,74.81%improvement in power losses reduction,1.3%lower active power import from the main grid,23.5%improvement in power factor,and 37.5%improvement in network voltage deviation summation are seen in this case compared to the base case.
基金Project supported by the National Key Research and Development Program of China(Grant No.2024YFA1208800)the National Natural Science Foundation of China(Grant Nos.62404253,62304254,U23A20322)。
文摘Sensor noise is a critical factor that degrades the performance of image processing systems.In traditional computing systems,noise correction is implemented in the digital domain,resulting in redundant latency and power consumption overhead in the analog-to-digital conversion.In this work,we propose an analog-domain image correction architecture based on a proposed small-scale UNet,which implements a compact noise correction network within a one-transistor-one-memristor(1T1R)array.The statistical non-idealities of the fabricated 1T1R array(e.g.,device variability)are rigorously incorporated into the network's training and inference simulations.This correction network architecture leverages memristors for conducting multiply-accumulate operations aimed at rectifying non-uniform noise,defective pixels(stuck-at-bright/dark),and exposure mismatch.Compared to systems without correction,the proposed architecture achieves up to 50.13%improvement in recognition accuracy while demonstrating robust tolerance to memristor device-level errors.The proposed system achieves a 2.13-fold latency reduction and three orders of magnitude higher energy efficiency compared to conventional architecture.This work establishes a new paradigm for advancing the development of low-power,low-latency,and high-precision image processing systems.
基金Supported by Health Commission of Heilongjiang Province,No.20230404080031.
文摘Correction to“Liu QQ,Li YD,Chen JX,Zhang LL,Guan RC,Zhao W,Meng LY.Prognostic value of preoperative fibrinogen,neutrophil-to-lymphocyte ratio,serum alpha-fetoprotein,and prealbumin for patients with primary liver cancer undergoing transarterial chemoembolization.World J Gastrointest Oncol 2025;17(6):103198 PMID:40547171 DOI:10.4251/wjgo.v17.i6.103198”.The funding number listed in the"Supported by"section of this article needs to be corrected.
