-
题名模态K_4、D_4系统的归结推理
被引量：1
- 1
-
-
作者
孙吉贵
李乔
刘叙华
-
机构
吉林大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1995年第12期742-750,共9页
-
基金
国家自然科学基金
863计划
国家攀登计划资助
-
文摘
本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑Ｋ４和Ｄ４系统，建立了Ｋ４逻辑的归结推理ＲＫ４；Ｄ４逻辑的归结推理ＲＤ４，分别证明了ＲＫ４和ＲＤ４关于Ｋ４和Ｄ４的可靠性与完备性．
-
关键词
模态逻辑
自动推理
归结推理
K4系统
d4系统
-
Keywords
Modal systems K_4 and d_4, Modal resolution, Automated reasoning.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名产品可持续设计的4D系统观
被引量：3
- 2
-
-
作者
周熹
-
机构
西安交通大学
重庆邮电大学
-
出处
《包装工程》
CAS
北大核心
2020年第14期10-15,共6页
-
文摘
目的根据产品设计自身的多学科属性,在可持续设计的领域大有作为,提出“产品可持续设计”的概念:它被看作是一种独立的设计思想和设计系统观,从系统论的相关知识展开对产品可持续设计的理论研究。方法将产品可持续设计视为一个由减负设计、劝导设计、公平设计和文创设计四个子系统构成的大系统,分别指向可持续发展的生态、经济、社会和文化四个维度,即“4D”系统。D代表维度(Dimensional),又意指设计(Design)。四个子系统既互相独立又互相联系,既是理念又是方法。结论通过论证和分析,结合产品设计案例得出,四个子系统不仅能够自我修复、自我调整和自我进化,而且能够以超循环的形式将彼此的功能结合起来,为其它子系统的进化提供催化支持,最终实现协同进化和繁荣共生,为可持续发展保驾护航。
-
关键词
可持续发展理念
产品可持续设计
4d系统
子系统
超循环
-
Keywords
sustainable development concept
product sustainable design
4d system
subsystems
hypercycle
-
分类号
TB472
[一般工业技术—工业设计]
-
-
题名基于BIM的水利工程4D进度监控系统关键技术
被引量：16
- 3
-
-
作者
陶玉波
蔺志刚
董甲甲
-
机构
黄河勘测规划设计研究院有限公司
-
出处
《人民黄河》
CAS
北大核心
2019年第3期135-139,共5页
-
文摘
为了实现水利工程建设进度计划的优化和实际进度的实时感知与控制,采用基于BIM的4D进度监控系统可以有效解决施工过程中的"信息孤岛"现象,给施工管理提供新的视角。该系统将采集到的BIM信息放入网络数据库,并通过人机交互即点即显的方式展示出来;利用数据库中的计划进度和现场采集到的实际进度驱动数字化模型,用不同的颜色表示计划进度和实际进度,实现进度偏差的对比,通过异常记录分析和仿真计算,采取赶工措施,确保进度目标的实现。
-
关键词
4d进度监控系统
虚拟建造
进度采集
进度优化
水利工程施工
-
Keywords
4d progress monitoring system
virtual construction
progress collection
schedule optimization
hydraulic engineering construction
-
分类号
TV512
[水利工程—水利水电工程]
TU17
[建筑科学—建筑理论]
-
