文件名称：sengass4:出血边缘飞行调度系统
文件大小：915KB
文件格式：ZIP
更新时间：2024-06-20 21:09:40
Java
读我：让我们开始工作吧 （仍在开发中） ###客户要求（按优先级排序）：1. 效率 - 快速响应时间 2. 正确 ###Steps: 1. 获取可以从“ flightdata-filename ”输入文件中获取的航班。 2. 从：'查询文件名'获取查询。 3. 根据查询 4 中的偏好查找航班。 ###Running: travelplan flightdata-filename query-filename 格式 航班 询问 查询答案列表 ##查询注意事项： 两个城市之间没有直达航班（一般情况下） 例如查询： Sydney->Melb可能提供为： 悉尼->达尔文， 达尔文->奥克兰， 奥克兰->珀斯， 珀斯->墨尔本。 至少 1 小时的运输时间。 在抵达和下次出发之间 ##快速笔记： 旅行计划的总成本= 序列中各个航班的成本总和。 总持续时间= dep. time
【文件预览】：
sengass4-master
----.project(1005B)
----queryData2.txt(62B)
----WebContent()
--------WEB-INF()
--------index.html(972B)
--------img()
--------js()
--------META-INF()
--------css()
----sampleresults(1KB)
----src()
--------Query.java(3KB)
--------Preferences.java(2KB)
--------Pref_Airline.java(216B)
--------Flight.java(2KB)
--------FlightMap.java(4KB)
--------QueryServlet.java(3KB)
--------TravelPlan.java(16KB)
--------QueryAnswerPair.java(311B)
--------QueueComparator.java(1KB)
--------KBestFirstSearch.java(7KB)
--------FlightPlan.java(4KB)
--------Pref_TravelTime.java(213B)
--------Answer.java(865B)
--------Pref_Cost.java(207B)
----DafnyVerification()
--------kShortesPath.dfy(4KB)
----.settings()
--------org.eclipse.wst.jsdt.ui.superType.container(49B)
--------org.eclipse.wst.common.project.facet.core.xml(245B)
--------org.eclipse.jdt.core.prefs(357B)
--------org.eclipse.wst.jsdt.ui.superType.name(6B)
--------org.eclipse.wst.common.component(458B)
--------.jsdtscope(491B)
----flightData2.txt(457B)
----README.md(2KB)
----flightData.txt(288B)
----build.xml(652B)
----queryData.txt(58B)
----queryData3.txt(188B)
----.classpath(849B)
----.gitignore(17B)
----flightData3.txt(452B)