öλÔÓéÀֵǼÈë¿ÚÏÂÔØ

µ¼Ê¦ÐÕÃû£ºÉò¹ú»ª
ÐÔ±ð£ºÄÐ
ÈËÆøÖ¸Êý£º123

ËùÊôԺУ£ºÄϾ©º½¿Õº½Ìì´óѧ
ËùÊôԺϵ£º¼ÆËã»ú¿ÆѧÓë¼¼ÊõѧԺ
Ö°³Æ£º¸±½ÌÊÚ
µ¼Ê¦ÀàÐÍ£ºË¶µ¼
ÕÐÉúöλÔÓéÀֵǼÈë¿ÚÏÂÔØ£ºÈí¼þ¹¤³Ì¡¢¼ÆËã»ú¿ÆѧÓë¼¼Êõ¡¢ÍøÂç¿Õ¼ä°²È«


ͨѶ·½Ê½ :
°ì¹«µç»°£º**-16406
µç×ÓÓʼþ£ºghshen@nuaa.edu.cn


¸öÈ˼òÊö :
Éò¹ú»ª£¬ÄУ¬²©Ê¿£¬¸±½ÌÊÚ£¬Ë¶Ê¿Éúµ¼Ê¦£¬CCF¸ß¼¶»áÔ±£¬ACM»áÔ±£¬Knowledge-Based SystemsÆÚ¿¯Éó¸åÈË¡£Ö÷ÒªÑо¿·½ÏòΪÐèÇ󹤳Ì£¬¿ÉÐżÆË㣬Èí¼þ¶ÈÁ¿£¬ÃèÊöÂß¼­£¬ÓïÒåWeb¡£ÒÔ×ÓÏîÄ¿¸ºÔðÈ˳е£¶àÏî¹ú¼Ò863¼Æ»®¿ÎÌâ¡¢º½¿Õ¿Æѧ»ù½ðÏîÄ¿£»ÒÔ¼¼Êõ¸ºÔðÈËÍê³ÉÁ˺½¿Õ¡¢º½Ì졢ʯÓ͵ȶàÏîÌض¨ÁìÓòµÄÈí¼þϵͳµÄÑÐÖÆ¡£

