Liver cancer,and in particular hepatocellular carcinoma(HCC)is a disease of rising prevalence and incidence.To date,definitive treatment options include either surgical excision or ablation of the affected area.With i...Liver cancer,and in particular hepatocellular carcinoma(HCC)is a disease of rising prevalence and incidence.To date,definitive treatment options include either surgical excision or ablation of the affected area.With increasing research on several pathways that could be involved in the progression of HCC,new elements within these pathways emerge as potential targets for novel therapies.The WNT/β-catenin pathway favors the presence of M2 tumor-associated macrophages which in turn promote tumor growth and metastasis.The inhibition of this pathway is considered a good candidate for such targeted therapeutic interventions.Interestingly,as Huang et al show in their recently published article,Calculus bovis which is used in traditional Chinese medicine can exert an inhibitory effect on theβ-catenin pathway and become a potential candidate for targeted pharmacotherapy against liver cancer.展开更多
In this paper,the mechanism of the Wnt/β-catenin pathway is introduced,and the process and principle of the experiment conducted by Huang et al is explained.We discussed the reliability of the conclusion that Calculu...In this paper,the mechanism of the Wnt/β-catenin pathway is introduced,and the process and principle of the experiment conducted by Huang et al is explained.We discussed the reliability of the conclusion that Calculus bovis(C.bovis)inhibits M2 tumor-associated macrophage polarization via Wnt/β-catenin pathway modulation to suppress liver cancer.We also offer suggestions for further studies of the use of C.bovis in the treatment of liver cancer.展开更多
In this article,we comment on the work published by Huang et al,which explores the mechanisms by which Calculus bovis(CB)modulates the liver cancer immune microenvironment via the Wnt/β-catenin signalling pathway.The...In this article,we comment on the work published by Huang et al,which explores the mechanisms by which Calculus bovis(CB)modulates the liver cancer immune microenvironment via the Wnt/β-catenin signalling pathway.The study demon-strates that active components in CB effectively inhibit the activation of the Wnt/β-catenin pathway,significantly reducing the polarization of M2 tumor-associated macrophages.Both in vivo and in vitro experiments have validated the anti-tumour effects of CB,revealing its complex mechanisms of action through the modulation of immune cell functions within the tumour microenvironment.This article highlights CB’s therapeutic potential in liver cancer treatment and calls for further investigations into its mechanisms and clinical applications to develop safer,more effective options for patients.The study also revealed that key com-ponents of CB,such as bilirubin and bile acids,inhibit tumour cell proliferation and promote apoptosis through multiple pathways.Future research should explore the mechanisms of action of CB and its potential integration with existing treatments to improve the therapeutic outcomes of liver cancer patients.With multidisciplinary collaboration and advanced research,CB could become a key component of comprehensive liver cancer treatment,offering new hope for patients.展开更多
Hepatocellular carcinoma is one of the leading causes of cancer-related deaths globally,and effective treatments are urgently needed.The present study aimed to investigate the inhibitory effect of Calculus Bovis(CB)on...Hepatocellular carcinoma is one of the leading causes of cancer-related deaths globally,and effective treatments are urgently needed.The present study aimed to investigate the inhibitory effect of Calculus Bovis(CB)on liver cancer and the underlying mechanisms.CB inhibited M2 tumor-associated macrophage polarization and modulated the Wnt/β-catenin signaling pathway,thereby suppressing the proliferation of liver cancer cells.The inhibitory effect on liver cancer growth was confirmed by both in vivo and in vitro experiments(detailed by Huang et al).The present study provides a theoretical basis for the application of CB for the treatment of liver cancer,providing new avenues for liver cancer treatment.展开更多
BACKGROUND Liver fibrosis is a global health issue that lacks effective treatments.Tibetan medicine,with a long history,has accumulated rich experience in the treatment of chronic liver diseases.The saffron(Saf)and Ca...BACKGROUND Liver fibrosis is a global health issue that lacks effective treatments.Tibetan medicine,with a long history,has accumulated rich experience in the treatment of chronic liver diseases.The saffron(Saf)and Calculus bovis(Cal b)combination is among the most commonly used medicines in clinical practice in Tibetan medicine for hepatic disease.Its characteristic therapies and drug compatibility provide unique ideas for the treatment of liver fibrosis and have research value and application potential.AIM To investigate the efficacy of the Saf-Cal b therapy in treating liver fibrosis and explored its underlying mechanism.METHODS We initially established a carbon tetrachloride-induced rat liver fibrosis model to assess Saf-Cal b’s anti-fibrotic effects.Subsequently,we conducted network pharmacology analysis to identify the potential therapeutic targets and pathways of Saf-Cal b in liver fibrosis intervention.Finally,we performed in vivo validation of key regulatory targets.RESULTS Saf-Cal b combination therapy exerted superior effects in ameliorating liver fibrosis in model rats compared with Saf or Cal b monotherapy.Through network pharmacology prediction,key targets of the combination were identified.Mechanistic validation revealed that Saf-Cal b inhibited the p38 mitogen-activated protein kinases pathway,which in turn suppressed the transforming growth factor-β/small mother against decapentaplegic pathway.This sequential inhibition led to reduced activation of hepatic stellate cells,a central event in liver fibrosis progression.CONCLUSION These findings demonstrate that Saf-Cal b combination therapy is more effective than either monotherapy in alleviating liver fibrosis,with its therapeutic effect mediated through the p38 mitogen-activated protein kinases/transforming growth factor-β/small mother against decapentaplegic signaling axis,providing a potential therapeutic strategy for liver fibrosis.展开更多
We devote ourselves to finding exact solutions(including perturbed soliton solutions)to a class of semi-linear Schrödinger equations incorporating Kudryashov's self-phase modulation subject to stochastic pert...We devote ourselves to finding exact solutions(including perturbed soliton solutions)to a class of semi-linear Schrödinger equations incorporating Kudryashov's self-phase modulation subject to stochastic perturbations described by multiplicative white noise based on Stratonvich's calculus.By borrowing ideas of the sub-equation method and utilizing a series of changes of variables,we transform the problem of identifying exact solutions into the task of analyzing the dynamical behaviors of an auxiliary planar Hamiltonian dynamical system.We determine the equilibrium points of the introduced auxiliary Hamiltonian system and analyze their Lyapunov stability.Additionally,we conduct a brief bifurcation analysis and a preliminary chaos analysis of the auxiliary Hamiltonian system,assessing their impact on the Lyapunov stability.Based on the insights gained from investigating the dynamics of the introduced auxiliary Hamiltonian system,we discover‘all'of the exact solutions to the stochastic semi-linear Schrödinger equations under consideration.We obtain explicit formulas for exact solutions by examining the phase portrait of the introduced auxiliary Hamiltonian system.The obtained exact solutions include singular and periodic solutions,as well as perturbed bright and dark solitons.For each type of obtained exact solution,we pick one representative to plot its graph,so as to visually display our theoretical results.Compared with other methods for finding exact solutions to deterministic or stochastic partial differential equations,the dynamical system approach has the merit of yielding all possible exact solutions.The stochastic semi-linear Schrödinger equation under consideration can be used to portray the propagation of pulses in an optical fiber,so our study therefore lays the foundation for discovering new solitons optimized for optical communication and contributes to the improvement of optical technologies.展开更多
Liver cancer remains a significant global health challenge,characterized by high incidence and mortality rates.Despite advancements in medical treatments,the prognosis for liver cancer patients remains poor,highlighti...Liver cancer remains a significant global health challenge,characterized by high incidence and mortality rates.Despite advancements in medical treatments,the prognosis for liver cancer patients remains poor,highlighting the urgent need for novel therapeutic approaches.Traditional Chinese medicine(TCM),particularly Calculus bovis(CB),has shown promise in addressing this need due to its multitarget therapeutic mechanisms.CB refers to natural or synthetic gallstones,traditionally sourced from cattle,and used in TCM for their anti-inflammatory,detoxifying,and therapeutic properties.In modern practice,synthetic CB is often utilized to ensure consistent supply and safety.This article aims to discuss the findings of Huang et al,who investigated the anti-liver cancer properties of CB,focusing on its ability to inhibit M2 tumor-associated macrophage(TAM)polarization via modulation of the Wnt/β-catenin pathway.Huang et al employed a comprehensive approach integrating chemical analysis,animal model testing,and advanced bioinformatics.They identified active components of CB using UPLC-Q-TOF-MS,evaluated its anti-neoplastic effects in a nude mouse model,and elucidated the underlying mechanisms through network pharmacology,transcriptomics,and molecular docking studies.The study demonstrated that CB significantly inhibited liver tumor growth in vivo,as evidenced by reduced tumor size and weight in treated mice.Histological analyses confirmed signs of tumor regression.CB was found to modulate the tumor microenvironment by inhibiting the polarization of M2 phenotype-TAMs,as shown by reduced expression of M2 markers and downregulation of mRNA levels of C-C motif chemokine 22,arginase-1,transforming growth factor-beta 2,and interleukin-10.The study further revealed that CB’s antineoplastic activity involved the downregulation of Wnt5B andβ-catenin and upregulation of Axin2,thus inhibiting the Wnt/β-catenin signaling pathway.These findings highlight the therapeutic potential of CB in liver cancer treatment through its modulation of the Wnt/β-catenin pathway and suppression of M2 phenotype-TAM polarization.This study underscores the value of integrating TCM with modern therapeutic strategies to develop novel effective treatments for liver cancer.展开更多
A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calc...A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calculus system.展开更多
External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu's paper for this is...External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu's paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.展开更多
The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs). Li [1] gave an R-calculus for R-configura...The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs). Li [1] gave an R-calculus for R-configurations Δ|Γ,?where?Δ?is a set of atomic formulas or the negations of atomic formulas, and?Γ?is a finite set of formulas. In propositional logic programs, one R-calculus N will be given in this paper, such that N is sound and complete with respect to operator s(Δ,t), where s(Δ,t)is a pseudo-theory minimal change of t by?Δ.展开更多
AIM:To explore the interventional effects and mechanism of in vitro cultivated Calculus Bovis compound preparation(ICCBco) on pulmonary lesions in portal hypertensive rabbits with schistosomiasis. METHODS:The experime...AIM:To explore the interventional effects and mechanism of in vitro cultivated Calculus Bovis compound preparation(ICCBco) on pulmonary lesions in portal hypertensive rabbits with schistosomiasis. METHODS:The experimental group included 20 portal hypertensive rabbits with schistosomiasis treated by ICCBco.The control group included 20 portal hypertensive rabbits with schistosomiasis treated by praziquantel. The morphological changes of the pulmonary tissues were observed under light and electron microscopy.The expression of fibronectin(FN) and laminin(LN) in the lung tissues was analyzed by immunohistochemistry. RESULTS:Under light microscope,the alveolar exudation in the lung tissue was more frequently observed in the control group,while the alveolar space was fairly dry in the lung tissue of ICCBco group.Under electron microscope,more alveolar exudation in the lung tissue,and moremacrophages,alveolar angiotelectasis and the blurred three-tier structure of alveolar-capillary barrier could be seen in the control group.In ICCBco group,fibers within the alveolar interspace slightly increased in some lung regions,and the structure of typeⅠepithelium,basement membrane and endodermis was complete,and no obvious exudation from the alveolar space,and novascular congestion could be observed.There was a positive or strong positive expression of FN and LN in the lung tissue of the control group,while there was a negative or weak positive expression of FN and LN in ICCBco group. CONCLUSION:ICCBco can effectively prevent pulmonary complications in portal hypertensive rabbits with schistosomiasis by means of improving lung microcirculation and lowering the content of extracellular matrix.展开更多
Based on the fact that the real inductor and the real capacitor are fractional order in nature and the fractional calculus,the transfer function modeling and analysis of the open-loop Buck converter in a continuous co...Based on the fact that the real inductor and the real capacitor are fractional order in nature and the fractional calculus,the transfer function modeling and analysis of the open-loop Buck converter in a continuous conduction mode（CCM） operation are carried out in this paper.The fractional order small signal model and the corresponding equivalent circuit of the open-loop Buck converter in a CCM operation are presented.The transfer functions from the input voltage to the output voltage,from the input voltage to the inductor current,from the duty cycle to the output voltage,from the duty cycle to the inductor current,and the output impedance of the open-loop Buck converter in CCM operation are derived,and their bode diagrams and step responses are calculated,respectively.It is found that all the derived fractional order transfer functions of the system are influenced by the fractional orders of the inductor and the capacitor.Finally,the realization of the fractional order inductor and the fractional order capacitor is designed,and the corresponding PSIM circuit simulation results of the open-loop Buck converter in CCM operation are given to confirm the correctness of the derivations and the theoretical analysis.展开更多
BACKGROUND Calculus bovis(CB),used in traditional Chinese medicine,exhibits anti-tumor effects in various cancer models.It also constitutes an integral component of a compound formulation known as Pien Tze Huang,which...BACKGROUND Calculus bovis(CB),used in traditional Chinese medicine,exhibits anti-tumor effects in various cancer models.It also constitutes an integral component of a compound formulation known as Pien Tze Huang,which is indicated for the treatment of liver cancer.However,its impact on the liver cancer tumor microenvironment,particularly on tumor-associated macrophages(TAMs),is not well understood.AIM To elucidate the anti-liver cancer effect of CB by inhibiting M2-TAM polarization via Wnt/β-catenin pathway modulation.METHODS This study identified the active components of CB using UPLC-Q-TOF-MS,evaluated its anti-neoplastic effects in a nude mouse model,and elucidated the underlying mechanisms via network pharmacology,transcriptomics,and molecular docking.In vitro assays were used to investigate the effects of CB-containing serum on HepG2 cells and M2-TAMs,and Wnt pathway modulation was validated by real-time reverse transcriptase-polymerase chain reaction and Western blot analysis.RESULTS This study identified 22 active components in CB,11 of which were detected in the bloodstream.Preclinical investigations have demonstrated the ability of CB to effectively inhibit liver tumor growth.An integrated approach employing network pharmacology,transcriptomics,and molecular docking implicated the Wnt signaling pathway as a target of the antineoplastic activity of CB by suppressing M2-TAM polarization.In vitro and in vivo experiments further confirmed that CB significantly hinders M2-TAM polarization and suppresses Wnt/β-catenin pathway activation.The inhibitory effect of CB on M2-TAMs was reversed when treated with the Wnt agonist SKL2001,confirming its pathway specificity.CONCLUSION This study demonstrated that CB mediates inhibition of M2-TAM polarization through the Wnt/β-catenin pathway,contributing to the suppression of liver cancer growth.展开更多
The Open Flow implementations(SDNs) have been deployed increasingly on varieties of networks in research institutions as well as commercial institutions. To develop an Open Flow implementation, it is required to under...The Open Flow implementations(SDNs) have been deployed increasingly on varieties of networks in research institutions as well as commercial institutions. To develop an Open Flow implementation, it is required to understand the performance of the network. A few benchmark tools(e.g., Cbench and OFlops) can be used to measure the network performance, while these tools take considerable time to simulate traffic behaviors and generate the required results,therefore extending the development time. In this paper, we present an analytical model, which is based on stochastic network calculus theory, for evaluating the performance of switch to controller.The previous studies show that stochastic network calculus can provide realistic emulation of real network traffic behaviors. Our model is evaluated by using both simulation tool and realistic testbed.The results show the stochastic network calculus based analysis model can realistically measure the network performance of the end-to-end properties between controller and switch.展开更多
Many constitutive models exist to characterise the cyclic behaviour of granular soils but can only simulate deformations for very limited cycles. Fractional derivatives have been regarded as one potential instrument f...Many constitutive models exist to characterise the cyclic behaviour of granular soils but can only simulate deformations for very limited cycles. Fractional derivatives have been regarded as one potential instrument for modelling memory-dependent phenomena. In this paper, the physical connection between the fractional derivative order and the fractal dimension of granular soils is investigated in detail. Then a modified elasto-plastic constitutive model is proposed for evaluating the long-term deformation of granular soils under cyclic loading by incorporating the concept of fac- tional calculus. To describe the flow direction of granular soils under cyclic loading, a cyclic flow potential consider- ing particle breakage is used. Test results of several types of granular soils are used to validate the model performance.展开更多
The linear relationship between fractal dimensions of a type of generalized Weierstrass functions and the order of their fractional calculus has been proved. The graphs and numerical results given here further indicat...The linear relationship between fractal dimensions of a type of generalized Weierstrass functions and the order of their fractional calculus has been proved. The graphs and numerical results given here further indicate the corresponding relationship.展开更多
The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existi...The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existing model has two flaws:incompleteness of program refinement and inadequate automation of formal verification.This paper proposes an automatic algorithm programming model based on the improved Morgan’s refinement calculus.It extends the Morgan’s refinement calculus rules and designs the C++generation system for realizing the complete process of refinement.Meanwhile,the automation tools VCG(Verification Condition Generator)and Isabelle are used to improve the automation of formal verification.An example of a stock’s maximum income demonstrates the effectiveness of the proposed model.Furthermore,the proposed model has some relevance for automatic software generation.展开更多
文摘Liver cancer,and in particular hepatocellular carcinoma(HCC)is a disease of rising prevalence and incidence.To date,definitive treatment options include either surgical excision or ablation of the affected area.With increasing research on several pathways that could be involved in the progression of HCC,new elements within these pathways emerge as potential targets for novel therapies.The WNT/β-catenin pathway favors the presence of M2 tumor-associated macrophages which in turn promote tumor growth and metastasis.The inhibition of this pathway is considered a good candidate for such targeted therapeutic interventions.Interestingly,as Huang et al show in their recently published article,Calculus bovis which is used in traditional Chinese medicine can exert an inhibitory effect on theβ-catenin pathway and become a potential candidate for targeted pharmacotherapy against liver cancer.
文摘In this paper,the mechanism of the Wnt/β-catenin pathway is introduced,and the process and principle of the experiment conducted by Huang et al is explained.We discussed the reliability of the conclusion that Calculus bovis(C.bovis)inhibits M2 tumor-associated macrophage polarization via Wnt/β-catenin pathway modulation to suppress liver cancer.We also offer suggestions for further studies of the use of C.bovis in the treatment of liver cancer.
文摘In this article,we comment on the work published by Huang et al,which explores the mechanisms by which Calculus bovis(CB)modulates the liver cancer immune microenvironment via the Wnt/β-catenin signalling pathway.The study demon-strates that active components in CB effectively inhibit the activation of the Wnt/β-catenin pathway,significantly reducing the polarization of M2 tumor-associated macrophages.Both in vivo and in vitro experiments have validated the anti-tumour effects of CB,revealing its complex mechanisms of action through the modulation of immune cell functions within the tumour microenvironment.This article highlights CB’s therapeutic potential in liver cancer treatment and calls for further investigations into its mechanisms and clinical applications to develop safer,more effective options for patients.The study also revealed that key com-ponents of CB,such as bilirubin and bile acids,inhibit tumour cell proliferation and promote apoptosis through multiple pathways.Future research should explore the mechanisms of action of CB and its potential integration with existing treatments to improve the therapeutic outcomes of liver cancer patients.With multidisciplinary collaboration and advanced research,CB could become a key component of comprehensive liver cancer treatment,offering new hope for patients.
文摘Hepatocellular carcinoma is one of the leading causes of cancer-related deaths globally,and effective treatments are urgently needed.The present study aimed to investigate the inhibitory effect of Calculus Bovis(CB)on liver cancer and the underlying mechanisms.CB inhibited M2 tumor-associated macrophage polarization and modulated the Wnt/β-catenin signaling pathway,thereby suppressing the proliferation of liver cancer cells.The inhibitory effect on liver cancer growth was confirmed by both in vivo and in vitro experiments(detailed by Huang et al).The present study provides a theoretical basis for the application of CB for the treatment of liver cancer,providing new avenues for liver cancer treatment.
基金Supported by Tibetan Medicine Administration of Tibet Autonomous Region,No.JJKT2020006Key Research and Development Project of Tibet Autonomous Region,No.XZ202201ZY0019GNational Administration of Traditional Chinese Medicine High-level Key Discipline Construction Project,No.zyyzdxk-2023262.
文摘BACKGROUND Liver fibrosis is a global health issue that lacks effective treatments.Tibetan medicine,with a long history,has accumulated rich experience in the treatment of chronic liver diseases.The saffron(Saf)and Calculus bovis(Cal b)combination is among the most commonly used medicines in clinical practice in Tibetan medicine for hepatic disease.Its characteristic therapies and drug compatibility provide unique ideas for the treatment of liver fibrosis and have research value and application potential.AIM To investigate the efficacy of the Saf-Cal b therapy in treating liver fibrosis and explored its underlying mechanism.METHODS We initially established a carbon tetrachloride-induced rat liver fibrosis model to assess Saf-Cal b’s anti-fibrotic effects.Subsequently,we conducted network pharmacology analysis to identify the potential therapeutic targets and pathways of Saf-Cal b in liver fibrosis intervention.Finally,we performed in vivo validation of key regulatory targets.RESULTS Saf-Cal b combination therapy exerted superior effects in ameliorating liver fibrosis in model rats compared with Saf or Cal b monotherapy.Through network pharmacology prediction,key targets of the combination were identified.Mechanistic validation revealed that Saf-Cal b inhibited the p38 mitogen-activated protein kinases pathway,which in turn suppressed the transforming growth factor-β/small mother against decapentaplegic pathway.This sequential inhibition led to reduced activation of hepatic stellate cells,a central event in liver fibrosis progression.CONCLUSION These findings demonstrate that Saf-Cal b combination therapy is more effective than either monotherapy in alleviating liver fibrosis,with its therapeutic effect mediated through the p38 mitogen-activated protein kinases/transforming growth factor-β/small mother against decapentaplegic signaling axis,providing a potential therapeutic strategy for liver fibrosis.
基金partially supported by Qing Lan Project of Jiangsu,Suqian Sci.&Tech.Program(Grant Nos.Z2023131 and M202206)the Startup Foundation for Newly Recruited Employees,the Xichu Talents Foundation of Suqian University(Grant No.2022XRC033)the National Natural Science Foundation of China(Grant No.11701050)。
文摘We devote ourselves to finding exact solutions(including perturbed soliton solutions)to a class of semi-linear Schrödinger equations incorporating Kudryashov's self-phase modulation subject to stochastic perturbations described by multiplicative white noise based on Stratonvich's calculus.By borrowing ideas of the sub-equation method and utilizing a series of changes of variables,we transform the problem of identifying exact solutions into the task of analyzing the dynamical behaviors of an auxiliary planar Hamiltonian dynamical system.We determine the equilibrium points of the introduced auxiliary Hamiltonian system and analyze their Lyapunov stability.Additionally,we conduct a brief bifurcation analysis and a preliminary chaos analysis of the auxiliary Hamiltonian system,assessing their impact on the Lyapunov stability.Based on the insights gained from investigating the dynamics of the introduced auxiliary Hamiltonian system,we discover‘all'of the exact solutions to the stochastic semi-linear Schrödinger equations under consideration.We obtain explicit formulas for exact solutions by examining the phase portrait of the introduced auxiliary Hamiltonian system.The obtained exact solutions include singular and periodic solutions,as well as perturbed bright and dark solitons.For each type of obtained exact solution,we pick one representative to plot its graph,so as to visually display our theoretical results.Compared with other methods for finding exact solutions to deterministic or stochastic partial differential equations,the dynamical system approach has the merit of yielding all possible exact solutions.The stochastic semi-linear Schrödinger equation under consideration can be used to portray the propagation of pulses in an optical fiber,so our study therefore lays the foundation for discovering new solitons optimized for optical communication and contributes to the improvement of optical technologies.
文摘Liver cancer remains a significant global health challenge,characterized by high incidence and mortality rates.Despite advancements in medical treatments,the prognosis for liver cancer patients remains poor,highlighting the urgent need for novel therapeutic approaches.Traditional Chinese medicine(TCM),particularly Calculus bovis(CB),has shown promise in addressing this need due to its multitarget therapeutic mechanisms.CB refers to natural or synthetic gallstones,traditionally sourced from cattle,and used in TCM for their anti-inflammatory,detoxifying,and therapeutic properties.In modern practice,synthetic CB is often utilized to ensure consistent supply and safety.This article aims to discuss the findings of Huang et al,who investigated the anti-liver cancer properties of CB,focusing on its ability to inhibit M2 tumor-associated macrophage(TAM)polarization via modulation of the Wnt/β-catenin pathway.Huang et al employed a comprehensive approach integrating chemical analysis,animal model testing,and advanced bioinformatics.They identified active components of CB using UPLC-Q-TOF-MS,evaluated its anti-neoplastic effects in a nude mouse model,and elucidated the underlying mechanisms through network pharmacology,transcriptomics,and molecular docking studies.The study demonstrated that CB significantly inhibited liver tumor growth in vivo,as evidenced by reduced tumor size and weight in treated mice.Histological analyses confirmed signs of tumor regression.CB was found to modulate the tumor microenvironment by inhibiting the polarization of M2 phenotype-TAMs,as shown by reduced expression of M2 markers and downregulation of mRNA levels of C-C motif chemokine 22,arginase-1,transforming growth factor-beta 2,and interleukin-10.The study further revealed that CB’s antineoplastic activity involved the downregulation of Wnt5B andβ-catenin and upregulation of Axin2,thus inhibiting the Wnt/β-catenin signaling pathway.These findings highlight the therapeutic potential of CB in liver cancer treatment through its modulation of the Wnt/β-catenin pathway and suppression of M2 phenotype-TAM polarization.This study underscores the value of integrating TCM with modern therapeutic strategies to develop novel effective treatments for liver cancer.
文摘A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calculus system.
基金the National Natural Science Foundation of China (No. 60873034)
文摘External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu's paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.
文摘The AGM axiom system is for the belief revision (revision by a single belief), and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs). Li [1] gave an R-calculus for R-configurations Δ|Γ,?where?Δ?is a set of atomic formulas or the negations of atomic formulas, and?Γ?is a finite set of formulas. In propositional logic programs, one R-calculus N will be given in this paper, such that N is sound and complete with respect to operator s(Δ,t), where s(Δ,t)is a pseudo-theory minimal change of t by?Δ.
基金Supported by National Natural Science Foundation of China,No.A30170920
文摘AIM:To explore the interventional effects and mechanism of in vitro cultivated Calculus Bovis compound preparation(ICCBco) on pulmonary lesions in portal hypertensive rabbits with schistosomiasis. METHODS:The experimental group included 20 portal hypertensive rabbits with schistosomiasis treated by ICCBco.The control group included 20 portal hypertensive rabbits with schistosomiasis treated by praziquantel. The morphological changes of the pulmonary tissues were observed under light and electron microscopy.The expression of fibronectin(FN) and laminin(LN) in the lung tissues was analyzed by immunohistochemistry. RESULTS:Under light microscope,the alveolar exudation in the lung tissue was more frequently observed in the control group,while the alveolar space was fairly dry in the lung tissue of ICCBco group.Under electron microscope,more alveolar exudation in the lung tissue,and moremacrophages,alveolar angiotelectasis and the blurred three-tier structure of alveolar-capillary barrier could be seen in the control group.In ICCBco group,fibers within the alveolar interspace slightly increased in some lung regions,and the structure of typeⅠepithelium,basement membrane and endodermis was complete,and no obvious exudation from the alveolar space,and novascular congestion could be observed.There was a positive or strong positive expression of FN and LN in the lung tissue of the control group,while there was a negative or weak positive expression of FN and LN in ICCBco group. CONCLUSION:ICCBco can effectively prevent pulmonary complications in portal hypertensive rabbits with schistosomiasis by means of improving lung microcirculation and lowering the content of extracellular matrix.
基金Project supported by the National Natural Science Foundation of China (Grant No. 51007068)the Specialized Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20100201120028)+2 种基金the Natural Science Basic Research Plan in Shaanxi Province of China (Grant No. 2012JQ7026)the Fundamental Research Funds for the Central Universities of China (Grant No. 2012jdgz09)the State Key Laboratory of Electrical Insulation and Power Equipment of China (Grant No. EIPE12303)
文摘Based on the fact that the real inductor and the real capacitor are fractional order in nature and the fractional calculus,the transfer function modeling and analysis of the open-loop Buck converter in a continuous conduction mode（CCM） operation are carried out in this paper.The fractional order small signal model and the corresponding equivalent circuit of the open-loop Buck converter in a CCM operation are presented.The transfer functions from the input voltage to the output voltage,from the input voltage to the inductor current,from the duty cycle to the output voltage,from the duty cycle to the inductor current,and the output impedance of the open-loop Buck converter in CCM operation are derived,and their bode diagrams and step responses are calculated,respectively.It is found that all the derived fractional order transfer functions of the system are influenced by the fractional orders of the inductor and the capacitor.Finally,the realization of the fractional order inductor and the fractional order capacitor is designed,and the corresponding PSIM circuit simulation results of the open-loop Buck converter in CCM operation are given to confirm the correctness of the derivations and the theoretical analysis.
基金Supported by National Natural Science Foundation of China,No.82074450Education Department of Hunan Province,No.21A0243,No.21B0374,No.22B0397,and No.22B0392+2 种基金Research Project of"Academician Liu Liang Workstation"of Hunan University of Traditional Chinese Medicine,No.21YS003Hunan Administration of Traditional Chinese Medicine,No.B2023001 and No.B2023009Hunan Provincial Natural Science Foundation of China,No.2023JJ40481。
文摘BACKGROUND Calculus bovis(CB),used in traditional Chinese medicine,exhibits anti-tumor effects in various cancer models.It also constitutes an integral component of a compound formulation known as Pien Tze Huang,which is indicated for the treatment of liver cancer.However,its impact on the liver cancer tumor microenvironment,particularly on tumor-associated macrophages(TAMs),is not well understood.AIM To elucidate the anti-liver cancer effect of CB by inhibiting M2-TAM polarization via Wnt/β-catenin pathway modulation.METHODS This study identified the active components of CB using UPLC-Q-TOF-MS,evaluated its anti-neoplastic effects in a nude mouse model,and elucidated the underlying mechanisms via network pharmacology,transcriptomics,and molecular docking.In vitro assays were used to investigate the effects of CB-containing serum on HepG2 cells and M2-TAMs,and Wnt pathway modulation was validated by real-time reverse transcriptase-polymerase chain reaction and Western blot analysis.RESULTS This study identified 22 active components in CB,11 of which were detected in the bloodstream.Preclinical investigations have demonstrated the ability of CB to effectively inhibit liver tumor growth.An integrated approach employing network pharmacology,transcriptomics,and molecular docking implicated the Wnt signaling pathway as a target of the antineoplastic activity of CB by suppressing M2-TAM polarization.In vitro and in vivo experiments further confirmed that CB significantly hinders M2-TAM polarization and suppresses Wnt/β-catenin pathway activation.The inhibitory effect of CB on M2-TAMs was reversed when treated with the Wnt agonist SKL2001,confirming its pathway specificity.CONCLUSION This study demonstrated that CB mediates inhibition of M2-TAM polarization through the Wnt/β-catenin pathway,contributing to the suppression of liver cancer growth.
基金supported by the National Science and Technology Support Program (2014BAH24F01)the National Basic Research Program of China(2012CB3 15903)+3 种基金the Program for Key Science and Technology Innovation Team of Zhejiang Province (2011R50010-21,2013TD20)863 Program of China(2015AA015602,2015AA016103)the National Natural Science Foundation of China (61379118)the Fundamental Research Funds for the Central Universities
文摘The Open Flow implementations(SDNs) have been deployed increasingly on varieties of networks in research institutions as well as commercial institutions. To develop an Open Flow implementation, it is required to understand the performance of the network. A few benchmark tools(e.g., Cbench and OFlops) can be used to measure the network performance, while these tools take considerable time to simulate traffic behaviors and generate the required results,therefore extending the development time. In this paper, we present an analytical model, which is based on stochastic network calculus theory, for evaluating the performance of switch to controller.The previous studies show that stochastic network calculus can provide realistic emulation of real network traffic behaviors. Our model is evaluated by using both simulation tool and realistic testbed.The results show the stochastic network calculus based analysis model can realistically measure the network performance of the end-to-end properties between controller and switch.
基金financial supports provided by the Fundamental Research Funds (Grant 106112015CDJXY200008)
文摘Many constitutive models exist to characterise the cyclic behaviour of granular soils but can only simulate deformations for very limited cycles. Fractional derivatives have been regarded as one potential instrument for modelling memory-dependent phenomena. In this paper, the physical connection between the fractional derivative order and the fractal dimension of granular soils is investigated in detail. Then a modified elasto-plastic constitutive model is proposed for evaluating the long-term deformation of granular soils under cyclic loading by incorporating the concept of fac- tional calculus. To describe the flow direction of granular soils under cyclic loading, a cyclic flow potential consider- ing particle breakage is used. Test results of several types of granular soils are used to validate the model performance.
文摘The linear relationship between fractal dimensions of a type of generalized Weierstrass functions and the order of their fractional calculus has been proved. The graphs and numerical results given here further indicate the corresponding relationship.
基金Supported by the National Natural Science Foundation of China(61862033,61902162)Key Project of Science and Technology Research of Department of Education of Jiangxi Province(GJJ210307)Postgraduate Innovation Fund Project of Education Department of Jiangxi Province(YC2021-S306)。
文摘The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existing model has two flaws:incompleteness of program refinement and inadequate automation of formal verification.This paper proposes an automatic algorithm programming model based on the improved Morgan’s refinement calculus.It extends the Morgan’s refinement calculus rules and designs the C++generation system for realizing the complete process of refinement.Meanwhile,the automation tools VCG(Verification Condition Generator)and Isabelle are used to improve the automation of formal verification.An example of a stock’s maximum income demonstrates the effectiveness of the proposed model.Furthermore,the proposed model has some relevance for automatic software generation.
