摘要
以肝郁脾虚证为例,用数理逻辑、模糊数学、集合论等数学基础知识对中医辨证作形式化描述,并推导出中医辨证数理模型。
Take the example of the stagnation of liver and spleen deficiency syndrome, the formal description of TCM syndrome differentiation was made with mathematical logic, fuzzy mathematics, set theory and other mathematical knowledge. Mathematical model of TCM syndrome differentiation was derived.
出处
《中国中医基础医学杂志》
CAS
CSCD
北大核心
2013年第1期97-100,共4页
JOURNAL OF BASIC CHINESE MEDICINE
基金
湖北省自然科学基金资助项目-辨证论治数理模型及其数字化研究(2005ABA272)
关键词
中医形式化
辨证形式化
数学模型
formal methods of TCM
formal description of TCM
formal description of TCM syndrome differentiation
mathematical model
