公理化组合真之理论研究述评 被引量：2

1

作者 韦雷雷 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2016年第3期38-43,共6页

公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理... 公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。 展开更多

关键词 公理化真之理论 组合真 类型 无类型

原文传递

一种无类型的弱公理化真理论及其扩充

2

作者 李晟 《重庆理工大学学报（社会科学）》 CAS 2017年第1期13-17,共5页

在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得... 在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。 展开更多

关键词 公理化 真理论 弱组合性 无类型

下载PDF 职称材料

VLCC波浪中操纵性数值预报与自航模试验验证 被引量：7

3

作者 苏威 马宁 顾解忡 《中国造船》 EI CSCD 北大核心 2012年第3期9-17,共9页

超级油轮(VLCC)由于其自身惯性大、方形系数大等特点,其操纵性与一般的大型船舶存在很大差异,因此对其操纵性特别是波浪中的操纵性进行研究就显得尤为重要。目前国内鲜有研究人员对不同波陡、初始浪向角下VLCC波浪中的操纵性进行详细和... 超级油轮(VLCC)由于其自身惯性大、方形系数大等特点,其操纵性与一般的大型船舶存在很大差异,因此对其操纵性特别是波浪中的操纵性进行研究就显得尤为重要。目前国内鲜有研究人员对不同波陡、初始浪向角下VLCC波浪中的操纵性进行详细和深入研究,本文采用一种新型自航模系统的操纵性试验和数值模拟的方法对不同波陡规则波下VLCC波浪中的操纵性能进行了研究。在试验中,通过改变波浪参数,重点研究分析了不同波陡、初始浪向角对VLCC操纵性的影响,并与数值模拟进行比较,结果吻合良好。 展开更多

关键词 VLCC 操纵性 规则波 初始浪向角 波陡 新型自航模系统 数值模拟

下载PDF 职称材料

空间自由活塞斯特林发动机研究进展 被引量：6

4

作者 冶文莲 孙述泽 +1 位作者 陈鹏帆 杨山举 《真空与低温》 2021年第5期457-466,共10页

自由活塞斯特林发动机可利用放射性同位素、核能、太阳能等热源将热能转化为机械能。由于其具有高效率、高可靠、长寿命等特点,成为满足当前长周期深空探测任务的理想机型之一。详细介绍了应用于放射性同位素发电装置和核裂变电源系统... 自由活塞斯特林发动机可利用放射性同位素、核能、太阳能等热源将热能转化为机械能。由于其具有高效率、高可靠、长寿命等特点,成为满足当前长周期深空探测任务的理想机型之一。详细介绍了应用于放射性同位素发电装置和核裂变电源系统的自由活塞斯特林发动机的发展历程,其发展过程主要体现在结构形式多样化、输出功率及应用范围扩大化、单机走向系统集成化等方面。进一步总结了自由活塞斯特林发动机的关键技术,并介绍了其在热力学分析、多目标优化以及动力学方面的理论研究进展。最后,对我国自由活塞斯特林发动机的研究现状提出了几点思考。 展开更多

关键词 自由活塞式 斯特林发动机 空间应用 深空探测

下载PDF 职称材料

论3D电影的高碳病象与低碳路径 被引量：2

5

作者 苏月奂 《山东青年政治学院学报》 2015年第3期9-15,共7页

3D电影借助双镜头摄像技术生成了较之2D电影透视感更强、更逼真的影像,进一步拓展了直观真实和超现实真实的美学空间,带给观众更强烈的感官愉悦和沉浸效应,具有独立审美价值。但3D电影也普遍呈现出内容空洞、叙事弱化、形象扁平、形式... 3D电影借助双镜头摄像技术生成了较之2D电影透视感更强、更逼真的影像,进一步拓展了直观真实和超现实真实的美学空间,带给观众更强烈的感官愉悦和沉浸效应,具有独立审美价值。但3D电影也普遍呈现出内容空洞、叙事弱化、形象扁平、形式虚假等高碳病象,其根源在于艺术文本中客观真实的缺失。合理配置直观真实、超现实真实、主观真实与客观真实,尤其是注重文本客观真实的营造,提升低碳美学价值是3D电影艺术发展的正确方向。 展开更多

关键词 3D电影美学 沉浸效应 客观真实 感官型自由情感 陶冶型自由情感

