As temperature changes constantly in nuclear reactor operation, on-the-fly Doppler broadening methods are commonly adopt......

为准确模拟反应堆内不同温度下中子与各种材料间的相互作用,当反应堆堆芯温度变化时,需要在线生成不同温度下的反应截面。现有在线......

基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测．对标准Bachi自动机作判空检测，容易引起状态爆炸．......

动态位置参考方法被认为是未来快速发展的Telematics领域的核心技术之一。动态位置参考方法弥补了传统的预编码位置参考算法存在的......

Petri网是一种重要的数学模型,它能够有效地对并发系统进行描述和建模。线性时序逻辑LTL则是描述和验证并发系统特性的一种重要的......

控制器合成是针对给定的获胜目标,在开放的实时系统环境中,自动地寻找获胜策略的过程.这个策略可以表述为一系列的符号化状态和动......