The catalytic activity of Perovskite-type mixed oxides (LaCoO3, PrCoO3 and SmCoO3) for the reduction of cyclohexanone to cyclohexanol with 2-propanol (Meerwein-PonndorfVerley reduction) has been studied. The data have...The catalytic activity of Perovskite-type mixed oxides (LaCoO3, PrCoO3 and SmCoO3) for the reduction of cyclohexanone to cyclohexanol with 2-propanol (Meerwein-PonndorfVerley reduction) has been studied. The data have been correlated with the surface electron donor properties of these mixed oxides展开更多
This article introduces a consistency index for measuring the consistency level of an interval fuzzy preference relation（IFPR）.An approach is then proposed to construct an additive consistent IFPR from a given incon...This article introduces a consistency index for measuring the consistency level of an interval fuzzy preference relation（IFPR）.An approach is then proposed to construct an additive consistent IFPR from a given inconsistent IFPR.By using a weighted averaging method combining the original IFPR and the constructed consistent IFPR,a formula is put forward to repair an inconsistent IFPR to generate an IFPR with acceptable consistency.An iterative algorithm is subsequently developed to rectify an inconsistent IFPR and derive one with acceptable consistency and weak transitivity.The proposed approaches can not only improve consistency of IFPRs but also preserve the initial interval uncertainty information as much as possible.Numerical examples are presented to illustrate how to apply the proposed approaches.展开更多
Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on ...Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.展开更多
文摘The catalytic activity of Perovskite-type mixed oxides (LaCoO3, PrCoO3 and SmCoO3) for the reduction of cyclohexanone to cyclohexanol with 2-propanol (Meerwein-PonndorfVerley reduction) has been studied. The data have been correlated with the surface electron donor properties of these mixed oxides
基金partially supported by National Natural Sciences Foundation of China (71271188,71272129,71301061,71471059)Ministry of Education Humanities and Social Sciences Youth Fund(13YJC630120)+2 种基金National Social Science Fund Project(12AZD111)Natural Sciences and Engineering Research Council of Canada(NSERC) under its Discovery Grant programthe Jiangsu ITO Strategy Research Base Grant
文摘This article introduces a consistency index for measuring the consistency level of an interval fuzzy preference relation（IFPR）.An approach is then proposed to construct an additive consistent IFPR from a given inconsistent IFPR.By using a weighted averaging method combining the original IFPR and the constructed consistent IFPR,a formula is put forward to repair an inconsistent IFPR to generate an IFPR with acceptable consistency.An iterative algorithm is subsequently developed to rectify an inconsistent IFPR and derive one with acceptable consistency and weak transitivity.The proposed approaches can not only improve consistency of IFPRs but also preserve the initial interval uncertainty information as much as possible.Numerical examples are presented to illustrate how to apply the proposed approaches.
基金Supported by the National Natural Science Foundation of China(91118003,61003071)the Fundamental Research Funds for the Central Universities(3101046,201121102020006)the Special Funds for Shenzhen Strategic New Industry Development(JCYJ20120616135936123)
文摘Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.
