物联网以及信息物理融合系统对形式化建模提出了新的挑战，引入了实时系统规范语言STeC，为刻画实时系统的时空一致性提供了规范语言。......

针对交通网络中交叉口车流具有连续时间特性，动态信号灯的切换具有离散事件特性的情况，以四相位单交叉口为对象，考虑车辆到达的随机性......

针对交通网络中的交叉口车流具有连续时间特性,动态信号灯的切换具有离散事件特性的情况,以4相位单交叉口为对象,建立了1个4相位交......

目的探讨Checkmate 2作为日检工具用于放射治疗加速器输出剂量检测的可行性。方法按照国际原子能机构（International Atomic Energy......