Real-Time Traffic Network Simulation; Consistency Checking; Demand Estimation;
机译:用于实时交通网络管理系统的在线校准和一致性检查的多代理学习方法
机译:在线一致性检查和原始目的地需求更新:具有实时动态流量分配算子的递归方法
机译:实时交通网络管理的分布式始发-目的地需求估计方法
机译:用于需求一致性检查实时业务网络状态估计模型的回滚1方法
机译:实时动态交通分配操作的动态始发地(O-D)需求估算和预测以及系统一致性控制。
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:实时Maude中无线传感器网络算法的形式化建模,性能评估和模型检查
机译:欧氏空间约束的一致性检验:维数图法。