城市道路可视化管理系统

针对城市道路可视化管理要求，提高道路管理效率。主要功能是运用信息化手段，实现对城市道路路网可视化，对道路的建设状况进行可视化操作，构成一套道路可视化管理体系。城市道路可视化管理系统以交通道路及流量分析与控制为背景，探讨软件工程特别是形式化的模型检查技术对这些实际问题的解决方案，并进一步探讨软件工程和应用的互动发展以及其内在深刻的逻辑背景。