¿ÆÑй¤×÷ :
·¢±íѧÊõÂÛÎÄ,³ö°æרÖøÇé¿ö£º
·¢±íÎÄÕ£º
1.Guohua Shen, Yuping Zhang, Zhiqiu Huang, Haiyan Chen, Lie Zang, Ou Wei, Xinye Cai. Computer Science and Software Engineering Education are Complementary with One Another. ACM SIGSOFT Software Engineering Notes. (to appear)
2.Y Liu £¬G Shen £¬Z Huang£¬Z Yang£¬Quantitative risk analysis of safety?critical embedded systems£¬Software Quality Journal£¬2017£¬25:503~527.(SCI)
3.Éò¹ú»ª£¬»ÆÖ¾Çò£¬Ð»±ù£¬ÖìôàÈ«£¬ÁÎÀòÀò£¬Èí¼þ¿ÉÐÅÆÀ¹ÀÑо¿×ÛÊö:±ê×¼¡¢Ä£ÐÍÓ빤¾ß£¬Èí¼þѧ±¨£¬2016£¬27£¨4£©£º955~968
4.Lili Liao£¬Guohua Shen£¬Zhiqiu Huang£¬Cohesion Metrics for Evaluating Semantic Web Ontologies£¬International Journal of Hybrid Information Technology, 2016,9(11):369-380
5.Zi Wang, GuoHua Shen, ZhiQiu Huang£¬A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System£¬Communications in Computer and Information Science, 2016, 35?51
6.Y Liu, G Shen, F Wang£¬Research on AADL Model for Qualitative Safety Analysis of Embedded Systems£¬International Journal of Multimedia and Ubiquitous Engineering, 2016, 11(6):153-170 (EI)
7.Éò¹ú»ª,ÕÅΰ,»ÆÖ¾Çò,µÈ.»ùÓÚÃèÊöÂß¼­µÄÌØÕ÷ÓïÒ彨ģ¼°ÑéÖ¤.¼ÆËã»úÑо¿Óë·¢Õ¹£¬2013£¬50£¨7£©£º1501~1512
8.Éò¹ú»ª,»ÆÖ¾Çò,Ç®¾Þ,µÈ.Èí¼þ¿ÉÐÅÆÀ¹ÀÄ£Ðͼ°Æ乤¾ßʵÏÖ.¼ÆËã»ú¿ÆѧÓë̽Ë÷,2011,5(6):553~561
9.Guohua Shen, Zhiqiu Huang, Yuping Zhang, Xiaodong Zhu. A semantic model for matchmaking of Web services based on Description Logics. Fundamenta Informaticae, 2009,96(1-2),211~226.(SCI)
10.Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, et al. Reasoning about Web Services with Dynamic Description Logics, Proc.of 2009 World Congress on Computer Science and Information Engineering (CSIE 2009) Vol.6, IEEE Computer Society, 2009, 106~110 (EI,ISTP)
11.Éò¹ú»ª,»ÆÖ¾Çò,ÖìС¶°,µÈ. Ò»ÖÖÓ¦ÓÃÃèÊöÂß¼­ÍÆÀíʵÏÖ±¾ÌåÓ³ÉäµÄ·½·¨. СÐÍ΢ÐͼÆËã»úϵͳ,2008,29(11),1979~1985.
12.Éò¹ú»ª,»ÆÖ¾Çò,ÖìС¶°,µÈ. Ò»ÖÖ»ùÓÚÃèÊöÂß¼­µÄÓïÒåWeb·þÎñÆ¥Åä·½·¨. ¼ÆËã»ú¿Æѧ,2008£¬35(4A),275~279.
13.Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, et al. Using Description Logics Reasoner for Ontology Matching£¬In£ºProc. of Workshop on Intelligent Information Technology Application 2007 (IITA 2007), IEEE Computer Society, 2007 :30~33. (EI,ISTP)
14.Éò¹ú»ª,»ÆÖ¾Çò,ÖìС¶°,µÈ. Êý¾Ý¼¯³ÉÖйØϵÊý¾Ý¿âµ½OWLÓïÒåÓ³Éä. µÚ23½ìÖйúÊý¾Ý¿âѧÊõ»áÒé(NDBC2006),¼ÆËã»ú¿Æѧ,2006,33(11Ôö¿¯),167~170.
15.Éò¹ú»ª,»ÆÖ¾Çò,ÕÔÏþ·Ç,µÈ. Ò»ÖÖ¶àѧϰÕßµÄģʽӳÉä·½·¨. ¼ÆËã»ú¿Æѧ,2006,33(10Ôö¿¯),171~177.
16.Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Xiaofei Zhao. Research on the Rules of Mapping from Relational Model to OWL. OWL: Experiences and Directions(OWLED 2006).
17.Guohua Shen, Zhiqiu Huang, Chuandong Wang. Role of Meta-Model in Engineering data warehouse, Transactions of Nanjing University of Aeronautics Astronautics, 2004, 21(4), 317~321.
18.Éò¹ú»ª,»ÆÖ¾Çò,ÁøÑ©ÌÎ,µÈ. »ùÓÚÊý¾Ý²Ö¿â¼¼ÊõµÄ¹¤³ÌÊý¾Ý¹ÜÀíϵͳµÄÑо¿ÓëʵÏÖ. СÐÍ΢ÐͼÆËã»úϵͳ,2004, 25(1),127~130.
19.¼ªÃù,»ÆÖ¾Çò,×£Òå,Íõɺɺ,Éò¹ú»ª. »ùÓÚMDAµÄʵʱÈí¼þ×ÊÔ´½¨Ä£ÓëÄ£ÐÍת»»µÄ·½·¨. ¼ÆËã»ú¿Æѧ,2011, 38(8),136~141.
20.ãÆÑÞ,»ÆÖ¾Çò,Ô¬Ãô,Éò¹ú»ª. ÃæÏò·þÎñµÄ¶à²ÎÓëÕßЭµ÷ÊÂÎñ½¨Ä£·½·¨. ¼ÆËã»ú¿ÆѧÓë̽Ë÷,2011,5(4):356~366.
21.ÖìС¶°,Éò¹ú»ª. Á÷ʽÊý¾ÝÉϹØÁª¹æÔòÍÚ¾òÑо¿×ÛÊö. ¼ÆËã»úÓ¦ÓÃÑо¿, 2010,27(9), 3101-3105.
22.ÖìС¶°,»ÆÖ¾Çò,Éò¹ú»ª. »ùÓÚÃèÊöÂß¼­µÄÊý¾ÝÍÚ¾òÔªÊý¾ÝµÄÒ»ÖÂÐÔ¼ìÑé. СÐÍ΢ÐͼÆËã»úϵͳ,2009, 30(2),266~270.
23.Xiaodong Zhu, Zhiqiu Huang, Guohua Shen: Description Logic Based Consistency Checking upon Data Mining Metadata. RSKT 2008: 475-482
24.ÖìС¶°,»ÆÖ¾Çò,³ÂÊ¥Çà,»Æ·ï,Éò¹ú»ª. ÃæÏòÊý¾ÝÁ÷ÍÚ¾ò¹ý³ÌµÄËã·¨¹ÜÀí¿ò¼Ü. Ó¦ÓÿÆѧѧ±¨,2008, 26(1),61~67.
25.Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen: Fuzzy Implication Methods in Fuzzy Logic. FSKD (1) 2007: 154-158
26.ÕÔÏþ·Ç,»ÆÖ¾Çò,Éò¹ú»ª,µÈ. »ùÓÚԪģÐ͵Ť³ÌÊý¾Ý²Ö¿âϵͳԪÊý¾Ý¼¯³É. ÄϾ©º½¿Õº½Ìì´óѧѧ±¨,2006,38(3),341~346.
ÂÛÖø£º
»ÆÖ¾Çò£¬ÀîÇ壬Éò¹ú»ª¡¶Êý¾Ý¿âÓ¦Óü¼Êõ»ù´¡¡·±±¾©:»úе¹¤Òµ³ö°æÉç,2003
»ÆÖ¾Çò£¬Éò¹ú»ª£¬¿µ´ïÖÜ¡¶XML֪ʶ¹ÜÀí£º¸ÅÄîÓëÓ¦Óá·±±¾©:¿Æѧ³ö°æÉç,2015
³Ðµ£µÄ¿ÆÑÐÏîÄ¿Çé¿ö£º
1. 2014Äê-2017Äê12Ô£¬³Ðµ£¹ú¼Ò863¼Æ»®¿ÎÌâ¡°ÄÚ´æ¼ÆËãϵͳÈí¼þÑо¿Ó뿪·¢¡±£¨±àºÅ£º2015AA015303£©£¬¿ÎÌâ×é¼¼Êõ¹Ç¸É¡£
2. 2009Äê5ÔÂ-2011Äê2Ô£¬³Ðµ£¹ú¼Ò863¼Æ»®¿ÎÌâ¡°»ùÓÚTrustieµÄÉñÖÝÊýÂëÈí¼þÉú²úÏ߸ÄÔì¼°Ó¦ÓÃʾ·¶¡±£¨±àºÅ£º2009AA010307£©£¬¿ÎÌâ×é¼¼Êõ¸ºÔðÈË¡£
3. 2007Äê1Ô£­2009Äê12Ô£¬²ÎÓë½ÌÓý²¿²©Ê¿µã»ù½ð¡°¹¹¼þ»¯Ç¶ÈëʽÈí¼þÉè¼ÆµÄ·Ç¹¦ÄÜÐÔÖÊ·ÖÎöÓëÑéÖ¤Ñо¿¡±£¬¿ÎÌâ×éÖ÷Òª³ÉÔ±¡£
4. 2005Äê5Ô£­2007Äê12Ô£¬²ÎÓë¹ú¼Ò¸ß¼¼Êõ863-706ÖØ´óרÏî×Ó¿ÎÌâ¡°ÃæÏò·ÉÐÐÆ÷ÑÐÖƵÄЭͬÉè¼Æ·½·¨Ñо¿Óë»·¾³ÊµÏÖ¡±£¨±àºÅ£º2005AA761020£©£¬¿ÎÌâ×é¼¼Êõ³ÉÔ±¡£
5. 2001Äê1Ô£­2004Äê12Ô£¬³Ðµ£º½¿Õ¿Æѧ»ù½ð¡°»ùÓÚ¹¤³ÌÊÔÑéÊý¾Ý²Ö¿âµÄÊý¾Ý·ÖÎöÖ§³Å»·¾³Ñо¿¡±£¨±àºÅ£º01I52058£©£¬¿ÎÌâ×é¼¼Êõ¸ºÔðÈË¡£