[Objective] This study was conducted to establish a microbial limit test method for Bupi Qiangli Ointment. [Method] The conventional method and medium dilution method were used for bacterial, mold and yeast counting i...[Objective] This study was conducted to establish a microbial limit test method for Bupi Qiangli Ointment. [Method] The conventional method and medium dilution method were used for bacterial, mold and yeast counting in sample recovery test. [Result] The medium dilution method （1：10 test solution, 0.5 ml/plate） could effectively eliminate the inhibition effect of the Bupi Qiangli Ointment, and the recovery of Staphylococcus aureus was greater than 70% in the 3 batches of samples; and the conventional method exhibited the recoveries of E. coil, Bacillus subtilis, Candida albicans and Aspergillus greater than 70% in the 3 batches of samples. [Conclusion] Due to Bupi Qiangli Ointment has strongly antibacterial effect on Staphylococcus au- reus, the medium dilution method was used for bacterial counting, and the conventional method was used for mold and yeast counting; and the conventional method was used for controlled bacterium examination of E. coll.展开更多
In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in whi...In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
Based on a questionnaire survey of Chinese public hospitals, this paper explores the consequence and realization path of balanced scorecard （BSC, hereafter） usage. The results show that BSC usage can improve hospita...Based on a questionnaire survey of Chinese public hospitals, this paper explores the consequence and realization path of balanced scorecard （BSC, hereafter） usage. The results show that BSC usage can improve hospital performance remarkably. With the structural equation model analysis, we further find that, this function is realized in an indirect way through the perception of organizational fairness and organizational commitment. The BSC has direct effect to improve the perception of organizational fairness and organizational commitment, which further influence the performance. The results not only complement empirical evidences for BSC usage, but also provide guidance to regulators and hospitals to implement BSC in compensation contract.展开更多
The authors consider relational databases organized over an ordered domain with some additional relations - a typical example is the ordered domain of rational numbers together with the operation of addition. In the f...The authors consider relational databases organized over an ordered domain with some additional relations - a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the FO （first-order） queries that are invariant under order-preserving permutations-such queries are called order-generic. It was discovered that for some domains order-generic FO queries fail to express more than pure order queries. The collapse result theorem was proved for locally genetic queries over a linearly ordered domain with the Pseudo finite Homogeneity Property （or / and the Isolation Property） by Belegradek et al.. Here the authors consider a circularly ordered domain and prove the collapse result theorem over a quasi circularly minimal domain.展开更多
基金Supported by Traditional Chinese Medicine and Ethnic Minority Medicine Technology Research Subject of Guizhou Administrative Bureau(QZYY2013-70,QZYY-2014-026)Joint Application of Basic Research Fund of Science and Technology Department o Yunnan Province-Guiyang University of Chinese Medicine(QKHLHZ[2014]7323)~~
文摘[Objective] This study was conducted to establish a microbial limit test method for Bupi Qiangli Ointment. [Method] The conventional method and medium dilution method were used for bacterial, mold and yeast counting in sample recovery test. [Result] The medium dilution method （1：10 test solution, 0.5 ml/plate） could effectively eliminate the inhibition effect of the Bupi Qiangli Ointment, and the recovery of Staphylococcus aureus was greater than 70% in the 3 batches of samples; and the conventional method exhibited the recoveries of E. coil, Bacillus subtilis, Candida albicans and Aspergillus greater than 70% in the 3 batches of samples. [Conclusion] Due to Bupi Qiangli Ointment has strongly antibacterial effect on Staphylococcus au- reus, the medium dilution method was used for bacterial counting, and the conventional method was used for mold and yeast counting; and the conventional method was used for controlled bacterium examination of E. coll.
基金Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905))the National Natural Science Foundation of China(Grant No.60374071)
文摘In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘Based on a questionnaire survey of Chinese public hospitals, this paper explores the consequence and realization path of balanced scorecard （BSC, hereafter） usage. The results show that BSC usage can improve hospital performance remarkably. With the structural equation model analysis, we further find that, this function is realized in an indirect way through the perception of organizational fairness and organizational commitment. The BSC has direct effect to improve the perception of organizational fairness and organizational commitment, which further influence the performance. The results not only complement empirical evidences for BSC usage, but also provide guidance to regulators and hospitals to implement BSC in compensation contract.
文摘The authors consider relational databases organized over an ordered domain with some additional relations - a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the FO （first-order） queries that are invariant under order-preserving permutations-such queries are called order-generic. It was discovered that for some domains order-generic FO queries fail to express more than pure order queries. The collapse result theorem was proved for locally genetic queries over a linearly ordered domain with the Pseudo finite Homogeneity Property （or / and the Isolation Property） by Belegradek et al.. Here the authors consider a circularly ordered domain and prove the collapse result theorem over a quasi circularly minimal domain.
