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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Efficient cellular fusion of mononuclear precursors is the prerequisite for the generation of fully functional multinucleated bone-resorbing osteoclasts.However,the exact molecular factors and mechanisms controlling o...Efficient cellular fusion of mononuclear precursors is the prerequisite for the generation of fully functional multinucleated bone-resorbing osteoclasts.However,the exact molecular factors and mechanisms controlling osteoclast fusion remain incompletely understood.Here we identify RANKL-mediated activation of caspase-8 as early key event during osteoclast fusion.展开更多
Osteoclasts are multinucleated bone-resorbing cells,and their formation is tightly regulated to prevent excessive bone loss.However,the mechanisms by which osteoclast formation is restricted remain incompletely determ...Osteoclasts are multinucleated bone-resorbing cells,and their formation is tightly regulated to prevent excessive bone loss.However,the mechanisms by which osteoclast formation is restricted remain incompletely determined.Here,we found that sterol regulatory element binding protein 2(SREBP2)functions as a negative regulator of osteoclast formation and inflammatory bone loss.Cholesterols and SREBP2,a key transcription factor for cholesterol biosynthesis,increased in the late phase of osteoclastogenesis.展开更多
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.展开更多
We present quasi-exact ab initio path integral Monte Carlo(PIMC)results for the partial static density responses and local field factors of hydrogen in the warm dense matter regime,from solid density conditions to the...We present quasi-exact ab initio path integral Monte Carlo(PIMC)results for the partial static density responses and local field factors of hydrogen in the warm dense matter regime,from solid density conditions to the strongly compressed case.The full dynamic treatment of electrons and protons on the same footing allows us to rigorously quantify both electronic and ionic exchange–correlation effects in the system,and to compare the results with those of earlier incomplete models such as the archetypal uniform electron gas or electrons in a fixed ion snapshot potential that do not take into account the interplay between the two constituents.The full electronic density response is highly sensitive to electronic localization around the ions,and our results constitute unambiguous predictions for upcoming X-ray Thomson scattering experiments with hydrogen jets and fusion plasmas.All PIMC results are made freely available and can be used directly for a gamut of applications,including inertial confinement fusion calculations and the modeling of dense astrophysical objects.Moreover,they constitute invaluable benchmark data for approximate but computationally less demanding approaches such as density functional theory or PIMC within the fixed-node approximation.展开更多
Due to the uneven seabed and heaving of soil during pumping,incomplete soil plugs may occur during the installation of bucket foundations,and the impacts on the bearing capacities of bucket foundations need to be eval...Due to the uneven seabed and heaving of soil during pumping,incomplete soil plugs may occur during the installation of bucket foundations,and the impacts on the bearing capacities of bucket foundations need to be evaluated.In this paper,the contact ratio(the ratio of the top diameter of the soil plug to the diameter of the bucket)and the soil plug ratio(the ratio of the soil heave height to the skirt height)are defined to describe the shape and size of the incomplete soil plug.Then,finite element models are established to investigate the bearing capacities of bucket foundations with incomplete soil plugs and the influences of the contact ratios,and the soil plug ratios on the bearing capacities are analyzed.The results show that the vertical bearing capacity of bucket foundations in homogeneous soil continuously improves with the increase of the contact ratio.However,in normally consolidated soil,the vertical bearing capacity barely changes when the contact ratio is smaller than 0.75,while the bearing capacity suddenly increases when the contact ratio increases to 1 due to the change of failure mode.The contact ratio hardly affects the horizontal bearing capacity of bucket foundations.Moreover,the moment bearing capacity improves with the increase of the contact ratio for small aspect ratios,but hardly varies with increasing contact ratio for aspect ratios larger than 0.5.Consequently,the reduction coefficient method is proposed based on this analysis to calculate the bearing capacities of bucket foundations considering the influence of incomplete soil plugs.The comparison results show that the proposed reduction coefficient method can be used to evaluate the influences of incomplete soil plug on the bearing capacities of bucket foundations.展开更多
Hierarchical Text Classification(HTC)aims to match text to hierarchical labels.Existing methods overlook two critical issues:first,some texts cannot be fully matched to leaf node labels and need to be classified to th...Hierarchical Text Classification(HTC)aims to match text to hierarchical labels.Existing methods overlook two critical issues:first,some texts cannot be fully matched to leaf node labels and need to be classified to the correct parent node instead of treating leaf nodes as the final classification target.Second,error propagation occurs when a misclassification at a parent node propagates down the hierarchy,ultimately leading to inaccurate predictions at the leaf nodes.To address these limitations,we propose an uncertainty-guided HTC depth-aware model called DepthMatch.Specifically,we design an early stopping strategy with uncertainty to identify incomplete matching between text and labels,classifying them into the corresponding parent node labels.This approach allows us to dynamically determine the classification depth by leveraging evidence to quantify and accumulate uncertainty.Experimental results show that the proposed DepthMatch outperforms recent strong baselines on four commonly used public datasets:WOS(Web of Science),RCV1-V2(Reuters Corpus Volume I),AAPD(Arxiv Academic Paper Dataset),and BGC.Notably,on the BGC dataset,it improvesMicro-F1 andMacro-F1 scores by at least 1.09%and 1.74%,respectively.展开更多
This paper presents a novel cooperative value iteration(VI)-based adaptive dynamic programming method for multi-player differential game models with a convergence proof.The players are divided into two groups in the l...This paper presents a novel cooperative value iteration(VI)-based adaptive dynamic programming method for multi-player differential game models with a convergence proof.The players are divided into two groups in the learning process and adapt their policies sequentially.Our method removes the dependence of admissible initial policies,which is one of the main drawbacks of the PI-based frameworks.Furthermore,this algorithm enables the players to adapt their control policies without full knowledge of others’ system parameters or control laws.The efficacy of our method is illustrated by three examples.展开更多
At present,the operation and maintenance of photovoltaic power generation systems mainly comprise regular maintenance,breakdown maintenance,and condition-based maintenance,which is very likely to lead to over-or under...At present,the operation and maintenance of photovoltaic power generation systems mainly comprise regular maintenance,breakdown maintenance,and condition-based maintenance,which is very likely to lead to over-or under-repair of equipment.Therefore,a preventive maintenance and replacement strategy for PV power generation systems based on reliability as a constraint is proposed.First,a hybrid failure function with a decreasing service age factor and an increasing failure rate factor is introduced to describe the deterioration of PV power generation equipment,and the equipment is replaced when its reliability drops to the replacement threshold in the last cycle.Then,based on the reliability as a constraint,the average maintenance cost and availability of the equipment are considered,and the non-periodic incomplete maintenance model of the PV power generation system is established to obtain the optimal number of repairs,each maintenance cycle and the replacement cycle of the PV power generation system components.Next,the inverter of a PV power plant is used as a research object.The model in this paper is compared and analyzed with the equal cycle maintenance model without considering reliability and the maintenance model without considering the equipment replacement threshold,Through model comparison,when the optimal maintenance strategy is(0.80,4),the average maintenance cost of this paper’s model are decreased by 20.3%and 5.54%and the availability is increased by 0.2395% and 0.0337%,respectively,compared with the equal-cycle maintenance model without considering the reliability constraint and the maintenance model without considering the equipment replacement threshold.Therefore,this maintenance model can ensure the high reliability of PV plant operation while increasing the equipment availability to improve the system economy.展开更多
[Objectives]To investigate the effect and mechanism of Dachengqi Decoction and separated decoction on incomplete intestinal obstruction in rats.[Methods]80 healthy SD rats were selected to establish incomplete intesti...[Objectives]To investigate the effect and mechanism of Dachengqi Decoction and separated decoction on incomplete intestinal obstruction in rats.[Methods]80 healthy SD rats were selected to establish incomplete intestinal obstruction model by silk ligation.The dosage was 20 mL/kg for 3 d,and the damage index of ileocecal mucosa was analyzed;the morphology of ileocecal mucosa was observed by HE staining;the serum levels of IL-1α,IL-1β,IL-6,IL-18,Ach,NO,ET,IL-1,TNF-αand ultra-micro Na+-K+-ATPase were detected by ELISA.[Results]Compared with the model group,the mucosal damage index of Dachengqi Decoction and each separated decoction group decreased significantly(P<0.05);compared with the normal group and sham operation group,the serum level of IL-1,IL-6,TNF-αand other factors in the model group increased significantly(P<0.05);compared with the model group,the serum IL-1,IL-6 and TNF-αsecretion levels of rats in Dachengqi Decoction group and separated decoction group decreased(P<0.01).[Conclusions]Dachengqi Decoction and each separated decoction can effectively improve intestinal tissue pathological damage in the incomplete intestinal obstruction model rats,and reduce the inflammatory reaction in the rat body.展开更多
Since the inclusion of the low-altitude economy in the government work report during the National People’s Congress and the Chinese People’s Political Consultative Conference in March,many cities have sought to ente...Since the inclusion of the low-altitude economy in the government work report during the National People’s Congress and the Chinese People’s Political Consultative Conference in March,many cities have sought to enter this area first to seize the benefits of the low-altitude economy.According to incomplete statistics,17 provinces(municipalities,autonomous regions)in China have currently written the low-altitude economy into their 2024 government work report.In addition,cities such as Shenzhen,Guangzhou,Chengdu,Suzhou,Zhuhai,and Ganzhou have also included the low-altitude economy in their government work reports.More than 20 provincial and municipal governments,represented by Shenzhen,Hefei,Guangzhou and Chengdu,have introduced also policies to support the development of the low-altitude economy and its business ecosystem.展开更多
This article concerns the integral related to the transverse comoving distance and, in turn, to the luminosity distance both in the standard non-flat and flat cosmology. The purpose is to determine a straightforward m...This article concerns the integral related to the transverse comoving distance and, in turn, to the luminosity distance both in the standard non-flat and flat cosmology. The purpose is to determine a straightforward mathematical formulation for the luminosity distance as function of the transverse comoving distance for all cosmology cases with a non-zero cosmological constant by adopting a different mindset. The applied method deals with incomplete elliptical integrals of the first kind associated with the polynomial roots admitted in the comoving distance integral according to the scientific literature. The outcome shows that the luminosity distance can be obtained by the combination of an analytical solution followed by a numerical integration in order to account for the redshift. This solution is solely compared to the current Gaussian quadrature method used as basic recognized algorithm in standard cosmology.展开更多
According to the disease module hypothesis,the cellular components associated with a disease segregate in the same neighborhood of the human interactome,the map of biologically relevant molecular interactions.Yet,give...According to the disease module hypothesis,the cellular components associated with a disease segregate in the same neighborhood of the human interactome,the map of biologically relevant molecular interactions.Yet,given the incompleteness of the interactome and the limited knowledge of disease-associated genes,it is not obvious if the available data have sufficient coverage to map out modules associated with each disease.展开更多
文摘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.
基金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.
基金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 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 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 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.
基金supported by the Bayerische Forschungsstiftung to B.K.the Deutsche Forschungsgemeinschaft (CRC1181 to G.K.and G.S.+3 种基金SCHE 2062/1-1 to C.S.)funded by the Wellcome Trust Investigator Award (107964/Z/15/Z)the UK Dementia Research Institutefunded by BBSRC Discovery Fellowship (BB/T009543/1)。
文摘Efficient cellular fusion of mononuclear precursors is the prerequisite for the generation of fully functional multinucleated bone-resorbing osteoclasts.However,the exact molecular factors and mechanisms controlling osteoclast fusion remain incompletely understood.Here we identify RANKL-mediated activation of caspase-8 as early key event during osteoclast fusion.
基金supported by the National Institute of Arthritis and Musculoskeletal and Skin diseases (NIAMS)of NIH under Award Number R01 AR069562 and AR073156 (to K.H.P.-M.)by the National Research Foundation of Korea NRF2020R1A6A3A03037133 (to H.K.)+1 种基金by the support for the Rosensweig Genomics Center from The Tow Foundation,and by R03 AR068118 (to L.D.)NIH/NCI Cancer Center Support Grant P30 CA008748 (to L.D.)。
文摘Osteoclasts are multinucleated bone-resorbing cells,and their formation is tightly regulated to prevent excessive bone loss.However,the mechanisms by which osteoclast formation is restricted remain incompletely determined.Here,we found that sterol regulatory element binding protein 2(SREBP2)functions as a negative regulator of osteoclast formation and inflammatory bone loss.Cholesterols and SREBP2,a key transcription factor for cholesterol biosynthesis,increased in the late phase of osteoclastogenesis.
基金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 the Center for Advanced Systems Understanding(CASUS),financed by Germany’s Federal Ministry of Education and Research(BMBF)and the Saxon State Government out of the State Budget approved by the Saxon State Parliamentfunding from the European Research Council(ERC)under the European Union’s Horizon 2022 Research and Innovation Program(Grant Agreement No.101076233,“PREXTREME”).
文摘We present quasi-exact ab initio path integral Monte Carlo(PIMC)results for the partial static density responses and local field factors of hydrogen in the warm dense matter regime,from solid density conditions to the strongly compressed case.The full dynamic treatment of electrons and protons on the same footing allows us to rigorously quantify both electronic and ionic exchange–correlation effects in the system,and to compare the results with those of earlier incomplete models such as the archetypal uniform electron gas or electrons in a fixed ion snapshot potential that do not take into account the interplay between the two constituents.The full electronic density response is highly sensitive to electronic localization around the ions,and our results constitute unambiguous predictions for upcoming X-ray Thomson scattering experiments with hydrogen jets and fusion plasmas.All PIMC results are made freely available and can be used directly for a gamut of applications,including inertial confinement fusion calculations and the modeling of dense astrophysical objects.Moreover,they constitute invaluable benchmark data for approximate but computationally less demanding approaches such as density functional theory or PIMC within the fixed-node approximation.
基金financially supported by the National Science Fund for Distinguished Young Scholars of China(Grant No.51825904)the Research on the Form,Design Method and Weathering Resistance of Key Components of Novel Floating Support Structures for Offshore Photovoltaics(Grant No.2022YFB4200701).
文摘Due to the uneven seabed and heaving of soil during pumping,incomplete soil plugs may occur during the installation of bucket foundations,and the impacts on the bearing capacities of bucket foundations need to be evaluated.In this paper,the contact ratio(the ratio of the top diameter of the soil plug to the diameter of the bucket)and the soil plug ratio(the ratio of the soil heave height to the skirt height)are defined to describe the shape and size of the incomplete soil plug.Then,finite element models are established to investigate the bearing capacities of bucket foundations with incomplete soil plugs and the influences of the contact ratios,and the soil plug ratios on the bearing capacities are analyzed.The results show that the vertical bearing capacity of bucket foundations in homogeneous soil continuously improves with the increase of the contact ratio.However,in normally consolidated soil,the vertical bearing capacity barely changes when the contact ratio is smaller than 0.75,while the bearing capacity suddenly increases when the contact ratio increases to 1 due to the change of failure mode.The contact ratio hardly affects the horizontal bearing capacity of bucket foundations.Moreover,the moment bearing capacity improves with the increase of the contact ratio for small aspect ratios,but hardly varies with increasing contact ratio for aspect ratios larger than 0.5.Consequently,the reduction coefficient method is proposed based on this analysis to calculate the bearing capacities of bucket foundations considering the influence of incomplete soil plugs.The comparison results show that the proposed reduction coefficient method can be used to evaluate the influences of incomplete soil plug on the bearing capacities of bucket foundations.
基金sponsored by the National Key Research and Development Program of China(No.2021YFF0704100)the National Natural Science Foundation of China(No.62136002)+1 种基金the Chongqing Natural Science Foundation(No.cstc2022ycjh-bgzxm0004)the Science and Technology Commission of Chongqing Municipality(CSTB2023NSCQ-LZX0006),respectively.
文摘Hierarchical Text Classification(HTC)aims to match text to hierarchical labels.Existing methods overlook two critical issues:first,some texts cannot be fully matched to leaf node labels and need to be classified to the correct parent node instead of treating leaf nodes as the final classification target.Second,error propagation occurs when a misclassification at a parent node propagates down the hierarchy,ultimately leading to inaccurate predictions at the leaf nodes.To address these limitations,we propose an uncertainty-guided HTC depth-aware model called DepthMatch.Specifically,we design an early stopping strategy with uncertainty to identify incomplete matching between text and labels,classifying them into the corresponding parent node labels.This approach allows us to dynamically determine the classification depth by leveraging evidence to quantify and accumulate uncertainty.Experimental results show that the proposed DepthMatch outperforms recent strong baselines on four commonly used public datasets:WOS(Web of Science),RCV1-V2(Reuters Corpus Volume I),AAPD(Arxiv Academic Paper Dataset),and BGC.Notably,on the BGC dataset,it improvesMicro-F1 andMacro-F1 scores by at least 1.09%and 1.74%,respectively.
基金supported by the Industry-University-Research Cooperation Fund Project of the Eighth Research Institute of China Aerospace Science and Technology Corporation (USCAST2022-11)Aeronautical Science Foundation of China (20220001057001)。
文摘This paper presents a novel cooperative value iteration(VI)-based adaptive dynamic programming method for multi-player differential game models with a convergence proof.The players are divided into two groups in the learning process and adapt their policies sequentially.Our method removes the dependence of admissible initial policies,which is one of the main drawbacks of the PI-based frameworks.Furthermore,this algorithm enables the players to adapt their control policies without full knowledge of others’ system parameters or control laws.The efficacy of our method is illustrated by three examples.
基金This researchwas supported by the National Natural Science Foundation of China(Nos.51767017 and 51867015)the Basic Research and Innovation Group Project of Gansu(No.18JR3RA133)the Natural Science Foundation of Gansu(No.21JR7RA258).
文摘At present,the operation and maintenance of photovoltaic power generation systems mainly comprise regular maintenance,breakdown maintenance,and condition-based maintenance,which is very likely to lead to over-or under-repair of equipment.Therefore,a preventive maintenance and replacement strategy for PV power generation systems based on reliability as a constraint is proposed.First,a hybrid failure function with a decreasing service age factor and an increasing failure rate factor is introduced to describe the deterioration of PV power generation equipment,and the equipment is replaced when its reliability drops to the replacement threshold in the last cycle.Then,based on the reliability as a constraint,the average maintenance cost and availability of the equipment are considered,and the non-periodic incomplete maintenance model of the PV power generation system is established to obtain the optimal number of repairs,each maintenance cycle and the replacement cycle of the PV power generation system components.Next,the inverter of a PV power plant is used as a research object.The model in this paper is compared and analyzed with the equal cycle maintenance model without considering reliability and the maintenance model without considering the equipment replacement threshold,Through model comparison,when the optimal maintenance strategy is(0.80,4),the average maintenance cost of this paper’s model are decreased by 20.3%and 5.54%and the availability is increased by 0.2395% and 0.0337%,respectively,compared with the equal-cycle maintenance model without considering the reliability constraint and the maintenance model without considering the equipment replacement threshold.Therefore,this maintenance model can ensure the high reliability of PV plant operation while increasing the equipment availability to improve the system economy.
基金2023 Young and Middle-aged University Teachers Basic Scientific Research Ability Improvement Project in Guangxi(2023KY0299)High-level Key Discipline Construction Project of Traditional Chinese Medicine of National Administration of Traditional Chinese Medicine(zyyzdxk-2023165)+3 种基金Talent Training Project of Guangxi International Zhuang Medicine Hospital—"Young Seedling Project"(2022001)Guangxi Traditional Chinese Medicine Multidisciplinary and Interdisciplinary Innovation Team Project(GZKJ2309)High-level Talent Cultivation Innovation Team Funding Project of Guangxi University of Chinese Medicine(2022A008)2023 Three-Year Action Plan Project for High-Level Talent Team Construction of Guangxi International Zhuang Medicine Hospital(GZCX20231203,GZCX20231202).
文摘[Objectives]To investigate the effect and mechanism of Dachengqi Decoction and separated decoction on incomplete intestinal obstruction in rats.[Methods]80 healthy SD rats were selected to establish incomplete intestinal obstruction model by silk ligation.The dosage was 20 mL/kg for 3 d,and the damage index of ileocecal mucosa was analyzed;the morphology of ileocecal mucosa was observed by HE staining;the serum levels of IL-1α,IL-1β,IL-6,IL-18,Ach,NO,ET,IL-1,TNF-αand ultra-micro Na+-K+-ATPase were detected by ELISA.[Results]Compared with the model group,the mucosal damage index of Dachengqi Decoction and each separated decoction group decreased significantly(P<0.05);compared with the normal group and sham operation group,the serum level of IL-1,IL-6,TNF-αand other factors in the model group increased significantly(P<0.05);compared with the model group,the serum IL-1,IL-6 and TNF-αsecretion levels of rats in Dachengqi Decoction group and separated decoction group decreased(P<0.01).[Conclusions]Dachengqi Decoction and each separated decoction can effectively improve intestinal tissue pathological damage in the incomplete intestinal obstruction model rats,and reduce the inflammatory reaction in the rat body.
文摘Since the inclusion of the low-altitude economy in the government work report during the National People’s Congress and the Chinese People’s Political Consultative Conference in March,many cities have sought to enter this area first to seize the benefits of the low-altitude economy.According to incomplete statistics,17 provinces(municipalities,autonomous regions)in China have currently written the low-altitude economy into their 2024 government work report.In addition,cities such as Shenzhen,Guangzhou,Chengdu,Suzhou,Zhuhai,and Ganzhou have also included the low-altitude economy in their government work reports.More than 20 provincial and municipal governments,represented by Shenzhen,Hefei,Guangzhou and Chengdu,have introduced also policies to support the development of the low-altitude economy and its business ecosystem.
文摘This article concerns the integral related to the transverse comoving distance and, in turn, to the luminosity distance both in the standard non-flat and flat cosmology. The purpose is to determine a straightforward mathematical formulation for the luminosity distance as function of the transverse comoving distance for all cosmology cases with a non-zero cosmological constant by adopting a different mindset. The applied method deals with incomplete elliptical integrals of the first kind associated with the polynomial roots admitted in the comoving distance integral according to the scientific literature. The outcome shows that the luminosity distance can be obtained by the combination of an analytical solution followed by a numerical integration in order to account for the redshift. This solution is solely compared to the current Gaussian quadrature method used as basic recognized algorithm in standard cosmology.
文摘According to the disease module hypothesis,the cellular components associated with a disease segregate in the same neighborhood of the human interactome,the map of biologically relevant molecular interactions.Yet,given the incompleteness of the interactome and the limited knowledge of disease-associated genes,it is not obvious if the available data have sufficient coverage to map out modules associated with each disease.