程式設計與軟體實驗室

國立中央大學


碩士學位論文(Master theses)

2023

陳宏維
從合作學習角色分工獲得函式程式設計思維學習遞迴程式的機制
郭威
基於抽象語法樹的深度複製及彈性別名之所有權系統解決Java表示暴露問題
林右展
基於Python型別提示檢查不可變性

2022

陳偉翔
基於YOLOX-CS與插圖資料增強的台灣建物結構辨識模型之實作與方法
潘奕平
Channel Reduction for EEG Fatigue Detection Using Feature Selection
高健文
基於抽象語法樹的陣列形狀錯誤偵測
林庭葦
解決指令下沉阻擋商餘合併之最佳化演算法改良
林于瑄
一個應用紙本運算與數位化於程式設計學習使程序性思維可視化的機制

2021

吳少凱
以物件偵測方法建立台灣建物結構辨識模型
吳尉誠
基於抽象語法樹和編碼的程式碼抄襲檢測器之實作與方法
蔡家豪
Education Assist Oriented Tool - Static Time Complexity Analysis Tool
涂珮榕
基於實驗追蹤與模型回溯的機器學習超參數優化設計與實作
蔡欣倢
字串參數錯誤偵測靜態分析檢查器設計與實作

2020

呂銘洋
基於替代語意的 pandas DataFrame 靜態型別檢查器
簡若宜
支援模組化規則製作之程式碼轉換工具
李偉泰
以震波層析成像為應用之特定領域語言實作與分析
潘俊霖
自動化時間複雜度分析的設計與實作–從軟體層面評估嵌入式系統的功率消耗
廖信惠
在 Java 程式語言中以雙向結構表達數學公式間關聯之設計與實作

2019

徐國維
條件判斷式事件驅動程式設計之C語言擴充
曾耀儂
TOCTOU漏洞的靜態分析與實作
何東穎
以演算法程式設計競賽試題為例使用Big-O AST靜態分析函式時間複雜度
劉冠尚
流程圖式特定領域語言之設計與實作
林佳育
用於繪製風力發電控制邏輯之特定領域語言

大學部專題(Undergraduate projects)

2023

賴妍希
基礎排序演算法學習網站-Sort Wars
林禧姿
遊戲入門勘根數值方法教學網頁
陳彥呈
C++在機器學習之相關應用

2022

楊惠隆
程式語言圖形化
張凱晴
多通道腦波訊號接收器之訊號即時呈現
王嘉笙
程式效能分析工具 - Profiler
方嘉賢
MirrorDBG - Windows x64 C/C++ Debugger

2021

施宗佑
Non-recursive adjoint folds
蔡佳升
Natural Languages to C++
黃澤峻
Virtual Stock
林欣蓓
圖形化程式語言轉C++

2020

徐立哲, 王欣楷, 羅展釗
中央復活福利社APP
廖惠淳
Android 電子手帳本─找回實體手帳本的使用感

2019

陳鉅仁
簡易圖片編輯器
黃靖筌
簡易線上多語言IDE網頁(My Compyler) [院決賽佳作]
蔡均宜
三維地科數據圖像化顯示工具
余昌翰
圖形化流程圖編譯器

2018

詹承翰
語音即時互動數學軟體
鄒承翰, 陳堃澤, 蕭凱丞
ExG Acquisition Tag III 和 Real time 呈現

2017

黃書桓
Parser Base: A hand-made tool with webpage interface for demonstration of parser concept
林怡慧
利用CUDA將程式作平行化運算
許瑞麟
Theorem Proving with Computer Programs