姓名： 赵岭忠
正高级 男 计算机科学与信息安全学院 邮箱:zhaolingzhong163@163.com





研究领域多智能体分布式协同规划;逻辑程序的应用;深度学习;
个人简介
2002年6月毕业于桂林电子工业学院计算机系，获工学硕士. 2007年12月获西安电子科技大学工学博士学位. 现为桂林电子科技大学计算机科学与技术专业和软件工程专业硕士生导师。
近年来主持国家基金项目3项，广西科学基金项目3项，软件工程国家重点实验室基金1项。在《 IEEE Transactions on Parallel & Distributed Systems》、《Sensors》、《IEEE Access》、《Data & Knowledge Engineering》、《Journal of Automated Reasoning》、《Software Quality Journal》、《计算机学报》、《软件学报》、《计算机研究与发展》等国内外期刊及“APSEC”、“PRICAI”、“APLAS”、和“TASE”等主流人工智能和软件工程国际学术会议上发表和录用论文80余篇，其中SCI、EI收录30余篇。获得软件发明专利9项。2015年获广西科技进步二等奖，2012年入选广西高校优秀人才资助计划，2011年获广西自然科学奖三等奖，2005年获广西高等教育教学成果奖一等奖。
为本科生/研究生开设了《形式语义学》、《离散数学》、《算法分析与设计》、《弟子规导引》、《形式语言与自动机》、《专业英语》等课程，指导硕士研究生30人。承担完成了教育科学研究和教学改革项目3项，发表教学改革论文15篇。
教育背景
? 1995 年－1999 年，桂林电子工业学院，电子机械工程系 机械制造工艺与设备专业，本科
? 1999 年－2002 年，桂林电子工业学院，计算机系 计算机应用专业， 硕士生
? 2002 年－2007 年，西安电子科技大学，电子工程学院 模式识别与智能系统专业，博士生
工作经历
? 2002.7－2005 .6，桂林电子科技大学，计算机系，助教
? 2005.7－2007.12，桂林电子科技大学，计算机系，讲师
? 2008.1－2011.6，桂林电子科技大学，计算机科学与工程学院，副教授
? 2011.7－至今，桂林电子科技大学，计算机科学与工程学院，教授
主要荣誉
? 2015年获广西科技进步二等奖
? 2012年入选广西高校优秀人才资助计划
? 2011年获广西自然科学奖三等奖
? 2005年获广西高等教育教学成果奖一等奖
主要论文




2018-2020年
· Zhongyi Zhai, Peipei Liu, Lingzhong Zhao（通信作者）, Junyan Qian, Bo Cheng, An Efficiency-Enhanced Deep Learning Model for Citywide Crowd Flows Prediction, International Journal of Machine Learning and Cybernetics.Accepted. 2021.(中科院JCR分区2区)
· Zhongyi Zhai, Ke Xiang,Lingzhong Zhao（通信作者）, Bo Cheng, Junyan Qian and Jinsong Wu, IoT-RECSM—Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment,Sensors2020, 20, 2294; doi:10.3390/s**. (SCI)（CCF 3区）
· Zhongyi Zhai, Ke Xiang, Lingzhong Zhao （通信作者）, Junyan Qian, MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users, International Conference on Artificial Intelligence and Security, pp.682-694, Jul. 2020.
· Zhongyi Zhai, Guibing Lai, Lingzhong Zhao（通信作者）, Junyan Qian, Behavior Compatibility Analysis for Service Mashup with Model Checking, International Conference on Artificial Intelligence and Security, pp.148-159, Jul. 2020.
· Junyan Qian,Bisheng Huang, Hao Ding, Zhide Zhou,Lingzhong Zhao, Zhongyi Zhai（通信作者），An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray,Integration the VLSI Journal,Vol.75, No.11, pp.63-72, 2020.（CCF 4区）
· Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou,Lingzhong Zhao（通信作者）, and Zhongyi Zhai, Efficient Reconfiguration Algorithm with Flexible Rerouting Schemes for Constructing 3D VLSI Sub-Arrays，IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019:1-1, SCI（CCF 3区）
· Zhongyi Zhai, Junyan Qian（通信作者）, Yuan Tao,Lingzhong Zhao, Bo Cheng, A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks,the ACM MobiCom2018 Conference, pp.735-737, Oct. 2018.（CCF 1区）
· 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, 2018, (SCI)（CCF 4区）




