Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University
In this report we present a method to allocate FYP projects for Nanyang Technological University. We model the FYP allocation problem as a propositional satisfiability problem. Once the FYP allocation problem is transformed, we use programs, so called SAT solvers, to solve the propositional satisfia...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/44853 |
| _version_ | 1826126304425017344 |
|---|---|
| author | Cai, Roland Hancheng |
| author2 | School of Computer Engineering |
| author_facet | School of Computer Engineering Cai, Roland Hancheng |
| author_sort | Cai, Roland Hancheng |
| collection | NTU |
| description | In this report we present a method to allocate FYP projects for Nanyang Technological University. We model the FYP allocation problem as a propositional satisfiability problem. Once the FYP allocation problem is transformed, we use programs, so called SAT solvers, to solve the propositional satisfiability problems by finding a satisfying assignment. We first show how several requirements of allocating FYP projects can be stated as constraints. Next, these constraints will be written into a file using a Java program. Lastly, we use the SAT solvers to find a satisfying assignment and thereby allocations to all students.
In this project, Conjunctive Normal Form Format is first used to formulate the problem. However, it is later found out that there are constraints that cannot be formulated using this format especially given the constraint that each lecturer shouldn’t be allocated students of CGPA more than a certain average. Even though this is an extra feature given by his professor, and that the deadline of the project is near, the student decided to give the Pseudo Boolean format a try and the results were shown to be optimum. Lastly, we will see how an actual NTU allocation data with 247 students can be solved with the CNF solver and the weighted MAXSAT solver. |
| first_indexed | 2024-10-01T06:50:29Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/44853 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T06:50:29Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | ntu-10356/448532023-03-03T20:28:50Z Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University Cai, Roland Hancheng School of Computer Engineering 4G Research Lab Suhaib A. Fahmy DRNTU::Engineering::Computer science and engineering In this report we present a method to allocate FYP projects for Nanyang Technological University. We model the FYP allocation problem as a propositional satisfiability problem. Once the FYP allocation problem is transformed, we use programs, so called SAT solvers, to solve the propositional satisfiability problems by finding a satisfying assignment. We first show how several requirements of allocating FYP projects can be stated as constraints. Next, these constraints will be written into a file using a Java program. Lastly, we use the SAT solvers to find a satisfying assignment and thereby allocations to all students. In this project, Conjunctive Normal Form Format is first used to formulate the problem. However, it is later found out that there are constraints that cannot be formulated using this format especially given the constraint that each lecturer shouldn’t be allocated students of CGPA more than a certain average. Even though this is an extra feature given by his professor, and that the deadline of the project is near, the student decided to give the Pseudo Boolean format a try and the results were shown to be optimum. Lastly, we will see how an actual NTU allocation data with 247 students can be solved with the CNF solver and the weighted MAXSAT solver. Bachelor of Engineering (Computer Science) 2011-06-06T04:59:48Z 2011-06-06T04:59:48Z 2011 2011 Final Year Project (FYP) http://hdl.handle.net/10356/44853 en Nanyang Technological University 78 p. + 1 project source code. application/pdf application/octet-stream |
| spellingShingle | DRNTU::Engineering::Computer science and engineering Cai, Roland Hancheng Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title | Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title_full | Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title_fullStr | Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title_full_unstemmed | Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title_short | Project allocation using optimisation techniques : a method to allocate FYP projects for Nanyang Technological University |
| title_sort | project allocation using optimisation techniques a method to allocate fyp projects for nanyang technological university |
| topic | DRNTU::Engineering::Computer science and engineering |
| url | http://hdl.handle.net/10356/44853 |
| work_keys_str_mv | AT cairolandhancheng projectallocationusingoptimisationtechniquesamethodtoallocatefypprojectsfornanyangtechnologicaluniversity |