Optimization of Conflicting Tram Signal Priority Requests Based on Spatiotemporal Interlocking Logic Using Microscopic Simulation.
Dongxiu OuHuang YanHongming LiWei LiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2018)
Keyphrases
- optimization problems
- optimization algorithm
- metabolic engineering
- signal processing
- simulation model
- modal logic
- spatial and temporal
- optimization method
- signal detection
- simulation models
- simulation environment
- space time
- mathematical model
- knowledge base
- logic programming
- optimization process
- constrained optimization
- multi objective
- image analysis
- classical logic
- predicate logic
- spatiotemporal data
- proof theory
- spatio temporal
- moving objects