下载PDF 职称材料

微油螺杆式空气压缩机的应用 被引量：1

6

作者 富雅美 王锡海 《大氮肥》 CAS 2017年第6期396-398,共3页

介绍微油螺杆式空气压缩机的结构特点与运行情况,针对空气压缩机出现的典型故障,分析原因,提出相应解决措施,保障空气压缩机稳定运行。

关键词 微油螺杆式空气压缩机 典型故障 分析处理

下载PDF 职称材料

一种适应性强的大型油田钻井液——SQ高温高压油气井无固机无机钻井液的研制

7

作者 李兰生 范瑞青 +2 位作者 范典高 高澜 黄桂桥 《中国海洋大学学报（自然科学版）》 CAS CSCD 1999年第S1期203-209,共7页

　ＳＱ高温高压无固相无相钻井液是一种由加重剂、粘度调节剂、缓蚀剂和除氧剂组成的无机钻井液，它对储层渗透率的恢复值高（ 比现有的钻井液高出１０％ ～１３ ％ ） ，具有腐蚀性弱（０．０４９ｍｍ／ａ） 、与地下水和ＣＯ２ 等混... 　ＳＱ高温高压无固相无相钻井液是一种由加重剂、粘度调节剂、缓蚀剂和除氧剂组成的无机钻井液，它对储层渗透率的恢复值高（ 比现有的钻井液高出１０％ ～１３ ％ ） ，具有腐蚀性弱（０．０４９ｍｍ／ａ） 、与地下水和ＣＯ２ 等混合后不产生沉淀、耐高温（ ＞ ８０ ℃） 、密度高（１ ．５１ ～１ ．７０ｇ／ｃｍ３）等特性，故对油气层和机械设备具有良好的保护作用，是一种应性强的大型油田钻井液。 展开更多

关键词 大型油田 无固相 无机钻井液 渗透恢复率 岩芯

下载PDF 职称材料

液压自由活塞发动机——未来的动力之星 被引量：30

8

作者 杨华勇 夏必忠 傅新 《中国机械工程》 EI CAS CSCD 北大核心 2001年第3期353-357,共5页

液压自由活塞发动机是近 2 0年发展起来的新型动力 ,是一种有前途的车用特种发动机。本文首先介绍了该发动机的工作原理、结构类型、性能特点 ;其次分析了该发动机物理实现的关键技术问题、应用前景 ;

关键词 液压自由活塞发动机 内燃机 汽车

下载PDF 职称材料

2型糖尿病患者血清FFA变化与胰岛素抵抗关系的探讨 被引量：12

9

作者 赵铁耘 李贵星 +2 位作者 黄亨建 李秀钧 周国跃 《华西医科大学学报》 CSCD 2000年第2期236-238,共3页

为了观察2型糖尿病患者空腹及口服759葡萄糖后血清游离脂肪酸（FFA）的变化，探讨体内胰岛素调节FFA的能力是否减弱以及FFA与胰岛素抵抗的关系。采用比色法测定60例2型糖尿病患者（女31例，男29例，平均年龄55．30±12．27岁）空腹... 为了观察2型糖尿病患者空腹及口服759葡萄糖后血清游离脂肪酸（FFA）的变化，探讨体内胰岛素调节FFA的能力是否减弱以及FFA与胰岛素抵抗的关系。采用比色法测定60例2型糖尿病患者（女31例，男29例，平均年龄55．30±12．27岁）空腹及OGTT2小时血清FFA水平，并同步测定血糖（PG）、胰岛素（INS）。同法测30例正常人作对照。胰岛素敏感性指数（ISI）＝1／（空腹血糖FPG×空腹胰岛素FINS）。结果：2型糖尿病患者空腹及2小时血清FFA、PG、INS均显著增高，ISI显著降低，与对照组比较P值分别为＜0．05或＜0．01；多元逐步回归分析显示，2小时FFA与胰岛素敏感性指数（ISI）呈明显负相关（P＝0．0304）。以上结果提示：2型糖尿病患者不仅存在着空腹FFA异常，而且存在着INS抑制FFA代谢的异常，餐后FFA的异常升高也与INS抵抗有关。 展开更多

关键词 Ⅱ型糖尿病 游离脂肪酸 胰岛素抵抗

下载PDF 职称材料

T型自润滑关节轴承介绍 被引量：12

