Surface acoustic wave(SAW)is a powerful technique for investigating quantum phases appearing in twodimensional electron systems.The electrons respond to the piezoelectric field of SAW through screening,attenuating its...Surface acoustic wave(SAW)is a powerful technique for investigating quantum phases appearing in twodimensional electron systems.The electrons respond to the piezoelectric field of SAW through screening,attenuating its amplitude,and shifting its velocity,which is described by the relaxation model.In this work,we systematically study this interaction using orders of magnitude lower SAW amplitude than those in previous studies.At high magnetic fields,when electrons form highly correlated states such as the quantum Hall effect,we observe an anomalously large attenuation of SAW,while the acoustic speed remains considerably high,inconsistent with the conventional relaxation model.This anomaly exists only when the SAW power is sufficiently low.展开更多
logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test resu...logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.展开更多
Agricultural investment project selection is a complex multi-criteria decision-making problem,as agricultural projects are easily influenced by various risk factors,and the evaluation information provided by decisionm...Agricultural investment project selection is a complex multi-criteria decision-making problem,as agricultural projects are easily influenced by various risk factors,and the evaluation information provided by decisionmakers usually involves uncertainty and inconsistency.Existing literature primarily employed direct preference elicitation methods to address such issues,necessitating a great cognitive effort on the part of decision-makers during evaluation,specifically,determining the weights of criteria.In this study,we propose an indirect preference elicitation method,known as a preference disaggregation method,to learn decision-maker preference models fromdecision examples.To enhance evaluation ease,decision-makers merely need to compare pairs of alternatives with which they are familiar,also known as reference alternatives.Probabilistic linguistic preference relations are employed to account for the presence of incomplete and uncertain information in such pairwise comparisons.To address the inconsistency among a group of decision-makers,we develop a pair of 0-1mixed integer programming models that consider both the semantics of linguistic terms and the belief degrees of decision-makers.Finally,we conduct a case study and comparative analysis.Results reveal the effectiveness of the proposed model in solving agricultural investment project selection problems with uncertain and inconsistent decision information.展开更多
According to the second law of thermodynamics, as currently understood, any given transit of a system along the reversible path proceeds with a total entropy change equal to zero. The fact that this condition is also ...According to the second law of thermodynamics, as currently understood, any given transit of a system along the reversible path proceeds with a total entropy change equal to zero. The fact that this condition is also the identifier of thermodynamic equilibrium, makes each and every point along the reversible path a state of equilibrium, and the reversible path, as expressed by a noted thermodynamic author, “a dense succession of equilibrium states”. The difficulties with these notions are plural. The fact, for example, that systems need to be forced out of equilibrium via the expenditure of work, would make any spontaneous reversible process a consumer of work, this in opposition to common thermodynamic wisdom that makes spontaneous reversible processes the most efficient transformers of work-producing-potential into actual work. The solution to this and other related impasses is provided by Dialectical Thermodynamics via its previously proved notion assigning a negative entropy change to the energy upgrading process represented by the transformation of heat into work. The said solution is here exemplified with the ideal-gas phase isomerization of butane into isobutane.展开更多
The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the pro...The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.展开更多
A non-linear HIV-TB co-infection has been formulated and analyzed. The positivity and invariant region has been established. The disease free equilibrium and its stability has been determined. The local stability was ...A non-linear HIV-TB co-infection has been formulated and analyzed. The positivity and invariant region has been established. The disease free equilibrium and its stability has been determined. The local stability was determined and found to be stable under given conditions. The basic reproduction number was obtained and according to findings, co-infection diminishes when this number is less than unity, and persists when the number is greater than unity. The global stability of the endemic equilibrium was calculated. The impact of HIV on TB was established as well as the impact of TB on HIV. Numerical solution was also done and the findings indicate that when the rate of HIV treatment increases the latent TB increases while the co-infected population decreases. When the rate of HIV treatment decreases the latent TB population decreases and the co-infected population increases. Encouraging communities to prioritize the consistent treatment of HIV infected individuals must be emphasized in order to reduce the scourge of HIV-TB co-infection.展开更多
HIV is a retrovirus that infects and impairs the cells and functions of the immune system. It has caused a great challenge to global public health systems and leads to Acquired Immunodeficiency Syndrome (AIDS), if not...HIV is a retrovirus that infects and impairs the cells and functions of the immune system. It has caused a great challenge to global public health systems and leads to Acquired Immunodeficiency Syndrome (AIDS), if not attended to in good time. Antiretroviral therapy is used for managing the virus in a patient’s lifetime. Some of the symptoms of the disease include lean body mass and many opportunistic infections. This study has developed a SIAT mathematical model to investigate the impact of inconsistency in treatment of the disease. The arising non-linear differential equations have been obtained and analyzed. The DFE and its stability have been obtained and the study found that it is locally asymptotically stable when the basic reproduction number is less than unity. The endemic equilibrium has been obtained and found to be globally asymptotically stable when the basic reproduction number is greater than unity. Numerical solutions have been obtained and analyzed to give the trends in the spread dynamics. The inconsistency in treatment uptake has been analyzed through the numerical solutions. The study found that when the treatment rate of those infected increases, it leads to an increase in treatment population, which slows down the spread of HIV and vice versa. An increase in the rate of treatment of those with AIDS leads to a decrease in the AIDS population, the reverse happens when this rate decreases. The study recommends that the community involvement in advocating for consistent treatment of HIV to curb the spread of the disease.展开更多
Caleb Munyao,a 48-year-old middle-scale farmer from Kenya’s eastern region,understands the importance of water better than most.On his 13-hectare farm,where he grows maize,yellow beans,and mangoes,every drop of water...Caleb Munyao,a 48-year-old middle-scale farmer from Kenya’s eastern region,understands the importance of water better than most.On his 13-hectare farm,where he grows maize,yellow beans,and mangoes,every drop of water is precious.Kenya,like many countries in Africa,faces significant challenges in managing its water resources.The country’s water scarcity issues are exacerbated by climate change,rapid urbanisation,and inconsistent rainfall patterns.展开更多
This paper investigates the dividend problem with non-exponential discounting in a dual model.We assume that the dividends can only be paid at a bounded rate and that the surplus process is killed by an exponential ra...This paper investigates the dividend problem with non-exponential discounting in a dual model.We assume that the dividends can only be paid at a bounded rate and that the surplus process is killed by an exponential random variable.Since the non-exponential discount function leads to a time inconsistent control problem,we study the equilibrium HJB-equation and give the associated verification theorem.For the case of a mixture of exponential discount functions and exponential gains,we obtain the explicit equilibrium dividend strategy and the corresponding equilibrium value function.Besides,numerical examples are shown to illustrate our results.展开更多
In previous publications, the author has proposed a model of the electron’s internal structure, wherein a positively-charged negative mass outer shell and a negatively-charged positive mass central core are proposed ...In previous publications, the author has proposed a model of the electron’s internal structure, wherein a positively-charged negative mass outer shell and a negatively-charged positive mass central core are proposed to resolve the electron’s charge and mass inconsistencies. That model is modified in this document by assuming the electron’s radius is exactly equal to the classical electron radius. The attributes of the internal components of the electron’s structure have been recalculated accordingly. The shape of the electron is also predicted, and found to be slightly aspherical on the order of an oblate ellipsoid. This shape is attributed to centrifugal force and compliant outer shell material. It is interesting to note that all of the electron’s attributes, both external and internal, with the exception of mass and angular moment, are functions of the fine structure constant a, and can be calculated from just three additional constants: electron mass, Planck’s constant, and speed of light. In particular, the ratios of the outer shell charge and mass to the electron charge and mass, respectively, are 3/2a. The ratios of the central core charge and mass to the electron charge and mass, respectively, are 1-(3/2a). Attributes of the electron are compared with those of the muon. Charge and spin angular momentum are the same, while mass, magnetic moment, and radius appear to be related by the fine structure constant. The mass of the electron outer shell is nearly equal to the mass of the muon. The muon internal structure can be modeled exactly the same as for the electron, with exactly the same attribute relationships.展开更多
A model for the internal structure of the electron using classical physics equations has been previously published by the author. The model employs both positive and negative charges and positive and negative masses. ...A model for the internal structure of the electron using classical physics equations has been previously published by the author. The model employs both positive and negative charges and positive and negative masses. The internal attributes of the electron structure were calculated for both ring and spherical shapes. Further examination of the model reveals an instability for the ring shape. The spherical shape appears to be stable, but relies on tensile or compressive forces of the electron material for stability. The model is modified in this document to eliminate the dependency on material forces. Uniform stability is provided solely by balancing electrical and centrifugal forces. This stability is achieved by slightly elongating the sphere along the spin axis to create a prolate ellipsoid. The semi-major axis of the ellipsoid is the spin axis of the electron, and is calculated to be 1.20% longer than the semi-minor axis, which is the radius of the equator. Although the shape deviates slightly from a perfect sphere, the electric dipole moment is zero. In the author’s previously published document, the attributes of the internal components of the electron, such as charge and mass, were calculated and expressed as ratios to the classically measured values for the composite electron. It is interesting to note that all of these ratios are nearly the same as the inverse of the Fine Structure Constant, with differences of less than 15%. The electron model assumed that the outer surface charge was fixed and uniform. By allowing the charge to be mobile and the shape to have a particular ellipticity, it is shown that the calculated charge and mass ratios for the model can be exactly equal to the Fine Structure Constant and the Constant plus one. The electron radius predicted by the model is 15% greater than the Classical Electron Radius.展开更多
The existence of “strange trees” is proven and their paradoxical nature is discussed, due to which set theory is suspected of being contradictory. All proofs rely on informal set-theoretic reasoning, but without usi...The existence of “strange trees” is proven and their paradoxical nature is discussed, due to which set theory is suspected of being contradictory. All proofs rely on informal set-theoretic reasoning, but without using elements that were prohibited in axiomatic set theories in order to overcome the difficulties encountered by Cantor’s naive set theory. Therefore, in fact, the article deals with the possible inconsistency of existing axiomatic set theories, in particular, the ZFC theory. Strange trees appear when uncountable cardinals appear.展开更多
Broad consensus on climate change has made many countries set carbon peaking and carbon neutrality goals,which inspired Environmental,Social,and Governance(ESG)investment.Advocates of the concept seek to foster sustai...Broad consensus on climate change has made many countries set carbon peaking and carbon neutrality goals,which inspired Environmental,Social,and Governance(ESG)investment.Advocates of the concept seek to foster sustainable development of enterprises in terms of environment,society,and corporate governance.A bond linking the capital market and financing entities,credit rating agencies that evaluate corporate credit risk have gradually incorporated ESG factors into the credit rating system,which has boosted the development of ESG investment.China’s ESG investment started comparatively late,but it has been gaining momentum thanks to improved regulations and policies.Currently,ESG investment in China still faces multiple problems and challenges including underdeveloped infrastructure,inconsistent evaluation standards,and varied evaluation results.展开更多
The author’s earlier papers proposed a model of the electron’s internal structure comprised of both positive and negative masses and charges. Their relation to the fine structure constant a was calculated in the aut...The author’s earlier papers proposed a model of the electron’s internal structure comprised of both positive and negative masses and charges. Their relation to the fine structure constant a was calculated in the author’s previous paper. In this paper, more details of the model of the electron’s internal structure, in particular the thicknesses of its outer shell mass and charge, are calculated. Magnetostriction of the electron’s surface is generated by the electron’s spinning surface charge. It is calculated that this magnetostriction holds the electron together, counterbalancing the outward electrical and centrifugal forces. The results of these calculations enable the prediction that a sufficiently strong external magnetic field can split the electron into three equal pieces. The field strength would have to be on the order of at least 8% of the strength at the center of the electron. A model for the origin and creation of an electron from a gamma ray wave is proposed. Evidence is presented that, for certain transitions, mass might be quantized and that the quantum of mass would be 1/2a times the electron mass.展开更多
Currently, knowledge-based sharing and service system has been a hot issue and knowledge fusion, especially for implicit knowledge discovery, becomes the core of knowledge processing and optimization in the system. In...Currently, knowledge-based sharing and service system has been a hot issue and knowledge fusion, especially for implicit knowledge discovery, becomes the core of knowledge processing and optimization in the system. In the research, a knowledge fusion framework based on agricultural ontology and fusion rules was pro- posed, including knowledge extraction, clearing and annotation modules based on a- gricultural ontology, fusion rule construction, choosing and evaluation modules based on agricultural ontology and knowledge fusion module for users' demands. Finally, the significance of the framework to system of agricultural knowledge services was proved with the help of a case.展开更多
AIM: To identify the clinical outcomes of hepato-cellular carcinoma (HCC) patients with inconsistent α-fetoprotein (AFP) levels which were initially high and then low at recurrence.METHODS: We retrospectively include...AIM: To identify the clinical outcomes of hepato-cellular carcinoma (HCC) patients with inconsistent α-fetoprotein (AFP) levels which were initially high and then low at recurrence.METHODS: We retrospectively included 178 patients who underwent liver resection with high preoperative AFP levels (≥ 200 ng/dL). Sixty-nine HCC patients had recurrence during follow-up and were grouped by their AFP levels at recurrence: group Ⅰ, AFP ≤ 20 ng/dL (n = 16); group Ⅱ, AFP 20-200 ng/dL (n = 24); and group Ⅲ, AFP ≥ 200 ng/dL (n = 29). Their preoperative clinical characteristics, accumulated recurrence rate, and recurrence-to-death survival rate were compared. Three patients, one in each group, underwentliver resection twice for primary and recurrent HCC. AFP immunohistochemistry of primary and recurrent HCC specimens were examined.RESULTS: In this study, 23% of patients demon-strated normal AFP levels at HCC recurrence. The AFP levels in these patients were initially high. There were no significant differences in clinical characteristics between the three groups except for the mean recur-rence interval (21.8 ± 14.6, 12.3 ± 7.7, 8.3 ± 6.6 mo, respectively, P < 0.001) and survival time (40.2 ± 19.9, 36.1 ± 22.4, 21.9 ± 22.0 mo, respectively, P = 0.013). Tumor size > 5 cm, total bilirubin > 1.2 mg/dL, vessel invasion, Child classification B, group Ⅲ, and recurrence interval < 12 mo, were risk factors for survival rate. Cox regression analysis was performed and vessel invasion, group Ⅲ, and recurrence interval were independent risk factors. The recurrence inter-val was significant longer in group Ⅰ (P < 0.001). The recurrence-to-death survival rate was significantly bet-ter in group Ⅱ (P = 0.016). AFP staining was strong in the primary HCC specimens and was reduced at recur-rence in group Ⅰ specimens.CONCLUSION: Patients in group Ⅰ with inconsistent AFP levels had a longer recurrence interval and worse recurrence-to-death survival rate than those in group Ⅱ. This clinical presentation may be caused by a delay in the detection of HCC recurrence.展开更多
Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information wei...Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea "abandoning the old for the new", the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.展开更多
Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES)...Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.展开更多
Conventional reliability models of belt drive systems in the failure mode of fatigue are mainly based on the static stress strength interference model and its extended models, which cannot consider dynamic factors in ...Conventional reliability models of belt drive systems in the failure mode of fatigue are mainly based on the static stress strength interference model and its extended models, which cannot consider dynamic factors in the operational duration and be used for further availability analysis. In this paper, time-dependent reliability models, failure rate models and availability models of belt drive systems are developed based on the system dynamic equations with the dynamic stress and the material property degradation taken into account. In the proposed models, dynamic failure dependence and imperfect maintenance are taken into consideration. Furthermore, the issue of time scale inconsistency between system failure rate and system availability is proposed and addressed in the proposed system availability models. Besides, Monte Carlo simulations are carried out to validate the established models. The results from the proposed models and those from the Monte Carlo simulations show a consistency. Furthermore, the case studies show that the failure dependence, imperfect maintenance and the time scale inconsistency have significant influences on system availability. The independence assumption about the belt drive systems results in underestimations of both reliability and availability. Moreover, the neglect of the time scale inconsistency causes the underestimate of the system availability. Meanwhile, these influences show obvious time-dependent characteristics.展开更多
Test of consistency is critical for the analytic hierarchy process(AHP) methodology. When a pairwise comparison matrix(PCM) fails the consistency test, the decision maker(DM) needs to make revisions. The state of the ...Test of consistency is critical for the analytic hierarchy process(AHP) methodology. When a pairwise comparison matrix(PCM) fails the consistency test, the decision maker(DM) needs to make revisions. The state of the art focuses on changing a single entry or creating a new matrix based on the original inconsistent matrix so that the modified matrix can satisfy the consistency requirement. However, we have noticed that the reason that causes inconsistency is not only numerical inconsistency, but also logical inconsistency, which may play a more important role in the whole inconsistency. Therefore, to realize satisfactory consistency, first of all, we should change some entries that form a directed circuit to make the matrix logically consistent, and then adjust other entries within acceptable deviations to make the matrix numerically consistent while preserving most of the original comparison information. In this paper, we firstly present some definitions and theories, based on which two effective methods are provided to identify directed circuits. Four optimization models are proposed to adjust the original inconsistent matrix. Finally, illustrative examples and comparison studies show the effectiveness and feasibility of our method.展开更多
基金supported by the National Key Research and Development Program of China(Grant Nos.2021YFA1401900 and 2019YFA0308403)the Strategic Priority Research Program of the Chinese Academy of Sciences(Grant No.XDB33030000)+1 种基金the National Natural Science Foundation of China(Grant Nos.92065104,12074010,and 12141001)the Innovation Program for Quantum Science and Technology(Grant No.2021ZD0302602)for sample fabrication and measurement。
文摘Surface acoustic wave(SAW)is a powerful technique for investigating quantum phases appearing in twodimensional electron systems.The electrons respond to the piezoelectric field of SAW through screening,attenuating its amplitude,and shifting its velocity,which is described by the relaxation model.In this work,we systematically study this interaction using orders of magnitude lower SAW amplitude than those in previous studies.At high magnetic fields,when electrons form highly correlated states such as the quantum Hall effect,we observe an anomalously large attenuation of SAW,while the acoustic speed remains considerably high,inconsistent with the conventional relaxation model.This anomaly exists only when the SAW power is sufficiently low.
文摘logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.
文摘Agricultural investment project selection is a complex multi-criteria decision-making problem,as agricultural projects are easily influenced by various risk factors,and the evaluation information provided by decisionmakers usually involves uncertainty and inconsistency.Existing literature primarily employed direct preference elicitation methods to address such issues,necessitating a great cognitive effort on the part of decision-makers during evaluation,specifically,determining the weights of criteria.In this study,we propose an indirect preference elicitation method,known as a preference disaggregation method,to learn decision-maker preference models fromdecision examples.To enhance evaluation ease,decision-makers merely need to compare pairs of alternatives with which they are familiar,also known as reference alternatives.Probabilistic linguistic preference relations are employed to account for the presence of incomplete and uncertain information in such pairwise comparisons.To address the inconsistency among a group of decision-makers,we develop a pair of 0-1mixed integer programming models that consider both the semantics of linguistic terms and the belief degrees of decision-makers.Finally,we conduct a case study and comparative analysis.Results reveal the effectiveness of the proposed model in solving agricultural investment project selection problems with uncertain and inconsistent decision information.
文摘According to the second law of thermodynamics, as currently understood, any given transit of a system along the reversible path proceeds with a total entropy change equal to zero. The fact that this condition is also the identifier of thermodynamic equilibrium, makes each and every point along the reversible path a state of equilibrium, and the reversible path, as expressed by a noted thermodynamic author, “a dense succession of equilibrium states”. The difficulties with these notions are plural. The fact, for example, that systems need to be forced out of equilibrium via the expenditure of work, would make any spontaneous reversible process a consumer of work, this in opposition to common thermodynamic wisdom that makes spontaneous reversible processes the most efficient transformers of work-producing-potential into actual work. The solution to this and other related impasses is provided by Dialectical Thermodynamics via its previously proved notion assigning a negative entropy change to the energy upgrading process represented by the transformation of heat into work. The said solution is here exemplified with the ideal-gas phase isomerization of butane into isobutane.
文摘The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.
文摘A non-linear HIV-TB co-infection has been formulated and analyzed. The positivity and invariant region has been established. The disease free equilibrium and its stability has been determined. The local stability was determined and found to be stable under given conditions. The basic reproduction number was obtained and according to findings, co-infection diminishes when this number is less than unity, and persists when the number is greater than unity. The global stability of the endemic equilibrium was calculated. The impact of HIV on TB was established as well as the impact of TB on HIV. Numerical solution was also done and the findings indicate that when the rate of HIV treatment increases the latent TB increases while the co-infected population decreases. When the rate of HIV treatment decreases the latent TB population decreases and the co-infected population increases. Encouraging communities to prioritize the consistent treatment of HIV infected individuals must be emphasized in order to reduce the scourge of HIV-TB co-infection.
文摘HIV is a retrovirus that infects and impairs the cells and functions of the immune system. It has caused a great challenge to global public health systems and leads to Acquired Immunodeficiency Syndrome (AIDS), if not attended to in good time. Antiretroviral therapy is used for managing the virus in a patient’s lifetime. Some of the symptoms of the disease include lean body mass and many opportunistic infections. This study has developed a SIAT mathematical model to investigate the impact of inconsistency in treatment of the disease. The arising non-linear differential equations have been obtained and analyzed. The DFE and its stability have been obtained and the study found that it is locally asymptotically stable when the basic reproduction number is less than unity. The endemic equilibrium has been obtained and found to be globally asymptotically stable when the basic reproduction number is greater than unity. Numerical solutions have been obtained and analyzed to give the trends in the spread dynamics. The inconsistency in treatment uptake has been analyzed through the numerical solutions. The study found that when the treatment rate of those infected increases, it leads to an increase in treatment population, which slows down the spread of HIV and vice versa. An increase in the rate of treatment of those with AIDS leads to a decrease in the AIDS population, the reverse happens when this rate decreases. The study recommends that the community involvement in advocating for consistent treatment of HIV to curb the spread of the disease.
文摘Caleb Munyao,a 48-year-old middle-scale farmer from Kenya’s eastern region,understands the importance of water better than most.On his 13-hectare farm,where he grows maize,yellow beans,and mangoes,every drop of water is precious.Kenya,like many countries in Africa,faces significant challenges in managing its water resources.The country’s water scarcity issues are exacerbated by climate change,rapid urbanisation,and inconsistent rainfall patterns.
基金Supported by the Shandong Provincial Natural Science Foundation of China(ZR2020MA035 and ZR2023MA093)。
文摘This paper investigates the dividend problem with non-exponential discounting in a dual model.We assume that the dividends can only be paid at a bounded rate and that the surplus process is killed by an exponential random variable.Since the non-exponential discount function leads to a time inconsistent control problem,we study the equilibrium HJB-equation and give the associated verification theorem.For the case of a mixture of exponential discount functions and exponential gains,we obtain the explicit equilibrium dividend strategy and the corresponding equilibrium value function.Besides,numerical examples are shown to illustrate our results.
文摘In previous publications, the author has proposed a model of the electron’s internal structure, wherein a positively-charged negative mass outer shell and a negatively-charged positive mass central core are proposed to resolve the electron’s charge and mass inconsistencies. That model is modified in this document by assuming the electron’s radius is exactly equal to the classical electron radius. The attributes of the internal components of the electron’s structure have been recalculated accordingly. The shape of the electron is also predicted, and found to be slightly aspherical on the order of an oblate ellipsoid. This shape is attributed to centrifugal force and compliant outer shell material. It is interesting to note that all of the electron’s attributes, both external and internal, with the exception of mass and angular moment, are functions of the fine structure constant a, and can be calculated from just three additional constants: electron mass, Planck’s constant, and speed of light. In particular, the ratios of the outer shell charge and mass to the electron charge and mass, respectively, are 3/2a. The ratios of the central core charge and mass to the electron charge and mass, respectively, are 1-(3/2a). Attributes of the electron are compared with those of the muon. Charge and spin angular momentum are the same, while mass, magnetic moment, and radius appear to be related by the fine structure constant. The mass of the electron outer shell is nearly equal to the mass of the muon. The muon internal structure can be modeled exactly the same as for the electron, with exactly the same attribute relationships.
文摘A model for the internal structure of the electron using classical physics equations has been previously published by the author. The model employs both positive and negative charges and positive and negative masses. The internal attributes of the electron structure were calculated for both ring and spherical shapes. Further examination of the model reveals an instability for the ring shape. The spherical shape appears to be stable, but relies on tensile or compressive forces of the electron material for stability. The model is modified in this document to eliminate the dependency on material forces. Uniform stability is provided solely by balancing electrical and centrifugal forces. This stability is achieved by slightly elongating the sphere along the spin axis to create a prolate ellipsoid. The semi-major axis of the ellipsoid is the spin axis of the electron, and is calculated to be 1.20% longer than the semi-minor axis, which is the radius of the equator. Although the shape deviates slightly from a perfect sphere, the electric dipole moment is zero. In the author’s previously published document, the attributes of the internal components of the electron, such as charge and mass, were calculated and expressed as ratios to the classically measured values for the composite electron. It is interesting to note that all of these ratios are nearly the same as the inverse of the Fine Structure Constant, with differences of less than 15%. The electron model assumed that the outer surface charge was fixed and uniform. By allowing the charge to be mobile and the shape to have a particular ellipticity, it is shown that the calculated charge and mass ratios for the model can be exactly equal to the Fine Structure Constant and the Constant plus one. The electron radius predicted by the model is 15% greater than the Classical Electron Radius.
文摘The existence of “strange trees” is proven and their paradoxical nature is discussed, due to which set theory is suspected of being contradictory. All proofs rely on informal set-theoretic reasoning, but without using elements that were prohibited in axiomatic set theories in order to overcome the difficulties encountered by Cantor’s naive set theory. Therefore, in fact, the article deals with the possible inconsistency of existing axiomatic set theories, in particular, the ZFC theory. Strange trees appear when uncountable cardinals appear.
文摘Broad consensus on climate change has made many countries set carbon peaking and carbon neutrality goals,which inspired Environmental,Social,and Governance(ESG)investment.Advocates of the concept seek to foster sustainable development of enterprises in terms of environment,society,and corporate governance.A bond linking the capital market and financing entities,credit rating agencies that evaluate corporate credit risk have gradually incorporated ESG factors into the credit rating system,which has boosted the development of ESG investment.China’s ESG investment started comparatively late,but it has been gaining momentum thanks to improved regulations and policies.Currently,ESG investment in China still faces multiple problems and challenges including underdeveloped infrastructure,inconsistent evaluation standards,and varied evaluation results.
文摘The author’s earlier papers proposed a model of the electron’s internal structure comprised of both positive and negative masses and charges. Their relation to the fine structure constant a was calculated in the author’s previous paper. In this paper, more details of the model of the electron’s internal structure, in particular the thicknesses of its outer shell mass and charge, are calculated. Magnetostriction of the electron’s surface is generated by the electron’s spinning surface charge. It is calculated that this magnetostriction holds the electron together, counterbalancing the outward electrical and centrifugal forces. The results of these calculations enable the prediction that a sufficiently strong external magnetic field can split the electron into three equal pieces. The field strength would have to be on the order of at least 8% of the strength at the center of the electron. A model for the origin and creation of an electron from a gamma ray wave is proposed. Evidence is presented that, for certain transitions, mass might be quantized and that the quantum of mass would be 1/2a times the electron mass.
基金Supported by Specialized Funds of CASIndividual Service System of Agricultural Information in Tibet(2012-J-08)+1 种基金Science and Technology Funds of CASMultimedia Information Service in Rural Area based on 3G Information Terminal(201219)~~
文摘Currently, knowledge-based sharing and service system has been a hot issue and knowledge fusion, especially for implicit knowledge discovery, becomes the core of knowledge processing and optimization in the system. In the research, a knowledge fusion framework based on agricultural ontology and fusion rules was pro- posed, including knowledge extraction, clearing and annotation modules based on a- gricultural ontology, fusion rule construction, choosing and evaluation modules based on agricultural ontology and knowledge fusion module for users' demands. Finally, the significance of the framework to system of agricultural knowledge services was proved with the help of a case.
文摘AIM: To identify the clinical outcomes of hepato-cellular carcinoma (HCC) patients with inconsistent α-fetoprotein (AFP) levels which were initially high and then low at recurrence.METHODS: We retrospectively included 178 patients who underwent liver resection with high preoperative AFP levels (≥ 200 ng/dL). Sixty-nine HCC patients had recurrence during follow-up and were grouped by their AFP levels at recurrence: group Ⅰ, AFP ≤ 20 ng/dL (n = 16); group Ⅱ, AFP 20-200 ng/dL (n = 24); and group Ⅲ, AFP ≥ 200 ng/dL (n = 29). Their preoperative clinical characteristics, accumulated recurrence rate, and recurrence-to-death survival rate were compared. Three patients, one in each group, underwentliver resection twice for primary and recurrent HCC. AFP immunohistochemistry of primary and recurrent HCC specimens were examined.RESULTS: In this study, 23% of patients demon-strated normal AFP levels at HCC recurrence. The AFP levels in these patients were initially high. There were no significant differences in clinical characteristics between the three groups except for the mean recur-rence interval (21.8 ± 14.6, 12.3 ± 7.7, 8.3 ± 6.6 mo, respectively, P < 0.001) and survival time (40.2 ± 19.9, 36.1 ± 22.4, 21.9 ± 22.0 mo, respectively, P = 0.013). Tumor size > 5 cm, total bilirubin > 1.2 mg/dL, vessel invasion, Child classification B, group Ⅲ, and recurrence interval < 12 mo, were risk factors for survival rate. Cox regression analysis was performed and vessel invasion, group Ⅲ, and recurrence interval were independent risk factors. The recurrence inter-val was significant longer in group Ⅰ (P < 0.001). The recurrence-to-death survival rate was significantly bet-ter in group Ⅱ (P = 0.016). AFP staining was strong in the primary HCC specimens and was reduced at recur-rence in group Ⅰ specimens.CONCLUSION: Patients in group Ⅰ with inconsistent AFP levels had a longer recurrence interval and worse recurrence-to-death survival rate than those in group Ⅱ. This clinical presentation may be caused by a delay in the detection of HCC recurrence.
基金The National Natural Science Foundation of China (No60973003)
文摘Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea "abandoning the old for the new", the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.
基金supported by TATA Consultancy Services(TCS),India through TCS Research Fellowship Program
文摘Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.
基金Supported by Program for Liaoning Innovative Talents in University(Grant No.LR2017070)National Natural Science Foundation of China(Grant No.51505207)+1 种基金Open Foundation of Zhejiang Provincial Top Key Academic Discipline of Mechanical Engineering(Grant No.ZSTUME02A01)National Natural Science Foundation of China(Grant No.U1708255)
文摘Conventional reliability models of belt drive systems in the failure mode of fatigue are mainly based on the static stress strength interference model and its extended models, which cannot consider dynamic factors in the operational duration and be used for further availability analysis. In this paper, time-dependent reliability models, failure rate models and availability models of belt drive systems are developed based on the system dynamic equations with the dynamic stress and the material property degradation taken into account. In the proposed models, dynamic failure dependence and imperfect maintenance are taken into consideration. Furthermore, the issue of time scale inconsistency between system failure rate and system availability is proposed and addressed in the proposed system availability models. Besides, Monte Carlo simulations are carried out to validate the established models. The results from the proposed models and those from the Monte Carlo simulations show a consistency. Furthermore, the case studies show that the failure dependence, imperfect maintenance and the time scale inconsistency have significant influences on system availability. The independence assumption about the belt drive systems results in underestimations of both reliability and availability. Moreover, the neglect of the time scale inconsistency causes the underestimate of the system availability. Meanwhile, these influences show obvious time-dependent characteristics.
基金supported by the National Natural Science Foundation of China(61601501 61502521)
文摘Test of consistency is critical for the analytic hierarchy process(AHP) methodology. When a pairwise comparison matrix(PCM) fails the consistency test, the decision maker(DM) needs to make revisions. The state of the art focuses on changing a single entry or creating a new matrix based on the original inconsistent matrix so that the modified matrix can satisfy the consistency requirement. However, we have noticed that the reason that causes inconsistency is not only numerical inconsistency, but also logical inconsistency, which may play a more important role in the whole inconsistency. Therefore, to realize satisfactory consistency, first of all, we should change some entries that form a directed circuit to make the matrix logically consistent, and then adjust other entries within acceptable deviations to make the matrix numerically consistent while preserving most of the original comparison information. In this paper, we firstly present some definitions and theories, based on which two effective methods are provided to identify directed circuits. Four optimization models are proposed to adjust the original inconsistent matrix. Finally, illustrative examples and comparison studies show the effectiveness and feasibility of our method.