劉關俊，男，博士，同濟大學計算機科學系教授。
基本介紹
- 中文名：劉關俊
- 畢業院校：同濟大學
- 學位/學歷：博士
- 職業：教師
- 專業方向：Petri網、模型檢測、並發理論、工作流、離散事件系統、機器學習
- 任職院校：同濟大學計算機科學系
研究方向,人物經歷,學術成果,榮譽獎項,
研究方向
Petri網、模型檢測、並發理論、工作流、離散事件系統、機器學習、網路交易欺詐檢測
人物經歷
2011年畢業於同濟大學計算機軟體與理論專業
2013年進入同濟大學計算機科學系工作至今。
學術成果
----2019----
82.劉關俊 著，Petri網活性與套用，上海：同濟大學出版社，2019（ISBN：9787560874289，CIP：2017242535）.
81.LF He and GJ Liu,Checking computation tree logic of knowledge based on knowledge-oriented Petri nets and OBDD. The fourth national conference on formal methods, Shanghai, China, 2019(已錄用。鑒於現有模擬多智慧型體系統的模型不直觀、以及利用知識計算樹邏輯CTLK驗證其安全性/隱私性複雜度較高的弱點：我們提出了面向知識的Petri網模型（KPN），能夠較直觀的刻畫每個智慧型體的執行邏輯以及智慧型體間的互動，定義了知識庫所用以表達每個智慧型體認知的進展，從而更清晰直觀的刻畫多智慧型體系統；定義了KPN的相似可達圖用以表達系統行為並做CTLK的標記算法，在生成相似可達圖的過程中使用OBDD技術做狀態空間壓縮，快速檢測CTLK，提高了檢測效率。下一步可考慮更複雜的安全協定的背景下，考慮更複雜的知識表達以及更複雜的認知邏輯模型檢測的研究。)
80.XY Tao, GJ Liu, B Yang, CG Yan and CJ Jiang,Workflow nets with tables and their soundness,IEEE Transactions on Industrial Informatics, 2019(已錄用。我們以車輛進校證管理系統的業務流邏輯缺陷入手，發現現有的模型檢測技術，如WF-net、WFD-net、DB-net等，難以檢測這些業務流邏輯的缺陷，因為這些模型沒有充分考慮資料庫表的值以及不同業務實例對值的影響，而只有當這些被考慮進去後，流程的缺陷才能被檢測出來。所以，本文提出了帶有表操作的工作流網來更加詳細的描述系統，並定義了一階線性時序邏輯來表達更複雜的設計需求。下一步可在時序邏輯驗證的有效性上做深入研究。)
79.DM Xiang, GJ Liu, CG Yan, CJ Jiang,A Guard-driven Analysis Approach of Workflow Net With Data,IEEE Transactions on Services Computing, 2019 (It has been published online)
78.J Li, GJ Liu, CG Yan, CJ Jiang,LORI: A Learning-to-rank Based Integration Method of Location Recommendation,IEEE Transactions on Computational Social Systems, vol. 6, no. 3, pp. 430-440,2019.
77.FJ Zhang, GJ Liu, ZC Li, CG Yan, CJ Jiang,GMM-based Undersampling and Its Application for Credit Card Fraud Detection,the 32International Joint Conference on Neural Network(IJCNN’2019), Budapest, Hungary, 14-19 July, 2019.(accepted)
76.LF He,GJ Liu,Model Checking CTLK Based on Knowledge-oriented Petri Nets,the 21IEEE International Conference on High Performance Computing and Communications(HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.
75.H Wu, GJ Liu,A Hybrid Model on Learning Cross Features for Transaction Fraud Detection,the 19Industrial Conference on Data Mining(ICDM’2019), July 17-19, 2019, New York, USA.
74.LL Dong, GJ Liu, DM Xiang,BUCKER 2.0: An Unfolding Based Checker for CTL, the 16IEEE ICNSC, Canada, May 9-11, 2019, 6 pages (accepted)
73.JQ Sun, GJ Liu, DM Xiang, CG Jiang,A Petri-net-based Method For Detecting Bugs in Multiple Threads, the 16IEEE ICNSC, Canada, May 9-11, 2019, 6 pages (accepted)
72.Y Xie, GJ Liu, RH Cao, ZC Li, CG Yan, CJ Jiang,A Feature Extraction Method for Credit Card Fraud Detection,the 2IEEE International Conference on Intelligent Autonomous Systems(ICoIAS’2019), Singapore, Feb 28- Mar 3, 2019.
71.Z Chen, GJ Liu,DenseNet+Inception and Its Application for Electronic Transaction Fraud Detection,the IEEE 17International Conference on Smart City(SmartCity 2019), Zhangjiajie, China, 10-12 Aug. 2019.
70.YJ Zhang, GJ Liu, CG Yan,A hierarchical clustering strategy of processing class imbalance and itsapplication in fraud detection,the 21IEEE International Conference on High Performance Computing and Communications(HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.
----2018----
69.GJ Liu，CJ Jiang，MC Zhou，Time-soundness of Time Petri Nets Modeling Time-critical Systems,ACM Transactions on Cyber-Physical Systems. vol. 2, no. 2, article number 11, 27 pages, 2018.
68.LT Zheng, GJ Liu, CG Yan, CJ Jiang,Transaction Fraud Detection based on Total Order Relation and Behavior Diversity, IEEE Transactions on Computational Social Systems, vol. 5, no. 3, pp. 796--806, 2018.
67.WJ Luan, GJ Liu, CJ Jiang, MC Zhou,MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method, IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 11, pp. 3461--3474, 2018 (DOI: 10.1109/TITS.2017.2781138)
66.CJ Jiang, JH Song, GJ Liu, LT Zheng, WJ Luan,Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism, IEEE Internet of Things Journal, vol. 5, no. 5, pp. 3637--3647, 2018
65.DM Xiang, GJ Liu, CG Yan, CJ Jiang,Detecting Data-Flow Errors Based on Petri Nets with Data Operations, IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 251--260, 2018
64.MM Wang, ZJ Ding, GJ Liu, CJ Jiang, MC Zhou,Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018 (accepted)
63.MM Wang, GJ Liu, CG Yan, CJ Jiang,Behavior Consistency Computation for Workflow nets with unknow correspondence, IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 281--291, 2018
62.YQ He, GJ Liu, CG Yan, CJ Jiang, JC Wang,Locating and controlling Unsound Transitions in Workflow Systems Based on Workflow Net with Data Constraints, IEEE ACCESS, vol. 6, pp. 62622-62637, 2018 (DOI: 10.1109/ACCESS.2018.2876904)
61.YQ He, GJ Liu, DM Xiang, JQ Sun, CG Yan, CJ Jiang,Verifying the correctness of workflow systems based on workflow net with data constraints, IEEE ACCESS, vol. 6, pp. 11412--11423, 2018 (DOI: 10,1109/ACCESS.2018.2806884)
60.H Fang, GJ Liu, XW Fang,Sufficient and necessary conditions to guarantee deadlock-free scheduling for an extended S3PR with correlated resources, Journal of the Chinese Institute of Engineers, 2018, 41(6): 473--482.
59.JZ Li, GJ Liu,An Improved LambdaMART algorithm based on the Matthew Effect, Mathematical Problems in Engineering, vol. 2018, artical no. 3082970, 11 pages (DOI:10.1155/2018/3082970)
58.LL Dong, GJ Liu, DM Xiang,Verifying CTL with Unfoldings of Petri Nets, the 18th ICA3PP, Guangzhou, China, Nov. 15-17, 2018, LNCS 11337, pp. 47-61.
57.B Yang, GJ Liu, DM Xiang, CG Yan, CJ Jiang,A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets, IEEE SMC, 2018, Oct. 7-10, Japan, pp. 202-208.
56.ZC Li, GJ Liu, S Wang, SY Xuan, CJ Jiang,Credit Card Fraud detection via Kernal-based Supervised Hashing, the 2nd IEEE International Workshop on Syberspace Security (IWCSS’2018), Guangzhou, China, Oct. 8-12, 2018, pp. 1249-1254.
55.S Wang, GJ Liu, ZC Li, SY Xuan, CG Yan, CJ Jiang,Credit Card Fraud Detection Using Capsule Network, IEEE SMC 2018, Oct. 7-10, Japan, pp. 3679-3684.
54.YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang,An Approach to Class Imbalance Problem Based on Stacking and Inverse Random Under Sampling Methods, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.8361344)
53.YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang,Application of SIRUS in Credit Card Fraud Detection,the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 66-78.
52.LT Zheng, GJ Liu, WJ Luan, CG Yan,A New Credit Card Fraud Detection Method Based on Behavior Certification, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.8361328)
51.SY Xuan, GJ Liu, ZC Li, LT Zheng, S Wang CJ Jiang,Random Forest for Credit Card Fraud Detection, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.8361343)
50.SY Xuan, GJ Liu, ZC Li,Refined Weighted Random Forest and Its Application to Credit Card Fraud Detection. the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 343-355.
49.JZ Li, GJ Liu,A Rich Ranking Model Based on the Matthew Effect Optimization, the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 450-459.
48.李金忠，劉關俊，閆春鋼，蔣昌俊，排序學習研究進展與展望，自動化學報，vo. 44, no. 8, pp. 1345-1369, 2018
----2017----
47.GJ Liu, MC Zhou, CJ Jiang,Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing,ACM Trans. Embedded Computing Systems, vol. 16, no. 4, pp. 113:1-113:20, 2017（doi:10.1145/2810001）
46.GJ Liu, CJ Jiang,Observable Liveness of Petri Nets with Controllable and Observable Transitions, Science China - Information Sciences, 2017, vol. 60: 118102-1--3 (doi:10.1007/s11432-016-0241-y)
45.DM Xiang, GJ Liu, CG Yan, CJ Jiang,Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets, IEEE Transactions on Industrial Informatics, vol. 13, no. 6, pp. 2995--3005, 2017 (DOI: 10.1109/TII.2017.2698640)
44.JZ Li, GJ Liu, CG Yan, CJ Jiang,Robust Learning to Rank Based on Portfolio Theory and AMOSA algorithm, IEEE Trans. SMC: Syst. 2017, vol.47, no. 6, pp. 1007--1018. (DOI: 10.1109/TSMC.2016.2584786)
43.JZ Li, GJ Liu, J. Xia,Robust Ranking Model via Bias-Variance Optimization, in 2017 International Conference on Intellegent Computing, Liverpool, UK, Aug. 7--10, LNAI, vol. 10363, pp. 706--718, 2017. (DOI: 10.1007/978-3-319-63315-2_62)
42.WJ Luan, GJ Liu, CJ Jiang, L Qi,Partition-based Collaborative Tensor Factorization for POI Recommendation,IEEE/CAA Journal of Automatica Sinica, 2017, vol. 4, no. 3, pp. 437--446. (doi: 10.1109/JAS.2017.7510538)
41.DM Xiang, GJ Liu, CG Yan, CJ Jiang,DICER: Data Inconsistency Checker Based on The Unfolding Technique of Petri Net, the 14th ICNSC, Calabria, Italy, 2017, pp. 115--120
40.K Zhang, GJ Liu, DM Xiang,BUCKER: A Basic Unfolding based Checker for Soundness of Workflow Systems, the 14th ICNSC, Calabria, Italy, 2017, pp. 611-616
39.李金忠，劉關俊，一種魯棒性增強的LambdaMART算法，小型微型計算機系統，vol. 38，no. 5，pp. 1044--1048，2017
----2016----
38.GJ Liu, W Reisig, CJ Jiang, and MC Zhou,A Branching-process-based method to check soundness of workflow systems, IEEE Access, 2016, vol. 4: 4104-4118 (DOI:10.1109/ACCESS.2016.2597061)
37.GJ Liu,Complexity of the deadlock problem for Petri nets modelling resource allocation systems, Information Sciences, vol. 363, 2016:190-197
36.GJ Liu, CJ Jiang,Behavioral Equivalence of Security-Oriented Interactive Systems, IEICE Trans. Inf. Syst. Vol. E99-D, No. 8, pp. 2061--2068, 2016 (DOI: 10.1587/transinf.2015INP0017)
35.GJ Liu, LJ Chen,Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait, Int. J. Syst. Sci., 2016, 47(7):1533-1542
34.GJ Liu, CJ Jiang,Petri net based model checking for the collaborative-ness of multiple processes systems, the 13th ICNSC, Maxico City, Apr. 28-30, 2016
33.GJ Liu, K Zhang, CJ Jiang,Deciding the deadlock and livelock of a Petri net with a target marking based on its basic unfolding, the 16th ICA3PP, Spain, Dec. 14-16, 2016, LNCS 10048, 98--105
32.SQ Wang, Aorigele, GJ Liu, SC Gao,A hybrid discrete imperialist competition algorithm for fuzzy job-shop scheduling problems, IEEE Access, 2016, 4: 9320--9331
31.WY Yu, GJ Liu, LF He,A Reduction Method of Analyzing Data-liveness and Data-boundedness for a Class of E-commerce Business Process Nets, the 9th SpaCCS, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 70--83.
30.MM Wang, GJ Liu, CJ Jiang,Computation of Secure Consistency for Real Systems, The 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS2016), Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 84--97.
29.MM Wang, GJ Liu, CG Yan, CJ Jiang.Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack. In: Wang G., Ray I., Alcaraz Calero J., Thampi S. (eds) Security, Privacy, and Anonymity in Computation, Communication, and Storage. SpaCCS 2016. Lecture Notes in Computer Science, vol 10066. Springer, pp. 422--436.
28.J Li, GJ Liu, CG Yan, CJ Jiang,A Hybrid Method of Recommending POIs Based on Context and Personal Preference Confidence, the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT2016), Shanghai, China, Dec. 6-9, 2016, pp. 287-292.
27.WJ Luan, GJ Liu, CJ Jiang,Collaborative Tensor Factorization and its Application in POI Recommendation, the 13th ICNSC, Maxico City, Apr. 28-30, 2016 (best student paper award finalist)
26.Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou,A multilevel index model to expedite web service discovery and composition in large-scale service repositories, IEEE Trans. Services Computing, 2016，9（3）：330-342
25.LX Shen, CJ Jiang, GJ Liu,Satellite objects extraction and classification based on similarity measure, IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 46, no. 8, 2015: 1148--1154 (DOI: 10.1109/TSMC.2015.2468192)
24.LF He, GJ Liu, MM Wang,Sufficient and necessary conditions to decide compatibility for simple circuit inter-organization workflow nets, the 10th APSCC, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10065, pp. 408--422.
23.DM Xiang, GJ Liu, CG Yan, CJ Jiang,Checking the inconsistent data in concurrent systems by Petri nets with data operations, In: the 22nd ICPADS, 2016, Wuhan, China, pp. 501--508
----2015----
22.GJ Liu, CJ Jiang,Secure Bisimulation for Interactive Systems, the 15th ICA3PP, LNCS 9530, 2015: 625-639
21.GJ Liu, CJ Jiang,Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets, SCI. CHINA Inf. Sci., 2015, 58(7): 072103:1-16
20.GJ Liu, CJ Jiang,Co-NP-hardness of the soundness problem for asymmetric-choice workflow nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2015, 45(8): 1201-1204
19.GJ Liu, LJ Chen,Sufficient and Necessary Condition for Compatibility of a Class of Interorganizational Workflow Nets, Mathematical Problems in Engineering, 2015, vol. 2015, Article ID 392945, 11 pages
18.ZW Li, M Uzam, GJ Liu, G Frey, Y Tang,Mathematical Problems in Petri nets theory and applications (Editoral), Mathematical Problems in Engineering, volume 2015, article ID 240385, 2 pages
----2014----
17.GJ Liu,Some complexity results for the soundness problem of workflow nets, IEEE Trans. Services Computing, 2014, 7 (2): 322-328.
16.GJ Liu, J Sun, Y Liu, and JS Dong,Complexity of the soundness problem of workflow nets, Fundamenta Informaticae, 2014, 131 (1): 81-101
----2013----
15.GJ Liu, CJ Jiang, MC Zhou, PC Xiong,Interactive Petri nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2013, 43 (2): 291-302.
14.GJ Liu, CJ Jiang, MC Zhou, A Ohta,The Liveness of WS3PR: Complexity and Decision, IEICE Trans. Fundamentals, 2013, E96-A (8): 1783-1793
13.Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou,A novel method for calculating service reputation, IEEE Trans. Automation Science and Engineering, 2013, 10(3): 634-642
----2012----
12.GJ Liu, CJ Jiang, MC Zhou,Process nets with channels, IEEE Trans. Syst., Man, Cybern. A, 2012, 42 (1): 213-225
11.GJ Liu, J Sun, Y Liu, JS Dong,Complexity of the soundness problem of bounded workflow nets, the 33rd ICATPN, 25-29 June 2012, Hamburg, Germany, LNCS 7347, pp. 92-107, 2012（Petri網與並發論國際頂級會議）
10.D Chao, GJ Liu,A simple suboptimal siphon-based control model of a well-known S3PR, Asian J Control, 2012, 14(1): 163-172
----2011----
9.GJ Liu, CJ Jiang, MC Zhou,Improved sufficient condition for the controllability of weakly dependent siphons in system of simple sequential processes with resources, IET Control Theory and Applications, 2011, 5 (9): 1059-1068
8.GJ Liu, CJ Jiang, D Chao,A necessary and sufficient condition for the liveness of normal nets, the Comp. J. (Oxford University Press), 2011, 54 (1): 157-163
7.GJ Liu, CJ Jiang, MC Zhou,Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets, ICNSC 2011, Delft, the Netherlands, April 11-13, 2011: 359-364
----2010----
6.GJ Liu, CJ Jiang, MC Zhou,Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, IEEE Trans. Aut. Sci. Eng., 2010, 7 (1): 945-957
5.A Ohta, GJ Liu, K. Tsuji, CJ Jiang, D. Chao,Polynomial time solvability of liveness problem of structurally weakly persistent net, IEICE Technical Report (CST2010-13), 2010: 127-132.
----2009----
4.GJ Liu, CJ Jiang,On conditions for the liveness of weakly persistent nets, Inform. Process. Lett., 2009, 109 (16): 967-970
3.GJ Liu, CJ Jiang, ZH Wu, LJ Chen,A live subclass of Petri nets and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 41 (1-2): 66-74
2.GJ Liu, CJ Jiang, LJ Chen, ZH Wu,Two types of extended RSNBs and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 45 (4-5): 573-582
1.GJ Liu, CJ Jiang,Incidence matrix based methods for computing repetitive vectors and siphons of Petri net, J. Inf. Sci. Eng., 2009, 25 (1): 121-136
榮譽獎項
獲得國家科技進步二等獎（2016）
中國電子學會自然科學一等獎（2016）
上海市科技進步一等獎（2015）