10

作者 何两加 《机械工程师》 2011年第4期127-128,共2页

介绍了T型自润滑关节轴承的特点、应用场合,阐述了轴承的工作原理。通过静载荷、动载荷性能试验数据表明干摩擦因数低,承载能力高,寿命长。

关键词 T型自润滑关节轴承 PTFE织物衬垫 载荷 摩擦因数 寿命

下载PDF 职称材料

K^+型无铅鸡蛋皮蛋加工技术 被引量：10

11

作者 张献伟 郭善广 +1 位作者 蒋爱民 李远志 《食品科学》 EI CAS CSCD 北大核心 2011年第14期350-355,共6页

以新鲜鸡蛋为试材,采用浸泡法加工工艺,探讨KOH对加工鸡蛋皮蛋中蛋清、蛋黄的pH值、色泽及TPA(texture profile analysis)等质量特性的影响及其可能作用机理,旨在为研发K+型鸡蛋皮蛋提供依据。研究表明,5.5%KOH处理的皮蛋,在感官品质及... 以新鲜鸡蛋为试材,采用浸泡法加工工艺,探讨KOH对加工鸡蛋皮蛋中蛋清、蛋黄的pH值、色泽及TPA(texture profile analysis)等质量特性的影响及其可能作用机理,旨在为研发K+型鸡蛋皮蛋提供依据。研究表明,5.5%KOH处理的皮蛋,在感官品质及质构特性方面较为理想。 展开更多

关键词 K^+无铅皮蛋 腌制液碱度 色泽 质构特性

下载PDF 职称材料

Al对无钴AB_5型贮氢合金微观结构和电化学性能的影响 被引量：6

12

作者 罗永春 阎汝煦 +3 位作者 张法亮 王大辉 康龙 陈剑虹 《中国有色金属学报》 EI CAS CSCD 北大核心 2006年第2期296-303,共8页

采用单辊快凝方法制备了过化学计量比稀土贮氢合金La（NiMn）a-xAlx（5〈a〈6，x为0～0．5），研究了Al含量及淬速对合金电极性能及微观结构的影响。结果表明：快淬过化学计量比合金相结构均为过饱和CaCus型单相，且随Al含量的增加，合... 采用单辊快凝方法制备了过化学计量比稀土贮氢合金La（NiMn）a-xAlx（5〈a〈6，x为0～0．5），研究了Al含量及淬速对合金电极性能及微观结构的影响。结果表明：快淬过化学计量比合金相结构均为过饱和CaCus型单相，且随Al含量的增加，合金晶胞体积呈线性增大；不同淬速条件下合金凝固组织的形貌和晶态存在明显差别。随Al含量的增加，合金电极的放电容量有所降低，但电极循环寿命得到极大改善。当x=0．3和淬速为10-15m／s时，合金电极的最大放电容量为322和309mA·h／g，经150次循环后，电极容量保持率分别为93．5％和95．5％。低温（400℃）退火对合金电极活化性能有所改善，但并未影响合金的循环寿命。 展开更多

关键词 AB5型无钴贮氢合金 AL含量 微观结构 电化学性能

下载PDF 职称材料

折线型实用堰过流能力研究 被引量：6

13

作者 童海鸿 丁新求 艾克明 《中国农村水利水电》 北大核心 2002年第2期19-21,共3页

折线型实用堰作为低堰,在中小型水利工程和农业水利工程中应用广泛,但对其泄流能力的研究尚不够充分。通过整理前人研究成果,以及对实测试验资料进行分析,提出了折线型实用堰的界限范围和自由泄流时流量系数的计算公式。

关键词 折线型实用堰 流量系数 堰型系数 自由泄流

下载PDF 职称材料

工程瞬态涡流问题的边界无单元方法求解 被引量：6

14

作者 张勇 邵可然 陈德智 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第7期1-3,共3页

以点插值方法构造形函数,推导了一种适合于求解工程电磁场瞬态涡流问题的边界点型无单元方法(BMFM),进行了详细的理论分析.与一般无单元方法以及边界元法构造形函数不同,BMFM对边界积分方程采用点插值法构造空间插值形函数,使空间插值... 以点插值方法构造形函数,推导了一种适合于求解工程电磁场瞬态涡流问题的边界点型无单元方法(BMFM),进行了详细的理论分析.与一般无单元方法以及边界元法构造形函数不同,BMFM对边界积分方程采用点插值法构造空间插值形函数,使空间插值形函数满足Kroneckerdelta条件,从而强加边界条件可以直接施加在边界点上.以金属长方柱的瞬态涡流分析作为数值算例证实了方法的正确性和有效性. 展开更多

