近年線上教學平台有著很大的發展，不管是國內的均一教學平台，或國外知名的可汗教育平台，都提供各種學科便利學生自主學習。而在高中化學計算的領域中，這些平台上均提供各種教學課程。美中不足的是在線上的練習系統中，往往題目數量少、題目變化少、無詳細解題步驟，這樣將不足以透過題目衡量一個學生在各個主題的學習上有無明顯的進步。
本論文的目的是改善上述問題。我們設計並實做一系統，只要使用者輸入簡單需求，即可自動產生高中化學問題以及伴隨詳細解答，可方便出題者快速產生各式不同主題的高中化學應用題目。我們的系統提供一個Web前端供使用者輸入所需要生成的題目之資訊。系統由此收齊相關參數之後，接著即可依據參數產生符合題目限制條件的化學問題生成模型。此問題模型為一hypergraph，節點代表已知或未知相關化學量，超連結(hyperedge)則代表數個化學量間的相依關係。有了此一以ASP(Answer Set Programming)表達的問題模型之後，系統即可利用ASP求解器(Solver)進行單一或多個題目生成，後續工作則是驗證每一生成題目之可行性並產生解題步驟，最後經由Django整合呈現於Web上。 / In recent years there has been great progress in the development of online learning. Well-known platforms such as international Khan Academic or local Junyi Academy in Taiwan provide courses in various subjects allowing interested students to study in a very convenient and autonomous way. As expected, courses on common subjects such as high school chemistry are offered with rich content by these platforms. However, there are shortcomings in these courses about the problems they provide for the students to practice or test. In addition to rich content, an ideal course should provide abundant problems of all possible topics, with each given detailed solution, so that students can evaluate their achievement of study by practicing or testing themselves with these problems. Unfortunately, no courses on these platforms meet the above requirements.
The purpose of this thesis is to improve the above shortcoming by providing a system which can generate automatically word problems on various topics of high school chemistry, together with detailed accompanied solutions. Our system is a web-based application implemented using Django. It provides a front-end enabling the users to enter related information for the word problems they want the system to generate. According to the parameters collected from the front-end, our system will generate a corresponding chemical problem model. The model is a hypergraph with nodes representing known or unknown chemical quantities related to the problem and hyperedges representing relations or dependencies among these quantities. After the model is generated as a logic program of ASP(Answer-set Programming), the system will use an ASP solver to generate one or more candidate problems. Subsequent works are then used to verify the feasibility of each problem and produce a solution for the feasible one. Finally the generated problems as well as solutions are wrapped in the server side and then sent to and presented friendly in the client's browser.
| Identifer | oai:union.ndltd.org:CHENGCHI/G0103753022 |
| Creators | 張博城, Zhang, Bo Cheng |
| Publisher | 國立政治大學 |
| Source Sets | National Chengchi University Libraries |
| Language | 中文 |
| Detected Language | English |
| Type | text |
| Rights | Copyright © nccu library on behalf of the copyright holders |
Page generated in 0.002 seconds