on-the-fly相关论文
为准确模拟反应堆内不同温度下中子与各种材料间的相互作用,当反应堆堆芯温度变化时,需要在线生成不同温度下的反应截面。现有在线......
动态位置参考方法被认为是未来快速发展的Telematics领域的核心技术之一。动态位置参考方法弥补了传统的预编码位置参考算法存在的......
Petri网是一种重要的数学模型,它能够有效地对并发系统进行描述和建模。线性时序逻辑LTL则是描述和验证并发系统特性的一种重要的......
控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动......
