检索结果-维普期刊中文期刊服务平台

人在洪水中临界失稳判定公式的对比及分析: 1; 作者曹留伟《人民长江》北大核心 2013年第24期58-61,65,共5页; 洪水灾害是人类面临最严重的自然灾害之一,洪灾造成的人员伤亡数量巨大。人在洪水中失去稳定性进而溺亡是人员死亡的主要原因之一。在归纳辨析人在洪水中临界失稳的判定公式的基础上,分析了人体失稳的主要影响因素;并利用文献数据,重新... 展开更多; 关键词临界失稳判定公式公式拟合正态分布函数洪水灾害; 在线阅读下载PDF 职称材料

命题公式的一种演绎判定方法: 2; 作者齐德昱李小薪《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期71-76,共6页; 目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而演绎过程是许多推理性应用的重要依据.文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法.首先定义了消解复杂性的两种范式:最简范式和文字范... 展开更多; 关键词命题逻辑公式判定演绎判定自动定理证明; 在线阅读下载PDF 职称材料

标准模态逻辑的判定方法和完全性: 3; 作者任秋云陶景侃《兰州大学学报（社会科学版）》 CSSCI 1993年第3期62-70,共9页; 本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。; 关键词语义图完全性定理规则模态逻辑判定公式当且仅当公理模型系统作图; 在线阅读下载PDF 职称材料

回溯推理的逻辑形式及其有效性判定被引量：5: 4; 作者张学立《西南师范大学学报（哲学社会科学版）》 CSSCI 1996年第1期50-53,共4页; 回溯推理的逻辑形式及其有效性判定张学立回溯推理（ＲｅｄｕｃｔｉｖｅＩｎｆｅｒｅｎｃｅ）是从已知事实出发结合推论者的背景知识，借助充分条件假言推理的肯定后件式，由后件过渡到前件的一种或然性推理。它在科学发现和刑事侦察过... 展开更多; 关键词回溯推理逻辑形式有效性可能世界回溯推理形式模态命题标准模型逻辑系统逻辑公式判定公式; 在线阅读下载PDF 职称材料

篦齿封严气弹稳定性影响因素研究: 5; 作者苏国征孙丹 +3 位作者王志李玉王文徐梅鹏《润滑与密封》 CAS CSCD 北大核心 2023年第9期63-72,共10页; 为探究篦齿封严气弹失稳机制,理论分析了篦齿封严结构动力学与气弹稳定性判定公式,建立了篦齿封严结构动力特性数值求解模型与气弹稳定性求解模型,并验证该了方法的准确性;研究了篦齿环齿间距、壁厚以及转速对篦齿封严固有频率与气弹稳... 展开更多; 关键词篦齿封严动力学特性气弹稳定性判定公式振动; 在线阅读下载PDF 职称材料

题名人在洪水中临界失稳判定公式的对比及分析: 1; 作者曹留伟; 机构同济大学土木工程学院; 出处《人民长江》北大核心 2013年第24期58-61,65,共5页; 基金中央高校基本科研业务费专项资金(0290219007) 公益性行业(气象)科研专项经费项目(GYHY201306055); 文摘洪水灾害是人类面临最严重的自然灾害之一,洪灾造成的人员伤亡数量巨大。人在洪水中失去稳定性进而溺亡是人员死亡的主要原因之一。在归纳辨析人在洪水中临界失稳的判定公式的基础上,分析了人体失稳的主要影响因素;并利用文献数据,重新修正了单个人体在洪水中临界失稳的判定公式。通过对文献试验数据的分析,发现人体临界失稳值(hU)满足正态分布,据此求出其均值和标准差,可以用来确定较大范围内不同洪水要素下洪灾造成的失稳人口数。; 关键词临界失稳判定公式公式拟合正态分布函数洪水灾害; Keywords judgment formulas of critical stability formula fitting normal distribution function flood disaster; 分类号 TV122 [水利工程—水文学及水资源]; 在线阅读下载PDF 职称材料