关键词 瞬态涡流 边界点型无单元方法 初边值问题 数值分析

下载PDF 职称材料

装配式混凝土结构施工新型免脚手围挡系统的研究与应用

15

作者 江徐春 《工程设计与施工》 2024年第3期106-108,共3页

论文以上海市闵行区浦江镇浦江社区MHP0-1307单元G03-04地块租赁住房项目为例,从结构形式、安装与提升以及装拆方法等方面出发,介绍了新型免脚手围挡系统外防护体系,同时提出了工具式外挂防护架在阳台处的具体设计方案。工程实践表明,... 论文以上海市闵行区浦江镇浦江社区MHP0-1307单元G03-04地块租赁住房项目为例,从结构形式、安装与提升以及装拆方法等方面出发,介绍了新型免脚手围挡系统外防护体系,同时提出了工具式外挂防护架在阳台处的具体设计方案。工程实践表明,新型免脚手围挡系统和工具式外挂防护架的应用均取得了良好的效果,既提高了施工效率,又节省了材料且能够适应建筑工业化绿色发展的需要和管理要求,有着良好的推广和应用前景。 展开更多

关键词 装配式混凝土结构 新型免脚手围挡系统 工具式外挂防护架系统 绿色发展

下载PDF 职称材料

铁对快凝稀土系贮氢合金AB_(5.6)微观结构和电化学性能的影响 被引量：5

16

作者 罗永春 阎汝煦 康龙 《中国稀土学报》 CAS CSCD 北大核心 2008年第4期461-468,共8页

采用单辊快甩凝固技术制备了过化学计量比稀土系贮氢合金La（NiMn）5.6-xFex（x=0-0.5）,研究了Fe及快淬速度对合金电极性能及微观结构的影响。结果表明,过化学计量比快淬合金的相结构均为过饱和CaCu5单相,且随Fe的增多,合金晶胞体积基... 采用单辊快甩凝固技术制备了过化学计量比稀土系贮氢合金La（NiMn）5.6-xFex（x=0-0.5）,研究了Fe及快淬速度对合金电极性能及微观结构的影响。结果表明,过化学计量比快淬合金的相结构均为过饱和CaCu5单相,且随Fe的增多,合金晶胞体积基本呈线性增加,放电平台压力值递减,合金电极的放电容量增大且电极循环稳定性得到有效提高;当x≥0.4时,合金最大放电容量为341 mAh·g^-1,经200次循环后电极容量保持率大于96.2%,1C和2C放电时的HRD分别为88%-89.8%和62%-70%。不同淬速条件下合金凝固组织形貌和晶态存在明显差别,淬速对合金的电极性能有明显影响;当x=0.3,淬速为10 m·s^-1时,合金电极有良好的综合电化学性能。 展开更多

关键词 无钴AB5型合金 快速凝固 铁 微观结构 电化学性能 稀土

下载PDF 职称材料

腹股沟疝Modified Kugel疝环充垫式无张力修补术的临床疗效研究 被引量：6

17

作者 谈玉婷 陈国庆 《中国医药导刊》 2012年第5期770-771,共2页

目的:探讨腹股沟疝Modified Kugel疝环充垫式无张力修补术的临床疗效。方法:采用回顾性分析的方法,分析我院收治的Modified Kugel疝环充垫式无张力修补术为观察组和传统的平片式和疝环充填式无张力修补术作为对照组。结果:观察组手术时... 目的:探讨腹股沟疝Modified Kugel疝环充垫式无张力修补术的临床疗效。方法:采用回顾性分析的方法,分析我院收治的Modified Kugel疝环充垫式无张力修补术为观察组和传统的平片式和疝环充填式无张力修补术作为对照组。结果:观察组手术时间、下床活动时间、住院时间低于对照组,术后发热、切口感染、术后疼痛加剧、术后尿潴留、术后复发率均低于对照组,P<0.05,差异均有统计学意义。结论:Modified Kugel疝环充垫式无张力修补术治疗腹股沟疝真正消除联合肌腱和腹股沟韧带强行缝合造成的张力,创伤更小、恢复快,并发症少,值得临床借鉴应用。 展开更多

