大坝变形分析的模糊似然推理方法

作为模糊似然推理方法的扩展，在多输入因子情况下，推演出水位、温度、时效因子交替固定或变化而似然推理大坝位移的规则，并以刘家峡大坝的水平位移为例，导出了模糊演算预测模型。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

Development of High-speed Machining Database with Case-based Reasoning

Applying high-speed machining technology in shop floor has many benefits, such as manufacturing more accurate parts with better surface finishes. The selection of the appropriate machining parameters plays a very important role in the implementation of high-speed machining technology. The case-based reasoning is used in the developing of high-speed machining database to overcome the shortage of available high-speed cutting parameters in machining data handbooks and shop floors. The high-speed machining data...     

道德语言、规定语言和祈使句——黑尔对道德语言的分析

黑尔认为,伦理学的研究就是对道德语言的逻辑研究。道德语言是一种规定语言,其功能是指导我们的行为,所以道德语言的模糊歧义不仅会造成理论上的困惑,更会引起实践上的混乱。因此,道德语言的明晰十分重要。黑尔对道德语言的分析主要立足于对描述语言和规定语言的比较以及对道德判断和祈使句的比较。按照人们一般的思维模式,文章将从道德概念的分析开始,进而到道德判断,再到道德推理,介评黑尔对道德语言的分析。     

基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.     

基于事例的自适应关联规则挖掘模型的研究

认为传统的关联规则挖掘模型主要是针对结构化数据 ,其可信度和支持度不能随环境的变化自适应调节 ,即缺乏自适应性 ,而现实中还存在大量非结构化的数据 .针对传统发现模型的不足提出了一个基于事例的自适应关联规则发现模型 ,它不仅可以处理对非结构化数据的数据挖掘 ,而且还可以随着环境的变化自适应调节支持度和可信度 .     

全蕴涵多Ⅰ算法及其在多准则决策中的应用

将全蕴涵思想应用于基于L-模糊集的推理问题(其中L是一完备格),建立α-多Ⅰ算法的计算公式,并基于一类广泛的蕴涵算子讨论相应的多Ⅰ算法的还原性问题. 最后,作为多Ⅰ算法的应用,解决一类多准则决策问题.     

刘勰大文学观的逻辑疏漏及其文化阐释

刘勰在其文论《文心雕龙》中标举一种大文学观。这种大文学观将天文、地文、人文、动植物之文并举,全面深入地提高了文学的地位和影响。但是,从现代逻辑观点来看,刘勰的论述存有一定的疏漏,这个疏漏的存在有其深刻的文化因由。     

古希腊千古迷案“半费之讼”的法律探讨

古希腊著名的思想家和哲学家普罗泰哥拉向学生欧提勒士传授辩论技巧,教他替人打官司并约定,剩下的另一半学费则在他毕业后第一次替人打官司赢了之后再交.欧提勒士毕业后,总不去代理别人打官司,普罗泰戈拉只好到法院起诉学生欧提勒士.师生两人均运用诡辩技巧各执一词,据说成千古“迷案”.其实,无论是根据当时的古希腊自然法,还是根据古罗马的诚实信用原则或附生效条件契约,均可裁决学生支付另外一半学费.逻辑推理在法律思维中有局限性,更不可被诡辩误导.在实践中要善于破解诡辩.     

多功能数控等离子束表面冶金设备与工艺研究

研制了一种用于金属材料零件表面抗冲击耐磨损强化处理的多功能数控等离子束表面冶金设备,并在该设备上进行了初步的工艺试验研究。该设备采用PLC三轴控制和抗干扰系统,X、Y、Z三轴联动。可以实现多工位和复杂形状表面的冶金强化处理。采用了CAD设计和电脑模拟安装及演示,使设备的可靠性得到极大保障。