人物簡(jiǎn)介
姓 名：張亮
性 別：男
任教專業(yè)：計(jì)算機(jī)科學(xué)與技術(shù)
所在院系：信息科學(xué)與工程學(xué)院計(jì)算機(jī)與信息技術(shù)系
1983年武漢大學(xué)計(jì)算機(jī)科學(xué)系畢業(yè)，獲學(xué)士學(xué)位，留校任教；1997年武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室畢業(yè)，獲博士學(xué)位；1998-2000在復(fù)旦大學(xué)從事博士后研究工作，2000年調(diào)入復(fù)旦大學(xué)，工作至今。近十年中，發(fā)表了70多篇期刊和會(huì)議論文，內(nèi)容涉及多媒體數(shù)據(jù)管理、XML數(shù)據(jù)管理、數(shù)字圖書(shū)館、Web服務(wù)和業(yè)務(wù)流程管理BPM。近年來(lái)，主要研究興趣包括服務(wù)計(jì)算和面向Artifact的BPM。擔(dān)任ICSOC 2012聯(lián)合總主席,曾擔(dān)任BPM 2011的宣傳委員會(huì)聯(lián)合主席、首屆中國(guó)業(yè)務(wù)過(guò)程大會(huì)CBPM的程序委員會(huì)聯(lián)合主席、中國(guó)數(shù)據(jù)庫(kù)大會(huì)NDBC 2011的程序委員會(huì)聯(lián)合主席。在服務(wù)計(jì)算和BPM研究中，與美國(guó)加州大學(xué)的蘇建文團(tuán)隊(duì)、澳大利亞麥格里大學(xué)的楊堅(jiān)團(tuán)隊(duì)、愛(ài)沙尼亞Tartu大學(xué)的Marlon Dumas團(tuán)隊(duì)合作。其研究工作受到了中國(guó)自然科學(xué)基金、973和863項(xiàng)目的資助。
研究領(lǐng)域
Web與服務(wù)計(jì)算、以數(shù)據(jù)為中心的工作流
科研項(xiàng)目
國(guó)家自然科學(xué)基金“SOA 的等級(jí)化服務(wù)替換理論與機(jī)制研究”（60873115）. 課題負(fù)責(zé)人. 2009.1-2011.12
國(guó)家973基礎(chǔ)研究課題“海量信息系統(tǒng)可生存性分析方法及軟件可生存性增強(qiáng)技術(shù)”(2005CB321905). 課題組成員 2005.12-2010.12
國(guó)家863課題基于Web服務(wù)的數(shù)據(jù)庫(kù)新技術(shù) （2002AA4Z3430）. 負(fù)責(zé)人.2002.9-2004.9
上海市科委重大項(xiàng)目“植物抗逆基因資源數(shù)據(jù)庫(kù)與信息分析工具”（02DJ14013）課題組成員. 2002.9-2004.5
國(guó)家863課題“植物抗鹽堿與抗旱基因的整合信息技術(shù)平臺(tái)及應(yīng)用”(2002AA231041). 課題組成員. 2002.9-2005.9
國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目“電子圖書(shū)館的相關(guān)關(guān)鍵技術(shù)”（69933010）. 課題組成員. 2000.1-2003.12.
上海市科技發(fā)展基金項(xiàng)目“數(shù)字圖書(shū)館系統(tǒng)軟件平臺(tái)及其應(yīng)用”（005115012）.技術(shù)負(fù)責(zé)人. 2000.9-2002.5.
上海市自然科學(xué)基金項(xiàng)目“頁(yè)面圖像的內(nèi)容檢索技術(shù)”（00ZD14006）2000.9-2001.9.
主要作品
論文
Wei Xu, Jianwen Su, Zhimin Yan, Jian Yang, Liang Zhang. An Artifact-Centric Approach to Dynamic Modification of Workflow Execution. in Procs. of CoopIS 2011, LNCS 7044 : 256-273, 2011
Leilei Chen, Jian Yang, Liang Zhang. Time Based QoS Modeling and Prediction for Web Services. In Procs. of ICSOC 2011: 532-540 (short paper), 2011
Qing Wang, Liang Zhang. Online updating the generalized inverse of centered matrix. In Procs. of the 25th AAAI Conference on Artificial Intelligence (AAAIu201911), (Poster), 2011,
Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy, Yong Yang and Liang Zhang. Aggregate Quality of Service Computation for Composite Services. LNCS: 6470, ICSOC 2010: 213-227, 2010
Marlon Dumas, Yong Yang, Liang Zhang. Improving Web Service Survivability via Gracefully Degraded Substitution. IEEE/ACM WI 2010 :597-600 (short paper), 2010
Marlon Dumas, Yong Yang, Liang Zhang. Towards a Theory of Contracts for Service Substitution. Services 2010: 423- 430, IEEE Press
Leilei Chen, Qing Wang, Wei Xu, Liang Zhang. Evaluating the Survivability of SOA Systems based on HMM. ICWS 2010 (WIP), 673- 675, 2010
Yanguang Chen, Jiehui Li, Yi Lv, Haihuan Qin, Liang Zhang. DRWSC — To Simplify Dynamic Invocation for RESTful Web services. Proc. of ICSES 2010:226-229, IEEE Press
Yutian Sun, Liang Zhang, Zhengqi Zhou, Yangjun Cai, Zhencun Xie, Zhimin Yan. Reconstructing Meaningful Work?ow from Transaction Logs. Proc. of ICSES 2010:308-311, IEEE Press
Qing Wang, Liang Zhang. Ensemble Learning based on Multi-Task Class Labels, PAKDD LNAI 6119: 464 u2013 475, 2010.
Guohua Liu, Xi Liu, Haihuan Qin, Jianwen Su, Zhimin Yan, Liang Zhang. Automated Realization of Business Workflow Specification. LNCS: 6275, Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 96-108. Position Paper, 2010
徐瑋,成偉華,嚴(yán)志民,張亮. 基于ACOM模型的業(yè)務(wù)邏輯變更研究.計(jì)算機(jī)研究與發(fā)展.第46卷增刊：178-184,2009
Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo. MTForest: Ensemble Decision Trees based on Multi-Task Learning. In Proc. of The 18th European Conference on Artificial Intelligence (ECAIu201908): 122-126, IOS press. 2008
Mira Kajko-Mattsson, Liang ZHANG, Yuansha ZHOU. There are no National Boundaries when Teaching Software Lifecycle Management. In Proc. of 2008 International Conference on Information Technology in Education. 2008
劉方方, 史玉良, 張亮, 施伯樂(lè). 基于進(jìn)程代數(shù)的Web服務(wù)合成的替換分析. 計(jì)算機(jī)學(xué)報(bào). 2007 30(11): 2033-2039
史玉良, 王海洋, 張亮, 施伯樂(lè). Web 服務(wù)合成的相容性與替換性分析. 計(jì)算機(jī)研究與發(fā)展. 44 (11) : 1955-1961 , 2007
張亮, 李然, 汪衛(wèi), 施伯樂(lè). XML數(shù)據(jù)物化模式的生成與優(yōu)化技術(shù). 軟件學(xué)報(bào). 18(2): 323-331, 2007
Fangfang Liu, Yuliang Shi, Liang Zhang, Lili Lin, Baile Shi. Analysis of Web Services Composition and Substitution via CCS. In J. Lee et al. (Eds.): Proc. DEECS 2006, LNCS 4055:236-245, 2006
史玉良, 王海洋, 張亮, 施伯樂(lè). Web 服務(wù)合成的相容性與替換性分析. 計(jì)算機(jī)研究與發(fā)展, 2007. 44 (11) : 1955-1961
史玉良, 黃光安, 葉煒, 張亮, 施伯樂(lè). 基于任務(wù)依賴信息的Web服務(wù)自動(dòng)合成，計(jì)算機(jī)研究與發(fā)展, 2006. 43(12) 2110-2116
陶春, 張亮, 施伯樂(lè). 基于本體的XML數(shù)據(jù)集成的查詢處理.計(jì)算機(jī)研究與發(fā)展.2005,42(3).468-477
Yuliang Shi, Liang Zhang, Fangfang Liu, Lili Lin, Baile Shi. Compatibility Analysis of Web Services. In Proc. Of The 2005 IEEE/WIC/ACM International Conference on Web Intelligence, 19-22 Sept, 2005, France. Pages 483 u2013 486. IDS Number: BDM68.
Liang Zhang, Chaoran Li, Yanfei Xu, Baile Shi. An Efficient Solution to Factor Drifting Problem in the pLSA Model. In Porc. of The 15th International Conference on Computer and Information Technology(CIT 2005): 175-179, IEEE Press, 2005 IDS Number: BDF38
Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi. A Formal Specification for Web Services Composition and Verification. In Porc. of The 15th International Conference on Computer and Information Technology(CIT 2005): 252-256, IEEE Press, 2005 IDS Number: BDF38
Yuliang Shi, Liang Zhang, Fangfang Liu, Lili Lin, Baile Shi. Web Service Collaboration Analysis via Automata. In W. Fan, Z. Wu, and J. Yang (Eds.): WAIM 2005, Lecture Notes in Computer Science 3739: 858-863, 2005. Springer-Verlag IDS Number: BDG49
Jianye Ye, Xiangdong Zhou, Jian Pei, Lian Chen, Liang Zhang. Stratification-Based Approach to Accurate and Fast Image Annotation In W. Fan, Z. Wu, and J. Yang (Eds.): WAIM 2005, Lecture Notes in Computer Science 3739, 2005. Springer-Verlag IDS Number: BDG49
Fangfang Liu, Liang Zhang, Yuliang Shi, Lili Lin, Baile Shi. Formal Analysis of Compatibility of Web Services via CCS. In Proc. of International Conference on Next Generation Web Services Practices (NWeSPu201905): 143-148, IEEE Press
Yan LU, Liang ZHANG. Multiple Schema Based XML Indexing. Procs. of International Conference on Computer Networks and Mobile Computing (ICCNMC) 2005. X. Lu and W. Zhao (Eds.), Lecture Notes in Computer Science 3619:891-900, Springer-Verlag, 2005 IDS Number: BCT45
葛亮, 冷德宏, 謝祖銘, 馬堅(jiān), 張亮, 施伯樂(lè). 基于本體的Web站點(diǎn)建模. 計(jì)算機(jī)工程 30(15): 50-52, 2004
葛亮, 謝祖銘, 馬堅(jiān), 周振, 張亮, 施伯樂(lè). 基于本體的實(shí)體/聯(lián)系模型, 計(jì)算機(jī)工程 30(15): 54,91, 2004
張亮, 施伯樂(lè), 周向東, 劉莉, 張琪. 發(fā)掘相關(guān)反饋日志中關(guān)聯(lián)信息的圖像檢索方法. 軟件學(xué)報(bào). 2004. 15(1):41-48, EI Number: EIP04248214386
劉國(guó)華, 汪衛(wèi), 張亮, 施伯樂(lè). 基于有向圖的對(duì)象范式生成算法. 軟件學(xué)報(bào). 2004. 15(5):730-740, EI Number: EIP04338313322
周向東, 施伯樂(lè), 張琪, 張亮, 劉莉. 基于長(zhǎng)期學(xué)習(xí)的多媒體數(shù)據(jù)庫(kù)相似性檢索. 軟件學(xué)報(bào). 2004. 15(1):86-93, EI Number: EIP04248214391
周向東, 張亮, 張琪, 劉莉, 施伯樂(lè).基于反饋日志分析的圖像檢索相關(guān)反饋方法. 計(jì)算機(jī)研究與發(fā)展, 2004. 41(1): 111-117
路燕, 張亮, 汪衛(wèi), 張彪, 施伯樂(lè). 一種新的XML文檔編碼機(jī)制. 計(jì)算機(jī)研究與發(fā)展. 2004. 41(3): 500-503
周向東, 張亮, 張琪, 劉莉, 施伯樂(lè). 基于多聚類中心的圖像檢索方法. 模式識(shí)別與人工智能. 2003. 16(2):152-157, 2003.6.
路燕, 張亮, 汪衛(wèi), 段起陽(yáng), 施伯樂(lè). XML查詢中DTD的排序技術(shù). 計(jì)算機(jī)研究與發(fā)展, 2003. 40(11):1579-1585
著作譯著
鐘揚(yáng)，張亮，趙瓊等編著。簡(jiǎn)明生物信息學(xué)。高等教育出版社，2002.1 北京
鐘揚(yáng)，王莉，張亮等譯。生物信息學(xué)。高等教育出版社，2003.9 北京
W. Y. Arms著，施伯樂(lè)，張亮，汪衛(wèi)等譯。數(shù)字圖書(shū)館概論。電子工業(yè)出版社。2001.1.
教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)(參編)，高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)核心課程教學(xué)實(shí)施方案。高等教育出版社 2009. 7 北京
專利
施伯樂(lè)，張亮等，處理和重復(fù)使用中文古籍的方法及其所采用的計(jì)算機(jī)軟硬件系統(tǒng)，中國(guó)發(fā)明專利ZL.00119542.5。
軟件著作
數(shù)字圖書(shū)館系統(tǒng)軟件平臺(tái)，著作權(quán)登記號(hào)：2003SR4076
復(fù)鑫跨庫(kù)檢索系統(tǒng)，著作權(quán)登記號(hào)：2004SR00516
榮譽(yù)記錄
2005年度上海市科技進(jìn)步二等獎(jiǎng)“上海博物館信息化系統(tǒng)”編號(hào)2005-063-014(第3完成人)
2003年度上海市科技進(jìn)步二等獎(jiǎng)“數(shù)字圖書(shū)館系統(tǒng)軟件平臺(tái)及其應(yīng)用”編號(hào)032061 (第2完成人)
2002年度上海市科技進(jìn)步一等獎(jiǎng)“新型數(shù)據(jù)庫(kù)技術(shù)及其應(yīng)用”編號(hào)021005（第5完成人）
2011年起復(fù)旦大學(xué)教學(xué)名師
