许庆国｜上海大学｜学者主页

2026

H2A-BPMN: A Hierarchical and Hybrid Agent Framework for Industrial BPMN Automated Modeling

Qingguo Xu, Yidan Zhang, Hong Tang, Qionghuizi Ran, Honghao Gao, Yueshen Xu

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

DOI

2025

Flexible Pruning Method Based on Channel Importance

Guoquan Qiang, Qingguo Xu

IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

DOI

2025

Exact Compression Method with a Focus on Robustness

Guoquan Qiang, Qingguo Xu

IEEE Joint International Information Technology and Artificial Intelligence Conference (ITAIC)

DOI

2024

AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance

Fei Zheng, Qingguo Xu, Lei Zhou, Huaikou Miao

Lecture notes in computer science

DOI

2024

ARR: An Attention-Based Robust Residual Network Architecture

Yunlong Li, Qingguo Xu, Shengbo Chen, Fei Zheng, Guoquan Qiang

IEEE Smart World Congress (SWC)

DOI

2023

Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor

Lei Zhou, Fang Qin, Jingfeng Qian, Shengbo Chen, Qingguo Xu, Ninghua Yang

IEEE International Conference on Parallel and Distributed Systems (ICPADS)

DOI

2020

Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network

Mengjie Dong, Huahu Xu, Qingguo Xu

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

DOI

2017

基于静态检测的C++内存泄漏分析

陈贝，许庆国

《计算机工程与科学》

2017

Instant-Based and State-Based Analysis of Infinite Logical Clock

Qingguo Xu, Huaikou Miao, Robert de Simone, Julien Deantoni

Lecture notes in computer science

DOI

2016

Divergence Detection for CCSL Specification via Clock Causality Chain

Qingguo Xu, Robert de Simone, Julien Deantoni

Lecture notes in computer science

DOI

2015

Array Bounds Model Checking in C Code Based on Predicate Abstraction

Yunwei Bai, Qingguo Xu

DOI

2014

C程序控制流程模型的提取技术与实现

杨昌坤，许庆国

《计算机科学》

2011

Modeling Predicate Abstraction of Timed Automata in PVS

Xia Yin, Qingguo Xu, Kunliang Han

DOI

2010

OWL-S到Z规格说明的转换

王毅俊，缪淮扣，许庆国，曹晓夏

《应用科学学报》

2010

Modeling and Verifying Web Service Applications with Time Constraints

Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu

IEEE/ACIS International Conference on Computer and Information Science (ICIS)

DOI

2009

Manipulating Clocks in Timed Automata Using PVS

Qingguo Xu, Huaikou Miao

DOI

2008

Uppaal到PVS的时间自动机翻译器

刘振通，缪淮扣，许庆国

《计算机应用与软件》

2008

在原型验证系统中构建度量区间时序逻辑公式的时间自动机(英文)

许庆国，缪淮扣

Advances in Manufacturing

2008

Verifying Service-Oriented Requirements Using Model Checking

Xiaoxia Cao, Huaikou Miao, Qingguo Xu

IEEE International Conference on e-Business Engineering (ICEBE)

DOI

2008

Timed automata for metric interval temporal logic formulae in prototype verification system

Qingguo Xu, Huaikou Miao

Journal of Shanghai University (English Edition)

DOI

2008

Modeling and Refining the Service-Oriented Requirement

Xiaoxia Cao, Huaikou Miao, Qingguo Xu

DOI

2007

基于自动机的时间系统形式验证技术

许庆国

《上海大学》

2007

Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority

Shengbo Chen, Huaikou Miao, Qingguo Xu

International Conference on Grid and Cooperative Computing (GCC)

DOI

2006

实时系统形式规格说明在PVS中的建立

许庆国，缪淮扣

《计算机科学》

2006

一种从Object-Z到CSP规格说明的转化方法

文志诚，缪淮扣，许庆国

《计算机科学》

2006

基于PVS的时序逻辑语义模型及其实现

许庆国，缪淮扣

《应用科学学报》

2006

一种改进的实时系统可达性分析算法

岳香芬，缪淮扣，许庆国

《上海大学学报(自然科学版)》

2003

反馈神经网络在动态过程数据校正中的应用

徐俊波，潘吉铮，许庆国，赵文，周传光

《青岛科技大学学报(自然科学版)》

2003

基于反馈神经网络的动态化工过程数据校正

周传光，潘吉铮，许庆国，赵文，钱宇

《石油化工》

2003

反馈神经网络进展

徐俊波，许庆国，周传光，赵文

《化工自动化及仪表》

2003

化工过程测量数据在线校正系统CPDRS的设计开发与应用(I)——数据校正技术与物性推算方法

周传光，孔玲，赵文，金思毅，张青瑞，许庆国

《青岛科技大学学报(自然科学版)》

2003

化工过程测量数据在线校正系统CPDRS的设计开发与应用(Ⅱ)——CPDRS的系统设计与实现

周传光，孔玲，王晓红，金思毅，许庆国，赵文

《青岛科技大学学报(自然科学版)》

2000

流程模拟在大型尿素装置操作优化中的应用

金思毅，许庆国，赵文，周传光，毕建林，白江，王安军

《青岛科技大学学报(自然科学版)》

2000

大型尿素装置模拟优化系统开发与应用

金思毅，许庆国，张青瑞，周传光，毕建林，白江，王安军

《大氮肥》

1999

中型尿素装置模拟优化系统

周传光，陈焕钦，金思毅，张青瑞，许庆国，王功，李玉江，马清亮

《青岛科技大学学报(自然科学版)》

精选作品

期刊论文

H2A-BPMN: A Hierarchical and Hybrid Agent Framework for Industrial BPMN Automated Modeling

Flexible Pruning Method Based on Channel Importance

Exact Compression Method with a Focus on Robustness

AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance

ARR: An Attention-Based Robust Residual Network Architecture

Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor

Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network

基于静态检测的C++内存泄漏分析

Instant-Based and State-Based Analysis of Infinite Logical Clock

Divergence Detection for CCSL Specification via Clock Causality Chain

Array Bounds Model Checking in C Code Based on Predicate Abstraction

C程序控制流程模型的提取技术与实现

Modeling Predicate Abstraction of Timed Automata in PVS

OWL-S到Z规格说明的转换

Modeling and Verifying Web Service Applications with Time Constraints

Manipulating Clocks in Timed Automata Using PVS

Uppaal到PVS的时间自动机翻译器

在原型验证系统中构建度量区间时序逻辑公式的时间自动机(英文)

Verifying Service-Oriented Requirements Using Model Checking

Timed automata for metric interval temporal logic formulae in prototype verification system

Modeling and Refining the Service-Oriented Requirement

基于自动机的时间系统形式验证技术

Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority

实时系统形式规格说明在PVS中的建立

一种从Object-Z到CSP规格说明的转化方法

基于PVS的时序逻辑语义模型及其实现

一种改进的实时系统可达性分析算法

反馈神经网络在动态过程数据校正中的应用

基于反馈神经网络的动态化工过程数据校正

反馈神经网络进展

化工过程测量数据在线校正系统CPDRS的设计开发与应用(I)——数据校正技术与物性推算方法

化工过程测量数据在线校正系统CPDRS的设计开发与应用(Ⅱ)——CPDRS的系统设计与实现

流程模拟在大型尿素装置操作优化中的应用

大型尿素装置模拟优化系统开发与应用

中型尿素装置模拟优化系统

会议论文

Research and Simulation of Task Scheduling Strategy in Cloud Computing

浮点型数据的无损压缩

研究方向