· 谢小天，赵岭忠，基于逻辑程序的调机路径规划研究 ，计算机工程，2018, 44(1)：98-103.
2015-2017年
· 钱俊彦,徐力,古天龙,赵岭忠（通信作者）, 蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45(9): 2241-2249.
· Zhongyi Zhai, Bo Cheng, Yue Tian, Junliang Chen, Lingzhong Zhao, Meng Niu, “A Data-driven Service Creation Approach for End-Users,” IEEE Access, vol.4, pp.9923-9940, Dec. 2016.（SCI & EI）
· 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.htm
2012-2014年
· 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.
· 王雪松，赵岭忠，张超. 基于ASP的CSP模型验证性质反例生成技术研究, 计算机应用研究， 2013, 30(1): 52-55.
· 赵岭忠，翟仲毅，钱俊彦，基于进程迹的CSP模型验证框架，计算机科学，2013, 40(11): 181-186.
· 赵岭忠，司徒凌云，翟仲毅，钱俊彦. 基于ASP的CSP进程描述与组合研究，计算机科学，2013, 40(12):133-140.
· 钱俊彦，贾书贵，蔡国永，赵岭忠. 基于上下文定界的Fork/Join并行性的并发程序可达性分析，计算机工程与科学，2013，35(2): 1-6.
· 赵岭忠, 张超, 钱俊彦. 基于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.
2010-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)
· 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的多智能体分布式协同规划关键技术研究（2019.1-2022.12）（项目批准编号：**）（直接经费39万元）
· 国家自然科学基金项目：基于ASP 的并发系统CSP 模型验证研究（2013.1-2016.12）（项目批准编号：**）（经费46万元）（已结题）
· 国家自然科学基金项目：基于抽象解释的逻辑程序验证研究（2009.1-2011.12）（项目批准编号：**）（经费20万元）（已结题）
· 广西区自然科学基金面上项目：基于 ASP 的并发系统 CSP 模型增量式验证和调试技术研究（2015.09-2018.08）（合同编号：2015GXNSFAA139307，项目编号：2015jjAA70118）（经费5万元）（已结题）
· 广西区自然科学基金面上项目：ASP知识库访问控制机制研究（2011.03-2014.03）（合同编号：2011GXNSFA018166，项目编号：2011jjA70095）（经费4万元）（已结题）
· 广西区青年科学基金项目：基于抽象解释的逻辑程序验证技术研究(2007.5-2010.5) （合同编号：桂科青**） (桂科基结字〔2009〕第62号) （经费4万元）（已结题，评为优秀）
· 广西可信软件重点实验室基金项目：基于Petri网和关键迹的CSP并发系统验证研究（2015.9-2018.8）（2015.9-2018.8）（经费3万元）（项目编号：kx201505）
· 广西可信软件重点实验室基金项目：基于ASP的并发程序CSP模型验证（2011.9-2013.8）（经费3万元）（项目编号：kx201113）（已结题）
· 软件工程国家重点实验室开放基金项目：ASP知识库授权一致性验证技术研究（2011.1.1-2012.12.31）（项目编号：SKLSE2010-08-06）（经费3万元）（已结题）
· 2010年新世纪广西高等教育教改工程项目：基于探究式方法的软件类课程改革与实践（项目编号：2010JGA027）（经费3万元）（已结题）
· 广西区教育厅面上项目：逻辑程序的自动验证技术研究(项目编号: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至今）（已结题）
知识产权
软件专利：
1、 赵岭忠,熊远武，朱森，侯权, 钱俊彦. 基于粗糙集与回答集的变压器故障诊断方法和系统, 2017.08.29，中华人民共和国国家产权局，专利号：ZL4.0, 授权公告日：2021.1.26
2、 赵岭忠,郭培培，谢小天，钱俊彦。基于回答集程序的调机路径规划方法，专利号：ZL2.5，2017.4.20，中华人民共和国国家产权局，授权公告号：CN B，授权公告日：2020.07.28
3、 赵岭忠, 冯于平, 钱俊彦, 李颖, 赵亮, 常亮. 一种基于ASP的CSP并发系统调试方法, 专利号：ZL5.9，2016.12.7，中华人民共和国国家产权局，CN5.9, 授权公告日：2019.02.01
4、 钱俊彦,贾书贵,赵岭忠,蔡国永,郭云川.基于上下文定界的队列通信并发递归程序验证方法，2013.2，中华人民共和国国家产权局，CN1.8, 授权公告日：2015-8-26
5、 钱俊彦;曾宇清;赵岭忠;郭云川;李凤英.基于树语义的异步动态下推网络可达性分析方法. 2014-09-16.中华人民共和国国家产权局. CN8.8,授权公告日：2017.10.17
6、 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的动态转换方法. 2015-09-14.中华人民共和国国家产权局. CN3.1,授权公告日：2018.8.14
7、 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的静态转换方法. 2015-09-14.中华人民共和国国家产权局. CN6.2,授权公告日：2018.9.25
8、 钱俊彦;徐力;古天龙;赵岭忠;蔡国永.时间动态下推网络的转换方法. 2015-09-14.中华人民共和国国家产权局.CN7.5 授权公告日：2018.1.30
9、 赵龙阳，孟瑞敏，陈皓，赵岭忠，韩晋栋，朱建斌. 一种基于像素法的轮胎胎面仿形缠绕方法, 2015.11.11，中华人民共和国国家产权局，CN1.0, 授权公告日：2017.03.08
软件著作权：
· ASP数据流分析软件[简称：DFA_ASP]. 国家计算机软件著作，登记号：2011SR005065, 2011-2-09. （赵岭忠，方毅立，钱俊彦，王雪松，张超，董凤姣）
· ASP装配序列规划软件[简称：ASPP]. 国家计算机软件著作权，登记号：2011SR005087，2011-2-09. （赵岭忠，张超，钱俊彦，王雪松，董凤姣，方毅立）
· Asp_Suba_I子装配体识别软件[简称：Asp_Suba_I]. 国家计算机软件著作权，登记号：2011SR007054, 2011-2-09. （赵岭忠，方毅立，董凤姣，王雪松，钱俊彦，张超）
· 基于Justification图的ASP正规逻辑程序调试工具软件[简称：ASPDebugger]. 国家计算机软件著作权，登记号：2013SR122462, 2013-11-09.（赵岭忠，司徒凌云，张丽勤，刘艳青，左贵征，钱俊彦）
· 基于ASP的CSP及LTL语言转换工具软件[简称：CSP及LTL转换工具]，国家计算机软件著作权，登记号：2014SR012992, 2014-01-28.（赵岭忠，张丽勤，司徒凌云，刘艳青，左贵征，钱俊彦）
联系信息
桂林电子科技大学计算机与信息安全学院
电话：**
Email：zhaolingzhong163@163.com
招生条件：专业素养好、交流无障碍、无抽烟等不良嗜好
2021年硕士研究生招生即将开始，欢迎优秀同学到我们课题组学习深造！欢迎来电！