桃花岛彩票软件|如何制作彩票软件|

周曉宇

發布者:周曉宇發布時間:2019-01-05瀏覽次數:2493





博士,副教授,碩士生導師。email: zhouxy{at}seu.edu.cn

1972年生,19984月于東南大學澳門新葡新京系獲碩士學位并留校任教。20113月于東南大學澳門新葡新京在職獲得博士學位。

目前的主要研究領域為可信軟件開發方法,主要研究方向為程序合成、基于證明的程序開發、程序驗證(報考研究生的同學,可以從裘宗燕老師翻譯的專著《從規范出發的程序設計》或《B方法》中初步了解這個領域)。同時也進行程序分析、知識圖譜、社交網絡分析等方面的研究。

曾參加過多項國家和省自然科學基金項目、國防重點預先研究項目、江蘇省科技攻關項目以及與Intel、華為等國內外大型IT企業的合作項目。曾在國內外學術雜志和會議上發表論文30余篇,7次獲得省部級科技進步獎和教育部提名國家科學技術獎。

曾承擔“程序設計語言原理”、“并發程序設計”等研究生課程和“編譯原理”、“軟件體系結構”、組合數學等本科生課程的教學工作。


  

科研項目

[1]基于反模式自動檢測的代碼質量分析與重構國家自然基金面上項目(61472175). 2015-2018. 參加

[2]本體匹配中的參數和策略調諧問題研究國家自然基金面上項目(61472077).2015-2018. 參加

[3]面向軟件可信性演進的軟件測試技術研究.國家自然科學基金重大研究計劃(90818027).2009–2012.參加

[4]基于程序切片的軟件測試優化技術.國家自然科學基金(60803007).2009-2011.參加

[5]高可信軟件的測試與評估.國家自然科學基金重點項目(60633010).2007-2010.參加

[6]網絡計算環境下的Web應用軟件測試模型及相關技術研究.國家自然科學基金(90412003).2004-2006.參加

[7]軟件設計模式的形式化描述及程序代碼識別技術研究.江蘇省自然科學基金面上項目(BK2006094).2006-2008.負責

[8]基于Agent的郵件特征提取及其在垃圾郵件識別中的應用研究國家自然科學基金(60503020).2006-2008.參加

[9]軟件測試技術與工具研究.江蘇省計算機信息處理技術重點實驗室開放基金(KJS02009).2004-2005.負責

[10]高維稀疏矩陣降維方法的理論研究與應用.國家自然科學基金(60303024).2004-2004.參加

  

獲獎

[1]軟件分析測試與算法優化的模型、方法與技術,江蘇省科技進步獎,一等獎

[2]軟件質量保證支撐系統SQAS,湖北省科學技術進步一等獎

[3]軟件分析度量與測試的基礎理論與方法,教育部提名國家科學技術獎(自然科學獎),二等獎

[4]程序分析與測試技術研究,教育部提名國家科學技術獎(科技進步獎),二等獎

[5]嵌入式軟件測試支撐系統ETS,江蘇省科學技術進步二等獎

[6]Ada逆向工程與軟件維護支撐系統ARMS,江蘇省科學技術進步三等獎

[7]Ada程序分析與理解系統APAUS,江蘇省科學技術進步二等獎

  

論文

