建模模拟工程

研究文章

通向智能空中交通控制系统使用形式法

	act4: ready_to_takeoff_aircrafts≔ready_to_takeoff_aircrafts\{bount}
	act5: the_ready_to_takeoff_moment≔{bount}the_ready_to_takeoff_moment