摘要：城市规划过程中进行快速建模、交通仿真和效果检验尤为重要。以某城市为例,利用UC-win/Road软件进行道路设计、建筑物建模及交通仿真完成城市规划设计,并且利用软件的脚本功能及模拟驾驶功能,在完成后的场景中进行脚本演示及模拟驾驶。实验证明,利用UC-win/Road软件进行城市规划,不仅方便快捷、具有强烈沉浸感,而且可以通过交通仿真功能及驾驶模拟器对规划的合理性进行检验。

摘要：机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下,机载软件苛刻的实时性要求通常难以得到有效的确定性保证,因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调度表是否能满足分区内进程的实时性要求,是保障系统中所有的进程在规定的时间内完成运算任务的有效手段。基于运筹学方法,通过引入虚拟进程,设计了一种多分区系统可调度性分析算法,并进行了数值验证。验证结果表明,该算法能够准确判断调度表与进程时间属性是否匹配,给出系统是否可调度的定性分析结论,帮助系统集成人员在系统实际运行前对调度表的合理性进行先期验证,降低试验和试飞风险。