[1] Ju Qian, Long Wang, Xiaoyu Zhou. A Lightweight Approach to Detect Memory Leaks in JavaScript. The 30th International Conference on Software Engineering and Knowledge Engineering. July 2018.
[2] Zhifei Chen, Lin Chen, Wanwangying Ma, Xiaoyu Zhou, YuMing Zhou, Baowen Xu. Understanding metric-based detectable smells in Python software: A comparative study.Information and Software Technology. September 2017.
[3] Ju Qian, Xiaoyu Zhou, Wanchun Dang, Ziyuan Wang: A Specification-Based Approach to the Testing of Java Memory Bloat. QRS 2016: 347-352
[4] Wanwangying Ma, Lin Chen, Yuming Zhou, Baowen Xu, Xiaoyu Zhou: Are Anti-patterns Coupled? An Empirical Study. QRS 2015: 242-251
[5] Peng Wang, Baowen Xu, Yurong Wu, Xiaoyu Zhou: Link prediction in social networks: the state-of-the-art. SCIENCE CHINA Information Sciences 58(1): 1-38 (2015)
[6] Yuming Zhou, Yibiao Yang, Baowen Xu, Hareton Leung, Xiaoyu Zhou: Source code size estimation approaches for object-oriented systems from UML class diagrams: A comparative study. Information & Software Technology 56(2): 220-237 (2014)
[7] Peng Wang, Baowen Xu, Yurong Wu, Xiaoyu Zhou: Link Prediction in Social Networks: the State-of-the-Art. CoRR abs/1411.5118 (2014)
[8] Ju Qian, Xiaoyu Zhou: Inferring weak references for fixing Java memory leaks. ICSM 2012: 571-574.
[9] Wentao Ma, Xiaoyu Zhou, Xiaofang Qi, Ju Qian, Lei Xu, Rui Yang. Identification of Design Patterns Using Dependence Analysis. International Conference on Software Engineering and Knowledge Engineering (Seke 2012). SEKE 2012: 289-292.
[10] Binxian Tao, Ju Qian and Xiaoyu Zhou. Side-Effect Analysis with Fast Escape Filter. the ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012). [email protected] 2012: 15-20
[11] 王璐璐,李必信,周曉宇. 一種有效的全路徑剖析方法.軟件學報,2012.6期.
[12] 周曉宇,錢巨,陳林,徐寶文.基于形態分析識別設計模式中的集中管理式聚集.軟件學報. 2010,21(11):2725?2737.
[13] Xiaofang Qi; Xiaoyu Zhou; Xiaojing Xu; Yingzhou Zhang; Slicing Concurrent Programs Based on Program Reachability Graphs. In: Conference of the 10th International Conference on Quality Software (QSIC), 2010: 248 – 253.
[14] 尹恒,周曉宇.一種恢復狀態模式的狀態轉換圖的方法.計算機與數字工程.2010,38(1):71-73.
[15] 周曉宇, 徐寶文. 一個設計模式自動識別技術研究框架. 計算機科學. 2009, 36(5):124-128.
[16] ZHOU Xiaoyu; QIAN Ju; CHEN Lin; XU Baowen. Automatic Identification of Use Cases from Codes: A User's Goal Driven Approach. WuhanUniversity Journal of Natural Sciences. 2009, Vol.14 No.5, 409-414.
[17] Ju Qian, Baowen Xu, Xiaoyu Zhou, Lin Chen, Liang Shi. Dependence analysis for C programs with combinability of dataflow facts under consideration. Wuhan University Journal of Natural Sciences, 2009, Volume 14, Number 4. 321-326.
[18] Lin Chen, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou: A Constraint Based Bug Checking Approach for Python. In: The 33rd Annual IEEE International Computer Software and Applications Conference(COMPSAC),2009,Volume 2: 306-311.
[19] 張楠,周曉宇,陳林.基于懲罰函數的演化測試優化方法研究.計算機與數字工程.2009年04期.
[20] 余超,周天琳,周曉宇,陳林,徐寶文.TPython:一種擴充的Python語言.計算機與數字工程, 2009年 05期.
[21] 李亞軍,徐寶文,周曉宇.基于AST的克隆序列與克隆類識別. 東南大學學報:自然科學版. 2008,38(2),228-232.
[22] 曹璟, 徐寶文, 周曉宇, 錢巨, 楊彬. 基于面向方面調用圖的AspectJ動態通知編織優化.軟件學報.2008, 19(9):2218-2227.
[23] 陳林,徐寶文,周曉宇,曹璟. 一種基于類型推導的泛型Java程序重構方法. 電子學報(增刊) v 36, 2007: 185-191.
[24] 姜淑娟,徐寶文,史亮,周曉宇.一種基于異常傳播分析的依賴性分析方法.軟件學報.第18卷第4期.2007: 832-841.
[25] 戚曉芳,徐寶文,周曉宇.一種基于程序可達圖的并法程序依賴分析方法.電子學報,Vol(35) No(2),2007: 287-291
[26] Xiaoyu Zhou, Tianlin Zhou, Ju Qian, Baowen Xu, Yanxiang He. Identifying Use Case Relations From Codes. The Ninth IASTED International Conference on Software Engineering and Applications. Phoenix, Arizona, USA, November, 2005.
[27] Xiaoyu Zhou, Baowen Xu, Liang Shi, Lin Chen. Express Calculation Decomposition with Extended Aspect-oriented Programming Language. Journal of Electronics and Computer Science. Vol. 7, No. 1, Summer 2005. ISSN 1229-425X. pp: 89-100.
[28] Liang Shi, Baowen Xu, Lin Chen, Xiaoyu Zhou. SQAS: A Platform for Software Analysis and Testing. Journal of Electronics & Computer Science. Vol. 7, No. 1, Summer 2005. pp37-45.
[29] 周曉宇,李慎之,戚曉芳,徐寶文. 2002. 數據挖掘技術初探. 小型微型計算機系統,2002,23(3):342-346.
[30] 管杰,周曉宇,陳振強,盧虹,徐寶文,C++程序分析測試輔助系統CATER的設計與實現,軟件學報,2002,13(增刊):259-264.
[31] 徐寶文, 陳振強, 周曉宇. 基于依賴性分析的面向對象Ada95程序切片. 軟件學報, 2001, 12(增刊), 208-213.
[32] 張衛豐, 徐寶文, 周曉宇. 一種改進的參考文獻檢索中的相關性技術. 軟件學報, 2001, 12(增刊), 317-322.
[33] 張衛豐, 徐寶文, 周曉宇, 李東, 許蕾. Web搜索引擎綜述. 計算機科學, 2001, 28(9), 24-28.
[34] 張衛豐, 徐寶文, 周曉宇, 許蕾, 李東. 元搜索引擎綜述. 計算機科學, 2001, 28(8), 36-41.
[35] Zhang Weifeng, Xu Baowen, Zhou Xiaoyu, Huang H. Scheduling in a Meta Search Engine by Genetic Algorithm. WuhanUniversity Journal of Natural Sciences, 6(1-2), Mar. 2001, 541-546
[36] 張衛豐,徐寶文,陳振強,周曉宇,基于Web的參考文獻搜索模型研究,南京大學學報(自然科學)Computer Issue, 20




Baidu
sogou
桃花岛彩票软件
9915黄金城棋牌下载 e球彩 608彩票安卓 云南快乐10分规则 股票融资融劵买的多好不好 天津十一选五开奖直播 意甲直播视频直播 幸运彩是正规的吗 卖香料摆地摊赚钱吗 江西快三开奖结果查询结果