证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。     

从PAL看认知逻辑的动态转换

本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一些基本思路和方法，重点考察动态认知逻辑是如何完成静态向动态的转换。     

潜油电泵油井工况诊断技术通过技术鉴定

我校开发系张琪教授等与胜利石油管理局无杆采油泵公司合作完成的“潜油电泵油井工况诊断技术研究”项目。于1993年3月25日通过胜利油田科委组织的技术鉴定.该技术建立了一套潜油电泵油井工况诊断和油井生产系统优化设计的理论模型和方法.首次建立了考虑电缆及井下机组增温效应的潜油泵井温度场计算的理     

VRDS—FCC组合工艺技术通过中石化总公司组织的技术鉴定

由石油大学(华东)炼制系阙国和教授等与齐鲁石化公司胜利炼油厂联合开发的VRDS—FCC组合工艺技术,于10月30日通过中石化总公司组织的技术鉴定。参加鉴定会的有北京设计院、石油化工科学研究院、清华大学等十几个炼油化工单位和高等院校的专家、教授。鉴定委员会对该项成果给予了高度评价。