目前我国逻辑学研究的几个误区

目前我国逻辑学研究存在几个重大的误区,即在逻辑学研究的几个很基本的问题上产生重大的误解。讨论和澄清这些误解有利于我国逻辑学的健康发展,所以我在此抛砖引玉,以期引起讨论。...     

分析驱动的设计中存在问题及解决方法探讨

应用仿真分析技术，对当前分析驱动的设计模式中可能存在的问题进行了较为深入的研究，并在此基础上提出了一些解决这些问题的方法，提高了设计效率与质量。     

丙烯酸的下游化学品开发现状及展望

1　丙烯酸及丙烯酸酯的生产发展概况1993年世界丙烯及其酯类的生产能力已超过200万吨/年,2000年达到340万吨/年,年增长率约8%。至1994年1月统计的世界主要地区的丙烯酸量如表一。四大厂商的生产能力就占60%,其中表一　世界主要地区的丙烯酸产量地区或国家生产能力(万吨)份数(%)　　墨西哥3518　　美国683341西欧317东欧2040　　中国8040　　日本436218　　韩国5728　　中国台湾5528合计2001100ＢＡＳＦ30万吨,Ｈｏｅｃｈｓｔ30万吨,Ｒｏｈｍ＆Ｈａｓｓ369万吨,ＥｉｆＡｔｏｃｈｅｍ近30万吨。国内三大丙烯酸及酯装置的生产能力详见表二。198…     

长壁留煤柱支撑法开采"顶板-煤柱"结构分析

长壁留煤柱支撑法开采是陕北中小煤矿普遍采用的一种采煤方法。开采时合理的划分隔离区域,通过留设不同性质的煤柱群,能够使得隔离区域内煤柱在开采下一个区域时适时屈服、破坏,上覆岩层则协调变形发展形成“待垮六面体”。针对陕北郭家湾煤矿的长壁留煤柱支撑法开采,将隔离煤柱及其封闭的区域当作整体,建立了“连续梁”力学模型,从力学的角度出发,分析“顶板-煤柱”相互作用下的煤柱受力大小和顶板破坏机理。数值模拟结果与力学分析结果相吻合。根据分析结果提出的监测方法,对煤矿有效的进行顶板管理,实施安全高效开采具有重要意义。     

关于匹配分配格的一个性质的证明

一个有限分配格L称为匹配分配格当且仅当存在一个平面弱基本二部图G使得M(G)L。本文给出匹配分配格的一个性质及其证明。     

科研单位的财务管理目标

一、科研单位的财务管理目标科研单位的财务管理目标——实现社会科技需求与单位价值最大化,指科研单位通过各项财务活动促进科技事业发展,向社会提供先进的科研成果,创新技术,     

LaNi_5-H_n中晶格气体相变的x-射线衍射研究

贮氢金属LaNi_5的吸放氢等温曲线早已被人用排气法测定。近年来,国外有人用射线研究贵金属贮氢材料的释氢过程。本文用X射线衍射实验方法研究LaNi_5吸氢放氢的全过程,并用以描述晶格气体(氢原子)从类气的α相变化到类气类液的(α β)混合相的     

一种紧致差分格式及其在新型纺纱研究上的应用

本文导出了一种与涡传输方程的ADI格式相协调的流函数方程的四阶精度五点紧致差分格式,并导出了与此相容的速度差分方程及三阶精度的壁涡公式,以及在非网格边界点上的壁涡公式与相邻内点的涡传输差分方程和流函数差分方程。本文成功地用此方法对某新型纺纱器罩壳内的流动作了数值计算。其结果与流场显示法的实验结果(照片)基本符合,对新型纺纱的理论研究以及罩壳的合理改型提供了可靠的依据。