12月29日下午,华为华为孔辉博士与田洪波博士来实验室交流形式化方法及其应用的研讨[详细]
2021 CCF中国软件大会(CCF Chinasoft)——人机物系统的建模理论与软件定义方法论坛成功召开2021年12月24日下午,2021 CCF中国软件大会(CCF Chinasoft)人机物系统的...[详细]
在中国软件大会(ChinaSoft2021)举办人机物系统的建模理论与软件定义方法,欢迎参加!http://chinasoft.ccf.org.cn/schedule/science/7.htm[详细]
论文Resource-Oriented Timed Workflow Nets and Simulation Tool Design(YS Hu, JC Wang, GJ Liu)获得2021 International Conference on Cyber-physical Social Intell...[详细]
蒋昌俊,1962年5月生于安徽安庆,计算机专家。1995年在中国科学院自动化所获博士学位。同济大学教授、博士生导师,Brunel University London名誉教授、英国工程技术学会...[详细]
论文Graph Neural Network for Credit Card Fraud Detection(GJ Liu, J Tang, Y Tian, JC Wang)与Resource-Oriented Timed Workflow Nets and Simulation Tool Design...[详细]
论文Goal-conditioned Behavioral Cloning with Prioritized Sampling (F Ma, GJ Liu, KW Zhang)与Improved PolarMask with Attention for Instance Segmentation(Y Ca...[详细]
刘关俊教授负责申报的2021年度国家自然科学基金面上项目“基于Petri网的实时并发系统三位一体化建模与分析”,获得资助,期限为2022.1-2025.12月[详细]
欢迎投稿到:Special Session "Safe, Reliable, and Intelligent Cyber-Physical Systems" on the 2021 International Conference on Cyber-physical Social Intelligen...[详细]
实验室博士研究生何雷锋同学与其导师刘关俊教授的研究论文“Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order"被the 15th In...[详细]