期刊文献+
共找到77篇文章
< 1 2 4 >
每页显示 20 50 100
Agricultural Investment Project Decisions Based on an Interactive Preference Disaggregation Model Considering Inconsistency
1
作者 Xingli Wu Huchang Liao +1 位作者 Shuxian Sun Zhengjun Wan 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第6期3125-3146,共22页
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. 展开更多
关键词 Multiple criteria analysis preference disaggregation inconsistency probability linguistic preference relation investment project selection
下载PDF
Mathematical Modeling of the Co-Infection Dynamics of HIV and Tuberculosis Incorporating Inconsistency in HIV Treatment
2
作者 Sr Mary Nyambura Mwangi Virginia M. Kitetu Isaac O. Okwany 《Journal of Applied Mathematics and Physics》 2024年第5期1744-1768,共25页
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. 展开更多
关键词 Co-Infection Modeling HIV-TB Co-Infection Mathematical Modeling Reproduction Number Inconsistent Treatment
下载PDF
About the Strange Tree Paradox and Possible Inconsistency of Set Theory
3
作者 Yury M. Volin 《Advances in Pure Mathematics》 2023年第10期694-713,共20页
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. 展开更多
关键词 Set Theory inconsistency TREE Strange Tree Through Way Almost Through Way ISOMORPHISM Almost Isomorphism
下载PDF
Resolving Electron Mass Inconsistency Using Negative Mass
4
作者 Arlen Young 《Journal of Modern Physics》 CAS 2022年第9期1287-1294,共8页
In a previous publication, the author discussed the electron mass and charge inconsistencies resulting from classical models. A model was proposed using classical equations and two opposite charges to resolve the char... In a previous publication, the author discussed the electron mass and charge inconsistencies resulting from classical models. A model was proposed using classical equations and two opposite charges to resolve the charge inconsistency. The model proposed in that article is modified herein using classical equations to define a model that also resolves the mass inconsistency. The positive mass of the outer shell of the electron core is replaced with a negative mass. The small negatively-charged core at the center still has positive mass. 展开更多
关键词 Classical Electron Model Electron Radius Electron Magnetic Dipole Moment Electron Spin Angular Momentum Negative Mass Electron Mass inconsistency Electron Charge inconsistency Particle Physics
下载PDF
TIME INCONSISTENCY AND REPUTATION IN MONETARY POLICY: A STRATEGIC MODELLING IN CONTINUOUS TIME
5
作者 李静远 田国强 《Acta Mathematica Scientia》 SCIE CSCD 2008年第3期697-710,共14页
This article develops a model to examine the equilibrium behavior of the time inconsistency problem in a continuous time economy with stochastic and endogenized distortion. First, the authors introduce the notion of s... This article develops a model to examine the equilibrium behavior of the time inconsistency problem in a continuous time economy with stochastic and endogenized distortion. First, the authors introduce the notion of sequentially rational equilibrium, and show that the time inconsistency problem may be solved with trigger reputation strategies for stochastic setting. The conditions for the existence of sequentially rational equilibrium are provided. Then, the concept of sequentially rational stochastically stable equilibrium is introduced. The authors compare the relative stability between the cooperative behavior and uncooperative behavior, and show that the cooperative equilibrium in this monetary policy game is a sequentially rational stochastically stable equilibrium and the uncooperative equilibrium is sequentially rational stochastically unstable equilibrium. In the long run, the zero inflation monetary policies are inherently more stable than the discretion rules, and once established, they tend to persist for longer periods of the time. 展开更多
关键词 Time inconsistency optimal stopping stochastically stable equilibrium
下载PDF
Pitfall of genome-wide association studies: Sources of inconsistency in genotypes and their effects
6
作者 Huixiao Hong Lei Xu +7 位作者 Zhenqiang Su Jie Liu Weigong Ge Jie Shen Hong Fang Roger Perkins Leming Shi Weida Tong 《Journal of Biomedical Science and Engineering》 2012年第10期557-573,共17页
Personalized medicine will improve heath outcomes and patient satisfaction. However, implementing personalized medicine based on individuals’ biological information is far from simple, requiring genetic biomarkers th... Personalized medicine will improve heath outcomes and patient satisfaction. However, implementing personalized medicine based on individuals’ biological information is far from simple, requiring genetic biomarkers that are mainly developed and used by the pharmaceutical companies for selecting those patients who benefit more, or have less risk of adverse drug reactions, from a particular drug. Genome-wide Association Studies (GWAS) aim to identify genetic variants across the human genome that might be utilized as genetic biomarkers for diagnosis and prognosis. During the last several years, high-density genotyping SNP arrays have facilitated GWAS that successfully identified common genetic variants associated with a variety of phenotypes. However, each of the identified genetic variants only explains a very small fraction of the underlying genetic contribution to the studied phenotypic trait. The replication studies demonstrated that only a small portion of associated loci in the initial GWAS can be replicated, even within the same populations. Given the complexity of GWAS, multiple sources of Type I (false positive) and Type II (false negative) errors exist. The inconsistency in genotypes that caused either by the genotypeing experiment or by genotype calling process is a major source of the false GWAS findings. Accurate and reproducible genotypes are paramount as inconsistency in genotypes can lead to an inflation of false associations. This article will review the sources of inconsistency in genotypes and discuss its effect in GWAS findings. 展开更多
关键词 GENOTYPE Association REPRODUCIBILITY inconsistency Batch Effect GENOTYPING Platform
下载PDF
The Inconsistency Between The Notorious Jumping Frog of Calaveras County and The Man That Corrupted Hadleyburg
7
作者 谭文花 《海外英语》 2015年第11期188-189,共2页
This paper compares Mark Twain’s The Notorious Jumping Frog of Calaveras County and The Man That Corrupted Hadleyburg,in terms of their stylistic and semantic inconsistency,specifically,their narrative technique and ... This paper compares Mark Twain’s The Notorious Jumping Frog of Calaveras County and The Man That Corrupted Hadleyburg,in terms of their stylistic and semantic inconsistency,specifically,their narrative technique and moral vision. 展开更多
关键词 inconsistency Frame Story Gentility Crudity SATAN
下载PDF
Is inconsistency of α-fetoprotein level a good prognosticator for hepatocellular carcinoma recurrence? 被引量:11
8
作者 Chung-Bao Hsieh, Teng-Wei Chen, Division of General Sur-gery, Tri-Service General Hospital, Taipei 114, Taiwan, China Chung-Bao Hsieh, Kuo-Piao Chung, Graduate Institute of Health Care Organization Administration, National Taiwan University, Taipei 100, Taiwan, China Chi-Ming Chu, Section of Biostatistics and Informatics, De-partment of Epidemiology, School of Public Health, National Defense Medical Center, Taipei 114, Taiwan, ChinaHeng-Cheng Chu, Department of Internal Medicine, Tri-Service General Hospital, Taipei 114, Taiwan, ChinaCheng-Ping Yu, Department of Pathology, Tri-Service General Hospital, Taipei 114, Taiwan, China 《World Journal of Gastroenterology》 SCIE CAS CSCD 2010年第24期3049-3055,共7页
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. 展开更多
关键词 Hepatocellular carcinoma Inconsistent α-fetoprotein OUTCOME RECURRENCE
下载PDF
Discrete Event System Framework for Fault Diagnosis with Measurement Inconsistency:Case Study of Rogue DHCP Attack 被引量:4
9
作者 Mayank Agarwal Santosh Biswas Sukumar Nandi 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2019年第3期789-806,共18页
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. 展开更多
关键词 Fault diagnosis instrasion detection SYSTEM (IDS) MEASUREMENT inconsistent discrete event SYSTEM (DES) rogue dynamic HOST configuration protocol (DHCP) server
下载PDF
Lithium-ion cell inconsistency analysis based on three-parameter Weibull probability model
10
作者 Lin-Shu Wang Yan-Yan Fang +4 位作者 Ting Zhao Jian-Tao Wang Hang Zhang Lin Wang Shi-Gang Lu 《Rare Metals》 SCIE EI CAS CSCD 2020年第4期392-401,共10页
The inconsistency of lithium-ion cells degrades battery performance,lifetime and even safety.The complexity of the cell reaction mechanism causes an irregular asymmetrical distribution of various cell parameters,such ... The inconsistency of lithium-ion cells degrades battery performance,lifetime and even safety.The complexity of the cell reaction mechanism causes an irregular asymmetrical distribution of various cell parameters,such as capacity and internal resistance,among others.In this study,the Newman electrochemical model was used to simulate the 1 C discharge curves of 100 LiMn2 O4 pouch cells with parameter variations typically produced in manufacturing processes,and the three-parameter Weibull probability model was used to analyze the dispersion and symmetry of the resulting discharge voltage distributions.The results showed that the dispersion of the voltage distribution was related to the rate of decrease in the discharge voltage,and the symmetry was related to the change in the rate of voltage decrease.The effect of the cells’capacity dominated the voltage distribution thermodynamically during discharge,and the phase transformation process significantly skewed the voltage distribution.The effects of the ohmic drop and polarization voltage on the voltage distribution were primarily kinetic.The presence of current returned the right-skewed voltage distribution caused by phase transformation to a more symmetrical distribution.Thus,the Weibull parameters elucidated the electrochemical behavior during the discharge process,and this method can guide the prediction and control of cell inconsistency,as well as detection and control strategies for cell management systems. 展开更多
关键词 Lithium-ion cell Voltage inconsistency evolution Three-parameter Weibull probability model Dispersion and symmetry of voltage distribution Thermodynamic inconsistency Kinetic inconsistency
原文传递
RESTlogic: Detecting Logic Vulnerabilities in Cloud REST APIs
11
作者 Ziqi Wang Weihan Tian Baojiang Cui 《Computers, Materials & Continua》 SCIE EI 2024年第2期1797-1820,共24页
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. 展开更多
关键词 Cloud services RESTful API logic defects inconsistency issues
下载PDF
On the Proof of the Contradiction of Set Theory
12
作者 Yury M. Volin 《Advances in Pure Mathematics》 2024年第3期139-159,共21页
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. 展开更多
关键词 Set Theory inconsistency TREE Strange Tree Through Way Almost through Way ISOMORPHISM Almost Isomorphism Isomorphism Tree Place Plane Superposition of Trees on the Place Plane Disposition of Trees on the Place Plane
下载PDF
Tableau Systems for Paraconsistency and Minimal Inconsistency 被引量:1
13
作者 林作铨 sxx0.math.pku.edu.cn 《Journal of Computer Science & Technology》 SCIE EI CSCD 1998年第2期174-188,共15页
In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of... In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided. 展开更多
关键词 Tableaux logic of paradox paraconsistent logic minimal inconsistency nonmonotonic logic CIRCUMSCRIPTION
原文传递
Joint Estimation of Inconsistency and State of Health for Series Battery Packs 被引量:2
14
作者 Yunhong Che Aoife Foley +3 位作者 Moustafa El‑Gindy Xianke Lin Xiaosong Hu Michael Pecht 《Automotive Innovation》 CSCD 2021年第1期103-116,共14页
Battery packs are applied in various areas(e.g.,electric vehicles,energy storage,space,mining,etc.),which requires the state of health(SOH)to be accurately estimated.Inconsistency,also known as cell variation,is consi... Battery packs are applied in various areas(e.g.,electric vehicles,energy storage,space,mining,etc.),which requires the state of health(SOH)to be accurately estimated.Inconsistency,also known as cell variation,is considered a significant evaluation index that greatly affects the degradation of battery pack.This paper proposes a novel joint inconsistency and SOH estimation method under cycling,which fills the gap of joint estimation based on the fast-charging process for electric vehicles.First,fifteen features are extracted from current change points during the partial charging process.Then,a joint estimation system is designed,where fusion weights are obtained by the analytic hierarchy process and multi-scale sample entropy to evaluate inconsistency.A wrapper is used to select the optimal feature subset,and Gaussian process regression is implemented to estimate the SOH.Finally,the estimation performance is assessed by the test data.The results show that the inconsistency evaluation can reflect the aging conditions,and the inconsistency does affect the aging process.The wrapper selection method improves the accuracy of SOH estimation by about 75.8%compared to the traditional filter method when only 10%of data is used for model training.The maximum absolute error and root mean square error are 2.58%and 0.93%,respectively. 展开更多
关键词 Battery pack inconsistency State of health Fusion weight Feature selection GPR
原文传递
Interaction between Surface Acoustic Wave and Quantum Hall Effects
15
作者 刘萧 吴蒙蒙 +6 位作者 王任飞 王兴豪 张文锋 董昱江 杜瑞瑞 刘阳 林熙 《Chinese Physics Letters》 SCIE EI CAS CSCD 2024年第4期105-109,共5页
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. 展开更多
关键词 RELAXATION QUANTUM inconsistent
下载PDF
Neural symbolic reasoning with knowledge graphs:Knowledge extraction,relational reasoning,and inconsistency checking 被引量:1
16
作者 Huajun Chen Shumin Deng +3 位作者 Wen Zhang Zezhong Xu Juan Li Evgeny Kharlamov 《Fundamental Research》 CAS 2021年第5期565-573,共9页
Knowledge graphs(KGs)express relationships between entity pairs,and many real-life problems can be formulated as knowledge graph reasoning(KGR).Conventional approaches to KGR have achieved promising performance but st... Knowledge graphs(KGs)express relationships between entity pairs,and many real-life problems can be formulated as knowledge graph reasoning(KGR).Conventional approaches to KGR have achieved promising performance but still have some drawbacks.On the one hand,most KGR methods focus only on one phase of the KG lifecycle,such as KG completion or refinement,while ignoring reasoning over other stages,such as KG extraction.On the other hand,traditional KGR methods,broadly categorized as symbolic and neural,are unable to balance both scalability and interpretability.To resolve these two problems,we take a more comprehensive perspective of KGR with regard to the whole KG lifecycle,including KG extraction,completion,and refinement,which correspond to three subtasks:knowledge extraction,relational reasoning,and inconsistency checking.In addition,we propose the implementation of KGR using a novel neural symbolic framework,with regard to both scalability and interpretability.Experimental results demonstrate that our proposed methods outperform traditional neural symbolic models. 展开更多
关键词 Neural symbolic reasoning Knowledge graph Knowledge extraction Relational reasoning inconsistency checking
原文传递
Dialectical Thermodynamics’Solution to the Conceptual Imbroglio That Is the Reversible Path
17
作者 José C. Íñiguez 《Journal of High Energy Physics, Gravitation and Cosmology》 CAS 2024年第2期775-799,共25页
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. 展开更多
关键词 Thermodynamic Reversibility Solution to Inconsistencies Dialectical Thermodynamics
下载PDF
Interactive Inconsistency Fixing in Feature Modeling
18
作者 王波 熊英飞 +3 位作者 胡振江 赵海燕 张伟 梅宏 《Journal of Computer Science & Technology》 SCIE EI CSCD 2014年第4期724-736,共13页
Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models' construction, one basic task is to ensure the consistency of feature models, which often ... Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models' construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. While many approaches have been proposed, most of them focus on detecting inconsistencies rather than fixing inconsistencies. In this paper, we propose a novel dynamic-priority based approach to interactively fixing inconsistencies in feature models, and report an implementation of a system that not only automatically recommends a solution to fixing inconsistencies but also supports domain analysts to gradually reach the desirable solution by dynamically adjusting priorities of constraints. The key technical contribution is, as far as we are aware, the first application of the constraint hierarchy theory to feature modeling, where the degree of domain analysts' confidence on constraints is expressed by using priority and inconsistencies are resolved by deleting one or more lower-priority constraints. Two case studies demonstrate the usability and scalability (efficiency) of our new approach. 展开更多
关键词 fixing software engineering requirement engineering feature modeling constraint hierarchy theory inconsistency
原文传递
What Caused the Inconsistency between Rb-Sr and^(40)Ar-^(39)Ar Ages of Authigenic Illites?
19
作者 Entao Liu I.Tonguc Uysal +2 位作者 Jian-Xin Zhao Zi'ao Zhang Xudong Lin 《Journal of Earth Science》 SCIE CAS CSCD 2022年第5期1145-1151,共7页
Radiogenic isotope dating of illitic clays has been widely used to reconstruct thermal and fluid flow events in siliciclastic sedimentary basins,the information of which is critical to investigate mechanisms of hydroc... Radiogenic isotope dating of illitic clays has been widely used to reconstruct thermal and fluid flow events in siliciclastic sedimentary basins,the information of which is critical to investigate mechanisms of hydrocarbon maturation.This study carried out Rb-Sr and^(40)Ar-^(39)Ar dating of authigenic illitic clay samples separated from the Palaeogene sandstone in the northern South China Sea.Our Rb-Sr data further confirm the previously reported three periods of fluid flow events(at 34.5±0.9,31.2±0.6,and 23.6±0.8 Ma,respectively)in the northern South China Sea,which are related to regional episodic tectonism.However,^(40)Ar-^(39)Ar ages of illite obtained in this study are significantly younger than the corresponding Rb-Sr ages.The significantly younger^(40)Ar-^(39)Ar ages were probably due to ^(40)Ar loss caused by later dry heating events on the Hainan Island that have not affected the Rb-Sr isotopic systematics.The inconsistency between Rb-Sr and^(40)Ar-^(39)Ar data should be attributed to different isotopic behaviors of K-Ar and Rb-Sr isotopic systematics in illite.Our results indicate that Rb-Sr isotopic dating method may be a preferential approach for clay dating in geological settings where exist younger dry heating events. 展开更多
关键词 authigenic illite isotope dating Rb−Sr isochron ^(40)Ar-^(39)Ar dating inconsistency geochemistry
原文传递
Mathematical Modeling of HIV Investigating the Effect of Inconsistent Treatment
20
作者 Sr Mary Nyambura Mwangi Virginia M. Kitetu Isaac O. Okwany 《Journal of Applied Mathematics and Physics》 2024年第4期1063-1078,共16页
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. 展开更多
关键词 HIV Modeling Mathematical Modeling Reproduction Number Inconsistent Treatment
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部