论文部分内容阅读
为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.
用于不完全信息数据库的中介逻辑演算系统MPM
【摘 要】
：
为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.
【机 构】
：
南京大学软件新技术国家重点实验室(南京)南京航空航天大学计算机系(南京)
【出 处】
：
第18届全国数据库学术会议
【发表日期】
：
2001年5期
其他文献
近几年,随着铝行业技术改造的不断深入,砌筑铝槽结构材料之一的半石墨质炭块市场供不应求,而3500 t油压机因各方面因素的影响,成品率很低,严重浪费生产能力,为此,兰炭选购了
本研究用电捕焦油替代重油燃烧,用于田转窑煅烧料的生产,获得了成功,使电捕焦油得到综合利用,化害为益,利国利民,实现了节能降耗,消除了电捕焦油带来的环境污染.
倒焰窑由于结构简单,投资少,单炉运行,在焙烧小规格石墨电极和细结结构石墨方面还继续采用.但它热效率低,温度在炉内不同部位相差很大.所以,一般认为采用倒焰窑生产大规格电
多高层建筑的结构自重是逐层施加的,施工过程中结构自重只作用于已施工完成的结构上,对上层未建结构内力无影响,而常规设计方法是以整体结构为计算模型进行设计计算,因此设计
兰州炭素有限公司压型二厂配料工序的磨粉系统是炭素制品生产的关健工序,原料的产量、质量和环保设施的除尘效率关系紧密.该生产线于1986年6月15日破土动工,91年6月30完工,交
热解石墨是碳氢化合物气体在热固体表面上发生热分解并在该固体表面上沉积的炭.流态床热解炭是颗粒状基体,在碳氢化合物及惰性载气的吹动下,在反应器内上下不断翻滚,碳氢化合
兰炭集团公司两套4 t/h磨粉系统,采用多管收粉器和扁袋除尘器进行收粉与通风除尘.产能低,尾气排放超标.于1997年～1999年相继对两套系统进行综合治理收到良好的效果,实现了节能
本研究采用双室法制备了钾石墨层间化合物,运用德拜照相法进行X射线分析,对1阶钾石墨层间在常温下吸附H2后的产物的结构进行了初步研究,并在此基础上,对1阶高温分解产物的结
本文在简要地介绍了无线射频识别技术(Radio FrequencyIdentification，RFID)基础上，研究了当前超高频RFID读写器在煤矿井下安全管理及人员监控的应用。