-
题名核电工程大型模块自密实混凝土浇筑方法研究
被引量：2
- 1
-
-
作者
杨绍发
袁登科
孙学峰
王位
-
机构
国核工程有限公司
-
出处
《施工技术》
CAS
北大核心
2013年第18期77-80,共4页
-
文摘
三代核电站建设的一大特点是模块化施工,在模块化施工过程中由于模块内部操作空间狭小,使得现场施工面临新挑战。为解决这些问题,从自密实混凝土的特性出发,利用其流动性、填充性、抗离析性能等特点,选择合适的配合比,充分利用其初凝和终凝时间,优化施工安排,避免留设施工缝,减少了不必要的施工工作,节省了工程费用,增强了结构的整体性,对模块化施工起到了较好的参考作用。
-
关键词
核电站
混凝土
自密实混凝土
模块化
浇筑
-
Keywords
nuclear power plants
concrete
self-compacting concrete （SCC）
modularization
pouring
-
分类号
TU755
[建筑科学—建筑技术科学]
-
-
题名实时任务准入控制器的自动合成（英文）
- 2
-
-
作者
P. S. Thiagarajan
杨绍发
王义
-
机构
美国哈佛大学哈佛医学院系统药理学实验室
中国科学院软件研究所计算机科学国家重点实验室
瑞典乌普萨拉大学信息技术系
-
出处
《集成技术》
2017年第3期1-14,共14页
-
基金
中国科学院国际人才计划项目(2016VTA024、2017VTB0003)
国家重点基础研究发展计划(973计划)项目(2014CB340700)
-
文摘
在许多实时系统中,同一个计算平台上往往既有硬实时关键计算任务又有软实时非关键计算任务。硬实时任务必须在规定时间内完成,否则将导致系统错乱或崩溃等严重后果。而软实时任务若没有在规定时间内完成,虽会影响系统性能,但不会造成重大后果。为确保每个硬实时任务均在其规定时间内完成,在某些情况下需要拒绝一些软实时任务进入任务队列。文章提出了一种基于控制器自动合成策略的解决方案,通过所设计的准入控制器,对系统产生的每一个新任务自动决定是否准其进入任务队列。准入控制器必须使得所有被准入的任务均在规定时间内完成,并且决策序列满足以线性时态逻辑描述的服务质量要求。文章的主要贡献是提出了判定是否存在准入控制器的算法,该算法能在判定结果为真时构造出一个以有限状态时间自动机表达的准入控制器。
-
关键词
实时系统
任务调度
控制器合成
自动机理论
-
Keywords
real-time systems
scheduling
controller synthesis
automata theory
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
