辨证论治是中医的特色和精华，也是中医学赖以发展的基石。辨证是论治的前提和依据，辨证的准确与否直接影响着治疗的效果。然而，传统的辨证诊断依赖于中医师直观定性观察和主观经验判断，辨证过程带有强烈的主观性、模糊性和不确定性。这些缺点为中医理论的继承和发展带来很大的限制。因此，运用现代化科学技术手段，深入研究辨证诊断过程中的规律和方法，促使辨证过程的客观化、数量化和系统化，是中医学发展和实际临床应用的亟迫需求。本文针对辨证诊断过程的复杂性和模糊性，以数学形式化高度抽象地表达了中医诊断原理，构建了符合中医“病-证-症”关系的数量化辨证诊断复杂系统模型，提出了一种基于属性偏序结构图表示原理的诊断证名生成方法，设计并完成了基于属性偏序结构原理的中医数量化辨证诊断辅助系统原型，开展了临床实验与评估工作，无论对中医诊断客观化的理论研究还是临床的实际应用，均具有重要的意义和价值。首先，基于中医辨证思维的复杂性和网络性，尝试以现代数学的偏序理论和形式概念分析理论来研究中医辨证思维过程。在偏序理论和形式概念分析的基础上，给出了描述事物之间关联关系的12种属性特征定义，研究了形式背景中属性的属性性质。在属性特征定义基础上，提出了一种基于属性特征定义的偏序结构图生成方法，为研究基于属性偏序结构图表示原理的中医诊断证名生成奠定了理论基础。其次，在深入研究了中医辨证中“病-证-症”复杂网络关系的基础上，构建了中医问诊数量化辨证诊断系统模型，并以此为基础，完成了中医问诊数量化辨证诊断辅助系统的设计。通过以十问歌为主要问诊内容的量表式问诊问卷，采用问诊的方式充分采集人体的各类非仪器可测量信息，并以此作为辨证诊断系统的输入部分。症状的严重程度，对诊断价值显然不同。在得到分级量化的证候基础上，通过构建的证候-证素关系映射数据库，最终得到数量化辨证诊断证素，并以多原图可视化显示作为辨证诊断系统的输出。然后，在得到的数量化证素集合的基础上，在属性偏序结构理论的框架下，提出了一种基于属性偏序结构图表示的中医诊断证名生成方法。通过构建证名证素形式背景，生成相应的属性偏序结构图，然后对偏序结构图中的证素节点，依据节点层次的不同而分配不同的权值。通过计算数量化证素集合与偏序结构图中支路模式的相似度，提出一种对生成证名结果与测量得到的值序证素匹配程度评估方法。最后，在完成的具有证名生成功能的中医问诊辨证诊断系统原型基础上，开展了辨证诊断系统与名中医专家诊断的双盲对比实验研究。临床实际应用数据表明：中医问诊数量化辨证诊断系统，已经达到可以在临床实际应用水平。此外，在临床实验数据的结果上，统计了中医内科常见疾病的病位证素和病性证素分布情况，研究了常见的病位病性证素的组合模式，为在下一步在基于属性偏序结构的不同病种证素模式发现研究中提供数据基础。