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

µ¼Ê¦ÐÕÃû£ºÇ®¿¡Ñå
ÐÔ±ð£º
ÈËÆøÖ¸Êý£º868

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




ͨѶ·½Ê½ :
µç×ÓÓʼþ£ºqjy2000@guet.edu.cn


¸öÈ˼òÊö :
Ç®¿¡Ñ壬ÄУ¬½ÌÊÚ£¬1973ÄêÉú¡£Ö÷³Ö¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð¡¢¹ú·ÀÏîÄ¿¡¢¹ãÎ÷×ÔÈ»¿ÆѧÖصã»ù½ðÔÚÄÚÏîÄ¿20¶àÏî¡£ÔÚ¼ÆËã»úÁìÓò¹ú¼Ê¶¥¼¶ÆÚ¿¯IEEE TPDS¡¢ACM TOSEM£¬¹ú¼ÊȨÍþÆÚ¿¯WWWJ¡¢DKE¡¢SQJ¡¢SCN£¬¹úÄÚÒ»¼¶Ñ§±¨¡¶¼ÆËã»úѧ±¨¡·¡¢¡¶Èí¼þѧ±¨¡·¡¢¡¶µç×Óѧ±¨¡·¡¢¡¶¼ÆËã»úÑо¿Óë·¢Õ¹¡·£¬ÒÔ¼°FORTE¡¢APLAS¡¢PRICAI¡¢TASEµÈÖØÒª¹ú¼Ê»áÒéÉÏ·¢±í¼°Â¼ÓÃѧÊõÂÛÎÄ100Óàƪ£¬ÆäÖÐSCI¡¢EIÊÕ¼60¶àƪ¡£Í¬Ê±×¢ÖذѿƼ¼×ª»¯ÎªÓ¦Ó㬷þÎñÓÚ¹ú·ÀÊÂÒµ¡¢Õþ¸®»ú¹Ø£¬ÖÂÁ¦ÓÚ¹«¹²ÊÂÒµµÄÐÅÏ¢»¯¸ÄÔ죬»ñµÃ·¢Ã÷רÀû3ÏʵÓÃÐÂÐÍרÀû1Ïî¡¢Èí¼þÖø×÷Ȩ11Ï ¹ãÎ÷¡°Ê®°Ùǧ¡±È˲Ź¤³ÌµÚ¶þ²ã´ÎÈËÑ¡£»¡°¿ÉÐÅÈí¼þ¡±¹ãÎ÷¸ßµÈѧУ¸ßˮƽ´´ÐÂÍŶӼ°×¿Ô½Ñ§Õß×ÊÖú£»¹ãÎ÷ÇàÄê¿Æ¼¼½±£»¡°Èí¼þϵͳµÄÄ£ÐͳéÏóÓ밲ȫÐÔÑéÖ¤¡±»ñ¹ãÎ÷Çø×ÔÈ»¿Æѧ½±ÈýµÈ½±£»¡°¹ãÎ÷¸ßµÈѧУÓÅÐãÈ˲Å×ÊÖú¼Æ»®¡±ÈËÑ¡£»¡°¹ãÎ÷ÇøÎï¼ÛÊշѹÜÀíϵͳ¡±»ñ¹ãÎ÷Çø¿Æ¼¼½ø²½ÈýµÈ½±£»¹ðµç¿ÆÑÐÏȽø¸öÈË£»Ê×½ìÓÅÐãÑо¿ÉúÖ¸µ¼½Ìʦ.

