劉曉強(qiáng)教授
劉曉強(qiáng)，1968年9月出生，計(jì)算機(jī)學(xué)院教授。學(xué)校教學(xué)指導(dǎo)委員會(huì)委員、學(xué)院教授委員會(huì)委員。哈爾濱工業(yè)大學(xué)計(jì)算機(jī)及應(yīng)用專(zhuān)業(yè)學(xué)士、計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)專(zhuān)業(yè)碩士，東華大學(xué)控制理論與控制工程專(zhuān)業(yè)博士。近年來(lái)主持完成多項(xiàng)省部級(jí)和企業(yè)委托項(xiàng)目，多項(xiàng)研究成果推廣應(yīng)用。上海市高校信息技術(shù)水平考試委員會(huì)副主任，上海市計(jì)算機(jī)應(yīng)用基礎(chǔ)教育協(xié)會(huì)副會(huì)長(zhǎng)，上海市計(jì)算機(jī)軟件評(píng)測(cè)重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員。
研究方向：
智能信息系統(tǒng)、數(shù)據(jù)分析與挖掘、軟件設(shè)計(jì)與評(píng)測(cè)
榮譽(yù)及獲獎(jiǎng)情況：
上海市科技進(jìn)步一等獎(jiǎng)1項(xiàng)、上海市教育科研成果獎(jiǎng)1項(xiàng)，錢(qián)之光教育科研基金獎(jiǎng)1項(xiàng)，省部級(jí)以上教學(xué)成果獎(jiǎng)8項(xiàng)；上海市教育基金會(huì)“華強(qiáng)獎(jiǎng)”、優(yōu)秀教材獎(jiǎng)1項(xiàng)，主持國(guó)家級(jí)一流課程《信息系統(tǒng)與數(shù)據(jù)庫(kù)技術(shù)》，上海市一流課《人工智能技術(shù)與應(yīng)用》；寶鋼優(yōu)秀教師獎(jiǎng)獲得者，上海市成人高校優(yōu)秀教師，東華大學(xué)優(yōu)秀育人獎(jiǎng)、教學(xué)改革探索獎(jiǎng)、優(yōu)秀共產(chǎn)黨員、三八紅旗手、教學(xué)示范崗。
近年來(lái)承擔(dān)的主要科研項(xiàng)目：
1. 食品品質(zhì)智能分析預(yù)測(cè)系統(tǒng)
2. 基于數(shù)字孿生的產(chǎn)品族協(xié)同定制
3. 基于深度強(qiáng)化學(xué)習(xí)的測(cè)試用例自動(dòng)生成方法研究
4. 電力行業(yè)知識(shí)圖譜構(gòu)建及智能語(yǔ)義查詢(xún)的關(guān)鍵技術(shù)
5. 基于知識(shí)圖譜的云產(chǎn)品推薦系統(tǒng)
6. 大規(guī)模網(wǎng)頁(yè)內(nèi)容安全遠(yuǎn)程監(jiān)測(cè)系統(tǒng)
近年來(lái)發(fā)表的代表性論著、專(zhuān)利：
論文
1. Finding Deep-hidden Bugs in Android Apps via Functional Semantics Guided Exploration，TASE 2024: International Symposium on Theoretical Aspects of Software Engineering，（CCF C），2024
2. Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning，The 34rd International Symposium on Software Reliability Engineering， (CCF B)，2023
3. SQ-testing: A Semantic-Driven Testing for Android Apps via Q-learning, The21st IEEE International Conference on Software Quality, Reliability, and Security, Hainan Island ，China(EI CCFC), 2021
4. Test case generation for web application based on markov reward process，Journal of Physics: Conference Series(EI)，2021
5. 網(wǎng)站變更監(jiān)測(cè)預(yù)警系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，南京師范大學(xué)學(xué)報(bào)(工程技術(shù)版)，2021
6. Construction of a Cloud Scenario Knowledge Graph for Cloud Service Market，Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS，2020
著作
1. 《數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)技術(shù)》（電子工業(yè)出版社）
2. 《數(shù)據(jù)科學(xué)技術(shù)與應(yīng)用》（電子工業(yè)出版社）
3.《信息系統(tǒng)與數(shù)據(jù)庫(kù)技術(shù)》（高等教育出版社）。同期擔(dān)任該上海市教委規(guī)劃系列教材編寫(xiě)委員會(huì)主任，主持出版教《計(jì)算機(jī)系統(tǒng)與網(wǎng)絡(luò)技術(shù)》、《多媒體應(yīng)用系統(tǒng)技術(shù)》，該系列教材是上海市高校信息技術(shù)水平考試參考書(shū)。
專(zhuān)利
1. 一種信息組播系統(tǒng)及其播放控制方法, 發(fā)明專(zhuān)利
2. 一種視頻信息顯示內(nèi)容的監(jiān)控方法，發(fā)明專(zhuān)利
3. 一種面向應(yīng)用領(lǐng)域的軟件質(zhì)量基準(zhǔn)測(cè)評(píng)方法，發(fā)明專(zhuān)利
4. 采用梯度融合技術(shù)的運(yùn)動(dòng)模糊圖像序列的復(fù)原方法，發(fā)明專(zhuān)利
5. 一種檢測(cè)和消除數(shù)字音頻信號(hào)中脈沖噪聲的方法，發(fā)明專(zhuān)利
6. 一種主從結(jié)構(gòu)的電路通斷檢查裝置，實(shí)用新型專(zhuān)利
主要學(xué)術(shù)兼職：
上海市高校信息技術(shù)水平考試委員會(huì)副主任，上海市計(jì)算機(jī)應(yīng)用基礎(chǔ)教育協(xié)會(huì)副會(huì)長(zhǎng)，上海市計(jì)算機(jī)軟件評(píng)測(cè)重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員，上海智慧金融大數(shù)據(jù)應(yīng)用實(shí)驗(yàn)室技術(shù)委員會(huì)委員；上海市計(jì)算機(jī)應(yīng)用能力大賽評(píng)審委員會(huì)副主任，全國(guó)高校計(jì)算機(jī)基礎(chǔ)教育研究會(huì)常務(wù)理事，中國(guó)大學(xué)生計(jì)算機(jī)設(shè)計(jì)大賽大數(shù)據(jù)競(jìng)賽評(píng)審組副組長(zhǎng)。國(guó)家科技部、上海市科委技術(shù)專(zhuān)家，上海松江區(qū)、寶山區(qū)、浦東新區(qū)等區(qū)縣信息化專(zhuān)家。
國(guó)際交流與合作：
荷蘭Delft Univ. of Technology訪(fǎng)問(wèn)學(xué)者，美國(guó)University of Michigan訪(fǎng)問(wèn)學(xué)者。
聯(lián)系電話(huà)：021-67792106 E-MAIL：[email protected]
