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.展开更多
This paper focuses on fast algorithm for computing the assignment reduct in inconsistent incomplete decision systems. It is quite inconvenient to judge the assignment reduct directly ac-cording to its definition. We p...This paper focuses on fast algorithm for computing the assignment reduct in inconsistent incomplete decision systems. It is quite inconvenient to judge the assignment reduct directly ac-cording to its definition. We propose the judgment theorem for the assignment reduct in the inconsistent incomplete decision system, which greatly simplifies judging this type reduct. On such basis, we derive a novel attribute significance measure and construct the fast assignment reduction algorithm （F-ARA）, intended for com-puting the assignment reduct in inconsistent incomplete decision systems. Final y, we make a comparison between F-ARA and the discernibility matrix-based method by experiments on 13 Univer-sity of California at Irvine （UCI） datasets, and the experimental results prove that F-ARA is efficient and feasible.展开更多
This paper presents a new highly parallel algorithm for computing the minimum-norm least-squares solution of inconsistent linear equations Ax = b(A∈Rm×n,b∈R (A)). By this algorithm the solution x = A + b is obt...This paper presents a new highly parallel algorithm for computing the minimum-norm least-squares solution of inconsistent linear equations Ax = b(A∈Rm×n,b∈R (A)). By this algorithm the solution x = A + b is obtained in T = n(log2m + log2(n - r + 1) + 5) + log2m + 1 steps with P=mn processors when m × 2(n - 1) and with P = 2n(n - 1) processors otherwise.展开更多
In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose phot...In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose photo forgery.This paper proposed a novel and effective technique to expose image forgery using inconsistent reflection.More specifically,a new technique was presented to calculate reflection line midpoint,the definition of midpoint ratio was given,and three standards were proposed and employed to detect image forgery.Accuracy and effectiveness of the proposed technique were evaluated using a data set consisting of 200 authentic and forged images.Experimental results indicate that the proposed method can detect image forgery with very high success rate.展开更多
Traditionally, the AI community assumes that a knowledge base must be consistent. Despite that, there are many applications where, due to the existence of rules with exceptions, inconsistent knowledge must be consider...Traditionally, the AI community assumes that a knowledge base must be consistent. Despite that, there are many applications where, due to the existence of rules with exceptions, inconsistent knowledge must be considered. One way of restoring consistency is to withdraw conflicting rules;however, this will destroy part of the knowledge. Indeed, a better alternative would be to give precedence to exceptions. This paper proposes a dialogue system for coherent reasoning with inconsistent knowledge, which resolves conflicts by using precedence relations of three kinds: explicit precedence relation, which is synthesized from precedence rules;implicit precedence relation, which is synthesized from defeasible rules;mixed precedence relation, which is synthesized by combining explicit and implicit precedence relations.展开更多
This article describes some dynamic aspects on dynastic utility incorporating two-sided altruism with an OLG setting. The special case is analyzed where the weights of two-sided altruism are dynamically inconsistent. ...This article describes some dynamic aspects on dynastic utility incorporating two-sided altruism with an OLG setting. The special case is analyzed where the weights of two-sided altruism are dynamically inconsistent. The Bellman equation for two-sided altruism proves to be reduced to one-sided dynamic problem, but the effective discount factor is different only in the current generation. It is shown that a contraction mapping result of value function cannot be achieved in general, and that there can locally exist an infinite number of self-consistent policy functions of the class C＂ with distinct steady states （indeterminacy of self-consistent, differentiable policy functions）.展开更多
文摘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.
基金supported by the National Natural Science Foundation of China(61363047)the Jiangxi Education Department(GJJ13760)the Science and Technology Support Foundation of Jiangxi Province(20111BBE50008)
文摘This paper focuses on fast algorithm for computing the assignment reduct in inconsistent incomplete decision systems. It is quite inconvenient to judge the assignment reduct directly ac-cording to its definition. We propose the judgment theorem for the assignment reduct in the inconsistent incomplete decision system, which greatly simplifies judging this type reduct. On such basis, we derive a novel attribute significance measure and construct the fast assignment reduction algorithm （F-ARA）, intended for com-puting the assignment reduct in inconsistent incomplete decision systems. Final y, we make a comparison between F-ARA and the discernibility matrix-based method by experiments on 13 Univer-sity of California at Irvine （UCI） datasets, and the experimental results prove that F-ARA is efficient and feasible.
基金This project is supported by the National Natural Science Foundation of China
文摘This paper presents a new highly parallel algorithm for computing the minimum-norm least-squares solution of inconsistent linear equations Ax = b(A∈Rm×n,b∈R (A)). By this algorithm the solution x = A + b is obtained in T = n(log2m + log2(n - r + 1) + 5) + log2m + 1 steps with P=mn processors when m × 2(n - 1) and with P = 2n(n - 1) processors otherwise.
基金Fundamental Research Funds for the Central Universities,China
文摘In recent years,there has been a backlash of sorts and the authenticity of images has been routinely questioned.Seeing is no longer believing.There is an urgent need for robust image forensic techniques to expose photo forgery.This paper proposed a novel and effective technique to expose image forgery using inconsistent reflection.More specifically,a new technique was presented to calculate reflection line midpoint,the definition of midpoint ratio was given,and three standards were proposed and employed to detect image forgery.Accuracy and effectiveness of the proposed technique were evaluated using a data set consisting of 200 authentic and forged images.Experimental results indicate that the proposed method can detect image forgery with very high success rate.
文摘Traditionally, the AI community assumes that a knowledge base must be consistent. Despite that, there are many applications where, due to the existence of rules with exceptions, inconsistent knowledge must be considered. One way of restoring consistency is to withdraw conflicting rules;however, this will destroy part of the knowledge. Indeed, a better alternative would be to give precedence to exceptions. This paper proposes a dialogue system for coherent reasoning with inconsistent knowledge, which resolves conflicts by using precedence relations of three kinds: explicit precedence relation, which is synthesized from precedence rules;implicit precedence relation, which is synthesized from defeasible rules;mixed precedence relation, which is synthesized by combining explicit and implicit precedence relations.
文摘This article describes some dynamic aspects on dynastic utility incorporating two-sided altruism with an OLG setting. The special case is analyzed where the weights of two-sided altruism are dynamically inconsistent. The Bellman equation for two-sided altruism proves to be reduced to one-sided dynamic problem, but the effective discount factor is different only in the current generation. It is shown that a contraction mapping result of value function cannot be achieved in general, and that there can locally exist an infinite number of self-consistent policy functions of the class C＂ with distinct steady states （indeterminacy of self-consistent, differentiable policy functions）.
