1) Quotations on Clear Explanation and Evidence
《辨理明证语录》
1.
The Responses and Cognition of the Hui Muslim Community in Yun-nan to Christianity during late Qing Dynasty and early Republic of China——A Study Based on Ma Lian-yuan s Quotations on Clear Explanation and Evidence;
清末民初云南回族社会对基督教传播的认知与回应——马联元《辨理明证语录》及其影响
2) Collecting Record of Differentiation of Symptoms and Signs
辨证录
1.
Trying to find out Subtle Secret of Carduonephric Disharmony with Liver-Based Therapy Theory in Collecting Record of Differentiation of Symptoms and Signs ;
《辨证录》从肝论治心肾不交探微
3) Accurately diagnose
辨证明确
4) syntactic proof
语法证明
5) theorem proving
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
6) theorem proof
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
补充资料：孔庙-儒学治国之明证
孔庙-儒学治国之明证
孔庙是祭祀建筑中占有很大比重的一类，几乎遍及全国，但规模最大历史最久的当推孔丘故宅所在的曲阜孔庙。
中国封建社会中，儒家思想占有统治地位，儒家创始人孔丘被尊为万世师表。汉代起，就已建立孔庙于孔丘故居鲁城阙里。东汉皇帝曾亲至曲阜致祭；孔子后人封侯奉祠。唐玄宗开元年间，追封孔丘王爵，孔庙规模益加宏大。现存曲阜孔庙的规模为宋代奠定，金代重修，明清依旧制重建。
原曲阜城距今城五公里，1551年，刘六、刘七起义军焚毁旧城后，乃移此建新城。现城实际以孔庙为中心重建起来，城正南门正对孔庙南门。孔庙狭长，南北600米，东西仅145米。全庙由南而北，以垣墙廊庑分为八进。前三进为引导部分，布置牌坊和棂星门，植柏树。由棂星门至大中门，为孔庙前奏；大中门起始为孔庙本身，自此起有长方平面的院墙，四角置角楼，近似宫禁制度。再进，为宏伟的奎文阁，建于明弘治十七年（1504年）奎文阁后即为孔庙主体建筑：大成门和大成殿一组。
奎文阁至大成门间，隔一横街，东西有门；其间有碑亭十三座，皆重檐高阁，形体特别宏大，有金、元各一，余为明清所建，碑体硕大，为历代帝王所立。
大成门内为主殿大成殿，此区布局仍为北宋旧规。大成殿前庭满植古柏，中轴线前方有杏坛，重檐十字脊顶，相传为旧大成殿址，宋真宗天禧年间重建孔庙，大成殿移至今址而原地建坛。这是历史形成的特殊布局。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条