论韩非政治哲学的推演方法

韩非是一个理性的政治理论家。韩非政治哲学的推演方法有两个特点:第一,理论前提力求"面向真实",此中"真实"包括事实、共识、不证自明的原理和已经证成的道理;第二,大量运用包括演绎推理、归纳推理、类比推理等形式逻辑的推理形式。充分理解和重视韩非政治哲学推演方法的特点,有利于推进政治哲学完成其当代使命。

典型电力安全突发事件演化及推演方法研究

针对我国电力安全突发事件时有发生,电力工作人员应急处置能力亟待提高的现状,基于电力安全突发事件典型案例,归纳总结出事件的演化规律及各个阶段的影响因素。比较国内外在应急决策模式、演化机理、事件模型、推演方法等4个方面的主要研究路线,选择适用于电力安全突发事件的基于情景和概率的推演方法,设计了应急推演系统框架,提出了一种基于专家系统的自学习理念。

寸口脉脏腑配位推演方法研究

寸口脉脏腑配位的创立是在天、地、人三部分类的基础上,根据脏腑在人体所在位置及寸口诊脉部位的上下对应原则,结合部位阴阳属性的划分及同气相求的归类方法,推演而形成的诊察脏腑病证的诊断方法。该诊脉方法的产生,主要依赖于模式推演,其实践基础尚待进一步考证。研究寸口脉脏腑配位的推演方法,不仅对于中医临床诊断,而且对于脉诊的客观化研究,都有重要的指导意义。

非线性动态特性的逆推演方法及其在干涉术中的应用

提出了研究对象非线性动态特性的逆推演新方法 ,它的特点是从已知对象的非微分方程解析解导出该对象可能的微分方程 ,从而开拓它的解域或解空间 ,或者说恢复丢失的解。同时讨论了当对象为法布里珀罗干涉(F P)或迈克耳孙干涉时该方法的应用过程 ,并且对法布里珀罗定义新的不透过系数 (u =1/τ) ,从而给出更简洁和易分析的对象动态特性微分方程 ,以及由此导出测量法布里珀罗干涉相位的过程。值得注意的是由新方法导出的微分方程揭示对象更一般的时空演化特征 ,而且在现有的经验和知识基础上可以进一步唯象地拓展至其他可能的非线性形式 ,从而使对象的表达方式更接近它的实际情况。

工程实验极限测试数据的二次拟合推演研究

在工程实验中,由于实验条件有限,极限条件下的关键实验数据无法获得。针对此类问题,提出一种基于已测实验数据的极限条件实验数据推理方法,根据已有数据规律,采用二次参数拟合法推理极限条件下数据模型,获得极限条件下的推演数据。推演实例表明,该极限条件数据推演方法有效,可行。

符号—结构推演性方法是否是一种可能——就文学研究方法与孙绍振教授商榷

针对20世纪文论对文本解读的低效、无效,孙绍振撰文呼吁文学研究回到文学文本,并认为文论危机就方法论而言主要在于学术规范的普遍性与文学特殊性之间的矛盾,以及演绎法牺牲特殊性概括普遍性的问题。本文赞同孙文回归文学文本的呼吁,但认为没有必要否定学术规范普遍性及演绎法本身。孙文的否定,说明学界存在对学术规范普遍性及演绎法认识的盲点。为此本文简单追溯文学研究的归纳法与演绎法,并在此基础上提出符号—结构推演性方法。

中介自动推理的理论与实现(Ⅰ)——中介命题逻辑的表推演系统

本文后其后续文章将系统地探讨中介逻辑诸子系统的自动推理理论及其实现方式。本文着重讨论中介命题逻辑的自动定理证明理论。文中给出了中介命题逻辑ＭＰ及ＭＰ的表推演系统，证明了该系统的可靠性与完备性，并给出利用这一理论实现ＭＰ与ＭＰ系统定理自动证明的算法。

论作战实验方法

从定性到定量综合集成方法是作战实验的指导理论。根据作战实验模式,作战实验方法可分为模拟分析、对抗推演和综合研讨方法。模拟分析方法是支持作战实验最主要的定量分析手段。对抗推演方法是支持作战实验中考虑策略博弈的主要分析手段。综合研讨方法是支持作战实验中专家体系运行,考虑专家知识与经验,实现从定性到定量综合集成的最主要手段,综合研讨方法强调"人机结合、以人为主"。