Wastewater-based epidemiology has emerged as a transformative surveillance tool for estimating substance consumption and monitoring disease prevalence,particularly during the COVID-19 pandemic.It enables the populatio...Wastewater-based epidemiology has emerged as a transformative surveillance tool for estimating substance consumption and monitoring disease prevalence,particularly during the COVID-19 pandemic.It enables the population-level monitoring of illicit drug use,pathogen prevalence,and environmental pollutant exposure.In this perspective,we summarize the key challenges specific to the Chinese context:(1)Sampling inconsistencies,necessitating standardized 24-hour composite protocols with high-frequency autosamplers(≤15 min/event)to improve the representativeness of samples.展开更多
The food industry is evolving toward intelligence and digitalization,but is faced with challenges such as inconsistent standards and poor system compatibility due to lack of unified technical guidance.GB/T 46511-2025,...The food industry is evolving toward intelligence and digitalization,but is faced with challenges such as inconsistent standards and poor system compatibility due to lack of unified technical guidance.GB/T 46511-2025,General technical requirements for food digital factory,the first general technical national standard for food digital factory,was released recently.It bridges the gap in the industry,serving as the technical support and implementation framework for the intelligent and digital transformation of enterprises in the food industry.展开更多
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.展开更多
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.展开更多
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.展开更多
In order to evaluate the performance of a molecular Hain line probe assay （Hain LPA） for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients we...In order to evaluate the performance of a molecular Hain line probe assay （Hain LPA） for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients were consecutively enrolled in this study. Smear positive sputum specimens were collected for Hain LPA and conventional drug susceptibility testing （DST）. The sensitivity and specificity of Hain LPA were analyzed by using conventional DST as golden reference. The sensitivity, specificity, positive predictive value {PPV） and negative predictive value （NPV） for rifampicin resistance detection were 88.33%, 97.66%, 81.54%, and 98.62%, respectively. The sensitivity, specificity, PPV and NPV for isoniazid resistance detection were 80.25%, 98.07%, 87.25%, and 96.78%, respectively. These findings suggested that Hain LPA can be an effective method worthy of broader use in China.展开更多
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.展开更多
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.展开更多
We report invalidating errors related to the statistical approach in the analysis and data inconsistencies in a published single cohort study of patients with Crohn's disease. We provide corrected calculations fro...We report invalidating errors related to the statistical approach in the analysis and data inconsistencies in a published single cohort study of patients with Crohn's disease. We provide corrected calculations from the available data and request that a corrected analysis be provided by the authors. These errors should be corrected.展开更多
In order to effectively diagnose the infeasible linear programming (LP) model of production planning in refinery, the article proposed three stages strategy based on constraints’ classification and infeasibility anal...In order to effectively diagnose the infeasible linear programming (LP) model of production planning in refinery, the article proposed three stages strategy based on constraints’ classification and infeasibility analysis. Generally, infeasibility sources involve structural inconsistencies and data errors, and the data errors are further classified intoⅠ, Ⅱ and Ⅲ. The three stages strategy are: (1) Check data when they are inputted to detect data error Ⅰ and repair them; (2) Inspect data whether they are accorded with material balance before solving the LP model to identify data error Ⅱ and repair them; (3) Find irreducible inconsistent system of infeasible LP model and give diagnosis information priority-ranked to recognize data error Ⅲ and structural inconsistencies. These stages could be automatically executed by computer, and the approach has been applied to diagnose the infeasible model well in our graphic I/O petro-chemical industry modeling system.展开更多
Painlevé's paradox is one of the basic difficulties for solving LCP of dynamic systems subjected to unilateral constraints.A bi-nonlinear parameterized impact model,consistent with dy- namic principles and ex...Painlevé's paradox is one of the basic difficulties for solving LCP of dynamic systems subjected to unilateral constraints.A bi-nonlinear parameterized impact model,consistent with dy- namic principles and experimental results,is established on the localized and quasi-static impact model theory.Numerical simulations are carried out on the dynamic motion of Painlevé's example.The re- sults confirm'impact without collision'in the inconsistent states of the system.A'critical normal force'which brings an important effect on the future movement of the system in the indeterminate states is found.After the motion pattern for the impact process is obtained from numerical results, a rule of the velocity's jump that incorporates the tangential impact process is deduced by using an approximate impulse theory and the coefficient of restitution defined by Stronge.The results of the jump rule are quite precise if the system rigidity is big enough.展开更多
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.展开更多
The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this m...The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].展开更多
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.展开更多
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.展开更多
School is an ideal setting in which to reach and impact childrenand adolescents in order to improve their health and well・ness. A large number of scholarly articles have been publishedon the subject of school-based ph...School is an ideal setting in which to reach and impact childrenand adolescents in order to improve their health and well・ness. A large number of scholarly articles have been publishedon the subject of school-based physical activity (PA) and well・ness promotion. However, given the diversity of schools worldwide,intervention programs, curricula, and strategies are not"one size fits all" and may not be universally applicable. Theinconsistent application of theoretical frameworks and variousmeasurement methods further muddles the evidence. One problemwith many school-based PA and wellness interventions istheir prospect for generalization and sustainability. In recentyears, many researchers have turned attention to devising interventions,including school-based interventions targeting childrenand adolescents, to reduce health-compromising sedentarybehavior, as well as to promote health-enhancing PA. Additionalevidence一and stronger evidence than currently avail・able—is needed to shed light on how these interventions canand should be scaled up, implemented, disseminated, andadopted more broadly in schools and populations.展开更多
基金supported by the National Natural Science Foundation of China(Grant no.42307534)Discovery Project(DP220101790)+1 种基金The University of Queensland ScholarshipAustralian Research Council Discovery Project(DP220101790).
文摘Wastewater-based epidemiology has emerged as a transformative surveillance tool for estimating substance consumption and monitoring disease prevalence,particularly during the COVID-19 pandemic.It enables the population-level monitoring of illicit drug use,pathogen prevalence,and environmental pollutant exposure.In this perspective,we summarize the key challenges specific to the Chinese context:(1)Sampling inconsistencies,necessitating standardized 24-hour composite protocols with high-frequency autosamplers(≤15 min/event)to improve the representativeness of samples.
文摘The food industry is evolving toward intelligence and digitalization,but is faced with challenges such as inconsistent standards and poor system compatibility due to lack of unified technical guidance.GB/T 46511-2025,General technical requirements for food digital factory,the first general technical national standard for food digital factory,was released recently.It bridges the gap in the industry,serving as the technical support and implementation framework for the intelligent and digital transformation of enterprises in the food industry.
基金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.
基金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.
文摘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.
基金supported by Bill&Melinda Gates Foundation Tuberculosis Prevention and Control Project(2009-04-01)
文摘In order to evaluate the performance of a molecular Hain line probe assay （Hain LPA） for rapid detection of rifampicin and isoniazid resistance of Mycobocterium tuberculosis in China, 1612 smear positive patients were consecutively enrolled in this study. Smear positive sputum specimens were collected for Hain LPA and conventional drug susceptibility testing （DST）. The sensitivity and specificity of Hain LPA were analyzed by using conventional DST as golden reference. The sensitivity, specificity, positive predictive value {PPV） and negative predictive value （NPV） for rifampicin resistance detection were 88.33%, 97.66%, 81.54%, and 98.62%, respectively. The sensitivity, specificity, PPV and NPV for isoniazid resistance detection were 80.25%, 98.07%, 87.25%, and 96.78%, respectively. These findings suggested that Hain LPA can be an effective method worthy of broader use in China.
基金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.
基金financially supported by the National Natural Science Foundation of China(No.U156405)the GRINM Youth Foundation funded project
文摘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.
文摘We report invalidating errors related to the statistical approach in the analysis and data inconsistencies in a published single cohort study of patients with Crohn's disease. We provide corrected calculations from the available data and request that a corrected analysis be provided by the authors. These errors should be corrected.
文摘In order to effectively diagnose the infeasible linear programming (LP) model of production planning in refinery, the article proposed three stages strategy based on constraints’ classification and infeasibility analysis. Generally, infeasibility sources involve structural inconsistencies and data errors, and the data errors are further classified intoⅠ, Ⅱ and Ⅲ. The three stages strategy are: (1) Check data when they are inputted to detect data error Ⅰ and repair them; (2) Inspect data whether they are accorded with material balance before solving the LP model to identify data error Ⅱ and repair them; (3) Find irreducible inconsistent system of infeasible LP model and give diagnosis information priority-ranked to recognize data error Ⅲ and structural inconsistencies. These stages could be automatically executed by computer, and the approach has been applied to diagnose the infeasible model well in our graphic I/O petro-chemical industry modeling system.
基金The project supported by the National Natural Science Foundation of China(10272002)Doctoral Foundation of Educational Ministry of China(20020001032)the foundation(02413200203235)
文摘Painlevé's paradox is one of the basic difficulties for solving LCP of dynamic systems subjected to unilateral constraints.A bi-nonlinear parameterized impact model,consistent with dy- namic principles and experimental results,is established on the localized and quasi-static impact model theory.Numerical simulations are carried out on the dynamic motion of Painlevé's example.The re- sults confirm'impact without collision'in the inconsistent states of the system.A'critical normal force'which brings an important effect on the future movement of the system in the indeterminate states is found.After the motion pattern for the impact process is obtained from numerical results, a rule of the velocity's jump that incorporates the tangential impact process is deduced by using an approximate impulse theory and the coefficient of restitution defined by Stronge.The results of the jump rule are quite precise if the system rigidity is big enough.
基金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.
文摘The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].
文摘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.
基金supported by the National Natural Science Foundation of China(Nos.42072142,41702121,U19B2007)。
文摘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.
文摘School is an ideal setting in which to reach and impact childrenand adolescents in order to improve their health and well・ness. A large number of scholarly articles have been publishedon the subject of school-based physical activity (PA) and well・ness promotion. However, given the diversity of schools worldwide,intervention programs, curricula, and strategies are not"one size fits all" and may not be universally applicable. Theinconsistent application of theoretical frameworks and variousmeasurement methods further muddles the evidence. One problemwith many school-based PA and wellness interventions istheir prospect for generalization and sustainability. In recentyears, many researchers have turned attention to devising interventions,including school-based interventions targeting childrenand adolescents, to reduce health-compromising sedentarybehavior, as well as to promote health-enhancing PA. Additionalevidence一and stronger evidence than currently avail・able—is needed to shed light on how these interventions canand should be scaled up, implemented, disseminated, andadopted more broadly in schools and populations.
