This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence h...This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence has long extended beyond mathematics,making an impact on philosophy,systems science,and the humanities and social sciences.The paper analyzes the autonomy and completeness of human social systems,arguing that evolving human societies are generally self-consistent.However,if the completeness of a human social system is compromised,the system either maintains self-consistency,ceases to evolve forward,enters a death spiral,and eventually decays and disintegrates.Or the system addresses the completeness issue,enters a state of non-self-consistency,introduces new axioms,becomes self-governing again,and enters a new form.From the sociological perspective,this is articulated as social revolution-the system continues to evolve forward;the absence of social revolution-the system does not evolve forward(Jin,1988).展开更多
In numerous real-world healthcare applications,handling incomplete medical data poses significant challenges for missing value imputation and subsequent clustering or classification tasks.Traditional approaches often ...In numerous real-world healthcare applications,handling incomplete medical data poses significant challenges for missing value imputation and subsequent clustering or classification tasks.Traditional approaches often rely on statistical methods for imputation,which may yield suboptimal results and be computationally intensive.This paper aims to integrate imputation and clustering techniques to enhance the classification of incomplete medical data with improved accuracy.Conventional classification methods are ill-suited for incomplete medical data.To enhance efficiency without compromising accuracy,this paper introduces a novel approach that combines imputation and clustering for the classification of incomplete data.Initially,the linear interpolation imputation method alongside an iterative Fuzzy c-means clustering method is applied and followed by a classification algorithm.The effectiveness of the proposed approach is evaluated using multiple performance metrics,including accuracy,precision,specificity,and sensitivity.The encouraging results demonstrate that our proposed method surpasses classical approaches across various performance criteria.展开更多
The paper submits surprising results of systematical investigating a formal-ethical aspect of conjoining Wittgenstein＇s, Moore＇s, Parmenides＇, GSdel＇s, and Lukasiewicz＇s ideas. A critique of Wittgenstein＇s criti...The paper submits surprising results of systematical investigating a formal-ethical aspect of conjoining Wittgenstein＇s, Moore＇s, Parmenides＇, GSdel＇s, and Lukasiewicz＇s ideas. A critique of Wittgenstein＇s critique of the natural language of ethics and of metaphysics results in submitting and elaborating a new paradigm of metaphysics as formal axiology （in particular, formal ethics）. In result, the classical metaphysics and ethics of moral rigor are represented as two-valued algebraic systems of metaphysics and formal ethics respectively. By means of this algebraic model, all the well-known scandal-making metaphysical tenets of Parmenides are produced as translations of corresponding algebraic equations from the symbolic language to the natural one. At the level of submitted discrete mathematical model of formal axiology, Parmenides＇ metaphysical （formal-axiological） concepts ＂consistency＂ and ＂inconsistency,＂ ＂completeness＂ and ＂incompleteness＂ are compared with G^del＇s logic ones. Formal-axiological meanings of the words ＂consistency,＂ ＂incompleteness,＂ ＂being,＂ ＂nonbeing,＂ ＂movement,＂ ＂knowledge,＂ ＂belief,＂ etc., are considered as moral-evaluation-functions determined by one moral-evaluation-variable. Binary moral-evaluation-functions are studied as well. The functions are precisely defined by tables. Precise definitions of ＂formal-axiological-equivalence,＂ ＂formal-axiological-law,＂ and ＂formal-axiological contradiction＂ are submitted. Thus, one can either generate or examine formal-axiological equations of algebra of metaphysics by ＂computing＂ relevant compositions of moral-value-functions. Using this ＂moral-value-table-computation-technique,＂ one can arrive to a surprising conclusion that both the notorious sentence of Moore （called ＂epistemic paradox＂） and the incompleteness sentence of Godel are formally-axiologically inconsistent ones： Hence, they are formally-axiologically equivalent. For overcoming the negative psychological effect of such a surprising result, the author has used graphic models explicating the famous Lukasiewicz＇s statement ＂Logic is morality of thought and speech.＂展开更多
In this paper, we obtain a necessary and sufficient condition for the incompleteness of complex exponential system in Cα, where Cα is a weighted Banach space of complex continuous functions f on the real axis R with...In this paper, we obtain a necessary and sufficient condition for the incompleteness of complex exponential system in Cα, where Cα is a weighted Banach space of complex continuous functions f on the real axis R with f(t) exp{-α(t)} vanishing at infinity, in the uniform norm.展开更多
A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A, M) in Cα, where Cα is the weighted Banach space consisting of all complex continuous functions f on the re...A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A, M) in Cα, where Cα is the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t)) vanishing at infinity, in the uniform norm ‖f‖α = sup{|f(t)e-α(t)|: t ∈ R} with respect to the weight α(t). If the incompleteness holds, then the complex exponential system E(∧, M) is minimal and each function in the closure of the linear span of complex exponential system E(∧, M) can be extended to an entire function represented by a Taylor-Dirichlet series.展开更多
Objective:To compare the clinical efficacy of mifepristone-misoprostol medical management versus surgical curettage for first-trimester missed miscarriage,and to establish evidence-based sonographic cutoff values pred...Objective:To compare the clinical efficacy of mifepristone-misoprostol medical management versus surgical curettage for first-trimester missed miscarriage,and to establish evidence-based sonographic cutoff values predictive of incomplete abortion requiring surgical intervention.Methods:We retrospectively analyzed a cohort of 702 women diagnosed with first-trimester missed miscarriage between January 2020 and May 2023.Demographic characteristics and ultrasound parameters were systematically recorded.Receiver operating characteristic(ROC)curve analysis was performed to establish optimal sonographic cutoff values for predicting incomplete abortion requiring surgical intervention.Results:146 patients received medical treatment(mifepristone and misoprostol)and 556 underwent surgical curettage.At the 1-month follow-up,the medical group showed significantly greater endometrial thickness and longer postoperative bleeding duration than the surgical group(P<0.05).The menstrual volume reduction rate(23.56%)was significantly lower in the medical group than in the surgical group.The incomplete abortion rate was higher in the medical group(17.12%,25/146)than in the surgical group(2.88%,16/556).Among the medical group,14 patients(9.59%)required curettage due to incomplete abortion,while 11 cases resolved spontaneously after prolonged medication.ROC curve analysis identified two cut-off values indicating the need for surgical intervention:endometrial thickness>1.21 cm at 24 h post-medical abortion,and residual mass diameter>0.95 cm at 7 days post-medical abortion.Conclusions:Medical management of first-trimester missed miscarriage using mifepristone-misoprostol demonstrates comparable efficacy to surgical curettage.An endometrial thickness>1.21 cm at 24 h or residual tissue diameter>0.95 cm at 7 days post-medical abortion should prompt consideration of incomplete abortion.展开更多
Asia’s unhealed wounds and incomplete justice of WWII.WHILE Europe commemorated Nazi Germany’s defeat during the World War II in May 1945,few acknowledged that the war raged on for several more months in Asia,claimi...Asia’s unhealed wounds and incomplete justice of WWII.WHILE Europe commemorated Nazi Germany’s defeat during the World War II in May 1945,few acknowledged that the war raged on for several more months in Asia,claiming millions more lives before Japan officially signed the instrument of surrender on September 2,1945.展开更多
Necessary and sufficient conditions are obtained for the incompleteness and the minimality of the exponential system E（Λ,M） = {z l e λ n z ： l = 0,1,...,m n-1;n = 1,2,...} in the Banach space E 2 [σ] consisting ...Necessary and sufficient conditions are obtained for the incompleteness and the minimality of the exponential system E（Λ,M） = {z l e λ n z ： l = 0,1,...,m n-1;n = 1,2,...} in the Banach space E 2 [σ] consisting of some analytic functions in a half strip.If the incompleteness holds,each function in the closure of the linear span of exponential system E（Λ,M） can be extended to an analytic function represented by a Taylor-Dirichlet series.Moreover,by the conformal mapping ζ = φ（z） = e z ,the similar results hold for the incompleteness and the minimality of the power function system F （Λ,M） = {（log ζ） l ζ λ n ： l = 0,1,...,m n-1;n = 1,2,...} in the Banach space F 2 [σ] consisting of some analytic functions in a sector.展开更多
A necessary and sufficient condition is obtained for the incompleteness of complex exponential system in the weighted Banach space Lαp = {f：∫＋∞∞ ｜f（t）e-α（t）｜pdt ＋∞},where 1 ≤ p ＋∞ and α（t） is a we...A necessary and sufficient condition is obtained for the incompleteness of complex exponential system in the weighted Banach space Lαp = {f：∫＋∞∞ ｜f（t）e-α（t）｜pdt ＋∞},where 1 ≤ p ＋∞ and α（t） is a weight on R.展开更多
When multiple LCC-HVDC transmission lines are densely fed into a receiving AC system,voltage dips can easily propagate in the power system,resulting in multiple LCC commutation failures simultaneously.The VSC-HVDC can...When multiple LCC-HVDC transmission lines are densely fed into a receiving AC system,voltage dips can easily propagate in the power system,resulting in multiple LCC commutation failures simultaneously.The VSC-HVDC can be used to divide the receiving sys-tem into several interconnected sub-partitions and improve the voltage support capability of the receiving system.Compared with asyn-chronous interconnection,which completely separates the receiving systems with VSC-HVDC,incomplete segmentation with an AC connection is a more pertinent segmenting method for multilayer complex regional power grids.To analyze the voltage support capability of the VSC in incomplete segmentation,a micro-incremental model of the VSC was established,the operating impedance of the VSC was calculated,and the voltage support function of the VSC was quantified.The effect of the fault on the system short-circuit capacity was analyzed,and a calculation method for the multi-infeed short-circuit ratio in an incompletely segmented scenario was obtained.A VSC-segmented model of a two-infeed DC system was built on the EMTDC/PSCAD simulation platform,and the validity of the micro-increment model and accuracy of the proposed conclusions were verified.展开更多
The widespread usage of rechargeable batteries in portable devices,electric vehicles,and energy storage systems has underscored the importance for accurately predicting their lifetimes.However,data scarcity often limi...The widespread usage of rechargeable batteries in portable devices,electric vehicles,and energy storage systems has underscored the importance for accurately predicting their lifetimes.However,data scarcity often limits the accuracy of prediction models,which is escalated by the incompletion of data induced by the issues such as sensor failures.To address these challenges,we propose a novel approach to accommodate data insufficiency through achieving external information from incomplete data samples,which are usually discarded in existing studies.In order to fully unleash the prediction power of incomplete data,we have investigated the Multiple Imputation by Chained Equations(MICE)method that diversifies the training data through exploring the potential data patterns.The experimental results demonstrate that the proposed method significantly outperforms the baselines in the most considered scenarios while reducing the prediction root mean square error(RMSE)by up to 18.9%.Furthermore,we have also observed that the penetration of incomplete data benefits the explainability of the prediction model through facilitating the feature selection.展开更多
High complexity and uncertainty of air combat pose significant challenges to target intention prediction.Current interpolation methods for data pre-processing and wrangling have limitations in capturing interrelations...High complexity and uncertainty of air combat pose significant challenges to target intention prediction.Current interpolation methods for data pre-processing and wrangling have limitations in capturing interrelationships among intricate variable patterns.Accordingly,this study proposes a Mogrifier gate recurrent unit-D(Mog-GRU-D)model to address the com-bat target intention prediction issue under the incomplete infor-mation condition.The proposed model directly processes miss-ing data while reducing the independence between inputs and output states.A total of 1200 samples from twelve continuous moments are captured through the combat simulation system,each of which consists of seven dimensional features.To bench-mark the experiment,a missing valued dataset has been gener-ated by randomly removing 20%of the original data.Extensive experiments demonstrate that the proposed model obtains the state-of-the-art performance with an accuracy of 73.25%when dealing with incomplete information.This study provides possi-ble interpretations for the principle of target interactive mecha-nism,highlighting the model’s effectiveness in potential air war-fare implementation.展开更多
Post-colonoscopic colorectal cancer(PCCRC),also known as interval CRC,is defined as CRC diagnosed more than six months after a colonoscopy in which no cancer was detected.It typically arises from missed lesions or inc...Post-colonoscopic colorectal cancer(PCCRC),also known as interval CRC,is defined as CRC diagnosed more than six months after a colonoscopy in which no cancer was detected.It typically arises from missed lesions or incomplete resections and is now recognized as one of the most reliable quality indicators for assessing colonoscopy performance.With an incidence rate of 3.6%to 9.3%,PCCRC remains a significant concern,highlighting the limitations of colonoscopy in CRC screening—not only in terms of diagnostic accuracy but also in its preventive role and effectiveness in treating lesions.A range of clinical,endoscopic,and biological factors has been associated with an increased risk of PCCRC.Identifying these factors can help stratify high-risk patients,enabling earlier detection and improving preventive strategies for interval CRC.Reducing PCCRC should be a top priority for every endoscopy unit.While technological advancements will enhance polyp detection,minimize missed lesions,prevent incomplete resections,and improve overall procedural quality,the most impactful strategy remains internal self-assessment within each unit.This review should evaluate key performance metrics,including cecal intubation rate,adenoma detection rate,withdrawal time,PCCRC incidence,and incomplete resections—both at the individual endoscopist level and across the entire unit.展开更多
In this paper,a distributed adaptive dynamic programming(ADP)framework based on value iteration is proposed for multi-player differential games.In the game setting,players have no access to the information of others&#...In this paper,a distributed adaptive dynamic programming(ADP)framework based on value iteration is proposed for multi-player differential games.In the game setting,players have no access to the information of others'system parameters or control laws.Each player adopts an on-policy value iteration algorithm as the basic learning framework.To deal with the incomplete information structure,players collect a period of system trajectory data to compensate for the lack of information.The policy updating step is implemented by a nonlinear optimization problem aiming to search for the proximal admissible policy.Theoretical analysis shows that by adopting proximal policy searching rules,the approximated policies can converge to a neighborhood of equilibrium policies.The efficacy of our method is illustrated by three examples,which also demonstrate that the proposed method can accelerate the learning process compared with the centralized learning framework.展开更多
Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-...Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-factorization-of-tensors model under the Tucker decomposition framework.展开更多
Rock mass quality serves as a vital index for predicting the stability and safety status of rock tunnel faces.In tunneling practice,the rock mass quality is often assessed via a combination of qualitative and quantita...Rock mass quality serves as a vital index for predicting the stability and safety status of rock tunnel faces.In tunneling practice,the rock mass quality is often assessed via a combination of qualitative and quantitative parameters.However,due to the harsh on-site construction conditions,it is rather difficult to obtain some of the evaluation parameters which are essential for the rock mass quality prediction.In this study,a novel improved Swin Transformer is proposed to detect,segment,and quantify rock mass characteristic parameters such as water leakage,fractures,weak interlayers.The site experiment results demonstrate that the improved Swin Transformer achieves optimal segmentation results and achieving accuracies of 92%,81%,and 86%for water leakage,fractures,and weak interlayers,respectively.A multisource rock tunnel face characteristic(RTFC)dataset includes 11 parameters for predicting rock mass quality is established.Considering the limitations in predictive performance of incomplete evaluation parameters exist in this dataset,a novel tree-augmented naive Bayesian network(BN)is proposed to address the challenge of the incomplete dataset and achieved a prediction accuracy of 88%.In comparison with other commonly used Machine Learning models the proposed BN-based approach proved an improved performance on predicting the rock mass quality with the incomplete dataset.By utilizing the established BN,a further sensitivity analysis is conducted to quantitatively evaluate the importance of the various parameters,results indicate that the rock strength and fractures parameter exert the most significant influence on rock mass quality.展开更多
For unachievable tracking problems, where the system output cannot precisely track a given reference, achieving the best possible approximation for the reference trajectory becomes the objective. This study aims to in...For unachievable tracking problems, where the system output cannot precisely track a given reference, achieving the best possible approximation for the reference trajectory becomes the objective. This study aims to investigate solutions using the Ptype learning control scheme. Initially, we demonstrate the necessity of gradient information for achieving the best approximation.Subsequently, we propose an input-output-driven learning gain design to handle the imprecise gradients of a class of uncertain systems. However, it is discovered that the desired performance may not be attainable when faced with incomplete information.To address this issue, an extended iterative learning control scheme is introduced. In this scheme, the tracking errors are modified through output data sampling, which incorporates lowmemory footprints and offers flexibility in learning gain design.The input sequence is shown to converge towards the desired input, resulting in an output that is closest to the given reference in the least square sense. Numerical simulations are provided to validate the theoretical findings.展开更多
This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control l...This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control logic based on an on-chip delay-locked loop(DLL).The HYSAS scheme can provide a longer settling time for the capacitive digital-to-analog converter(CDAC)than the synchronous and asynchronous SAR ADC.Therefore,the issue of incomplete settling or ringing in the DAC voltage for cases of either on-chip or off-chip reference voltage can be solved to a large extent.In addition,the fore-ground calibration of the CDAC’s mismatch is performed with a finite-impulse-response bandpass filter(FIR-BPF)based least-mean-square(LMS)algorithm in an off-chip FPGA(field programmable gate array).Fabricated in 40-nm CMOS process,the proto-type ADC achieves 94.02-dB spurious-free dynamic range(SFDR),and 75.98-dB signal-to-noise-and-distortion ratio(SNDR)for a 2.88-MHz input under 18-MSPS sampling rate.展开更多
文摘This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence has long extended beyond mathematics,making an impact on philosophy,systems science,and the humanities and social sciences.The paper analyzes the autonomy and completeness of human social systems,arguing that evolving human societies are generally self-consistent.However,if the completeness of a human social system is compromised,the system either maintains self-consistency,ceases to evolve forward,enters a death spiral,and eventually decays and disintegrates.Or the system addresses the completeness issue,enters a state of non-self-consistency,introduces new axioms,becomes self-governing again,and enters a new form.From the sociological perspective,this is articulated as social revolution-the system continues to evolve forward;the absence of social revolution-the system does not evolve forward(Jin,1988).
基金supported by the Researchers Supporting Project number(RSP2024R 34),King Saud University,Riyadh,Saudi Arabia。
文摘In numerous real-world healthcare applications,handling incomplete medical data poses significant challenges for missing value imputation and subsequent clustering or classification tasks.Traditional approaches often rely on statistical methods for imputation,which may yield suboptimal results and be computationally intensive.This paper aims to integrate imputation and clustering techniques to enhance the classification of incomplete medical data with improved accuracy.Conventional classification methods are ill-suited for incomplete medical data.To enhance efficiency without compromising accuracy,this paper introduces a novel approach that combines imputation and clustering for the classification of incomplete data.Initially,the linear interpolation imputation method alongside an iterative Fuzzy c-means clustering method is applied and followed by a classification algorithm.The effectiveness of the proposed approach is evaluated using multiple performance metrics,including accuracy,precision,specificity,and sensitivity.The encouraging results demonstrate that our proposed method surpasses classical approaches across various performance criteria.
文摘The paper submits surprising results of systematical investigating a formal-ethical aspect of conjoining Wittgenstein＇s, Moore＇s, Parmenides＇, GSdel＇s, and Lukasiewicz＇s ideas. A critique of Wittgenstein＇s critique of the natural language of ethics and of metaphysics results in submitting and elaborating a new paradigm of metaphysics as formal axiology （in particular, formal ethics）. In result, the classical metaphysics and ethics of moral rigor are represented as two-valued algebraic systems of metaphysics and formal ethics respectively. By means of this algebraic model, all the well-known scandal-making metaphysical tenets of Parmenides are produced as translations of corresponding algebraic equations from the symbolic language to the natural one. At the level of submitted discrete mathematical model of formal axiology, Parmenides＇ metaphysical （formal-axiological） concepts ＂consistency＂ and ＂inconsistency,＂ ＂completeness＂ and ＂incompleteness＂ are compared with G^del＇s logic ones. Formal-axiological meanings of the words ＂consistency,＂ ＂incompleteness,＂ ＂being,＂ ＂nonbeing,＂ ＂movement,＂ ＂knowledge,＂ ＂belief,＂ etc., are considered as moral-evaluation-functions determined by one moral-evaluation-variable. Binary moral-evaluation-functions are studied as well. The functions are precisely defined by tables. Precise definitions of ＂formal-axiological-equivalence,＂ ＂formal-axiological-law,＂ and ＂formal-axiological contradiction＂ are submitted. Thus, one can either generate or examine formal-axiological equations of algebra of metaphysics by ＂computing＂ relevant compositions of moral-value-functions. Using this ＂moral-value-table-computation-technique,＂ one can arrive to a surprising conclusion that both the notorious sentence of Moore （called ＂epistemic paradox＂） and the incompleteness sentence of Godel are formally-axiologically inconsistent ones： Hence, they are formally-axiologically equivalent. For overcoming the negative psychological effect of such a surprising result, the author has used graphic models explicating the famous Lukasiewicz＇s statement ＂Logic is morality of thought and speech.＂
基金The NSFC (Grant No. 10371005 and 10071005} and SRF for ROCS. SEM.
文摘In this paper, we obtain a necessary and sufficient condition for the incompleteness of complex exponential system in Cα, where Cα is a weighted Banach space of complex continuous functions f on the real axis R with f(t) exp{-α(t)} vanishing at infinity, in the uniform norm.
基金This work was partially supported by the Research Foundation for Doctor Programme(Grant No.20060027023)the National Natural Science Foundation of China(Grant No.10671022)
文摘A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A, M) in Cα, where Cα is the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t)) vanishing at infinity, in the uniform norm ‖f‖α = sup{|f(t)e-α(t)|: t ∈ R} with respect to the weight α(t). If the incompleteness holds, then the complex exponential system E(∧, M) is minimal and each function in the closure of the linear span of complex exponential system E(∧, M) can be extended to an entire function represented by a Taylor-Dirichlet series.
基金supported by National Natural Science Foundation of China(Project approval number 82201825).
文摘Objective:To compare the clinical efficacy of mifepristone-misoprostol medical management versus surgical curettage for first-trimester missed miscarriage,and to establish evidence-based sonographic cutoff values predictive of incomplete abortion requiring surgical intervention.Methods:We retrospectively analyzed a cohort of 702 women diagnosed with first-trimester missed miscarriage between January 2020 and May 2023.Demographic characteristics and ultrasound parameters were systematically recorded.Receiver operating characteristic(ROC)curve analysis was performed to establish optimal sonographic cutoff values for predicting incomplete abortion requiring surgical intervention.Results:146 patients received medical treatment(mifepristone and misoprostol)and 556 underwent surgical curettage.At the 1-month follow-up,the medical group showed significantly greater endometrial thickness and longer postoperative bleeding duration than the surgical group(P<0.05).The menstrual volume reduction rate(23.56%)was significantly lower in the medical group than in the surgical group.The incomplete abortion rate was higher in the medical group(17.12%,25/146)than in the surgical group(2.88%,16/556).Among the medical group,14 patients(9.59%)required curettage due to incomplete abortion,while 11 cases resolved spontaneously after prolonged medication.ROC curve analysis identified two cut-off values indicating the need for surgical intervention:endometrial thickness>1.21 cm at 24 h post-medical abortion,and residual mass diameter>0.95 cm at 7 days post-medical abortion.Conclusions:Medical management of first-trimester missed miscarriage using mifepristone-misoprostol demonstrates comparable efficacy to surgical curettage.An endometrial thickness>1.21 cm at 24 h or residual tissue diameter>0.95 cm at 7 days post-medical abortion should prompt consideration of incomplete abortion.
文摘Asia’s unhealed wounds and incomplete justice of WWII.WHILE Europe commemorated Nazi Germany’s defeat during the World War II in May 1945,few acknowledged that the war raged on for several more months in Asia,claiming millions more lives before Japan officially signed the instrument of surrender on September 2,1945.
基金Supported by the National Natural Science Foundation of China (Grant No. 11071020)the Research Foundation for Doctor Program (Grant No. 20100003110004)
文摘Necessary and sufficient conditions are obtained for the incompleteness and the minimality of the exponential system E（Λ,M） = {z l e λ n z ： l = 0,1,...,m n-1;n = 1,2,...} in the Banach space E 2 [σ] consisting of some analytic functions in a half strip.If the incompleteness holds,each function in the closure of the linear span of exponential system E（Λ,M） can be extended to an analytic function represented by a Taylor-Dirichlet series.Moreover,by the conformal mapping ζ = φ（z） = e z ,the similar results hold for the incompleteness and the minimality of the power function system F （Λ,M） = {（log ζ） l ζ λ n ： l = 0,1,...,m n-1;n = 1,2,...} in the Banach space F 2 [σ] consisting of some analytic functions in a sector.
基金Supported by the National Natural Science Foundation of China (Grant No.10671022)the Research Fundfor the Doctoral of Higher Education (Grant No.20060027023)
文摘A necessary and sufficient condition is obtained for the incompleteness of complex exponential system in the weighted Banach space Lαp = {f：∫＋∞∞ ｜f（t）e-α（t）｜pdt ＋∞},where 1 ≤ p ＋∞ and α（t） is a weight on R.
基金supported by the State Grid Science and Technology Project 5108-202218280A-2-87-XG.
文摘When multiple LCC-HVDC transmission lines are densely fed into a receiving AC system,voltage dips can easily propagate in the power system,resulting in multiple LCC commutation failures simultaneously.The VSC-HVDC can be used to divide the receiving sys-tem into several interconnected sub-partitions and improve the voltage support capability of the receiving system.Compared with asyn-chronous interconnection,which completely separates the receiving systems with VSC-HVDC,incomplete segmentation with an AC connection is a more pertinent segmenting method for multilayer complex regional power grids.To analyze the voltage support capability of the VSC in incomplete segmentation,a micro-incremental model of the VSC was established,the operating impedance of the VSC was calculated,and the voltage support function of the VSC was quantified.The effect of the fault on the system short-circuit capacity was analyzed,and a calculation method for the multi-infeed short-circuit ratio in an incompletely segmented scenario was obtained.A VSC-segmented model of a two-infeed DC system was built on the EMTDC/PSCAD simulation platform,and the validity of the micro-increment model and accuracy of the proposed conclusions were verified.
文摘The widespread usage of rechargeable batteries in portable devices,electric vehicles,and energy storage systems has underscored the importance for accurately predicting their lifetimes.However,data scarcity often limits the accuracy of prediction models,which is escalated by the incompletion of data induced by the issues such as sensor failures.To address these challenges,we propose a novel approach to accommodate data insufficiency through achieving external information from incomplete data samples,which are usually discarded in existing studies.In order to fully unleash the prediction power of incomplete data,we have investigated the Multiple Imputation by Chained Equations(MICE)method that diversifies the training data through exploring the potential data patterns.The experimental results demonstrate that the proposed method significantly outperforms the baselines in the most considered scenarios while reducing the prediction root mean square error(RMSE)by up to 18.9%.Furthermore,we have also observed that the penetration of incomplete data benefits the explainability of the prediction model through facilitating the feature selection.
基金supported by the Aeronautical Science Foundation of China(2020Z023053002).
文摘High complexity and uncertainty of air combat pose significant challenges to target intention prediction.Current interpolation methods for data pre-processing and wrangling have limitations in capturing interrelationships among intricate variable patterns.Accordingly,this study proposes a Mogrifier gate recurrent unit-D(Mog-GRU-D)model to address the com-bat target intention prediction issue under the incomplete infor-mation condition.The proposed model directly processes miss-ing data while reducing the independence between inputs and output states.A total of 1200 samples from twelve continuous moments are captured through the combat simulation system,each of which consists of seven dimensional features.To bench-mark the experiment,a missing valued dataset has been gener-ated by randomly removing 20%of the original data.Extensive experiments demonstrate that the proposed model obtains the state-of-the-art performance with an accuracy of 73.25%when dealing with incomplete information.This study provides possi-ble interpretations for the principle of target interactive mecha-nism,highlighting the model’s effectiveness in potential air war-fare implementation.
文摘Post-colonoscopic colorectal cancer(PCCRC),also known as interval CRC,is defined as CRC diagnosed more than six months after a colonoscopy in which no cancer was detected.It typically arises from missed lesions or incomplete resections and is now recognized as one of the most reliable quality indicators for assessing colonoscopy performance.With an incidence rate of 3.6%to 9.3%,PCCRC remains a significant concern,highlighting the limitations of colonoscopy in CRC screening—not only in terms of diagnostic accuracy but also in its preventive role and effectiveness in treating lesions.A range of clinical,endoscopic,and biological factors has been associated with an increased risk of PCCRC.Identifying these factors can help stratify high-risk patients,enabling earlier detection and improving preventive strategies for interval CRC.Reducing PCCRC should be a top priority for every endoscopy unit.While technological advancements will enhance polyp detection,minimize missed lesions,prevent incomplete resections,and improve overall procedural quality,the most impactful strategy remains internal self-assessment within each unit.This review should evaluate key performance metrics,including cecal intubation rate,adenoma detection rate,withdrawal time,PCCRC incidence,and incomplete resections—both at the individual endoscopist level and across the entire unit.
基金supported by the Aeronautical Science Foundation of China(20220001057001)an Open Project of the National Key Laboratory of Air-based Information Perception and Fusion(202437)
文摘In this paper,a distributed adaptive dynamic programming(ADP)framework based on value iteration is proposed for multi-player differential games.In the game setting,players have no access to the information of others'system parameters or control laws.Each player adopts an on-policy value iteration algorithm as the basic learning framework.To deal with the incomplete information structure,players collect a period of system trajectory data to compensate for the lack of information.The policy updating step is implemented by a nonlinear optimization problem aiming to search for the proximal admissible policy.Theoretical analysis shows that by adopting proximal policy searching rules,the approximated policies can converge to a neighborhood of equilibrium policies.The efficacy of our method is illustrated by three examples,which also demonstrate that the proposed method can accelerate the learning process compared with the centralized learning framework.
基金supported by the National Natural Science Foundation of China(62272078)Chongqing Natural Science Foundation(CSTB2023NSCQ-LZX0069)the Science and Technology Research Program of Chongqing Municipal Education Commission(KJQN202300210)
文摘Dear Editor,This letter presents a novel latent factorization model for high dimensional and incomplete (HDI) tensor, namely the neural Tucker factorization (Neu Tuc F), which is a generic neural network-based latent-factorization-of-tensors model under the Tucker decomposition framework.
基金supported by the National Natural Science Foundation of China(Nos.52279107 and 52379106)the Qingdao Guoxin Jiaozhou Bay Second Submarine Tunnel Co.,Ltd.,the Academician and Expert Workstation of Yunnan Province(No.202205AF150015)the Science and Technology Innovation Project of YCIC Group Co.,Ltd.(No.YCIC-YF-2022-15)。
文摘Rock mass quality serves as a vital index for predicting the stability and safety status of rock tunnel faces.In tunneling practice,the rock mass quality is often assessed via a combination of qualitative and quantitative parameters.However,due to the harsh on-site construction conditions,it is rather difficult to obtain some of the evaluation parameters which are essential for the rock mass quality prediction.In this study,a novel improved Swin Transformer is proposed to detect,segment,and quantify rock mass characteristic parameters such as water leakage,fractures,weak interlayers.The site experiment results demonstrate that the improved Swin Transformer achieves optimal segmentation results and achieving accuracies of 92%,81%,and 86%for water leakage,fractures,and weak interlayers,respectively.A multisource rock tunnel face characteristic(RTFC)dataset includes 11 parameters for predicting rock mass quality is established.Considering the limitations in predictive performance of incomplete evaluation parameters exist in this dataset,a novel tree-augmented naive Bayesian network(BN)is proposed to address the challenge of the incomplete dataset and achieved a prediction accuracy of 88%.In comparison with other commonly used Machine Learning models the proposed BN-based approach proved an improved performance on predicting the rock mass quality with the incomplete dataset.By utilizing the established BN,a further sensitivity analysis is conducted to quantitatively evaluate the importance of the various parameters,results indicate that the rock strength and fractures parameter exert the most significant influence on rock mass quality.
基金supported by the National Natural Science Foundation of China (62173333, 12271522)Beijing Natural Science Foundation (Z210002)the Research Fund of Renmin University of China (2021030187)。
文摘For unachievable tracking problems, where the system output cannot precisely track a given reference, achieving the best possible approximation for the reference trajectory becomes the objective. This study aims to investigate solutions using the Ptype learning control scheme. Initially, we demonstrate the necessity of gradient information for achieving the best approximation.Subsequently, we propose an input-output-driven learning gain design to handle the imprecise gradients of a class of uncertain systems. However, it is discovered that the desired performance may not be attainable when faced with incomplete information.To address this issue, an extended iterative learning control scheme is introduced. In this scheme, the tracking errors are modified through output data sampling, which incorporates lowmemory footprints and offers flexibility in learning gain design.The input sequence is shown to converge towards the desired input, resulting in an output that is closest to the given reference in the least square sense. Numerical simulations are provided to validate the theoretical findings.
基金supported by Qingdao Hi-image Technologies Co., Ltdin part by the NSFC of China under Grant 62174149, 61974118, 62004156the National Key R&D Program of China under Grant 2022YFC2404902
文摘This paper presents a 16-bit,18-MSPS(million samples per second)flash-assisted successive-approximation-register(SAR)analog-to-digital converter(ADC)utilizing hybrid synchronous and asynchronous(HYSAS)timing control logic based on an on-chip delay-locked loop(DLL).The HYSAS scheme can provide a longer settling time for the capacitive digital-to-analog converter(CDAC)than the synchronous and asynchronous SAR ADC.Therefore,the issue of incomplete settling or ringing in the DAC voltage for cases of either on-chip or off-chip reference voltage can be solved to a large extent.In addition,the fore-ground calibration of the CDAC’s mismatch is performed with a finite-impulse-response bandpass filter(FIR-BPF)based least-mean-square(LMS)algorithm in an off-chip FPGA(field programmable gate array).Fabricated in 40-nm CMOS process,the proto-type ADC achieves 94.02-dB spurious-free dynamic range(SFDR),and 75.98-dB signal-to-noise-and-distortion ratio(SNDR)for a 2.88-MHz input under 18-MSPS sampling rate.
