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.展开更多
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.展开更多
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 probl...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.展开更多
AIM:To evaluate the visual outcomes of implantable collamer lenses(ICLs)and identify the possible risk factors for ICL axis misalignment,and consequently,repositioning,explanting,or exchanging at a specialized eye hos...AIM:To evaluate the visual outcomes of implantable collamer lenses(ICLs)and identify the possible risk factors for ICL axis misalignment,and consequently,repositioning,explanting,or exchanging at a specialized eye hospital in Saudi Arabia.METHODS:The medical records of 813 eyes with different refractive errors corrected with ICL implantation were identified and included in this single-arm retrospective cohort study.The following data were collected:demographic characteristics,primary diagnosis,preoperative refraction,anterior chamber depth(ACD),white-to-white(WTW)measurement,endothelial cell density(ECD),and axial length.Patients’satisfaction and complaints,and their postoperative refraction,vault depth,and axis alignment with the preoperative target,were reviewed during the postoperative period.Collectively,these data were correlated with symptomatic axis rotation and the need for repositioning,explantation,or exchange due to high or low ICL vaults.RESULTS:Of 813 eyes,27(3.32%),13(1.59%),and 11(1.35%)required ICL repositioning,ICL explantation only without exchange,and ICL explantation with the placement of a new ICL,respectively.The mean follow-up period was 37.5mo.The main cause of explanation or exchange was incorrect WTW measurement in seven(29.17%)eyes,followed by high vault in four(16.56%)eyes.ICL repositioning was required in 27(3.32%)eyes with considerable rotation.Only 2(0.24%)eyes developed cataracts that required ICL removal,and retinal complications were reported in 7(0.86%)eyes.Long-term glaucoma and corneal decompensation were not observed in this cohort.CONCLUSION:With a high safety profile and reversibility,ICL implantation is a good alternative to corneal-based refractive surgery in eyes unsuitable for laser vision correction.The rate of secondary procedures in our study was 6.26%.Old age is a risk factor for secondary surgical interventions in the repositioning group,whereas abnormal vault and toric ICL rotation in the explantation group necessitated subsequent surgical procedures.Overall,ICL implantation demonstrates a good efficacy index and safety profile in patients with diverse refractive errors.展开更多
Early correction of childhood malocclusion is timely managing morphological,structural,and functional abnormalities at different dentomaxillofacial developmental stages.The selection of appropriate imaging examination...Early correction of childhood malocclusion is timely managing morphological,structural,and functional abnormalities at different dentomaxillofacial developmental stages.The selection of appropriate imaging examination and comprehensive radiological diagnosis and analysis play an important role in early correction of childhood malocclusion.This expert consensus is a collaborative effort by multidisciplinary experts in dentistry across the nation based on the current clinical evidence,aiming to provide general guidance on appropriate imaging examination selection,comprehensive and accurate imaging assessment for early orthodontic treatment patients.展开更多
Along with the proliferating research interest in semantic communication(Sem Com),joint source channel coding(JSCC)has dominated the attention due to the widely assumed existence in efficiently delivering information ...Along with the proliferating research interest in semantic communication(Sem Com),joint source channel coding(JSCC)has dominated the attention due to the widely assumed existence in efficiently delivering information semantics.Nevertheless,this paper challenges the conventional JSCC paradigm and advocates for adopting separate source channel coding(SSCC)to enjoy a more underlying degree of freedom for optimization.We demonstrate that SSCC,after leveraging the strengths of the Large Language Model(LLM)for source coding and Error Correction Code Transformer(ECCT)complemented for channel coding,offers superior performance over JSCC.Our proposed framework also effectively highlights the compatibility challenges between Sem Com approaches and digital communication systems,particularly concerning the resource costs associated with the transmission of high-precision floating point numbers.Through comprehensive evaluations,we establish that assisted by LLM-based compression and ECCT-enhanced error correction,SSCC remains a viable and effective solution for modern communication systems.In other words,separate source channel coding is still what we need.展开更多
Accurate seasonal precipitation forecasts,especially for extreme events,are crucial to preventing meteorological hazards and their potential impacts on national development,social activity,and security.However,the int...Accurate seasonal precipitation forecasts,especially for extreme events,are crucial to preventing meteorological hazards and their potential impacts on national development,social activity,and security.However,the intensity of summer precipitation is often largely underestimated in many current dynamic models.This study uses a deep learning method called Cycle-Consistent Generative Adversarial Networks(CycleGAN)to improve the seasonal forecasts for June-JulyAugust precipitation in southeastern China by the Nanjing University of Information Science and Technology Climate Forecast System(NUIST-CFS 1.0).The results suggest that the CycleGAN-based model significantly improves the accuracy in predicting the spatiotemporal distribution of summer precipitation compared to the traditional quantile mapping(QM)method.Using the unpaired bias-correction model,we can also obtain advanced forecasts of the frequency,intensity,and duration of extreme precipitation events over the dynamic model predictions.This study expands the potential applications of deep learning models toward improving seasonal precipitation forecasts.展开更多
Protrusive facial deformities,characterized by the forward displacement of the teeth and/or jaws beyond the normal range,affect a considerable portion of the population.The manifestations and morphological mechanisms ...Protrusive facial deformities,characterized by the forward displacement of the teeth and/or jaws beyond the normal range,affect a considerable portion of the population.The manifestations and morphological mechanisms of protrusive facial deformities are complex and diverse,requiring orthodontists to possess a high level of theoretical knowledge and practical experience in the relevant orthodontic field.To further optimize the correction of protrusive facial deformities,this consensus proposes that the morphological mechanisms and diagnosis of protrusive facial deformities should be analyzed and judged from multiple dimensions and factors to accurately formulate treatment plans.It emphasizes the use of orthodontic strategies,including jaw growth modification,tooth extraction or non-extraction for anterior teeth retraction,and maxillofacial vertical control.These strategies aim to reduce anterior teeth and lip protrusion,increase chin prominence,harmonize nasolabial and chin-lip relationships,and improve the facial profile of patients with protrusive facial deformities.For severe skeletal protrusive facial deformities,orthodonticorthognathic combined treatment may be suggested.This consensus summarizes the theoretical knowledge and clinical experience of numerous renowned oral experts nationwide,offering reference strategies for the correction of protrusive facial deformities.展开更多
Myocardial perfusion imaging(MPI),which uses single-photon emission computed tomography(SPECT),is a well-known estimating tool for medical diagnosis,employing the classification of images to show situations in coronar...Myocardial perfusion imaging(MPI),which uses single-photon emission computed tomography(SPECT),is a well-known estimating tool for medical diagnosis,employing the classification of images to show situations in coronary artery disease(CAD).The automatic classification of SPECT images for different techniques has achieved near-optimal accuracy when using convolutional neural networks(CNNs).This paper uses a SPECT classification framework with three steps:1)Image denoising,2)Attenuation correction,and 3)Image classification.Image denoising is done by a U-Net architecture that ensures effective image denoising.Attenuation correction is implemented by a convolution neural network model that can remove the attenuation that affects the feature extraction process of classification.Finally,a novel multi-scale diluted convolution(MSDC)network is proposed.It merges the features extracted in different scales and makes the model learn the features more efficiently.Three scales of filters with size 3×3 are used to extract features.All three steps are compared with state-of-the-art methods.The proposed denoising architecture ensures a high-quality image with the highest peak signal-to-noise ratio(PSNR)value of 39.7.The proposed classification method is compared with the five different CNN models,and the proposed method ensures better classification with an accuracy of 96%,precision of 87%,sensitivity of 87%,specificity of 89%,and F1-score of 87%.To demonstrate the importance of preprocessing,the classification model was analyzed without denoising and attenuation correction.展开更多
BACKGROUND Transcatheter arterial chemoembolization(TACE)is a key treatment approach for advanced invasive liver cancer(infiltrative hepatocellular carcinoma).However,its therapeutic response can be difficult to evalu...BACKGROUND Transcatheter arterial chemoembolization(TACE)is a key treatment approach for advanced invasive liver cancer(infiltrative hepatocellular carcinoma).However,its therapeutic response can be difficult to evaluate accurately using conventional two-dimensional imaging criteria due to the tumor’s diffuse and multifocal growth pattern.Volumetric imaging,especially enhanced tumor volume(ETV),offers a more comprehensive assessment.Nonetheless,bias field inhomogeneity in magnetic resonance imaging(MRI)poses challenges,potentially skewing volumetric measurements and undermining prognostic evaluation.AIM To investigate whether MRI bias field correction enhances the accuracy of volumetric assessment of infiltrative hepatocellular carcinoma treated with TACE,and to analyze how this improved measurement impacts prognostic prediction.METHODS We retrospectively collected data from 105 patients with invasive liver cancer who underwent TACE treatment at the Affiliated Hospital of Xuzhou Medical University from January 2020 to January 2024.The improved N4 bias field correction algorithm was applied to process MRI images,and the ETV before and after treatment was calculated.The ETV measurements before and after correction were compared,and their relationship with patient prognosis was analyzed.A Cox proportional hazards model was used to evaluate prognostic factors,with Martingale residual analysis determining the optimal cutoff value,followed by survival analysis.RESULTS Bias field correction significantly affected ETV measurements,with the corrected baseline ETV mean(505.235 cm^(3))being significantly lower than before correction(825.632 cm^(3),P<0.001).Cox analysis showed that the hazard ratio(HR)for corrected baseline ETV(HR=1.165,95%CI:1.069-1.268)was higher than before correction(HR=1.063,95%CI:1.031-1.095).Using 412 cm^(3) as the cutoff,the group with baseline ETV<415 cm^(3) had a longer median survival time compared to the≥415 cm^(3) group(18.523 months vs 8.926 months,P<0.001).The group with an ETV reduction rate≥41%had better prognosis than the<41%group(17.862 months vs 9.235 months,P=0.006).Multivariate analysis confirmed that ETV reduction rate(HR=0.412,P<0.001),Child-Pugh classification(HR=0.298,P<0.001),and Barcelona Clinic Liver Cancer stage(HR=0.578,P=0.045)were independent prognostic factors.CONCLUSION Volume imaging based on MRI bias field correction can improve the accuracy of evaluating the efficacy of TACE treatment for invasive liver cancer.The corrected ETV and its reduction rate can serve as independent indicators for predicting patient prognosis,providing important reference for developing individualized treatment strategies.展开更多
The Zenith Hydrostatic Delay(ZHD)is essential for high-precision Global Navigation Satellite System(GNSS)and Very Long Baseline Interferometry(VLBI)data processing.Accurate estimation of ZHD relies on in situ atmosphe...The Zenith Hydrostatic Delay(ZHD)is essential for high-precision Global Navigation Satellite System(GNSS)and Very Long Baseline Interferometry(VLBI)data processing.Accurate estimation of ZHD relies on in situ atmospheric pressure,which is primarily variable in the vertical direction.Current atmospheric pressure is either site-specific or has limited spatial coverage,necessitating vertical corrections for broader applicability.This study introduces a model that uses a Gaussian function for the vertical correction of atmospheric pressure when in situ meteorological observations are unavailable.Validation with the fifth-generation European Centre for Medium-Range Weather Forecasts reanalysis(ERA5)reveals an average Bias and RMS for the new model of 0.31 h Pa and 2.96 h Pa,respectively.This corresponds to improvements of 37.5%and 80.3%in terms of RMS compared to two commonly used models(T0and Tvmodels)that require in situ meteorological observations,respectively.Additional validation with radiosonde data shows an average Bias and RMS of 1.85 h Pa and 4.87 h Pa,corresponding to the improvement of 42.8%and 71.1%in RMS compared with T0and Tv models,respectively.These accuracies are sufficient for calculating ZHD to an accuracy of 1 mm by performing atmospheric pressure vertical correction.The new model can correct atmospheric pressure from meteorological stations or numerical weather forecasts to different heights of the troposphere.展开更多
There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Ne...There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Neural Regeneration Research(Sharma et al.,2024),because of oversight during final proof checking.The correct description should be“human-GABA receptor A-α1/β2/γ2L human embryonic kidney(HEK)recombinant cell line.”The authors apologize for any inconvenience this correction may cause for readers and editors of Neural Regeneration Research.展开更多
The hot deformation behavior of as-extruded Ti-6554 alloy was investigated through isothermal compression at 700–950°C and 0.001–1 s^(−1).The temperature rise under different deformation conditions was calculat...The hot deformation behavior of as-extruded Ti-6554 alloy was investigated through isothermal compression at 700–950°C and 0.001–1 s^(−1).The temperature rise under different deformation conditions was calculated,and the curve was corrected.The strain compensation constitutive model of as-extruded Ti-6554 alloy based on temperature rise correction was established.The microstructure evolution under different conditions was analyzed,and the dynamic recrystallization(DRX)mechanism was revealed.The results show that the flow stress decreases with the increase in strain rate and the decrease in deformation temperature.The deformation temperature rise gradually increases with the increase in strain rate and the decrease in deformation temperature.At 700°C/1 s^(−1),the temperature rise reaches 100°C.The corrected curve value is higher than the measured value,and the strain compensation constitutive model has high prediction accuracy.The precipitation of theαphase occurs during deformation in the twophase region,which promotes DRX process of theβphase.At low strain rate,the volume fraction of dynamic recrystallization increases with the increase in deformation temperature.DRX mechanism includes continuous DRX and discontinuous DRX.展开更多
Airborne area-array whisk-broom imaging systems typically adopt constant-speed scanning schemes.For large-inertia scanning systems,constant-speed scanning requires substantial time to complete the reversal motion,redu...Airborne area-array whisk-broom imaging systems typically adopt constant-speed scanning schemes.For large-inertia scanning systems,constant-speed scanning requires substantial time to complete the reversal motion,reducing the system's adaptability to high-speed reversal scanning and decreasing scanning efficiency.This study proposes a novel sinusoidal variable-speed roll scanning strategy,which reduces abrupt changes in speed and acceleration,minimizing time loss during reversals.Based on the forward image motion compensation strategy in the pitch direction,we establish a line-of-sight(LOS)position calculation model with vertical flight path correction(VFPC),ensuring that the central LOS of the scanned image remains stable on the same horizontal line,facilitating accurate image stitching in whisk-broom imaging.Through theoretical analysis and simulation experiments,the proposed method improves the scanning efficiency by approximately 18.6%at a 90o whiskbroom imaging angle under the same speed height ratio conditions.The new VFPC method enables wide-field,high-resolution imaging,achieving single-line LOS horizontal stability with an accuracy of better than O.4 mrad.The research is of great significance to promote the further development of airborne area-array whisk-broom imaging technology toward wider fields of view,higher speed height ratios,and greater scanning efficiency.展开更多
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.展开更多
基金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.
文摘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.
文摘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.
文摘AIM:To evaluate the visual outcomes of implantable collamer lenses(ICLs)and identify the possible risk factors for ICL axis misalignment,and consequently,repositioning,explanting,or exchanging at a specialized eye hospital in Saudi Arabia.METHODS:The medical records of 813 eyes with different refractive errors corrected with ICL implantation were identified and included in this single-arm retrospective cohort study.The following data were collected:demographic characteristics,primary diagnosis,preoperative refraction,anterior chamber depth(ACD),white-to-white(WTW)measurement,endothelial cell density(ECD),and axial length.Patients’satisfaction and complaints,and their postoperative refraction,vault depth,and axis alignment with the preoperative target,were reviewed during the postoperative period.Collectively,these data were correlated with symptomatic axis rotation and the need for repositioning,explantation,or exchange due to high or low ICL vaults.RESULTS:Of 813 eyes,27(3.32%),13(1.59%),and 11(1.35%)required ICL repositioning,ICL explantation only without exchange,and ICL explantation with the placement of a new ICL,respectively.The mean follow-up period was 37.5mo.The main cause of explanation or exchange was incorrect WTW measurement in seven(29.17%)eyes,followed by high vault in four(16.56%)eyes.ICL repositioning was required in 27(3.32%)eyes with considerable rotation.Only 2(0.24%)eyes developed cataracts that required ICL removal,and retinal complications were reported in 7(0.86%)eyes.Long-term glaucoma and corneal decompensation were not observed in this cohort.CONCLUSION:With a high safety profile and reversibility,ICL implantation is a good alternative to corneal-based refractive surgery in eyes unsuitable for laser vision correction.The rate of secondary procedures in our study was 6.26%.Old age is a risk factor for secondary surgical interventions in the repositioning group,whereas abnormal vault and toric ICL rotation in the explantation group necessitated subsequent surgical procedures.Overall,ICL implantation demonstrates a good efficacy index and safety profile in patients with diverse refractive errors.
基金supports by the National Natural Science Foundation of China(Nos.82201135)"2015"Cultivation Program for Reserve Talents for Academic Leaders of Nanjing Stomatological School,Medical School of Nanjing University(No.0223A204).
文摘Early correction of childhood malocclusion is timely managing morphological,structural,and functional abnormalities at different dentomaxillofacial developmental stages.The selection of appropriate imaging examination and comprehensive radiological diagnosis and analysis play an important role in early correction of childhood malocclusion.This expert consensus is a collaborative effort by multidisciplinary experts in dentistry across the nation based on the current clinical evidence,aiming to provide general guidance on appropriate imaging examination selection,comprehensive and accurate imaging assessment for early orthodontic treatment patients.
基金supported in part by the National Key Research and Development Program of China under Grant No.2024YFE0200600the Zhejiang Provincial Natural Science Foundation of China under Grant No.LR23F010005the Huawei Cooperation Project under Grant No.TC20240829036。
文摘Along with the proliferating research interest in semantic communication(Sem Com),joint source channel coding(JSCC)has dominated the attention due to the widely assumed existence in efficiently delivering information semantics.Nevertheless,this paper challenges the conventional JSCC paradigm and advocates for adopting separate source channel coding(SSCC)to enjoy a more underlying degree of freedom for optimization.We demonstrate that SSCC,after leveraging the strengths of the Large Language Model(LLM)for source coding and Error Correction Code Transformer(ECCT)complemented for channel coding,offers superior performance over JSCC.Our proposed framework also effectively highlights the compatibility challenges between Sem Com approaches and digital communication systems,particularly concerning the resource costs associated with the transmission of high-precision floating point numbers.Through comprehensive evaluations,we establish that assisted by LLM-based compression and ECCT-enhanced error correction,SSCC remains a viable and effective solution for modern communication systems.In other words,separate source channel coding is still what we need.
基金supported by the National Key Research and Development Program of China(Grant No.2020YFA0608000)the National Natural Science Foundation of China(Grant No.42030605)+1 种基金CAAI-MindSpore Academic Fund Research Projects(CAAIXSJLJJ2023MindSpore11)the program of China Scholarships Council(No.CXXM2101180001)。
文摘Accurate seasonal precipitation forecasts,especially for extreme events,are crucial to preventing meteorological hazards and their potential impacts on national development,social activity,and security.However,the intensity of summer precipitation is often largely underestimated in many current dynamic models.This study uses a deep learning method called Cycle-Consistent Generative Adversarial Networks(CycleGAN)to improve the seasonal forecasts for June-JulyAugust precipitation in southeastern China by the Nanjing University of Information Science and Technology Climate Forecast System(NUIST-CFS 1.0).The results suggest that the CycleGAN-based model significantly improves the accuracy in predicting the spatiotemporal distribution of summer precipitation compared to the traditional quantile mapping(QM)method.Using the unpaired bias-correction model,we can also obtain advanced forecasts of the frequency,intensity,and duration of extreme precipitation events over the dynamic model predictions.This study expands the potential applications of deep learning models toward improving seasonal precipitation forecasts.
基金supported by the National Clinical Key Specialty Project of China nos.GJLCZDZK-2023-01Shanghai Top Priority Research Center Project nos.2023ZZ02009+2 种基金National Natural Science Foundations of China Nos.82230030Clinical Innovation Project of Shanghai Shenkang Hospital Development Center nos.SHDC12021108Angelalign Scientific Research Fund no.EARD20220725046。
文摘Protrusive facial deformities,characterized by the forward displacement of the teeth and/or jaws beyond the normal range,affect a considerable portion of the population.The manifestations and morphological mechanisms of protrusive facial deformities are complex and diverse,requiring orthodontists to possess a high level of theoretical knowledge and practical experience in the relevant orthodontic field.To further optimize the correction of protrusive facial deformities,this consensus proposes that the morphological mechanisms and diagnosis of protrusive facial deformities should be analyzed and judged from multiple dimensions and factors to accurately formulate treatment plans.It emphasizes the use of orthodontic strategies,including jaw growth modification,tooth extraction or non-extraction for anterior teeth retraction,and maxillofacial vertical control.These strategies aim to reduce anterior teeth and lip protrusion,increase chin prominence,harmonize nasolabial and chin-lip relationships,and improve the facial profile of patients with protrusive facial deformities.For severe skeletal protrusive facial deformities,orthodonticorthognathic combined treatment may be suggested.This consensus summarizes the theoretical knowledge and clinical experience of numerous renowned oral experts nationwide,offering reference strategies for the correction of protrusive facial deformities.
基金the Research Grant of Kwangwoon University in 2024.
文摘Myocardial perfusion imaging(MPI),which uses single-photon emission computed tomography(SPECT),is a well-known estimating tool for medical diagnosis,employing the classification of images to show situations in coronary artery disease(CAD).The automatic classification of SPECT images for different techniques has achieved near-optimal accuracy when using convolutional neural networks(CNNs).This paper uses a SPECT classification framework with three steps:1)Image denoising,2)Attenuation correction,and 3)Image classification.Image denoising is done by a U-Net architecture that ensures effective image denoising.Attenuation correction is implemented by a convolution neural network model that can remove the attenuation that affects the feature extraction process of classification.Finally,a novel multi-scale diluted convolution(MSDC)network is proposed.It merges the features extracted in different scales and makes the model learn the features more efficiently.Three scales of filters with size 3×3 are used to extract features.All three steps are compared with state-of-the-art methods.The proposed denoising architecture ensures a high-quality image with the highest peak signal-to-noise ratio(PSNR)value of 39.7.The proposed classification method is compared with the five different CNN models,and the proposed method ensures better classification with an accuracy of 96%,precision of 87%,sensitivity of 87%,specificity of 89%,and F1-score of 87%.To demonstrate the importance of preprocessing,the classification model was analyzed without denoising and attenuation correction.
文摘BACKGROUND Transcatheter arterial chemoembolization(TACE)is a key treatment approach for advanced invasive liver cancer(infiltrative hepatocellular carcinoma).However,its therapeutic response can be difficult to evaluate accurately using conventional two-dimensional imaging criteria due to the tumor’s diffuse and multifocal growth pattern.Volumetric imaging,especially enhanced tumor volume(ETV),offers a more comprehensive assessment.Nonetheless,bias field inhomogeneity in magnetic resonance imaging(MRI)poses challenges,potentially skewing volumetric measurements and undermining prognostic evaluation.AIM To investigate whether MRI bias field correction enhances the accuracy of volumetric assessment of infiltrative hepatocellular carcinoma treated with TACE,and to analyze how this improved measurement impacts prognostic prediction.METHODS We retrospectively collected data from 105 patients with invasive liver cancer who underwent TACE treatment at the Affiliated Hospital of Xuzhou Medical University from January 2020 to January 2024.The improved N4 bias field correction algorithm was applied to process MRI images,and the ETV before and after treatment was calculated.The ETV measurements before and after correction were compared,and their relationship with patient prognosis was analyzed.A Cox proportional hazards model was used to evaluate prognostic factors,with Martingale residual analysis determining the optimal cutoff value,followed by survival analysis.RESULTS Bias field correction significantly affected ETV measurements,with the corrected baseline ETV mean(505.235 cm^(3))being significantly lower than before correction(825.632 cm^(3),P<0.001).Cox analysis showed that the hazard ratio(HR)for corrected baseline ETV(HR=1.165,95%CI:1.069-1.268)was higher than before correction(HR=1.063,95%CI:1.031-1.095).Using 412 cm^(3) as the cutoff,the group with baseline ETV<415 cm^(3) had a longer median survival time compared to the≥415 cm^(3) group(18.523 months vs 8.926 months,P<0.001).The group with an ETV reduction rate≥41%had better prognosis than the<41%group(17.862 months vs 9.235 months,P=0.006).Multivariate analysis confirmed that ETV reduction rate(HR=0.412,P<0.001),Child-Pugh classification(HR=0.298,P<0.001),and Barcelona Clinic Liver Cancer stage(HR=0.578,P=0.045)were independent prognostic factors.CONCLUSION Volume imaging based on MRI bias field correction can improve the accuracy of evaluating the efficacy of TACE treatment for invasive liver cancer.The corrected ETV and its reduction rate can serve as independent indicators for predicting patient prognosis,providing important reference for developing individualized treatment strategies.
基金supported by the National Natural Science Foundation of China(42304018)the National Natural Science Foundation of China(42330105,42064002,42074035)+3 种基金the Guangxi Natural Science Foundation of China(Guike AD23026177,2020GXNSFBA297145)the Foundation of Guilin University of Technology(GUTQDJJ6616032)Guangxi Key Laboratory of Spatial Information and Geomatics(21238-21-05)the Innovation Project of Guangxi Graduate Education(YCSW2023341)。
文摘The Zenith Hydrostatic Delay(ZHD)is essential for high-precision Global Navigation Satellite System(GNSS)and Very Long Baseline Interferometry(VLBI)data processing.Accurate estimation of ZHD relies on in situ atmospheric pressure,which is primarily variable in the vertical direction.Current atmospheric pressure is either site-specific or has limited spatial coverage,necessitating vertical corrections for broader applicability.This study introduces a model that uses a Gaussian function for the vertical correction of atmospheric pressure when in situ meteorological observations are unavailable.Validation with the fifth-generation European Centre for Medium-Range Weather Forecasts reanalysis(ERA5)reveals an average Bias and RMS for the new model of 0.31 h Pa and 2.96 h Pa,respectively.This corresponds to improvements of 37.5%and 80.3%in terms of RMS compared to two commonly used models(T0and Tvmodels)that require in situ meteorological observations,respectively.Additional validation with radiosonde data shows an average Bias and RMS of 1.85 h Pa and 4.87 h Pa,corresponding to the improvement of 42.8%and 71.1%in RMS compared with T0and Tv models,respectively.These accuracies are sufficient for calculating ZHD to an accuracy of 1 mm by performing atmospheric pressure vertical correction.The new model can correct atmospheric pressure from meteorological stations or numerical weather forecasts to different heights of the troposphere.
文摘There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Neural Regeneration Research(Sharma et al.,2024),because of oversight during final proof checking.The correct description should be“human-GABA receptor A-α1/β2/γ2L human embryonic kidney(HEK)recombinant cell line.”The authors apologize for any inconvenience this correction may cause for readers and editors of Neural Regeneration Research.
基金National Key R&D Program of China(2022YFB3706901)National Natural Science Foundation of China(52274382)Key Research and Development Program of Hubei Province(2022BAA024)。
文摘The hot deformation behavior of as-extruded Ti-6554 alloy was investigated through isothermal compression at 700–950°C and 0.001–1 s^(−1).The temperature rise under different deformation conditions was calculated,and the curve was corrected.The strain compensation constitutive model of as-extruded Ti-6554 alloy based on temperature rise correction was established.The microstructure evolution under different conditions was analyzed,and the dynamic recrystallization(DRX)mechanism was revealed.The results show that the flow stress decreases with the increase in strain rate and the decrease in deformation temperature.The deformation temperature rise gradually increases with the increase in strain rate and the decrease in deformation temperature.At 700°C/1 s^(−1),the temperature rise reaches 100°C.The corrected curve value is higher than the measured value,and the strain compensation constitutive model has high prediction accuracy.The precipitation of theαphase occurs during deformation in the twophase region,which promotes DRX process of theβphase.At low strain rate,the volume fraction of dynamic recrystallization increases with the increase in deformation temperature.DRX mechanism includes continuous DRX and discontinuous DRX.
基金Supported by the National Key Research and Development Program(2023YFC3107602)。
文摘Airborne area-array whisk-broom imaging systems typically adopt constant-speed scanning schemes.For large-inertia scanning systems,constant-speed scanning requires substantial time to complete the reversal motion,reducing the system's adaptability to high-speed reversal scanning and decreasing scanning efficiency.This study proposes a novel sinusoidal variable-speed roll scanning strategy,which reduces abrupt changes in speed and acceleration,minimizing time loss during reversals.Based on the forward image motion compensation strategy in the pitch direction,we establish a line-of-sight(LOS)position calculation model with vertical flight path correction(VFPC),ensuring that the central LOS of the scanned image remains stable on the same horizontal line,facilitating accurate image stitching in whisk-broom imaging.Through theoretical analysis and simulation experiments,the proposed method improves the scanning efficiency by approximately 18.6%at a 90o whiskbroom imaging angle under the same speed height ratio conditions.The new VFPC method enables wide-field,high-resolution imaging,achieving single-line LOS horizontal stability with an accuracy of better than O.4 mrad.The research is of great significance to promote the further development of airborne area-array whisk-broom imaging technology toward wider fields of view,higher speed height ratios,and greater scanning efficiency.
文摘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.
