Objective:To explore multiple relationships in traditional Chinese medicine(TCM)knowledge by comparing binary and multiple relationships during knowledge organization.Methods:Characteristics of binary and multiple sem...Objective:To explore multiple relationships in traditional Chinese medicine(TCM)knowledge by comparing binary and multiple relationships during knowledge organization.Methods:Characteristics of binary and multiple semantic relationships as well as their associations are described.A method to classify multiple relationships based on the involvement of time is proposed and theoretically validated using examples from the ancient TCM classic Important Formulas Worth a Thousand Gold Pieces.The classification includes parallel multiple relationships,restricted multiple relationships,multiple relationships that involve time,and multiple relationships that involve time restriction.Next,construction of multiple semantic relationships for TCM concepts in each classification using Protege,an ontology editing tool is described.Results:Protege is superior to a binary relationship and less than ideal with multiple relationships during the constitution of concept relationships.Conclusion:When applied in TCM,the semantic relationships constructed by Protege are superior than those constructed by correlation and/or attribute relationships,but less ideal than those constructed by the human cognitive process.展开更多
Alkali-activated materials/geopolymer(AAMs),due to their low carbon emission content,have been the focus of recent studies on ecological concrete.In terms of performance,fly ash and slag are preferredmaterials for pre...Alkali-activated materials/geopolymer(AAMs),due to their low carbon emission content,have been the focus of recent studies on ecological concrete.In terms of performance,fly ash and slag are preferredmaterials for precursors for developing a one-part geopolymer.However,determining the optimum content of the input parameters to obtain adequate performance is quite challenging and scarcely reported.Therefore,in this study,machine learning methods such as artificial neural networks(ANN)and gene expression programming(GEP)models were developed usingMATLAB and GeneXprotools,respectively,for the prediction of compressive strength under variable input materials and content for fly ash and slag-based one-part geopolymer.The database for this study contains 171 points extracted from literature with input parameters:fly ash concentration,slag content,calcium hydroxide content,sodium oxide dose,water binder ratio,and curing temperature.The performance of the two models was evaluated under various statistical indices,namely correlation coefficient(R),mean absolute error(MAE),and rootmean square error(RMSE).In terms of the strength prediction efficacy of a one-part geopolymer,ANN outperformed GEP.Sensitivity and parametric analysis were also performed to identify the significant contributor to strength.According to a sensitivity analysis,the activator and slag contents had the most effects on the compressive strength at 28 days.The water binder ratio was shown to be directly connected to activator percentage,slag percentage,and calcium hydroxide percentage and inversely related to compressive strength at 28 days and curing temperature.展开更多
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.展开更多
With the advancement of computer vision techniques in surveillance systems,the need for more proficient,intelligent,and sustainable facial expressions and age recognition is necessary.The main purpose of this study is...With the advancement of computer vision techniques in surveillance systems,the need for more proficient,intelligent,and sustainable facial expressions and age recognition is necessary.The main purpose of this study is to develop accurate facial expressions and an age recognition system that is capable of error-free recognition of human expression and age in both indoor and outdoor environments.The proposed system first takes an input image pre-process it and then detects faces in the entire image.After that landmarks localization helps in the formation of synthetic face mask prediction.A novel set of features are extracted and passed to a classifier for the accurate classification of expressions and age group.The proposed system is tested over two benchmark datasets,namely,the Gallagher collection person dataset and the Images of Groups dataset.The system achieved remarkable results over these benchmark datasets about recognition accuracy and computational time.The proposed system would also be applicable in different consumer application domains such as online business negotiations,consumer behavior analysis,E-learning environments,and emotion robotics.展开更多
To implement the computation of AHP （Analytic Hierarchy Process） automatically, make the implementation independence on the platform, and to convenient the service composition and service computation, this study imp...To implement the computation of AHP （Analytic Hierarchy Process） automatically, make the implementation independence on the platform, and to convenient the service composition and service computation, this study implemented AHP model as a Web service and stored the evaluation information as XML form. This paper introduces the overall demands of AHP evaluation system firstly, and then presents some key technologies to implement AHP evaluation system, including mainly AHP evaluation index architecture based on XML, the class of AHP model, the Web service encapsulation of AHP, the publication and invocation of AHP and the client application. At last, the system is used to analyze the impact factors of online consumption behavior.展开更多
The present letter finds the complete set of exact solutions of the time-dependent generalized Cini model by making use of the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formula...The present letter finds the complete set of exact solutions of the time-dependent generalized Cini model by making use of the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formulation and, based on this, the general explicit expression for the decoherence factor is therefore obtained. This study provides us with a useful method to consider the geometric phase and topological properties in the time-dependent quantum decoherence process.展开更多
Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and...Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.展开更多
Thymidylate synthase （TS, E.C.2.1.1.45） catalyzes a critical reaction in the only pathway of de novo synthesis of thymidylate （dTMP） in human cells, and is an important target of chemotherapy. To evaluate the inhi...Thymidylate synthase （TS, E.C.2.1.1.45） catalyzes a critical reaction in the only pathway of de novo synthesis of thymidylate （dTMP） in human cells, and is an important target of chemotherapy. To evaluate the inhibitory activities of novel compounds to TS, a convenient method of activity assay using 6x His-tagged recombinant human TS （rhTS） was established and 49 novel synthetic folate analogues were screened to discover potential TS inhibitors. During the process, 4 novel compounds were found to effectively inhibit TS, while the IC 50 of a positive control raltitrexed was 3.4 μM in this assay.展开更多
The stability and high productivity of heterogeneous terpenoid production in Escherichia coli expression system is one of the most key issues for its large scale industrialization.In the current study on taking lycope...The stability and high productivity of heterogeneous terpenoid production in Escherichia coli expression system is one of the most key issues for its large scale industrialization.In the current study on taking lycopene biosynthesis as an example,an integrated Escherichia coli system has been generated successfully,which resulted into stable and high lycopene production.In this process,two modules of mevalonate(MVA)pathway and one module of lycopene expression pathway were completely integrated in the chromosome.Firstly,the copy number and integrated position of three modules of heterologous pathways were rationally optimized.Later,a strain DH416 equipped with heterogeneous expression pathways through chromosomal integration was efficiently derived from parental strain DH411.The evolving DH416 strain efficiently produced the lycopene level of 1.22 g/L(49.9 mg/g DCW)in a 5 L fermenter with mean productivity of 61.0 mg/L/h.Additionally,the integrated strain showed more genetic stability than the plasmid systems after successive 21st passage.展开更多
In order to evaluate and recognize plant growth automatically based on photos of plants in plant science and engineering,we propose a diagnostic system for plant growth in which simulated plant growth is used as a ref...In order to evaluate and recognize plant growth automatically based on photos of plants in plant science and engineering,we propose a diagnostic system for plant growth in which simulated plant growth is used as a reference for real growing plants.In our diagnostic system,we employ the Lindenmayer system[Lecture Notes in Computer Science,15,53–68,1974]to model healthy growing plants.In the Lindenmayer system plant growth is expressed by string expressions designed as a numerical model for the plant.This proposal system provides users the string expressions by using image processing.As users compare with two strings such as DNA sequence genetic code,users obtain developmental change of plat growth.The results show that our automatic plant diagnostic system is effective in checking actual healthy plant growth,and suggest that the diagnostic system should be useful in large-scale plant factories.展开更多
文摘Objective:To explore multiple relationships in traditional Chinese medicine(TCM)knowledge by comparing binary and multiple relationships during knowledge organization.Methods:Characteristics of binary and multiple semantic relationships as well as their associations are described.A method to classify multiple relationships based on the involvement of time is proposed and theoretically validated using examples from the ancient TCM classic Important Formulas Worth a Thousand Gold Pieces.The classification includes parallel multiple relationships,restricted multiple relationships,multiple relationships that involve time,and multiple relationships that involve time restriction.Next,construction of multiple semantic relationships for TCM concepts in each classification using Protege,an ontology editing tool is described.Results:Protege is superior to a binary relationship and less than ideal with multiple relationships during the constitution of concept relationships.Conclusion:When applied in TCM,the semantic relationships constructed by Protege are superior than those constructed by correlation and/or attribute relationships,but less ideal than those constructed by the human cognitive process.
基金funded by the Deanship of Graduate Studies and Scientific Research at Jouf University under grant No.(DGSSR-2023-02-02385).
文摘Alkali-activated materials/geopolymer(AAMs),due to their low carbon emission content,have been the focus of recent studies on ecological concrete.In terms of performance,fly ash and slag are preferredmaterials for precursors for developing a one-part geopolymer.However,determining the optimum content of the input parameters to obtain adequate performance is quite challenging and scarcely reported.Therefore,in this study,machine learning methods such as artificial neural networks(ANN)and gene expression programming(GEP)models were developed usingMATLAB and GeneXprotools,respectively,for the prediction of compressive strength under variable input materials and content for fly ash and slag-based one-part geopolymer.The database for this study contains 171 points extracted from literature with input parameters:fly ash concentration,slag content,calcium hydroxide content,sodium oxide dose,water binder ratio,and curing temperature.The performance of the two models was evaluated under various statistical indices,namely correlation coefficient(R),mean absolute error(MAE),and rootmean square error(RMSE).In terms of the strength prediction efficacy of a one-part geopolymer,ANN outperformed GEP.Sensitivity and parametric analysis were also performed to identify the significant contributor to strength.According to a sensitivity analysis,the activator and slag contents had the most effects on the compressive strength at 28 days.The water binder ratio was shown to be directly connected to activator percentage,slag percentage,and calcium hydroxide percentage and inversely related to compressive strength at 28 days and curing temperature.
文摘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.
基金This research was supported by the Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education(No.2018R1D1A1A02085645)Also,this work was supported by the KoreaMedical Device Development Fund grant funded by the Korean government(the Ministry of Science and ICT,the Ministry of Trade,Industry and Energy,the Ministry of Health&Welfare,theMinistry of Food and Drug Safety)(Project Number:202012D05-02).
文摘With the advancement of computer vision techniques in surveillance systems,the need for more proficient,intelligent,and sustainable facial expressions and age recognition is necessary.The main purpose of this study is to develop accurate facial expressions and an age recognition system that is capable of error-free recognition of human expression and age in both indoor and outdoor environments.The proposed system first takes an input image pre-process it and then detects faces in the entire image.After that landmarks localization helps in the formation of synthetic face mask prediction.A novel set of features are extracted and passed to a classifier for the accurate classification of expressions and age group.The proposed system is tested over two benchmark datasets,namely,the Gallagher collection person dataset and the Images of Groups dataset.The system achieved remarkable results over these benchmark datasets about recognition accuracy and computational time.The proposed system would also be applicable in different consumer application domains such as online business negotiations,consumer behavior analysis,E-learning environments,and emotion robotics.
基金the National Natural Science Foundation of China(70772073)the Natural Science Foundation of Shanghai (07ZR14003)+1 种基金the Social Science Programming Foundation of Shanghai(2007BZH001)Excellent Young Teachers Follow-Up Scientific Research Foundation of Shanghai Fisheries University(A-0212-07-0132)
文摘To implement the computation of AHP （Analytic Hierarchy Process） automatically, make the implementation independence on the platform, and to convenient the service composition and service computation, this study implemented AHP model as a Web service and stored the evaluation information as XML form. This paper introduces the overall demands of AHP evaluation system firstly, and then presents some key technologies to implement AHP evaluation system, including mainly AHP evaluation index architecture based on XML, the class of AHP model, the Web service encapsulation of AHP, the publication and invocation of AHP and the client application. At last, the system is used to analyze the impact factors of online consumption behavior.
基金This project is supported in part by the National Natural Science Foundation of China under the Grant No.90101024. The authors thank Xiaochun Gao for his beneficial invariant-related unitary transformation formulation.
文摘The present letter finds the complete set of exact solutions of the time-dependent generalized Cini model by making use of the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formulation and, based on this, the general explicit expression for the decoherence factor is therefore obtained. This study provides us with a useful method to consider the geometric phase and topological properties in the time-dependent quantum decoherence process.
文摘Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.
基金supported by National Natural Science Foundation of China(Grant No.20972011,21042009,21172014)
文摘Thymidylate synthase （TS, E.C.2.1.1.45） catalyzes a critical reaction in the only pathway of de novo synthesis of thymidylate （dTMP） in human cells, and is an important target of chemotherapy. To evaluate the inhibitory activities of novel compounds to TS, a convenient method of activity assay using 6x His-tagged recombinant human TS （rhTS） was established and 49 novel synthetic folate analogues were screened to discover potential TS inhibitors. During the process, 4 novel compounds were found to effectively inhibit TS, while the IC 50 of a positive control raltitrexed was 3.4 μM in this assay.
基金supported by grants from the National Key Research and Development Program of China(2018YFA0900300 and 2019YFA090141)the National Science and Technology Major Project(2017ZX07402003).
文摘The stability and high productivity of heterogeneous terpenoid production in Escherichia coli expression system is one of the most key issues for its large scale industrialization.In the current study on taking lycopene biosynthesis as an example,an integrated Escherichia coli system has been generated successfully,which resulted into stable and high lycopene production.In this process,two modules of mevalonate(MVA)pathway and one module of lycopene expression pathway were completely integrated in the chromosome.Firstly,the copy number and integrated position of three modules of heterologous pathways were rationally optimized.Later,a strain DH416 equipped with heterogeneous expression pathways through chromosomal integration was efficiently derived from parental strain DH411.The evolving DH416 strain efficiently produced the lycopene level of 1.22 g/L(49.9 mg/g DCW)in a 5 L fermenter with mean productivity of 61.0 mg/L/h.Additionally,the integrated strain showed more genetic stability than the plasmid systems after successive 21st passage.
文摘In order to evaluate and recognize plant growth automatically based on photos of plants in plant science and engineering,we propose a diagnostic system for plant growth in which simulated plant growth is used as a reference for real growing plants.In our diagnostic system,we employ the Lindenmayer system[Lecture Notes in Computer Science,15,53–68,1974]to model healthy growing plants.In the Lindenmayer system plant growth is expressed by string expressions designed as a numerical model for the plant.This proposal system provides users the string expressions by using image processing.As users compare with two strings such as DNA sequence genetic code,users obtain developmental change of plat growth.The results show that our automatic plant diagnostic system is effective in checking actual healthy plant growth,and suggest that the diagnostic system should be useful in large-scale plant factories.
