OBJECTIVE:To evaluate clinical articles published in the past 30 years using the Traditional Chinese Medicine(TCM)theory of the lung being connected with large intestine to treat intestinal diseases.We also analyzed t...OBJECTIVE:To evaluate clinical articles published in the past 30 years using the Traditional Chinese Medicine(TCM)theory of the lung being connected with large intestine to treat intestinal diseases.We also analyzed the relationship between symptoms,drugs and therapies with data-excavating technology to aid management.METHODS:After retrieving relevant clinical articles,we set up a database,used Microsoft Structured Query Language Server 2005 Analysis Services as a data-excavating tool,and applied the association rule to study the relationship between the symptoms,drugs and therapies of intestinal diseases.RESULTS:The key symptoms of dyschesia,constipation,abdominal fullness,fatigue and pale tongue could be treated with Kuxingren(Semen Armeniacae Amarum),Huangqi(Radix Astragali Mongolici)and Gualou(Fructus et Semen Trichosanthis)to invigorate Qi and moisten the intestine.Among these agents,Kuxingren(Semen Armeniacae Amarum)was used most frequently.Clearing Fu-organs was the most prevalent therapy for abdominal fullness,dyschesia,constipation and red tongue.Clearing Fu-organs could be achieved with Kuxingren(Semen Armeniacae Amarum)and Gualou(Fructus et Semen Trichosanthis),whereas Qi could be invigorated using Huangqi(Radix Astragali Mongolici),Gancao(Radix Glycyrrhizae),Baizhu(Rhizoma Atractylodis Macrocephalae)and Kuxingren(Semen Armeniacae Amarum).Moistening the intestine was possible with Kuxingren(SemenArmeniacae Amarum),Huomaren(Fructus Cannabis)and Jiegeng(Radix Platycodi).Also,moistening the lungs was done with Kuxingren(Semen Armeniacae Amarum),ventilating the lungs with Kuxingren(Semen Armeniacae Amarum)and Gualou(Fructus et Semen Trichosanthis),and nourishing the lungs with Huangqi(Radix Astragali Mongolici),Gancao(Radix Glycyrrhizae)and Kuxingren(Semen Armeniacae Amarum).These data demonstrated that Kuxingren(SemenArmeniacaeAmarum)was a key agent.CONCLUSION:Our analyses of the literature showed clear relationships between symptoms(constipation,dyschesia,abdominal fullness),drugs[Gualou(Fructus et Semen Trichosanthis),Kuxingren(Semen Armeniacae Amarum),Huangqi(Radix Astragali Mongolici)]and therapies(moistening the intestine,clearing Fu-organs,invigorating Qi,ventilating the lungs).展开更多
The Unified Modeling Language (UML) is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In...The Unified Modeling Language (UML) is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In this study, we use the theorem proof assistant Coq to formalize and mechanize the semantics of UML- Statecharts and the refinement relations between models. Based on the mechanized semantics, the desired properties of both the semantics and the refinement relations can be described and proven as predicates and lemmas. This approach provides a promising way to obtain certified fault-free modeling and refinement.展开更多
基金Supported by the National Plan on Development of Key Basic Research(973 plan)(No.2009CB522701)
文摘OBJECTIVE:To evaluate clinical articles published in the past 30 years using the Traditional Chinese Medicine(TCM)theory of the lung being connected with large intestine to treat intestinal diseases.We also analyzed the relationship between symptoms,drugs and therapies with data-excavating technology to aid management.METHODS:After retrieving relevant clinical articles,we set up a database,used Microsoft Structured Query Language Server 2005 Analysis Services as a data-excavating tool,and applied the association rule to study the relationship between the symptoms,drugs and therapies of intestinal diseases.RESULTS:The key symptoms of dyschesia,constipation,abdominal fullness,fatigue and pale tongue could be treated with Kuxingren(Semen Armeniacae Amarum),Huangqi(Radix Astragali Mongolici)and Gualou(Fructus et Semen Trichosanthis)to invigorate Qi and moisten the intestine.Among these agents,Kuxingren(Semen Armeniacae Amarum)was used most frequently.Clearing Fu-organs was the most prevalent therapy for abdominal fullness,dyschesia,constipation and red tongue.Clearing Fu-organs could be achieved with Kuxingren(Semen Armeniacae Amarum)and Gualou(Fructus et Semen Trichosanthis),whereas Qi could be invigorated using Huangqi(Radix Astragali Mongolici),Gancao(Radix Glycyrrhizae),Baizhu(Rhizoma Atractylodis Macrocephalae)and Kuxingren(Semen Armeniacae Amarum).Moistening the intestine was possible with Kuxingren(SemenArmeniacae Amarum),Huomaren(Fructus Cannabis)and Jiegeng(Radix Platycodi).Also,moistening the lungs was done with Kuxingren(Semen Armeniacae Amarum),ventilating the lungs with Kuxingren(Semen Armeniacae Amarum)and Gualou(Fructus et Semen Trichosanthis),and nourishing the lungs with Huangqi(Radix Astragali Mongolici),Gancao(Radix Glycyrrhizae)and Kuxingren(Semen Armeniacae Amarum).These data demonstrated that Kuxingren(SemenArmeniacaeAmarum)was a key agent.CONCLUSION:Our analyses of the literature showed clear relationships between symptoms(constipation,dyschesia,abdominal fullness),drugs[Gualou(Fructus et Semen Trichosanthis),Kuxingren(Semen Armeniacae Amarum),Huangqi(Radix Astragali Mongolici)]and therapies(moistening the intestine,clearing Fu-organs,invigorating Qi,ventilating the lungs).
基金Project supported by the National Natural Science Foundation of China (No. 61070226)
文摘The Unified Modeling Language (UML) is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In this study, we use the theorem proof assistant Coq to formalize and mechanize the semantics of UML- Statecharts and the refinement relations between models. Based on the mechanized semantics, the desired properties of both the semantics and the refinement relations can be described and proven as predicates and lemmas. This approach provides a promising way to obtain certified fault-free modeling and refinement.