摘要：实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据.

摘要：在时间敏感的嵌入式系统中,任务需要满足其最后截止期限,错失任务期限会显著影响服务质量或带来灾难性后果.与通用系统相比,实时系统研究进展缓慢,甚至很多基本概念都未达成共识.精确计时(precision timed,PRET)机和实时处理单元(real-time processing unit,RPU)是2套现有的实时系统解决方案,以它们为例介绍实时系统相关的概念,阐述实时系统发展中遇到的问题,比较异同,并分析实时系统各个层次遇到的问题和现有的解决方法.在应用层,用户需要定时操作的接口;在指令集架构(instruction set architecture,ISA)层,应充分利用硬件提供的资源,向上层提供足够的时间语义抽象和计时精度;硬件层需要支持ISA的时间属性和时间语义,并在保证实时性的基础上尽可能地提高性能.对实时系统的研究面临许多挑战.在现有的实时系统设计研究的过程中,关键问题在于上层应用的时间语义难以与底层实现保持一致.

摘要：虽然城市绿地是广受欢迎的城市游憩空间,但是现实中不愿参与、不能参与绿地游憩活动的现象仍客观存在,这反映出城市绿地游憩存在制约因素。目前有关城市绿地游憩制约的分析多分散于各类城市绿地研究中,尚未进行系统性综述。在梳理国内外城市绿地游憩制约文献的基础上,介绍绿地游憩制约的国内外研究现状以及发展经历,对绿地游憩制约影响因素、游憩制约强度序列、游憩制约机制、不同人群面临的绿地游憩制约和游憩制约改善途径5个方面进行分类归纳。随着休闲时间深夜化、加班常态化、长距离通勤以及新冠肺炎疫情期间居家办公等新的生活方式的兴起,城市居民开展绿地游憩活动将面临"时间不巧,供需错配"等多维制约,仅用绿地可达性已经不能解释"邻绿无暇、有暇无伴"等新的绿地游憩制约现象,今后应当尝试将绿地游憩制约多维性嵌入到城市绿地游憩规划实践当中,构建城市绿地游憩研究的综合范式。