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."展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Marine heatwaves(MHWs)in the South China Sea(SCS)significantly impact marine ecosystems and socioeconomic development,yet accurately forecasting MHWs remains a challenge.This study developed an upper-ocean temperature...Marine heatwaves(MHWs)in the South China Sea(SCS)significantly impact marine ecosystems and socioeconomic development,yet accurately forecasting MHWs remains a challenge.This study developed an upper-ocean temperature forecasting model based on ConvLSTM for the northern SCS and,in conjunction with the ocean forecasting system LICOM Forecast System(LFS),constructed a hybrid Fusion model using Wasserstein-Distance optimization.The ability of these three models to forecast key MHW metrics with a 10-day lead was assessed during the summer of 2022 in the SCS.Overall,the Fusion model takes advantage of LFS and ConvLSTM,providing superior forecasts for both the duration and intensity of MHWs in the southern SCS.LFS(ConvLSTM)overestimates(underestimates)the duration of MHWs and all models exhibit limitations in forecasting the intensity of MHWs in part of the SCS.The Fusion model's superior forecast skill for MHWs may be attributable to its more realistic representation of the upper-ocean thermal structure with shallower mixed-layer depths during MHWs.This study highlights that combining the deep learning technique with a dynamical model can improve MHW forecasting and has certain physical interpretability.展开更多
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.展开更多
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.展开更多
The original version of this article unfortunately contained an error in the affiliation information of the author Wei Wang.The affiliation“6.University of Chinese Academy of Sciences,Beijing 100049,China”was missin...The original version of this article unfortunately contained an error in the affiliation information of the author Wei Wang.The affiliation“6.University of Chinese Academy of Sciences,Beijing 100049,China”was missing for Wei Wang.The correct affiliations for Wei Wang2,6 are:2Institute of Neuroscience,Key Laboratory of Brain Cognition and Brain-Inspired Intelligence Technology,CAS Center for Excellence in Brain Science and Intelligence Technology,Chinese Academy of Sciences,Shanghai 200031,China 6University of Chinese Academy of Sciences,Beijing 100049,China.展开更多
Accurate forecasting of tropical cyclone(TC)tracks and intensities is essential.Although the TianXing large weather model,a six-hourly forecasting model surpassing operational forecasts,exhibits superior performance,i...Accurate forecasting of tropical cyclone(TC)tracks and intensities is essential.Although the TianXing large weather model,a six-hourly forecasting model surpassing operational forecasts,exhibits superior performance,its TC forecasts still require enhancement.Prediction errors persist due to biases in the training data and smoothing effects in data-driven methods.To address this,we introduce CycloneBCNet,a deep-learning model designed to correct TianXing’s TC forecast biases by leveraging spatial and temporal data.CycloneBCNet utilizes the SimVP(simpler yet better video prediction)framework with spatial attention to highlight cyclone core regions in forecast fields.It also incorporates TC trend information(center position,maximum wind speed,and minimum sea level pressure)via an LSTM(long short-term memory)module.These TC vectors are derived from post-processed TianXing forecasts.By fusing features from forecast fields and TC vectors,CycloneBCNet corrects biases across multiple lead times.At a 96-h lead time,the track error reduces from 162.4 to 86.4 km,the wind speed error from 17.2 to 6.69 m s-1,and the pressure error from 22.2 to 9.36 hPa.Interpretability analysis shows that CycloneBCNet adjusts its attention across forecast lead times.Intensity corrections prioritize inner-core dynamics,particularly the eye and eyewall,while track corrections shift from lower-level variables and the cyclone’s core to broader environmental factors and mid-to upper-level features as the forecast duration increases.These findings demonstrate that CycloneBCNet effectively captures key TC dynamics consistent with meteorological principles,including the dominance of near-surface conditions for intensity and the increasing influence of steering currents on track prediction.展开更多
The authors regret the unintentional error in the use of the GAPDH band in the original Fig.5C.The corrected figure is provided as the new Fig.5C below.This change does not affect the conclusions of the paper.
The development of oil and gas is constrained by difficulties in dynamically characterizing pore structures.Traditional methods inadequately represent the complex interactions between mineral dissolution,precipitation...The development of oil and gas is constrained by difficulties in dynamically characterizing pore structures.Traditional methods inadequately represent the complex interactions between mineral dissolution,precipitation,and fluid flow.This study addresses these gaps by introducing a Transformer U-Neural Network(TransUNet)for computed tomography(CT)image segmentation.The integrated workflow combines conventional CT(Resolution of 5.4μm)and synchrotron radiation CT(Resolution of0.8μm)for dynamic flooding,imaging,segmentation,and precise 3D pore network extraction,overcoming resolution limits.TransUNet's strong global attention and feature extraction reduce overfitting and deliver high-accuracy segmentation of minerals,pores,and argillaceous microporous networks(AMN),achieving 74.92%intersection over union(IoU)for AMN.A porosity correction method improves conventional CT porosity accuracy to 94%of gas-measured values.Alkaline flooding experiments reveal:(1)initial clay swelling reduces small pore size by~50%as alkaline ions destabilize clay;(2)mineral dissolution,such as dolomite,creates secondary pores,increasing 80μm pores by 1.8 times;(3)silicate dissolution increases porosity and leads to a 93.7%rise in permeability.Clay reorganization enhances the AMN by 46.1%.The pore size distribution shifts to log-no rmal at steady state,and throat connectivity improves flow capacity.This work pioneers Transformer-based CT image segmentation,introduces cross-resolution prediction,and clarifies pore regulation by mineral phase changes,establishing a new paradigm for chemical flooding in sandstone reservoirs.展开更多
The energy response of an imaging detector based on a monolithic crystal is highly dependent on the position of the gammaray interaction,which leads to a spectral drift of the imaging detector,known as the spectral dr...The energy response of an imaging detector based on a monolithic crystal is highly dependent on the position of the gammaray interaction,which leads to a spectral drift of the imaging detector,known as the spectral drift related to incident position.This deteriorates the energy resolution of the detector and affects the selection of the energy window for imaging,resulting in artifacts in the reconstructed image.Thus,an energy-response correction method was proposed to improve the positional consistency of the detector-energy response.In both the simulation and physical experiments,the method improved the full-energy peak consistency of the monolithic crystal detector,which improved the energy resolution of the detector,led to more accurate selection of the energy window,and improved imaging quality.In particular,in physical experiments after correction,the peak sites converged to 365 keV at each location,which reduced the full width at half maximum(FWHM)of the characteristic peak(@365 keV)from 53 to 38 channels,and improved the energy resolution by 28.3%.Moreover,the incomplete mask was transformed into a complete mask projection,and the signal-to-noise ratio increased from 2.38 to 5.37.展开更多
Aerial surveys are dynamic and continuous processes,and there are different height distributions of the ground in the measurement area,which leads to problems such as overlapping measurement areas and inaccurate altit...Aerial surveys are dynamic and continuous processes,and there are different height distributions of the ground in the measurement area,which leads to problems such as overlapping measurement areas and inaccurate altitude correction during the survey process.Commonly used terrain correction methods are based on the concept of finite elementization of ground surface radioactive sources,using GPS coordinates,radar altitude,and ground elevation distribution information from aerial surveys,combined with the sourceless efficiency calibration method to construct a response matrix,which is then inverted for surface nuclide content.However,most of the sourceless efficiency calibration methods used are numerical calculations that consider the body detector as a point detector and do not consider the changes in intrinsic detection efficiency under different incident directions of gamma rays.Therefore,when the altitude of the measurement area varies significantly or the flight altitude of the aerial survey is relatively low,such sourceless efficiency calibration method calculations tend to have a large bias,which affects the accuracy of the terrain correction.To address the above problems,this study employs a novel sourceless efficiency calibration method based on the Boolean operation of the ray deposition process and simplifies the traditional body source measurement model to a surface source measurement model to achieve fast and accurate efficiency calibration.Then,through the discretization of the measurement process,the static measurement process is superposed as equivalent to the dynamic measurement process,and the dynamic measurement response matrix is built and optimized based on the calibration method.Finally,the PSO-MLEM algorithm was used to solve the dynamic measurement response matrix to achieve dynamic terrain correction of aerial survey data.Analysis of the Baiyun'ebo test area revealed that,after applying dynamic terrain correction,the inverted anomalies in uranium(eU),thorium(eTh),and potassium(K)concentrations were closer to ground measurements(within 5.72%-30.79%)and exhibited clearer anomaly boundaries compared to traditional height-based corrections.However,owing to the inherent statistical fluctuations and characteristics of matrix inversion,higher measurement values tend to absorb lower ones,potentially enlarging the anomalous regions.Nevertheless,the highanomaly regions after inversion largely coincided with the ground truth validation,demonstrating that the proposed method can effectively correct airborne gamma spectrometry data.展开更多
In this paper,we investigate potential singularity issues in prescribed performance control induced by actuator faults and propose a global nonmonotonic prescribed performance scheme for strict-feedback nonlinear syst...In this paper,we investigate potential singularity issues in prescribed performance control induced by actuator faults and propose a global nonmonotonic prescribed performance scheme for strict-feedback nonlinear systems.This scheme allows for parameterized relaxation of constraint boundaries in the presence of actuator faults.Unlike existing prescribed performance control schemes that rely on redesigning nonmonotonic rate functions to modify boundary relaxation properties,the proposed method introduces a novel adjustment module into the prescribed performance function,enabling the parametric design of nonmonotonic boundaries.Moreover,the proposed method simultaneously addresses the removal of the initial feasibility condition and the imposition of asymmetric constraints by introducing a global asymmetric design with an error correction module.This module enables flexible conversion from asymmetric to symmetric boundaries at a predetermined time instant,thereby reducing transient overshoot while maintaining steady-state tracking precision.Simulation results validate the effectiveness and superiority of the proposed scheme.展开更多
Quantum error correction technology is based on the principle of redundant encoding,encoding logical quantum information into multiple physical qubits to provide important support for the stable operation of quantum c...Quantum error correction technology is based on the principle of redundant encoding,encoding logical quantum information into multiple physical qubits to provide important support for the stable operation of quantum computers.To address the issues of low decoding accuracy and limited feature extraction in quantum error correction,this paper proposes a toric code decoder based on a syndrome-preliminary error fusion module(SPEFM)and a ResNet architecture.This decoder takes full advantage of the correlations between X and Z errors.In the SPEFM,the syndrome and preliminary error predictions are deeply fused,while a unidirectional Swin transformer architecture is incorporated to extract global error features from the syndrome data,signiffiificantly improving both decoding accuracy and computational efffiificiency.In addition,this paper further extracts local error features from the fused features using the deep residual structure of ResNet,enhancing the decoder's ability to capture quantum error patterns.Experimental results show that the decoder is applicable to different code distances(d=4,6,8,10)under the depolarizing noise model.Its bit error rate is lower than that of the minimum weight perfect matching(MWPM)algorithm,and its logical error rate is lower than both the MWPM algorithm and the ResNet18 decoder.Furthermore,the decoding threshold is increased to 0.163,representing a 3.82%improvement over the MWPM algorithm threshold of 0.157.展开更多
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.展开更多
The upcoming Euro 7 vehicle emissions regulation sets new requirements for calibrating particle number portable emissions measurement systems(PN-PEMS).In current PN concentration calibration methods,arbitrary selectio...The upcoming Euro 7 vehicle emissions regulation sets new requirements for calibrating particle number portable emissions measurement systems(PN-PEMS).In current PN concentration calibration methods,arbitrary selection of aerosolmaterials and incorrect estimation ofmultiply-charged particles lead to calibration deviation.This study proposes a novel,accurate calibration method based on the calibration and correction of the actual charging probability of soot for calibrating PN-PEMS.The accurate calibration results of a PN-PEMS show a maximum reduction of 7.65%in the+1-charging probability deviation and of 3.15%in the counting efficiency deviation.The calibration of the actual charging probability of soot introduces a calibration uncertainty increment of 0.09%-2.71%,and the overall uncertainty is<4.76%,whichmakes the calibration results more credible.The interaction of calibration aerosols of different physicochemical properties with the condensation particle counter working fluid and catalytic stripper device is the main reason for the different PN-PEMS calibration results.The calibration of the actual charging probability of particles is the fundamental method to eliminate the calibration deviation caused by the estimation and correction of multiply-charged particles.展开更多
This is an erratum to the published paper entitled“Synergism of calycosin and bone marrow-derived mesenchymal stem cells to combat podocyte apoptosis to alleviate adriamycin-induced focal segmental glomerulosclerosis...This is an erratum to the published paper entitled“Synergism of calycosin and bone marrow-derived mesenchymal stem cells to combat podocyte apoptosis to alleviate adriamycin-induced focal segmental glomerulosclerosis”.Upon reexamining our original data,we have identified an error in the assembly of Figure 1F,where the glyceraldehyde-3-phosphate dehydrogenase loading control image was incorrectly placed due to a clerical oversight during figure preparation.This does not reflect any issue with the underlying experimental data.展开更多
摘要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."
基金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.
摘要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.
基金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.
摘要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.
摘要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.
基金supported by the National Natural Science Foundation of China [grant numbers 42375168 and 42205035]a Shanghai Science and Technology Commission Project [grant number 23DZ1204704]。
摘要Marine heatwaves(MHWs)in the South China Sea(SCS)significantly impact marine ecosystems and socioeconomic development,yet accurately forecasting MHWs remains a challenge.This study developed an upper-ocean temperature forecasting model based on ConvLSTM for the northern SCS and,in conjunction with the ocean forecasting system LICOM Forecast System(LFS),constructed a hybrid Fusion model using Wasserstein-Distance optimization.The ability of these three models to forecast key MHW metrics with a 10-day lead was assessed during the summer of 2022 in the SCS.Overall,the Fusion model takes advantage of LFS and ConvLSTM,providing superior forecasts for both the duration and intensity of MHWs in the southern SCS.LFS(ConvLSTM)overestimates(underestimates)the duration of MHWs and all models exhibit limitations in forecasting the intensity of MHWs in part of the SCS.The Fusion model's superior forecast skill for MHWs may be attributable to its more realistic representation of the upper-ocean thermal structure with shallower mixed-layer depths during MHWs.This study highlights that combining the deep learning technique with a dynamical model can improve MHW forecasting and has certain physical interpretability.
基金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.
基金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 original version of this article unfortunately contained an error in the affiliation information of the author Wei Wang.The affiliation“6.University of Chinese Academy of Sciences,Beijing 100049,China”was missing for Wei Wang.The correct affiliations for Wei Wang2,6 are:2Institute of Neuroscience,Key Laboratory of Brain Cognition and Brain-Inspired Intelligence Technology,CAS Center for Excellence in Brain Science and Intelligence Technology,Chinese Academy of Sciences,Shanghai 200031,China 6University of Chinese Academy of Sciences,Beijing 100049,China.
基金supported by the Meteorological Joint Funds of the National Natural Science Foundation of China(Grant No.U2142211)the National Natural Science Foundation of China(Grant Nos.42075141,42341202 and 62088101)+1 种基金the National Key Research and Development Program of China(Grant No.2020YFA0608000)the Shanghai Municipal Science and Technology Major Project(Grant No.2021SHZDZX0100).
摘要Accurate forecasting of tropical cyclone(TC)tracks and intensities is essential.Although the TianXing large weather model,a six-hourly forecasting model surpassing operational forecasts,exhibits superior performance,its TC forecasts still require enhancement.Prediction errors persist due to biases in the training data and smoothing effects in data-driven methods.To address this,we introduce CycloneBCNet,a deep-learning model designed to correct TianXing’s TC forecast biases by leveraging spatial and temporal data.CycloneBCNet utilizes the SimVP(simpler yet better video prediction)framework with spatial attention to highlight cyclone core regions in forecast fields.It also incorporates TC trend information(center position,maximum wind speed,and minimum sea level pressure)via an LSTM(long short-term memory)module.These TC vectors are derived from post-processed TianXing forecasts.By fusing features from forecast fields and TC vectors,CycloneBCNet corrects biases across multiple lead times.At a 96-h lead time,the track error reduces from 162.4 to 86.4 km,the wind speed error from 17.2 to 6.69 m s-1,and the pressure error from 22.2 to 9.36 hPa.Interpretability analysis shows that CycloneBCNet adjusts its attention across forecast lead times.Intensity corrections prioritize inner-core dynamics,particularly the eye and eyewall,while track corrections shift from lower-level variables and the cyclone’s core to broader environmental factors and mid-to upper-level features as the forecast duration increases.These findings demonstrate that CycloneBCNet effectively captures key TC dynamics consistent with meteorological principles,including the dominance of near-surface conditions for intensity and the increasing influence of steering currents on track prediction.
摘要The authors regret the unintentional error in the use of the GAPDH band in the original Fig.5C.The corrected figure is provided as the new Fig.5C below.This change does not affect the conclusions of the paper.
基金supported by Program for Young Talents of Basic Research in Universities of Heilongjiang Province(YQJH2024036)Collaborative Innovation Projects of“Double First-class”Disciplines in Heilongjiang Province(LJGXCG2024-P20)Outstanding Talent Cultivation Foundation of Northeast Petroleum University(SJQHB202004)。
摘要The development of oil and gas is constrained by difficulties in dynamically characterizing pore structures.Traditional methods inadequately represent the complex interactions between mineral dissolution,precipitation,and fluid flow.This study addresses these gaps by introducing a Transformer U-Neural Network(TransUNet)for computed tomography(CT)image segmentation.The integrated workflow combines conventional CT(Resolution of 5.4μm)and synchrotron radiation CT(Resolution of0.8μm)for dynamic flooding,imaging,segmentation,and precise 3D pore network extraction,overcoming resolution limits.TransUNet's strong global attention and feature extraction reduce overfitting and deliver high-accuracy segmentation of minerals,pores,and argillaceous microporous networks(AMN),achieving 74.92%intersection over union(IoU)for AMN.A porosity correction method improves conventional CT porosity accuracy to 94%of gas-measured values.Alkaline flooding experiments reveal:(1)initial clay swelling reduces small pore size by~50%as alkaline ions destabilize clay;(2)mineral dissolution,such as dolomite,creates secondary pores,increasing 80μm pores by 1.8 times;(3)silicate dissolution increases porosity and leads to a 93.7%rise in permeability.Clay reorganization enhances the AMN by 46.1%.The pore size distribution shifts to log-no rmal at steady state,and throat connectivity improves flow capacity.This work pioneers Transformer-based CT image segmentation,introduces cross-resolution prediction,and clarifies pore regulation by mineral phase changes,establishing a new paradigm for chemical flooding in sandstone reservoirs.
基金supported by the National Key Research and Development Program of China(No.2024YFF0727502)National Natural Science Foundation of China(No.41874121).
摘要The energy response of an imaging detector based on a monolithic crystal is highly dependent on the position of the gammaray interaction,which leads to a spectral drift of the imaging detector,known as the spectral drift related to incident position.This deteriorates the energy resolution of the detector and affects the selection of the energy window for imaging,resulting in artifacts in the reconstructed image.Thus,an energy-response correction method was proposed to improve the positional consistency of the detector-energy response.In both the simulation and physical experiments,the method improved the full-energy peak consistency of the monolithic crystal detector,which improved the energy resolution of the detector,led to more accurate selection of the energy window,and improved imaging quality.In particular,in physical experiments after correction,the peak sites converged to 365 keV at each location,which reduced the full width at half maximum(FWHM)of the characteristic peak(@365 keV)from 53 to 38 channels,and improved the energy resolution by 28.3%.Moreover,the incomplete mask was transformed into a complete mask projection,and the signal-to-noise ratio increased from 2.38 to 5.37.
基金supported by the National Key Research and Development Program(No.2022YFC2807400)the National Natural Science Foundation of China(Nos.12265003 and 12205044)。
摘要Aerial surveys are dynamic and continuous processes,and there are different height distributions of the ground in the measurement area,which leads to problems such as overlapping measurement areas and inaccurate altitude correction during the survey process.Commonly used terrain correction methods are based on the concept of finite elementization of ground surface radioactive sources,using GPS coordinates,radar altitude,and ground elevation distribution information from aerial surveys,combined with the sourceless efficiency calibration method to construct a response matrix,which is then inverted for surface nuclide content.However,most of the sourceless efficiency calibration methods used are numerical calculations that consider the body detector as a point detector and do not consider the changes in intrinsic detection efficiency under different incident directions of gamma rays.Therefore,when the altitude of the measurement area varies significantly or the flight altitude of the aerial survey is relatively low,such sourceless efficiency calibration method calculations tend to have a large bias,which affects the accuracy of the terrain correction.To address the above problems,this study employs a novel sourceless efficiency calibration method based on the Boolean operation of the ray deposition process and simplifies the traditional body source measurement model to a surface source measurement model to achieve fast and accurate efficiency calibration.Then,through the discretization of the measurement process,the static measurement process is superposed as equivalent to the dynamic measurement process,and the dynamic measurement response matrix is built and optimized based on the calibration method.Finally,the PSO-MLEM algorithm was used to solve the dynamic measurement response matrix to achieve dynamic terrain correction of aerial survey data.Analysis of the Baiyun'ebo test area revealed that,after applying dynamic terrain correction,the inverted anomalies in uranium(eU),thorium(eTh),and potassium(K)concentrations were closer to ground measurements(within 5.72%-30.79%)and exhibited clearer anomaly boundaries compared to traditional height-based corrections.However,owing to the inherent statistical fluctuations and characteristics of matrix inversion,higher measurement values tend to absorb lower ones,potentially enlarging the anomalous regions.Nevertheless,the highanomaly regions after inversion largely coincided with the ground truth validation,demonstrating that the proposed method can effectively correct airborne gamma spectrometry data.
基金supported in part by the National Key Research and Development Program of China(2024YFB4006503)the National Natural Science Foundation of China(52175022)+2 种基金the Postdoctoral Fellowship Program of China Postdoctoral Science Foundation(CPSF)(GZC20250940)the project“Romanian Hub for Artificial Intelligence–HRIA”Smart Growth,Digitization and Financial Instruments Program,MySMIS(351416)。
摘要In this paper,we investigate potential singularity issues in prescribed performance control induced by actuator faults and propose a global nonmonotonic prescribed performance scheme for strict-feedback nonlinear systems.This scheme allows for parameterized relaxation of constraint boundaries in the presence of actuator faults.Unlike existing prescribed performance control schemes that rely on redesigning nonmonotonic rate functions to modify boundary relaxation properties,the proposed method introduces a novel adjustment module into the prescribed performance function,enabling the parametric design of nonmonotonic boundaries.Moreover,the proposed method simultaneously addresses the removal of the initial feasibility condition and the imposition of asymmetric constraints by introducing a global asymmetric design with an error correction module.This module enables flexible conversion from asymmetric to symmetric boundaries at a predetermined time instant,thereby reducing transient overshoot while maintaining steady-state tracking precision.Simulation results validate the effectiveness and superiority of the proposed scheme.
基金supported by the Joint Fund of the Natural Science Foundation of Shandong Province,China(Grant Nos.ZR2022LLZ012 and ZR2021LLZ001)the Key Research and Development Program of Shandong Province,China(Grant No.2023CXGC010901)。
摘要Quantum error correction technology is based on the principle of redundant encoding,encoding logical quantum information into multiple physical qubits to provide important support for the stable operation of quantum computers.To address the issues of low decoding accuracy and limited feature extraction in quantum error correction,this paper proposes a toric code decoder based on a syndrome-preliminary error fusion module(SPEFM)and a ResNet architecture.This decoder takes full advantage of the correlations between X and Z errors.In the SPEFM,the syndrome and preliminary error predictions are deeply fused,while a unidirectional Swin transformer architecture is incorporated to extract global error features from the syndrome data,signiffiificantly improving both decoding accuracy and computational efffiificiency.In addition,this paper further extracts local error features from the fused features using the deep residual structure of ResNet,enhancing the decoder's ability to capture quantum error patterns.Experimental results show that the decoder is applicable to different code distances(d=4,6,8,10)under the depolarizing noise model.Its bit error rate is lower than that of the minimum weight perfect matching(MWPM)algorithm,and its logical error rate is lower than both the MWPM algorithm and the ResNet18 decoder.Furthermore,the decoding threshold is increased to 0.163,representing a 3.82%improvement over the MWPM algorithm threshold of 0.157.
基金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.
基金supported by the National Key Research and Development Program of China(No.2023YFC3705400)the Research Team Construction Project of Hefei Comprehensive Science Center Environmental Research Institute(No.HYKYTD2024006)+3 种基金the Open Fund of Key Laboratory of Vehicle Emission Control and Simulation,Ministry of Ecology and Environment(No.VECS2024S01)the National Natural Science Foundation of China(Nos.42005108 and U2133212)the Major Subject of Science and Technology of Anhui Province(No.202203a07020004)the National Engineering Laboratory for Mobile Source Emission Control Technology(No.NELMS2020A09).
摘要The upcoming Euro 7 vehicle emissions regulation sets new requirements for calibrating particle number portable emissions measurement systems(PN-PEMS).In current PN concentration calibration methods,arbitrary selection of aerosolmaterials and incorrect estimation ofmultiply-charged particles lead to calibration deviation.This study proposes a novel,accurate calibration method based on the calibration and correction of the actual charging probability of soot for calibrating PN-PEMS.The accurate calibration results of a PN-PEMS show a maximum reduction of 7.65%in the+1-charging probability deviation and of 3.15%in the counting efficiency deviation.The calibration of the actual charging probability of soot introduces a calibration uncertainty increment of 0.09%-2.71%,and the overall uncertainty is<4.76%,whichmakes the calibration results more credible.The interaction of calibration aerosols of different physicochemical properties with the condensation particle counter working fluid and catalytic stripper device is the main reason for the different PN-PEMS calibration results.The calibration of the actual charging probability of particles is the fundamental method to eliminate the calibration deviation caused by the estimation and correction of multiply-charged particles.
基金Supported by the National Natural Science Foundation of China,No.82205002 and No.82104662the Science and Technology Project of Sichuan Province,No.2022YFS0621+1 种基金Luzhou-Southwest Medical University Science and Technology Strategic Cooperation Project,No.2021 LZXNYD-P04the Southwest Medical University of Affiliated Traditional Medicine Hospital Project,No.2022-CXTD-03。
摘要This is an erratum to the published paper entitled“Synergism of calycosin and bone marrow-derived mesenchymal stem cells to combat podocyte apoptosis to alleviate adriamycin-induced focal segmental glomerulosclerosis”.Upon reexamining our original data,we have identified an error in the assembly of Figure 1F,where the glyceraldehyde-3-phosphate dehydrogenase loading control image was incorrectly placed due to a clerical oversight during figure preparation.This does not reflect any issue with the underlying experimental data.