期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
公理化组合真之理论研究述评
被引量：
2
1
作者
韦雷雷
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016年第3期38-43,共6页
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理...
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。
展开更多
关键词
公理化
真
之理论
组合
真
类型
无类型
原文传递
C5-PFK混合气体绝缘穿墙套管分解产物分时互用光学带电检测技术
2
作者
邓保家
张施令
彭链
《电工技术》
2024年第19期164-172,共9页
围绕C5-PFK气体在特高压套管典型绝缘结构使用的理论性分析,将分时互用光纤传感检测技术应用于C5-PFK混合气体绝缘及分解性能研究。理论和软件分析:从分子动力学层面模拟C5-PFK混合气体的绝缘及分解特性;自主编程仿真软件模拟吸收谱线...
围绕C5-PFK气体在特高压套管典型绝缘结构使用的理论性分析,将分时互用光纤传感检测技术应用于C5-PFK混合气体绝缘及分解性能研究。理论和软件分析:从分子动力学层面模拟C5-PFK混合气体的绝缘及分解特性;自主编程仿真软件模拟吸收谱线随温度、压力变化规律,获取C5-PFK绝缘环境下特高压套管精细化电热机耦合场分布;针对电容式套管内绝缘结构和C5-PFK混合气体绝缘特性,应用灰色系统与NSGA-Ⅱ混合算法反演、预测分解气体浓度高耦合、非线性数据序列。硬件和装置开发:开发分时互用光纤带电检测装置实现混合气体分解成分定量在线获取;搭建测试混合气体工频、雷电和操作冲击性能的高压组合电器真型试验平台;通过迭代优化光路系统,解决高频振动、大幅温差对试验结果影响。分时互用光纤传感检测技术可实现C5-PFK混合气体高灵敏度、宽浓度域检测,为双碳目标建设示范工程提供理论和试验依据,具有较好经济和社会效益。
展开更多
关键词
C5-PFK气体
分子动力学
灰色系统与NSGA-Ⅱ混合算法
高压
组合
电器
真
型试验平台
光路系统
下载PDF
职称材料
片段组合呈现真我
3
作者
王姣
娄逸涵
《小雪花（小学快乐作文）》
2011年第5期24-25,共2页
看！那个镜子里的小破孩儿是谁？那就是我。
关键词
《片段
组合
呈现
真
我--这就是我》
小学生
作文
语文学习
下载PDF
职称材料
题名
公理化组合真之理论研究述评
被引量：
2
1
作者
韦雷雷
机构
南开大学哲学院
出处
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016年第3期38-43,共6页
文摘
公理化真之理论的基本思想是将真公理添加到基础理论中,并以真谓词T对基础理论的语言进行扩充。用塔斯基定义真时所使用的归纳条款进行公理化并添加到基础理论,就能得到组合真之理论系统。公理化组合真之理论在以PA和ZF集合论为基础理论的研究方向上取得了若干成果。公理化组合真之理论以真谓词是否允许作用于本身带有该真谓词的语句为划分标准,分为"类型组合真之理论"和"无类型组合真之理论"两个路径。
关键词
公理化
真
之理论
组合
真
类型
无类型
Keywords
theories of axiomatic truth
compositional truth
type
type-free
分类号
B81 [哲学宗教—逻辑学]
原文传递
题名
C5-PFK混合气体绝缘穿墙套管分解产物分时互用光学带电检测技术
2
作者
邓保家
张施令
彭链
机构
国网重庆市电力公司电力科学研究院
国网重庆市电力公司经济技术研究院
重庆电力高等专科学校动力工程学院
出处
《电工技术》
2024年第19期164-172,共9页
文摘
围绕C5-PFK气体在特高压套管典型绝缘结构使用的理论性分析,将分时互用光纤传感检测技术应用于C5-PFK混合气体绝缘及分解性能研究。理论和软件分析:从分子动力学层面模拟C5-PFK混合气体的绝缘及分解特性;自主编程仿真软件模拟吸收谱线随温度、压力变化规律,获取C5-PFK绝缘环境下特高压套管精细化电热机耦合场分布;针对电容式套管内绝缘结构和C5-PFK混合气体绝缘特性,应用灰色系统与NSGA-Ⅱ混合算法反演、预测分解气体浓度高耦合、非线性数据序列。硬件和装置开发:开发分时互用光纤带电检测装置实现混合气体分解成分定量在线获取;搭建测试混合气体工频、雷电和操作冲击性能的高压组合电器真型试验平台;通过迭代优化光路系统,解决高频振动、大幅温差对试验结果影响。分时互用光纤传感检测技术可实现C5-PFK混合气体高灵敏度、宽浓度域检测,为双碳目标建设示范工程提供理论和试验依据,具有较好经济和社会效益。
关键词
C5-PFK气体
分子动力学
灰色系统与NSGA-Ⅱ混合算法
高压
组合
电器
真
型试验平台
光路系统
Keywords
C5-PFK gas
molecular dynamics
grey system-NSGA-Ⅱ hybridized algorithm
full-scale testing platform for high-voltage switchgear
optical system
分类号
TM216 [一般工业技术—材料科学与工程]
下载PDF
职称材料
题名
片段组合呈现真我
3
作者
王姣
娄逸涵
机构
黑龙江省大庆市龙岗小学五(
出处
《小雪花（小学快乐作文）》
2011年第5期24-25,共2页
文摘
看！那个镜子里的小破孩儿是谁？那就是我。
关键词
《片段
组合
呈现
真
我--这就是我》
小学生
作文
语文学习
分类号
G633.34 [文化科学—教育学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
公理化组合真之理论研究述评
韦雷雷
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016
2
原文传递
2
C5-PFK混合气体绝缘穿墙套管分解产物分时互用光学带电检测技术
邓保家
张施令
彭链
《电工技术》
2024
0
下载PDF
职称材料
3
片段组合呈现真我
王姣
娄逸涵
《小雪花（小学快乐作文）》
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
