-
题名应用逻辑——现代逻辑的新发展
被引量:2
- 1
-
-
作者
姜成林
-
出处
《社会科学辑刊》
1988年第5期34-36,共3页
-
文摘
科学的价值在于应用。逻辑学家西塞罗曾说过,光有智慧是不够的,还要善于运用它。当前许多应用逻辑分支雨后春笋般地发展起来,这是现代逻辑发展的必然趋势,说明逻辑学科的前景是无限宽广的。逻辑学科分为纯逻辑和应用逻辑两大类。在我国,应用逻辑有两种涵义:其一是指任何科学(包括哲学、社会科学、自然科学)都是运用概念、判断。
-
关键词
现代逻辑
逻辑学家
社会科学
优选逻辑
逻辑系统
数理逻辑
逻辑理论
符号表示
信念逻辑
应用逻辑
-
分类号
C55
[社会学]
-
-
题名核电厂DCS板卡银迁移原因分析及抑制的方法研究
被引量:3
- 2
-
-
作者
王志武
张翔
马蜀
马磊
吴建文
-
机构
苏州热工研究院有限公司设备管理中心
-
出处
《核科学与工程》
CAS
CSCD
北大核心
2022年第5期1048-1052,共5页
-
文摘
核电厂DCS板卡银迁移是集成电路装置可靠性失效的重要原因之一,针对当前DCS板卡银迁移故障频发、抑制方法空缺的情况,本文充分分析了银迁移产生的机理、DCS板卡银迁移的原因分析及定位,从软件、硬件层面,提出了银迁移的抑制方法及缓解措施,并利用寿命方程,通过HAST(高加速温度和湿度压力测试)试验加以验证。结果表明,提出的涂覆三防漆可有效抑制银迁移进程、可编程逻辑控制模块(FPGA)软件升级可有效控制银迁移的故障后果,对板卡的响应及功能不会产生影响,满足寿命要求,为核电厂的安全稳定运行提供了保障,具有实际应用价值。
-
关键词
数字化控制系统
逻辑优选卡
银迁移
-
Keywords
Digital control system
Logic preferred card
Silver migration
-
分类号
TM623
[电气工程—电力系统及自动化]
-
-
题名核电厂DCS板卡银迁移原因分析及抑制的方法研究
- 3
-
-
作者
王志武
张翔
马蜀
马磊
吴建文
-
机构
苏州热工研究院有限公司设备管理中心
-
出处
《核科学与工程》
CAS
CSCD
北大核心
2022年第3期579-583,共5页
-
文摘
核电厂DCS板卡银迁移是集成电路装置可靠性失效的重要原因之一,针对当前DCS板卡银迁移故障频发、抑制方法空缺的情况,本文充分分析了银迁移产生的机理、DCS板卡银迁移的原因分析及定位,从软件、硬件层面,提出了银迁移的抑制方法及缓解措施,并利用寿命方程,通过HAST(高加速温度和湿度压力测试)试验加以验证。结果表明,提出的涂覆三防漆可有效抑制银迁移进程、可编程逻辑控制模块(FPGA)软件升级可有效控制银迁移的故障后果,对板卡的响应及功能不会产生影响,满足寿命要求,为核电厂的安全稳定运行提供了保障,具有实际应用价值。
-
关键词
数字化控制系统
逻辑优选卡
银迁移
-
Keywords
Digital control system
Logic preferred card
Silver migration
-
分类号
TL48
[核科学技术—核技术及应用]
-