关键词 腹股沟疝 MODIFIED KUGEL 疝环充垫式 无张力修补术

下载PDF 职称材料

8字型无碳小车设计与分析 被引量：5

18

作者 龚智强 金张良 +2 位作者 邢刚 陈海波 周晓光 《巢湖学院学报》 2016年第3期65-68,91,共5页

文章设计了一种可将重力势能转化为机械能来驱动小车前行的装置,采用齿轮来传递力矩进而带动驱动轮,采用空间机构RSSR实现转向轮的转向,推动小车运动。通过MATLAB对小车运动轨迹进行优化设计,实现小车按照8字型路线绕过障碍物并呈现周... 文章设计了一种可将重力势能转化为机械能来驱动小车前行的装置,采用齿轮来传递力矩进而带动驱动轮,采用空间机构RSSR实现转向轮的转向,推动小车运动。通过MATLAB对小车运动轨迹进行优化设计,实现小车按照8字型路线绕过障碍物并呈现周期型运动。采用Pro/E建模,导入ADAMS中进行运动仿真验证,仿真结果与理论分析结果一致,为后续加工无碳小车样机提供依据。 展开更多

关键词 8字型无碳小车 Pro/E建模 机构分析 运动仿真

下载PDF 职称材料

稀土Ce对无Co过计量比CaCu_5型合金贮氢和电化学性能的影响 被引量：5

19

作者 罗永春 刘刚 康龙 《兰州理工大学学报》 CAS 北大核心 2009年第5期17-22,共6页

采用单辊甩带快速凝固方法制备过化学计量比稀土贮氢合金La1-xCexNi4.17Mn0.93Al0.1Fe0.4（AB5.6型,x=0~0.5）,研究Ce元素部分替代La后对合金微观结构、储氢及电化学性能的影响.XRD分析及储氢性能测试结果表明,快淬过化学计量比合金的... 采用单辊甩带快速凝固方法制备过化学计量比稀土贮氢合金La1-xCexNi4.17Mn0.93Al0.1Fe0.4（AB5.6型,x=0~0.5）,研究Ce元素部分替代La后对合金微观结构、储氢及电化学性能的影响.XRD分析及储氢性能测试结果表明,快淬过化学计量比合金的相组织均为过饱和CaCu5型结构单相,合金晶胞体积与Ce质量分数基本呈线性关系,其中合金的储氢量随Ce质量分数的增加而减小,而吸放氢平台压力增高.电化学测试和分析结果表明,随Ce质量分数的增加,合金电极的活化性能和放电容量有所降低,但电极循环寿命得到明显提高.当x=0、0.5时,合金电极的最大放电容量为328.9、305.4 mAh/g;当x≥0.3时,经100次循环后,合金电极容量保持率S100由x=0时的80%提高至93%~96%;合金电极的高倍率放电性能（HRD）随Ce质量分数的增加呈先减小后增加的趋势. 展开更多

关键词 AB5型无Co贮氢合金 Ce质量分数 相结构 电化学性能

下载PDF 职称材料

炼化装置腐蚀检测技术的现状及进展 被引量：2

20

作者 胡洋 刘志梅 +1 位作者 肖阳 吕玉玺 《石油化工腐蚀与防护》 CAS 2022年第2期27-31,共5页

分析了炼化装置20种主要腐蚀检测技术及适用的腐蚀失效类型,重点介绍了脉冲涡流、交流电磁场检测和贴片式无源测厚三种技术在炼化企业的应用,探讨了腐蚀检测技术研发、腐蚀检测部位选点优化和腐蚀检测数据有效利用三个方面存在的问题,... 分析了炼化装置20种主要腐蚀检测技术及适用的腐蚀失效类型,重点介绍了脉冲涡流、交流电磁场检测和贴片式无源测厚三种技术在炼化企业的应用,探讨了腐蚀检测技术研发、腐蚀检测部位选点优化和腐蚀检测数据有效利用三个方面存在的问题,并提出了下一步的工作建议。 展开更多

关键词 腐蚀检测 脉冲涡流检测 交流电磁场检测 贴片式无源测厚 研究进展

下载PDF 职称材料