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

µ¼Ê¦ÐÕÃû£ºÕÔÁëÖÒ
ÐÔ±ð£º
ÈËÆøÖ¸Êý£º64

ËùÊôԺУ£º¹ðÁÖµç×ӿƼ¼´óѧ
ËùÊôԺϵ£º¼ÆËã»úÓëÐÅÏ¢°²È«Ñ§Ôº
Ö°³Æ£º½ÌÊÚ
µ¼Ê¦ÀàÐÍ£ºË¶µ¼
ÕÐÉúöλÔÓéÀֵǼÈë¿ÚÏÂÔØ£ºÈí¼þ¹¤³Ì£¨Ñ§ÊõÐÍ£©¡¢¼ÆËã»ú¿ÆѧÓë¼¼Êõ£¨Ñ§ÊõÐÍ£©
Ñо¿ÁìÓò£º ²¢·¢³ÌÐòÑéÖ¤¡¢Âß¼­³ÌÐòµÄ²âÊÔÑéÖ¤¼°ÆäÔÚ֪ʶ±íʾµÈÁìÓòµÄÓ¦ÓÃ
Ñо¿ÁìÓò£º ²¢·¢³ÌÐòÑéÖ¤¡¢Âß¼­³ÌÐòµÄ²âÊÔÑéÖ¤¼°ÆäÔÚ֪ʶ±íʾµÈÁìÓòµÄÓ¦Óà [ÊÕÆð]




ͨѶ·½Ê½ :
µç×ÓÓʼþ£ºzhaolingzhong163@163.com


¸öÈ˼òÊö :
2002Äê6Ô±ÏÒµÓÚ¹ðÁÖµç×Ó¹¤ÒµÑ§Ôº¼ÆËã»úϵ£¬»ñ¹¤Ñ§Ë¶Ê¿. 2007Äê12Ô»ñÎ÷°²µç×ӿƼ¼´óѧ¹¤Ñ§²©Ê¿Ñ§Î». ÏÖΪ¹ðÁÖµç×ӿƼ¼´óѧ¼ÆËã»ú¿ÆѧÓë¼¼ÊõöλÔÓéÀֵǼÈë¿ÚÏÂÔغÍÈí¼þ¹¤³ÌöλÔÓéÀֵǼÈë¿ÚÏÂÔØ˶ʿÉúµ¼Ê¦¡£½üÄêÀ´Ö÷³Ö¹ú¼Ò»ù½ðÏîÄ¿2Ï¹ãÎ÷¿Æѧ»ù½ðÏîÄ¿3ÏÈí¼þ¹¤³Ì¹ú¼ÒÖصãʵÑéÊÒ»ù½ð1Ïî¡£ÔÚ¡¶Data & Knowledge Engineering¡·¡¢¡¶Journal of Automated Reasoning¡·¡¢¡¶Software Quality Journal¡·¡¢¡¶¼ÆËã»úѧ±¨¡·¡¢¡¶Èí¼þѧ±¨¡·¡¢¡¶¼ÆËã»úÑо¿Óë·¢Õ¹¡·µÈ¹úÄÚÍâÆÚ¿¯¼°¡°APSEC¡±¡¢¡°PRICAI¡±¡¢¡°APLAS¡±¡¢ºÍ¡°TASE¡±µÈÖ÷Á÷È˹¤ÖÇÄܺÍÈí¼þ¹¤³Ì¹ú¼ÊѧÊõ»áÒéÉÏ·¢±íºÍ¼ÓÃÂÛÎÄ50Óàƪ£¬ÆäÖÐSCI¡¢EIÊÕ¼20ƪ¡£2015Äê»ñ¹ãÎ÷¿Æ¼¼½ø²½¶þµÈ½±£¬2012ÄêÈëÑ¡¹ãÎ÷¸ßУÓÅÐãÈ˲Å×ÊÖú¼Æ»®£¬2011Äê»ñ¹ãÎ÷×ÔÈ»¿Æѧ½±ÈýµÈ½±£¬2005Äê»ñ¹ãÎ÷¸ßµÈ½ÌÓý½Ìѧ³É¹û½±Ò»µÈ½±¡£2015Ä걻ƸΪУ¼¶¿ÆÑд´ÐÂÍŶӸºÔðÈË¡£Îª±¾¿ÆÉú/Ñо¿Éú¿ªÉèÁË¡¶ÐÎʽÓïÒåѧ¡·¡¢¡¶Ëã·¨·ÖÎöÓëÉè¼Æ¡·¡¢¡¶µÜ×ӹ浼Òý¡·¡¢¡¶ÐÎʽÓïÑÔÓë×Ô¶¯»ú¡·¡¢¡¶öλÔÓéÀֵǼÈë¿ÚÏÂÔØÓ¢Óï¡·µÈ6ÃſγÌ£¬Ö¸µ¼Ë¶Ê¿Ñо¿Éú18ÈË¡£³Ðµ£Íê³ÉÁ˽ÌÓý¿ÆѧÑо¿ºÍ½Ìѧ¸Ä¸ïÏîÄ¿3Ï·¢±í½Ìѧ¸Ä¸ïÂÛÎÄ15ƪ¡£ ??2015Äê»ñ¹ãÎ÷¿Æ¼¼½ø²½¶þµÈ½±? 2012ÄêÈëÑ¡¹ãÎ÷¸ßУÓÅÐãÈ˲Å×ÊÖú¼Æ»®?? 2011Äê»ñ¹ãÎ÷×ÔÈ»¿Æѧ½±ÈýµÈ½±? 2005Äê»ñ¹ãÎ÷¸ßµÈ½ÌÓý½Ìѧ³É¹û½±Ò»µÈ½±