题名命题公式的一种演绎判定方法: 2; 作者齐德昱李小薪; 机构华南理工大学计算机科学与工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期71-76,共6页; 文摘目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而演绎过程是许多推理性应用的重要依据.文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法.首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5).; 关键词命题逻辑公式判定演绎判定自动定理证明; Keywords propositional logic formula decision deduction-based decision automatic theorem proving; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名标准模态逻辑的判定方法和完全性: 3; 作者任秋云陶景侃; 机构兰州大学哲学系; 出处《兰州大学学报（社会科学版）》 CSSCI 1993年第3期62-70,共9页; 文摘本文首先说明标准模态逻辑的D、T、S_4、S_5系统和它们的〈W、R、V〉模型;然后根据其模型,制定通用规则和专用规则,作语义图以判定公式是否常真;最后借语义图,证明这四个系统的完全性。; 关键词语义图完全性定理规则模态逻辑判定公式当且仅当公理模型系统作图; 分类号 C55 [社会学]; 在线阅读下载PDF 职称材料

题名回溯推理的逻辑形式及其有效性判定被引量：5: 4; 作者张学立; 出处《西南师范大学学报（哲学社会科学版）》 CSSCI 1996年第1期50-53,共4页; 文摘回溯推理的逻辑形式及其有效性判定张学立回溯推理（ＲｅｄｕｃｔｉｖｅＩｎｆｅｒｅｎｃｅ）是从已知事实出发结合推论者的背景知识，借助充分条件假言推理的肯定后件式，由后件过渡到前件的一种或然性推理。它在科学发现和刑事侦察过程中有着重要作用。回溯推理是一种独...; 关键词回溯推理逻辑形式有效性可能世界回溯推理形式模态命题标准模型逻辑系统逻辑公式判定公式; 分类号 B812.23 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名篦齿封严气弹稳定性影响因素研究: 5; 作者苏国征孙丹王志李玉王文徐梅鹏; 机构沈阳航空航天大学航空发动机学院沈阳航空航天大学沈阳市透平机械先进密封技术重点实验室中国航发商用航空发动机有限责任公司; 出处《润滑与密封》 CAS CSCD 北大核心 2023年第9期63-72,共10页; 基金国家自然科学基金项目(52075346) 受先进航空动力创新工作站(依托中国航空发动机研究院设立)资助(HKC2020-02-030)。; 文摘为探究篦齿封严气弹失稳机制,理论分析了篦齿封严结构动力学与气弹稳定性判定公式,建立了篦齿封严结构动力特性数值求解模型与气弹稳定性求解模型,并验证该了方法的准确性;研究了篦齿环齿间距、壁厚以及转速对篦齿封严固有频率与气弹稳定性的影响规律,揭示了篦齿封严气弹失稳影响机制。研究表明:齿间距、壁厚对固有频率的影响程度随着节径数的增加而增大,对前三阶固有频率影响不大;转速对于第一阶固有频率影响最大;篦齿封严齿间距的增加会导致固有频率和气弹稳定性的下降;篦齿封严壁厚的增加可引起固有频率的升高,并且可以有效改善气弹稳定性;升高转速会引起篦齿环固有频率较明显的增加,对气弹稳定性影响较小。; 关键词篦齿封严动力学特性气弹稳定性判定公式振动; Keywords labyrinth seal dynamic characteristic aeroelastic stability decision equation vibration; 分类号 V215.3 [航空宇航科学与技术—航空宇航推进理论与工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	人在洪水中临界失稳判定公式的对比及分析	曹留伟	《人民长江》北大核心	2013	0	在线阅读下载PDF 职称材料
2	命题公式的一种演绎判定方法	齐德昱李小薪	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
3	标准模态逻辑的判定方法和完全性	任秋云陶景侃	《兰州大学学报（社会科学版）》 CSSCI	1993	0	在线阅读下载PDF 职称材料
4	回溯推理的逻辑形式及其有效性判定	张学立	《西南师范大学学报（哲学社会科学版）》 CSSCI	1996	5	在线阅读下载PDF 职称材料
5	篦齿封严气弹稳定性影响因素研究	苏国征孙丹王志李玉王文徐梅鹏	《润滑与密封》 CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料