论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

图是λ5-最优的邻域交条件

基于目前网络边连通性在网络拓扑性能方面的广泛应用和高阶限制边通图的各种邻域条件的广泛关注,针对图的高阶限制边连通性的最优化问题进行了深入的研究。该结论通过运用分类讨论和反证假设的方法,对前人一些已知的结果进行推广和改进,给出了阶为n的λ5-连通图的邻域交条件,从而得出图是λ5-最优的充分性条件。这些结论在大规模网络系统中度量网络性能的可靠性和容错性分析方面都有一定的应用,并对研究更高阶的网络连通性的最优化问题提供了方法和理论依据。     

上承式钢板梁桥水平横向振动研究

作为桥梁横向抗风设计和抗震设计的重要基础,提出了一种计算上承式钢板梁桥水平横向振动固有频率的计算方法.根据贝努利-欧拉梁振动理论,建立了上承式钢板梁桥水平横向振动的振动方程.考虑桥梁连接系的作用,给出了水平横向弯曲刚度的表达式,从而求出了上承式钢板梁桥水平横向振动的固有频率.算例分析表明该方法简便实用,且有良好的近似性.     

周礼全先生的学术思想及其贡献——纪念周先生90周年诞辰

主要论述了周礼全先生的学术思想和贡献。周先生在哲学研究领域做出了重要的贡献,并大力宣传哲学家的使命;周先生大力传播现代逻辑,提倡现代逻辑应该理论联系实际;周先生具有学术创新精神,是中国自然语言逻辑的开拓者和传播者;周先生对中国逻辑史的研究和发展做出了重要贡献;周先生客观公正,提倡学术民主,敢于坚持真理,倡导学术批评。周先生最重要的成果就是由他亲自执笔、主编,于1994年出版的《逻辑——正确思维和成功交际的理论》,这部力作无论在国内还是国际上都具有开创性意义,提出了一个包括意义、语境、隐涵和预设等为主体骨干的语言逻辑体系,描述了一种成功交际的理论和一个语言交际图式。     

四川元坝地区须二段致密砂岩储层孔隙演化与天然气成藏

利用储层中不同碎屑颗粒、填隙物的定量统计和孔隙在压实作用下的定量演化分析以及储层中包裹体均一温度,结合储层埋藏史分析等方法,探讨了四川盆地元坝地区上三叠统须二段致密砂岩储层孔隙演化与天然气成藏的关系。早成岩阶段结束时,储层的孔隙度已经降至8.7%,致密储层业已形成,此后一系列的胶结作用导致原生孔隙进一步减少,非均质性强。而元坝地区须二段天然气大规模充注时间为中成岩A期,此时储层已经致密,总体反映出"储层先致密,天然气后成藏"的特点,天然气在储层中以"活塞式推进"方式运移,气藏富集主要受源岩的生烃强度、优质储层等因素控制。基于此,认为烃源岩生气强度高的元坝东凹陷区,同样可以作为天然气勘探有利区。     

辽河探区西部凹陷原油溶解气逸出及其成藏意义

通过辽河探区西部凹陷原油溶解气油比变化特征及其与原油密度关系,分析了原油溶解气逸出量分布与油气成藏的关系.原油溶解气油比一般随深度增加而增大,随深度变浅而降低,与原油密度有较好的相关性.依据原油密度与原油溶解气油比相关的数学模型确定了单位质量原油溶解气逸出量及其分布特征.凹陷内部的单位质量原油溶解气逸出量相对较小,但保存条件好,有利于气藏的形成;而凹陷边缘单位质量原油溶解气逸出量一般较高,但保存条件差,对天然气成藏不利.     

自然法传统与西方权利思想的演进

自然法传统与西方权利思想的产生及发展有着密切联系。古希腊的自然主义观念与人文理念是自然法与西方权利思想的共同理论渊源。伴随自然法理论的生成,与权利相关的各种理念也随之产生,当自然法思想发展到古典自然法阶段时,其已经成为了一种关于权利的思想学说,而且开始引导着近代西方权利思想的发展趋向。进入20世纪之后,在复兴的自然法理论的主导下,权利思想仍然得到发展并显示出强大的理论生命力,从而继续居于西方政治法律领域中的主流理论地位。     

高速公路盐渍土地基溶陷特性离心模型试验

为了研究盐渍土地基的溶陷特点,采用室内模拟潜蚀溶陷变形的离心模型试验方法,在最佳含水率条件下,向典型天然盐渍土中添加不同含量的氯化钠盐,研究典型天然盐渍土和不同氯离子含量的盐渍土溶陷系数的特点,以及在相同氯离子含盐量条件下不同温度对于盐渍土溶陷系数的影响。试验结果表明:向典型天然盐渍土中添加氯离子的含量(质量分数)由3.48%增加到5.31%时,其对应的最大溶陷率分别为0.83%、1.65%;当氯离子含量增加到9.59%时,其对应的最大溶陷率达到1.58%,溶陷系数呈现先增大后减小的规律;温度对氯盐引起的盐渍土溶陷特性影响甚微;浓度与时间关系曲线、浓度与滤液关系曲线均符合幂函数。     

高硫天然气净化处理技术的集成开发与工业应用

针对高含硫天然气具有易燃、易爆、易腐蚀、易泄漏等特性,充分考虑了四川当地的自然条件,从净化处理的工艺过程入手,分析与比较了工艺路线、能源利用与节能以及安全环保措施等,确立了高含硫天然气净化处理的技术集成与工程化实施方案,该方案得到了成功的工业应用。     

用高阶导数对自然数方幂和相关问题的研究

利用ekx和(ex-1)k的高阶导数的性质,简捷地推导出了自然数方幂和的2种形式的求和公式,得到了2个Bernoulli数的确切公式.所得到的结果推广了传统自然数方幂和的相关结论.