¿ÆÑй¤×÷ :
? 2002.7£­2005 .6£¬¹ðÁÖµç×ӿƼ¼´óѧ£¬¼ÆËã»úϵ£¬Öú½Ì? 2005.7£­2007.12£¬¹ðÁÖµç×ӿƼ¼´óѧ£¬¼ÆËã»úϵ£¬½²Ê¦? 2008.1£­2011.6£¬¹ðÁÖµç×ӿƼ¼´óѧ£¬¼ÆËã»ú¿ÆѧÓ빤³ÌѧԺ£¬¸±½ÌÊÚ? 2011.7£­ÖÁ½ñ£¬¹ðÁÖµç×ӿƼ¼´óѧ£¬¼ÆËã»ú¿ÆѧÓ빤³ÌѧԺ£¬½ÌÊÚ 2015ÄêLingyun SITU, Lingzhong ZHAO. CSP Bounded Model Checking of Preprocessed CTL extended with Events using Answer Set Programming, Proceedings of ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2015, 2015, pp.16-23.ÁõÑåÇ࣬ÕÔÁëÖÒ£¨Í¨ÐÅ×÷Õߣ©£¬Ç®¿¡Ñå. »ùÓÚPetriÍøµÄCSP²¢·¢ÏµÍ³ÑéÖ¤¼¼ÊõÑо¿. ¼ÆËã»ú¿Æѧ£¬2015, 42(10): 244-250, 291.ÕÔÁëÖÒ,µÔÖÙÒã,Ç®¿¡Ñå,¹ùÔÆ´¨. »ùÓڹؼü¼£ºÍASPµÄCSPÄ£Ðͼì²â.Èí¼þѧ±¨,2015,26(10):2521~2544. http:// www.jos.org.cn/1000-9825/4738.htm2014ÄêXuesong WANG , Liqin ZHANG, Lingzhong ZHAO, Junyan QIAN, An Improved ASP Based Verification Tool ImF_ASP for Communication Protocols Described by CSP, Journal of Computational Information Systems, 2014.9.18Ͷ¸å (EI)Lingzhong ZHAO, Liqin ZHANG, Junyan QIAN, Haitao ZHANG, Ying ZHU, ASP based Property Verification of Communication Protocols Described by CSP, Journal of Computational Information Systems, 2014, 10?(11) :?4929-?4936. ISSN 1553-9105 (EI)Ç®¿¡Ñ壬ÕÔÁëÖÒ£¨Í¨ÐÅ×÷Õߣ©£¬²Ì¹úÓÀ. »ùÓÚÍ걸³éÏó½âÊ͵ÄÐÔÖÊÇ¿±£Áô³éÏóÑо¿£¬¼ÆËã»úѧ±¨£¬2014£¬37£¨8£©£º1754-1767. (EI)Ç®¿¡Ñ壬¼ÖÊé¹ó£¬ÕÔÁëÖÒ£¬¹ùÔÆ´¨. »ùÓÚÉÏÏÂÎĶ¨½çµÄµÝ¹é¶ÓÁв¢·¢³ÌÐò¿É´ïÐÔ·ÖÎö£¬¼ÆËã»úѧ±¨£¬2014,37 (12): 2574-2585.2013ÄêÍõÑ©ËÉ£¬ÕÔÁëÖÒ£¬Õų¬. »ùÓÚASPµÄCSPÄ£ÐÍÑéÖ¤ÐÔÖÊ·´ÀýÉú³É¼¼ÊõÑо¿, ¼ÆËã»úÓ¦ÓÃÑо¿£¬ 2013, 30(1): 52-55.ÕÔÁëÖÒ£¬µÔÖÙÒ㣬Ǯ¿¡Ñ壬»ùÓÚ½ø³Ì¼£µÄCSPÄ£ÐÍÑéÖ¤¿ò¼Ü£¬¼ÆËã»ú¿Æѧ£¬2013, 40(11): 181-186.ÕÔÁëÖÒ£¬Ë¾Í½ÁèÔÆ£¬µÔÖÙÒ㣬Ǯ¿¡Ñå. »ùÓÚASPµÄCSP½ø³ÌÃèÊöÓë×éºÏÑо¿£¬¼ÆËã»ú¿Æѧ£¬2013, 40(12):133-140.Ç®¿¡Ñ壬¼ÖÊé¹ó£¬²Ì¹úÓÀ£¬ÕÔÁëÖÒ. »ùÓÚÉÏÏÂÎĶ¨½çµÄFork/Join²¢ÐÐÐԵIJ¢·¢³ÌÐò¿É´ïÐÔ·ÖÎö£¬¼ÆËã»ú¹¤³ÌÓë¿Æѧ£¬2013£¬35(2): 1-6.2012ÄêÕÔÁëÖÒ, Õų¬, Ç®¿¡Ñå. »ùÓÚASPµÄCSP²¢·¢ÏµÍ³ÑéÖ¤Ñо¿. ¼ÆËã»ú¿Æѧ, 2012, 39(12):133-136.ÍõÑ©ËÉ, Ç®¿¡Ñå, ÕÔÁëÖÒ, ¸ßÈÙÁÁ. »ùÓÚ²¢·¢ÊÂÎñÂß¼­µÄÓïÒåWeb·þÎñ×éºÏ, ¼ÆËã»ú¿Æѧ, 2012£¬39(10):139-142,156.µÔÖÙÒã, ÍõÑ©ËÉ, ÕÔÁëÖÒ. »ùÓÚASPµÄ³ÌÐòÇÐƬ, ¹ðÁÖµç×ӿƼ¼´óѧѧ±¨, 2012, 32(1): 29-34.¶­·ï½¿£¬ÍõÑ©ËÉ£¬ÕÔÁëÖÒ, Õų¬. »ùÓÚÆô·¢Ê½ËÑË÷µÄASP³ÌÐòÖ§³ÅÔ­Òò·ÖÎöËã·¨£¬¹ðÁÖµç×ӿƼ¼´óѧѧ±¨£¬2012, 32(3): 222-226.2011Ä꣺ÕÔÁëÖÒ, ÍõÑ©ËÉ. »ùÓÚOBDDµÄº¬È¦Óë»òͼËÑË÷Ëã·¨Ñо¿. ¼ÆËã»úÓ¦ÓÃÑо¿, 2011, 28(4): 1325-1329.·½ÒãÁ¢£¬ÕÔÁëÖÒ. Õý¹æÂß¼­³ÌÐò»Ø´ð¼¯´æÔÚÐÔÑо¿. ¼ÆËã»ú¿Æѧ, 2011,38(12): 213-220.Ç®¿¡Ñå, »Æ¹úÍú, ÕÔÁëÖÒ. »ùÓڴ𰸼¯µÄWEB·þÎñ×éºÏÑéÖ¤, ¼ÆËã»ú¿Æѧ, 2011,38(12): 131-134.Qian, Jun-Yan, Huang, Guo-Wang, Zhao, Ling-Zhong. Semantic web service composition using answer set planning. International Journal of Advancements in Computing Technology, 3(5): p 20-31, June 2011. (EI) 2010Ä꣺Lingzhong Zhao, Junyan Qian, Liang Chang, and Guoyong Cai. Using ASP for Knowledge Management with User Authorization. Data & Knowledge Engineering, 2010, 69(8): 737-762.? (SCI / EI)Lingzhong Zhao, Xuesong Wang, Junyan Qian, and Tianlong Gu. Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning, Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2010), Lecture Notes in Artificial Intelligence, 6230, pp.384-396. (EI)Lingzhong Zhao, Yili Fang. A Knowledge Based Method for Data Flow Analysis. Proceedings of 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS 2010), pp.555-558. (EI)ÍõÑ©ËÉ, ÕÔÁëÖÒ, ¹ÅÌìÁú. ÎÞȦÓë»òͼËÑË÷µÄ·ûºÅOBDDËã·¨Ñо¿. ¼ÆËã»ú¿Æѧ, 2010, 37(7): 169-173.ÕÔÁëÖÒ, ÍõÑ©ËÉ, Ç®¿¡Ñå, ²Ì¹úÓÀ. ´Ó¾­µäÂß¼­ÖªÊ¶¹¹½¨ASP֪ʶ¿âµÄз½·¨. ¼ÆËã»úÓ¦ÓÃ, 2010, 30(11): 2932-2936.2009ÄêÒÔÇ°£ºLingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian and Congwen Zeng. An ASP Based Method for Subassembly Identification. Proceedings of ROBIO 2009, pp.1317-1322. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298. (SCI)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. In: Proceedings of The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Lecture Notes in Computer Science, 2007, 4807, pp.105-121. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), 2007, pp.261-270. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Constraint-based Correct Partial Answer Semantics for the Analysis of Prolog Programs. WSEAS Transactions on Computers, 2007, 6(6): 947-952. £¨EI£©Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. Designing Prolog Semantics for a Class of Observables. Proceedings of Ninth Pacific Rim International Conference on Artificial Intelligence (PRICAI¡¯06), Lecture Notes in Artificial Intelligence, 2006, 4099, pp.1052-1057. (SCI, EI)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. Proceedings of the 19th ACS Australian Joint Conference on Artificial Intelligence (AI¡¯06), Lecture Notes in Artificial Intelligence, 2006, 4304: 1265-1270. (ISTP)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006, pp. 359-362. (DBLP)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Base for Achieving Semantics for Prolog with Cut for ¡°Correct¡± Observables. Proceedings of the 2006 International Conference on Software Engineering Research and Practice (SERP¡¯06), 2006, pp. 664-670. (INSPEC, DBLP)Xuesong Wang, Lingzhong Zhao, Congen Zeng, Junyan Qian and Tianlong Gu. An ASP based Solution to Mechanical Assembly Sequence Planning. Proceedings of WGEC 2009, pp.205-208. (EI)Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Automatic Construction of Complete Abstraction by Abstract Interpretation. Proceedings of ACIS-ICIS 2009, pp. 927-932. (EI)Junyan Qian, Lingzhong Zhao, Tianlong Gu and Guoyong Cai. Formula-dependent abstraction for CTL model checking. Proceedings of the ICCSA 2008, Lecture Notes in Computer Science 5073, July, 2008, pp.1035-1048. (EI)Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao, A Family of Dynamic Description Logics for Representing and Reasoning About Actions£¬Journal of Automated Reasoning, pp.1-52, 2010. (SCI¡¢EI)Junyan Qian, Guoyong Cai, Tianlong Gu and Lingzhong Zhao. Abstract Model Checking for Web Services. Wuhan University Journal of Natural Science.13(5), 2008 ?(EI)Congwen Zeng, Tianlong Gu and Lingzhong Zhao. A Novel Genetic Algorithm for Traveling Salesman Problem. DCDIS SERIES B: APPLICATIONS AND ALGORITHMS. 2006, 5: 859-862.Guoyong Cai£¬Ji Gao£¬Junyan Qian£¬Lingzhong Zhao. Distributed collaborating system design via electronic institutional calculus. International Conference on Network and Parallel Computing (NPC 2007), Sep. 18-20,2007, Dalian, China, pp 754-761.£¨EI£©Guoyong Cai£¬Ji Gao£¬Junyan Qian£¬Lingzhong Zhao. Formalizing interactive institution with RBA calculus. Accepted by International Conference on Intelligent Systems and Knowledge Engineering (ISKE2007), October 15-16, 2007, Chengdu, China.ÕÔÁëÖÒ£¬ÁÎΰ־, Ç®¿¡Ñå, ¹ÅÌìÁú. »ùÓÚ¼ÆËã½âÓïÒåµÄÂß¼­³ÌÐò²âÊԺ͵÷ÊÔ¿ò¼Ü. ¼ÆËã»ú¿Æѧ. 2009, 36(9): 115-121.ÕÔÁëÖÒ, ¹ÅÌìÁú£¬²Ì¹úÓÀ, Ç®¿¡Ñå. »ùÓÚ³éÏó½âÊ͵ÄProlog³ÌÐòÑéÖ¤¼¼ÊõÑо¿. ¼ÆËã»ú¿Æѧ. 2008, 35(7): 261-268.ÕÔÁëÖÒ, ¹ÅÌìÁú, Ç®¿¡Ñå. Ä¿±ê¶ÀÁ¢µÄProlog³ÌÐò·¾¶ÒÀÀµ·ÖÎöÓïÒå. ¼ÆËã»ú¿Æѧ. 2008, 35(2): 246-252, 297.ÕÔÁëÖÒ, Ç®¿¡Ñå. µ÷ÓÃģʽºÍÕýÈ·µ÷ÓÃģʽÓïÒåÔÚProlog³ÌÐò²âÊÔÖеÄÓ¦ÓÃ. ¼ÆËã»úÓ¦ÓÃÑо¿. 2008, 25(4): 1008-1012.ÕÔÁëÖÒ, ÍõÑ©ËÉ, ¹ÅÌìÁú, Ç®¿¡Ñå. Ò»ÖÖ»ùÓÚìصÄOBDD±äÁ¿ÅÅÐòËã·¨. ¼ÆËã»ú¿Æѧ. 2007, 34(2): 216-219.ÕÔÁëÖÒ, ¶­ÈÙʤ, ²Ì¹úÓÀ, ¹ÅÌìÁú. »ùÓÚ¶ÔÏó·Ö²¼Ê½ÊµÊ±ÏµÍ³Ô¼ÊøµÄÒ»ÖÂÐÔÑо¿. ¼ÆËã»ú¹¤³ÌÓëÓ¦ÓÃ, 2002,38(15):60-62,71.ÕÔÁëÖÒ, ¶­ÈÙʤ, ¹ÅÌìÁú, ²Ì¹úÓÀ. ʵʱϵͳ·ÇÖÜÆÚÈÎÎñµÄ¿ÉÔ¤²âµ÷¶ÈÑо¿. ¹ðÁÖµç×Ó¹¤ÒµÑ§ÔºÑ§±¨. 2001, 21(3): 18-21.Ç®¿¡Ñå, ÕÔÁëÖÒ. »ùÓÚ×Ô¶¯»úÀíÂ۵ķûºÅÄ£ÐͼìÑé. À¼ÖÝÀí¹¤´óѧѧ±¨, 2008, 35(4): 96-99.ÍõÑ©ËÉ, ÕÔÁëÖÒ, Ç®¿¡Ñå. Prolog³ÌÐòÕýÈ·µ÷ÓÃģʽÓïÒåµÄ³éÏó¼¼ÊõÑо¿. ¼ÆËã»úÓ¦ÓÃÑо¿(Ôö¿¯)4-7ÔÂ. (ÒѼÓÃ).Ç®¿¡Ñå, ÕÔÁëÖÒ. »ùÓÚLTSµÄStatecharts²Ù×÷ÓïÒåÑо¿. ¼ÆËã»ú¹¤³Ì£¬2006,32(22): 43-45. (EI)Ç®¿¡Ñå,ÕÔÁëÖÒ,¹ÅÌìÁú.Ò»ÖÖ»ùÓÚʱ¼ä×Ô¶¯»úµÄʱÖӵȼÛÐÔÓÅ»¯·½·¨.¼ÆËã»ú¹¤³Ì,2005,31(18):71-73. (EI) (9Ô³ö°æ)Ç®¿¡Ñå, ÕÔÁëÖÒ,¹ÅÌìÁú.Ò»ÖÖ»ùÓÚ×Ô¶¯»úÀíÂÛµÄLTL¼ìÑé·ûºÅÓÅ»¯·½·¨.¼ÆËã»ú¹¤³Ì,2005,31(23): 20-21,27. (EI)(12Ô³ö°æ)£¨°ëÔ¿¯£©Ç®¿¡Ñå, ÕÔÁëÖÒ.Ò»ÖÖ»ùÓÚʱ¼ä×Ô¶¯»úµÄÓò¹¹Ôì·½·¨.¼ÆËã»úÓ¦ÓÃÑо¿, 2005,22(7):68-70.¶­ÈÙʤ, ÕÔÁëÖÒ, ²Ì¹úÓÀ, ¹ÅÌìÁú. »ùÓÚ¶ÔÏóµÄ·Ö²¼Ê½ÊµÊ±ÏµÍ³µ÷¶ÈÄ£ÐÍÑо¿. ¼ÆËã»úÑо¿Óë·¢Õ¹. 2002, 21(3): 1464-1470. (EI)»ÆÍ¢»Ô, ´Þ¸üÉê, ÕÔÁëÖÒ. ÎÞÏß´«¸ÐÆ÷ÍøÂçÈí¼þ¶¯Ì¬¼ÓÔؼ¼ÊõÑо¿, ¼ÆËã»úÓ¦ÓÃ, 2008,?28(04):?1029-1031.Ç®¿¡Ñå, ¹ÅÌìÁú, ÕÔÁëÖÒ. »ùÓÚEHAÄ£ÐͼìÑéStatecharts¼ÆËã»ú¹¤³Ì,2006, 32(3):19-21.(EI)Ç®¿¡Ñå, ¹ÅÌìÁú, ÕÔÁëÖÒ.StatechartsµÄÐÎʽ»¯ÑéÖ¤Ñо¿.¼ÆËã»ú¹¤³Ì2005,31(18):19-22. (EI)ÍõÑ©ËÉ, ÕÅ»á±ø, ÕÔÁëÖÒ, ÐÜ·ï. ´®ÐÐͨÐÅ·þÎñÆ÷ÖеÄ×ÔÊÊÓ¦ÒÔÌ«ÍøÉè¼Æ. ±ø¹¤×Ô¶¯»¯, 2007, 26(8): 39-40, 47.¹ÅÌìÁú, ÐÜ̫ƽ, ÕÔÁëÖÒ. ÈáÐÔÖÆÔìϵͳÖÐÉú²úµ÷¶ÈÎÊÌâÇó½âµÄÒ»ÖÖ·ûºÅËã·¨. ¼ÆËã»ú¼¯³ÉÖÆÔìϵͳ£¬2007£¬13(2):338-344. (EI)ÐìÖܲ¨, ¹ÅÌìÁú, ÕÔÁëÖÒ.ÍøÂç×î´óÁ÷ÎÊÌâÇó½âµÄ·ûºÅADDÔö¹ã·¾¶Ëã·¨. ¼ÆËã»ú¿Æѧ, 2005, 32(10):38-40.ÐìÖܲ¨,¹ÅÌìÁú, ÕÔÁëÖÒ.ÍøÂç×î´óÁ÷ÎÊÌâµÄÒ»ÖÖеķûºÅADDÇó½âËã·¨, ͨÐÅѧ±¨,2005, 26(2):1-8.ÁÎΰ־, ¹ÅÌìÁú, Ôª²ý°², ÕÔÁëÖÒ, »ùÓÚÒ»½×»ìÔÓPetri ÍøµÄÈáÐÔÖÆÔìϵͳ´Ö²Ú¿ØÖÆ¡£¿ØÖÆÓë¾ö²ß£¬2009, 24(3): 365-370.¶­ÈÙʤ, ²ÜË«½ø, ²Ì¹úÓÀ, ÕÔÁëÖÒ. »ùÓÚ¶ÔÏó·Ö²¼Ê½ÊµÊ±ÏµÍ³µÄÈÝ´íÄ£ÐÍÑо¿. ¼ÆËã»ú¹¤³ÌÓëÓ¦ÓÃ.2004, 40(7): 61-65. Ö÷³ÖÒÔÏ¿ÆÑÐÏîÄ¿£º¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿£º»ùÓÚASP µÄ²¢·¢ÏµÍ³CSP Ä£ÐÍÑéÖ¤Ñо¿£¨2013.1-2016.12£©£¨ÏîÄ¿Åú×¼±àºÅ£º**£©£¨¾­·Ñ46ÍòÔª£©£¨ÔºÄÚÖ¸±êºÅ£ºNF120171£©¡£¹ãÎ÷¿ÉÐÅÈí¼þÖصãʵÑéÊÒ»ù½ðÏîÄ¿£º»ùÓÚASPµÄ²¢·¢³ÌÐòCSPÄ£ÐÍÑéÖ¤£¨2011.9-2013.8£©£¨¾­·Ñ3ÍòÔª£©£¨ÏîÄ¿±àºÅ£ºkx201113£©£¨ÒѽáÌ⣩¹ãÎ÷Çø×ÔÈ»¿Æѧ»ù½ðÃæÉÏÏîÄ¿£ºASP֪ʶ¿â·ÃÎÊ¿ØÖÆ»úÖÆÑо¿£¨2011.03-2014.03£©£¨ºÏͬ±àºÅ£º2011GXNSFA018166£¬ÏîÄ¿±àºÅ£º2011jjA70095£©£¨¾­·Ñ4ÍòÔª£©£¨ÒѽáÌ⣩Î人´óѧÈí¼þ¹¤³Ì¹ú¼ÒÖصãʵÑéÊÒ¿ª·Å»ù½ðÏîÄ¿£ºASP֪ʶ¿âÊÚȨһÖÂÐÔÑéÖ¤¼¼ÊõÑо¿£¨2011.1.1-2012.12.31£©£¨ÏîÄ¿±àºÅ£ºSKLSE2010-08-06£©£¨¾­·Ñ3ÍòÔª£©£¨ÒѽáÌ⣩2010ÄêÐÂÊÀ¼Í¹ãÎ÷¸ßµÈ½ÌÓý½Ì¸Ä¹¤³ÌÏîÄ¿£º»ùÓÚ̽¾¿Ê½·½·¨µÄÈí¼þÀà¿Î³Ì¸Ä¸ïÓëʵ¼ù£¨ÏîÄ¿±àºÅ£º2010JGA027£©£¨¾­·Ñ3ÍòÔª£©£¨ÒѽáÌ⣩¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿£º»ùÓÚ³éÏó½âÊ͵ÄÂß¼­³ÌÐòÑéÖ¤Ñо¿£¨2009.1-2011.12£©£¨ÏîÄ¿Åú×¼±àºÅ£º**£©£¨¾­·Ñ20ÍòÔª£©£¨ÒѽáÌ⣩¡£¹ãÎ÷ÇøÇàÄê¿Æѧ»ù½ðÏîÄ¿£º»ùÓÚ³éÏó½âÊ͵ÄÂß¼­³ÌÐòÑéÖ¤¼¼ÊõÑо¿(2007.5-2010.5) £¨ºÏͬ±àºÅ£º¹ð¿ÆÇà**£© (¹ð¿Æ»ù½á×Ö¡²2009¡³µÚ62ºÅ) £¨¾­·Ñ4ÍòÔª£©£¨ÒѽáÌ⣬ÆÀΪÓÅÐ㣩.¹ãÎ÷Çø½ÌÓýÌüÃæÉÏÏîÄ¿£ºÂß¼­³ÌÐòµÄ×Ô¶¯ÑéÖ¤¼¼ÊõÑо¿(ÏîÄ¿±àºÅ:200808MS167)£¨2008.9-2009.9£©£¨¾­·Ñ2ÍòÔª£©£¨ÒѽáÌ⣩¹ðÁÖµç×ӿƼ¼´óѧУ¿Æѧ»ù½ðÏîÄ¿£ºÂß¼­³ÌÐòµÄ×Ô¶¯ÑéÖ¤¼¼ÊõÑо¿£¨2008.7-2011.6£©£¨¾­·Ñ6ÍòÔª£©.¹ðÁÖµç×ӿƼ¼´óѧѧ¿ÆÈí»·¾³½¨ÉèÏîÄ¿£ºÀëÉ¢¶ÔÏóµÄ·ûºÅ±íʾ¼¼ÊõÑо¿(2004.10-2007.10)£¨¾­·Ñ2ÍòÔª£©. £¨ÒѽáÌ⣩?×÷ΪÖ÷Òª³ÉÔ±²ÎÓëÒÔÏ¿ÆÑÐÏîÄ¿£º¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð£º»ùÓÚ³éÏóºÍ·ûºÅ¼¼ÊõµÄ²¢·¢Èí¼þÑéÖ¤Ñо¿(No.**)£¨2011.01-2013.12£©£¨ÅÅÃûµÚ¶þ£©£¨ÒѽáÌ⣩¹ãÎ÷Çø×ÔÈ»¿ÆѧÖصã»ù½ð£º»ùÓÚ·ûºÅOBDDµÄ×°ÅäÐòÁй滮Ñо¿£¨¹ð¿Æ×Ô**Z£©£¨2008£­2011£©£¨ÅÅÃûµÚÎ壩£¨ÒѽáÌ⣩¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿:×°ÅäÐòÁÐÉú³ÉµÄ·ûºÅ¼¼ÊõÑо¿(No.**)£¨2006.1£­2008.12£©. £¨ÒѽáÌ⣩¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿: »ùÓÚÒÀÀµ¹«Ê½³éÏóµÄÈí¼þÄ£Ðͼì²âÑо¿(No.**) £¨2007.1£­2009.12£©. £¨ÒѽáÌ⣩¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿:»ùÓÚʱ̬ÈÏÖªÂß¼­µÄÌØÕ÷½»»¥ÎÞ½çÄ£Ðͼì²â (No.**) £¨2008.1£­2010.12£©. £¨ÒѽáÌ⣩¹ú¼Ò×ÔÈ»¿Æѧ»ù½ðÏîÄ¿:»ìÔÓÉú²ú¹ý³ÌµÄ»ìÔÓPetriÍø½¨Ä£¼°Æä·ûºÅµ÷¶ÈÑо¿£¨2003.1£­2005.12£©£¨ÒѽáÌ⣩.¹ãÎ÷ÇøÇàÄê¿Æѧ»ù½ðÏîÄ¿£ºUML Statecharts¼°Æäʱ¼äÀ©Õ¹µÄÄ£ÐͼìÑé¼¼ÊõÑо¿£¨ºÏͬ±àºÅ£º¹ð¿ÆÇà**£©£¨2005.7£­2008.7£©£¨ÒѽáÌ⣩¹ãÎ÷Çø×ÔÈ»¿Æѧ»ù½ðÏîÄ¿£ºÄ£ÐͼìÑéºÍ¶¨ÀíÖ¤Ã÷Ïà½áºÏµÄ°²È«Ð­Òé·ÖÎö¼¼ÊõÑо¿£¨2005.8£­2008.12£©£¨¹ð¿Æ×Ô**£©£¨ÒѽáÌ⣩¹ãÎ÷Çø×ÔÈ»¿Æѧ»ù½ðÏîÄ¿£ºÊ±¼äPetriÍøµÄ·ûºÅOBDDµ÷¶È¼¼ÊõÑо¿£¨2004.07--2007.07£©£¨ÒѽáÌ⣩¹ãÎ÷Çø×ÔÈ»¿Æѧ»ù½ðÏîÄ¿:»ùÓÚ¶ÔÏó·Ö²¼Ê½ÊµÊ±ÏµÍ³µ÷¶ÈÄ£ÐÍÑо¿£¨ºÏͬ±àºÅ£º¹ð¿Æ×Ô**£©£¨2002.8£­2004.12£©£¨ÒѽáÌ⣩.ÐÂÊÀ¼Í¹ãÎ÷¸ßµÈ½ÌÓý½Ìѧ¸Ä¸ï¹¤³Ì¡°Ê®Ò»Î塱µÚ¶þÅúÏîÄ¿£ºÈí¼þ¹¤³ÌöλÔÓéÀֵǼÈë¿ÚÏÂÔؿγÌÌåϵ½¨ÉèÑо¿Óëʵ¼ù£¨2006.10ÖÁ½ñ£©£¨ÒѽáÌ⣩

½ÌÓý±³¾° :
? 1995 Ä꣭1999 Ä꣬¹ðÁÖµç×Ó¹¤ÒµÑ§Ôº£¬µç×Ó»úе¹¤³Ìϵ? »úеÖÆÔ칤ÒÕÓëÉ豸öλÔÓéÀֵǼÈë¿ÚÏÂÔØ£¬±¾¿Æ? 1999 Ä꣭2002 Ä꣬¹ðÁÖµç×Ó¹¤ÒµÑ§Ôº£¬¼ÆËã»úϵ? ¼ÆËã»úÓ¦ÓÃöλÔÓéÀֵǼÈë¿ÚÏÂÔØ£¬ ˶ʿÉú? 2002 Ä꣭2007 Ä꣬Î÷°²µç×ӿƼ¼´óѧ£¬µç×Ó¹¤³ÌѧԺ? ģʽʶ±ðÓëÖÇÄÜϵͳöλÔÓéÀֵǼÈë¿ÚÏÂÔØ£¬²©Ê¿Éú