¿ÆÑй¤×÷ :
Junyan Qian, Zhide Zhou, Tianlong Gu, Lingzhong Zhao, Liang Chang. Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Transactions on Parallel and Distributed Systems, 2016,27(12):3575-3587.Ç®¿¡Ñå,ÐìÁ¦,¹ÅÌìÁú,ÕÔÁëÖÒ,²Ì¹úÓÀ. »ùÓÚʱ¼ä¶¯Ì¬ÏÂÍÆÍøÂç¿É´ïÐÔ·ÖÎö. µç×Óѧ±¨, 2017, 45 (9): 2241-2249Junyan Qian, Zhangshun Bai,Zhide Zhou, Lingzhong Zhao,Liang Chang. Effcient Abstraction Algorithms for Accelerating Reconfiguration of VLSI Arrays. IEEJ Transactions on Electrical and Electronic Engineering. 2017, 12(5): 759¨C769.Junyan Qian, Cong Chen, Lingzhong Zhao, Yunchuan Guo. An Efficient Method for Reconfiguring Power Efficient VLSI Array with Maximum Satisfiability. IEEJ Transactions on Electrical and Electronic Engineering. Accepted.Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao. A mathematical model for reconfiguring VLSI subarrays under row and column rerouting. IEEE Access, 2017, 5: 23912 ¨C 23919.Ç®¿¡Ñå,¸ÊÅô³Ì,¹ùÔÆ´¨,ÕÔÁëÖÒ,¹ÅÌìÁú. »ùÓÚʱ¼ä¶àÕ»ÏÂÍÆÍøÂçµÄʵʱϵͳÑéÖ¤. ¼ÆËã»úѧ±¨,2016, 39(11)£º2253-2269.Chenghua Tang, Yang Xiang, Yu Wang, Junyan Qian* and Baohua Qiang. Detection and Classification of Anomaly Intrusion Using Hierarchy Clustering and SVM. Security and Communication Networks. 2016,9:3401¨C3411.Junyan Qian, Wei Cao, Jia Hu, Jingwei Zhang, Zhoubo Xu, Zhide Zhou. Satisfiability-Based Method for Reconfiguring Power Efficient VLSI Array. IEICE Electronics Express, 2016,13(23):1-11.Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang. An Integer programming method for constructing tightly coupled VLSI subarrays. IEICE Electronics Express, 13(11): 1-9.QIAN Jun-Yan, YAO Guo-Qing, CHEN Guang-Xi, ZHAO Ling-Zhong. Linearizability Proof of Stack Data. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part IV, LNCS 9787, 2016.Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu. An Improved Reconfiguration Algorithm for VLSI Arrays with A-star. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part II, LNCS 9787, 2016.½ªÊç¾ê,º«º®,Ê·½¿½¿,ÕÅÑÞ÷,¾ÏСÁÖ,Ç®¿¡Ñå.»ùÓÚ·ÖÖ§Ïà¹ØÐÔ·ÖÎöµÄ²»¿É´ï·¾¶¼ì²â·½·¨.¼ÆËã»úÑо¿Óë·¢Õ¹,2016, 53(5):1072-1085.ÕÅ ,Ç®¿¡Ñå,ÀîÖÛ¾ü,Âíµî¸». »ùÓÚ³éÏó²»±äʽµÄ³ÌÐò°²È«ÐÔÑé.Ç廪´óѧѧ±¨£¨×ÔÈ»¿Æѧ°æ£©£¬2016, 56(7): 777-784.Ëï½úÓÀ,¹ÅÌìÁú,ÎÅÁ¢½Ü,Ç®¿¡Ñå.ÓÃÓÚÃæÏò¹ý³ÌµÄ»ùÓÚʵÀýÍÆÀíµÄÓïÒ幤×÷Á÷ÏàËÆÐÔËã·¨.¼ÆËã»ú¼¯³ÉÖÆÔìϵͳ£¬2016,22(2):381-394.Ðí±Ì»¶,Ç®¿¡Ñå,ÕÅÓ­ÖÜ,³ÂÀÙ.Ò»ÖÖ»ùÓÚÓà´úÊýµ¥×ÓµÄWeb·þÎñÐÎʽ»¯Ä£ÐÍ.ÄϾ©º½¿Õº½Ìì´óѧѧ±¨, 2016,48(5): 668-676.ÕÔÁëÖÒ,µÔÖÙÒã,Ç®¿¡Ñå*,¹ùÔÆ´¨.»ùÓÚMini-trace ºÍASP µÄCSP Ä£Ðͼì²â. Èí¼þѧ±¨£¬2015, 26(10): 2521-2544.ÀîÎĽÜ,½ªÊç¾ê,Ç®¿¡Ñå,ÍõÐËÑÇ,¾ÏСÁÖ.»ùÓÚ¶ÔÏóÒýÓùØϵµÄJava³ÌÐòÄÚ´æÐÐΪ·ÖÎö·½·¨.µç×Óѧ±¨, 2015, 43(7): 1336-1343Ç®¿¡Ñå,ÕÔÁëÖÒ,²Ì¹úÓÀ.»ùÓÚÍ걸³éÏó½âÊ͵ÄÐÔÖÊÇ¿±£Áô³éÏóÑо¿.¼ÆËã»úѧ±¨, 2014,37(8):1754-1767.Ç®¿¡Ñå,¼ÖÊé¹ó,ÕÔÁëÖÒ,¹ùÔÆ´¨.»ùÓÚÉÏÏÂÎĶ¨½çµÄµÝ¹é¶ÓÁв¢·¢³ÌÐò¿É´ïÐÔ·ÖÎö.¼ÆËã»úѧ±¨. 2014, 37(12)£º2574-2584H. ZHANG, Z. SHOU, J. ZHANG, Q. HE AND J. QIAN. Building Reputation for Service-Oriented Ami: Modeling, Algorithms, And Analysis. IJST, Transactions of Electrical Engineering, 2014, 38(E1): 99-109.Qian Junyan, Wu Juan, Zhao Lingzhong, Guo Yunchuan. SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION. Journal of Electronics (China),2014,31(3):232-245Ç®¿¡Ñå,¼ÖÊé¹ó,²Ì¹úÓÀ,ÕÔÁëÖÒ.»ùÓÚÉÏÏÂÎĶ¨½çµÄFork/Join²¢ÐÐÐԵIJ¢·¢³ÌÐò¿É´ïÐÔ·ÖÎö.¼ÆËã»ú¹¤³ÌÓë¿Æѧ, 2013,35(2):1-6.µËÞ±,ºÎïÂ,Ç®¿¡Ñå.Éî¶ÈÓÅÏȵĶà»ùÒò±í´ïʽ³ÌÐòÉè¼Æ.ģʽʶ±ðÓëÈ˹¤ÖÇÄÜ, 26(9), pp 819-828, 2013.Ç®¿¡Ñå,»Æ¹úÍú,ÕÔÁëÖÒ.»ùÓڴ𰸼¯µÄWeb·þÎñ×éºÏÑéÖ¤.¼ÆËã»ú¿Æѧ, 2011,38(12): 131-134Lingzhong Zhao, Junyan Qian, Liang Chang, and Guoyong Cai. Using ASP for Knowledge Management with User Authorization. Data & Knowledge Engineering, 2010, 69(8): 737-762. 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), LNAI, 6230, pp.384-396.Ç®¿¡Ñå,Ð챦ÎÄ. »ùÓÚÍ걸³éÏó½âÊ͵ÄÄ£ÐͼìÑéCTL¹«Ê½Ñо¿.¼ÆËã»úѧ±¨, 2009,31(5):101-110.Lingzhong Zhao, Tianlong Gu, Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298.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.Junyan Qian, Guoyong Cai, Tianlong Gu and Lingzhong Zhao. Abstract Model Checking for Web Services. Wuhan University Journal of Natural Science.2008,13(4):466-470.Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007.Zhao lingzhong, Gu Tianlong, Qian Junyan and Cai Guoyong. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. Proceedings of the APLAS 2007,LNCS 4807, pp.105-121, 2007.Zhao lingzhong, Gu Tianlong and Qian Junyan. Constraint-based Correct Partial Answer Semantics for the Analysis of Prolog Programs. Proceedings of the TASE 2007, pp.261-270, 2007.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: 1052-1057.Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. The 19th ACS Australian Joint Conference on Artificial Intelligence (AI¡¯06), Lecture Notes in Artificial Intelligence, 4304: 1265-1270.Junyan Qian and Baowen Xu. Model Checking for Timed Statecharts. Proceedings of the 25th FORTE, Lecture Notes in Computer Science 3731, Oct. 2005, pp.261-274. ¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð¡°»ùÓÚÏÂÍÆÍøÂçµÄʵʱ²¢·¢µÝ¹é³ÌÐò¿É´ïÐÔ·ÖÎö¼°ÔöÁ¿Ê½ÑéÖ¤¡±(No.**)¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð¡°»ùÓÚ³éÏóºÍ·ûºÅ¼¼ÊõµÄ²¢·¢Èí¼þÑéÖ¤Ñо¿¡±(No.**) ¹ú¼Ò×ÔÈ»¿Æѧ»ù½ð¡°»ùÓÚÒÀÀµ¹«Ê½³éÏóµÄÈí¼þÄ£Ðͼì²âÑо¿¡±(No.**) Öйú²©Ê¿ºó»ù½ð¡°»ùÓÚ³éÏó½âÊ͵ÄÏÞ½çÄ£ÐͼìÑéÑо¿¡±(No. **)¹ãÎ÷×ÔÈ»¿ÆѧÖصã»ù½ð"»ùÓÚÏÂÍÆϵͳµÄʵʱ¸´ÔÓϵͳ³éÏóÑéÖ¤" (2015GXNSFDA139038)¹ãÎ÷×ÔÈ»¿Æѧ»ù½ð¡°»ùÓÚ³éÏóµÄ²¢·¢Èí¼þ°²È«ÐÔÑéÖ¤Ñо¿¡±(No. 2011GXNSFA018164)¹ãÎ÷×ÔÈ»¿ÆѧÇàÄê»ù½ð¡°UML Statecharts¼°Æäʱ¼äÀ©Õ¹µÄÄ£ÐͼìÑé¼¼ÊõÑо¿¡±(No. **) ¹ðÁÖÊпÆѧÑо¿Óë¼¼Êõ¿ª·¢ÏîÄ¿¡°¹ðÁÖÊгµÁ¾¼ÝʻԱµµ°¸Êý×ÖÓ°Ïñ¹ÜÀíϵͳ¡± (No.**-2)ÏîÄ¿¡°¹ðÁÖÊн»¾¯Ö§¶ÓC·Ö±ê£¨°üÀ¨»ú¶¯³µÁ¾Ô¶³ÌÉóÑéϵͳ¡¢³µÁ¾¼ÝʻԱµµ°¸Êý×ÖÓ°Ïñ¹ÜÀíϵͳ¡¢ÆÀ¼Ûϵͳ£©¡±