第五届计算机工程与智能控制学术会议

About ICCEIC 2024

2024 5th International Conference on Computer Engineering and Intelligent Control

The 5th International Conference on Computer Engineering and Intelligent Control （ICCEIC 2024）. ICCEIC 2024 will be held during October 11-13 2024 in Guangzhou China.

Computer Engineering and Intelligent Control has become an important part of many areas. ICCEIC 2024 conference series will be held annually to provide an interactive forum for presentation and discussion on Computer Engineering and Intelligent Control. The conference welcomes participants from all over the world who are interested in developing professional ties to and/or exploring career opportunities in the region. The conference should serve as an ideal forum to establish relationships from within China and other regions of the world.

Important Dates

Full Paper Submission Date

August 01 2024

Registration Deadline

September 10 2024

Final Paper Submission Date

September 15 2024

Conference Dates

October 11-13 2024

Invited Speakers

Prof. Simon K.S. Cheung

Director of Information Technology

Hong Kong Metropolitan University

Biography: Dr. Cheung is currently the Director of IT at the Hong Kong Metropolitan University. He received his BSc and PhD in Computer Science and Master of Public Administration from the City University of Hong Kong and the University of Hong Kong respectively. He was admitted as IET fellow IMA fellow BCS fellow CMA fellow HKIE fellow HKCS fellow. He is active in research with over 200 publications in the form of books book chapters journal articles and conference papers in two distinct areas namely software and system engineering and technology in education. He won the Outstanding Research Publication Award from the Open University of Hong Kong in 2016 1st class Achievement in Computer and IT from Shenzhen Science and Technology Association in 2016 1st class Outstanding CIO Award from the Hong Kong IT Joint Council in 2015 and Honoree for IT Excellence from the CIO Asia in 2015. He has been listed in Who’s Who in Science and Engineering since 2007.

title:A Property-Preserving Synthesis Approach to Component-based Software Engineering

Abstract: Design correctness is always required in component-based software engineering to ensure that the system is free from erroneous situations such as deadlock and capacity overflow especially for distributed systems with concurrent processes competing some shared resources. This presentation describes a formal and mathematically sound approach based on augmented marked graphs. With a special structure readily used for modelling systems with shared resources augmented marked graphs possess desirable properties pertaining to liveness （implying freeness of deadlock） and boundedness （implying freeness of capacity overflow. These properties can be preserved under certain conditions after composition. When applying to component-based software design for distributed systems with shared resources each system component can be modelled as an augmented marked graph. Liveness and boundedness of the individual system components can be analyzed based on the properties of augmented marked graphs. By composing them via shared resources the liveness and boundedness of the integrated system can be derived based on the property-preserving composition.

Call For Papers

The topics of interest for submission include but are not limited to:

Intelligent Control and Automation智能控制与自动化

· Control theory and Application 控制理论及应用

· Intelligent and optimal control system 智能与最优控制系统

· System science and system engineering 系统科学与系统工程

· System modeling analysis and synthesis 系统建模、分析与综合

· Power system and automation 电力系统及其自动化

· Power electronics and power drive 电力电子和电力驱动

· Smart grid 智能电网

· Automatic control theory 自动控制理论

· Signal collection and processing 信号收集与处理

· Database establishment and maintenance 数据库建立与维护

· CNC programming 数控编程

· Electrical control technology 电气控制技术

· Electromechanical transmission control 机电传动控制

· MCU development 单片机开发

Software Engineering软件工程

· Software requirements 软件需求

· Software maintenance 软件维护

· Software configuration management 软件配置管理

· Software engineering management 软件工程管理

· Software engineering process 软件工程过程

· Software engineering model and method 软件工程模型与方法

· Software quality 软件质量

· Professional practice of software engineering 软件工程职业实践

· Software engineering economics 软件工程经济学

· Software architecture 软件架构

· Software design method 软件设计方法

· Software engineering decision support 软件工程决策支持

· Software engineering education 软件工程教育

· Software Testing Technology 软件测试技术

· Automation software design and synthesis 自动化的软件设计和合成

· Component based software engineering 基于组件的软件工程

· Computer supported collaborative work 计算机支持的协同工作

· Programming language and software engineering 编程语言和软件工程

· Application of multimedia technology 多媒体技术应用

· Artificial intelligence and recognition 人工智能与识别

· Automatic control 自动控制

· Distributed computing and grid computing 分布式计算与网格计算

· Cloud computing technology 云计算技术

· Storage technology 存储技术

· Database technology research 数据库技术研究

· Computer aided design and Application Technology 计算机辅助设计与应用技术

· Big data analysis and processing 大数据分析与处理

Computer Engineering计算机工程

· Advanced calculation and data processing 先进计算与数据处理

· Architecture and software technology 体系结构与软件技术

· Mobile Internet and communication technology 移动互联与通信技术

· Safety technology 安全技术

· Artificial intelligence and recognition technology 人工智能及识别技术

· Graphics and image processing 图形图像处理

· Multimedia technology and Application 多媒体技术及应用

· Development research and engineering application 开发研究与工程应用

· Information security and management 信息安全与管理专业

· Virtual reality application technology 虚拟现实应用技术

· Computer network technology 计算机网络技术

· Big data technology and Application 大数据技术与应用

· Mobile Internet application technology 移动互联应用技术

· Application technology of Internet of things 物联网应用技术

· Computer system and maintenance 计算机系统与维护

Computer Network Security计算机网络安全

· Computer principle 计算机原理

· Computer architecture 计算机体系结构

· Computer network 计算机网络

· Operating system principle 操作系统原理

· Data structure 数据结构

· C language programming C语言程序设计

· Assembly language programming 汇编语言程序设计

· Network programming 网络程序设计

· Distributed system 分布式系统

· Introduction to computer security 计算机安全入门

· Coding theory and Application 编码理论与应用

· Attack methods of network and computer system 网络和计算机系统的攻击方法

· Safety program design 安全程序设计

· Application password technology 应用密码技术

· Computer and network security 计算机和网络安全

· Fault tolerant system 容错系统

· Information system security 信息系统安全

· Database security 数据库安全

· Computer Forensics 计算机取证

· E-commerce security 电子商务安全

embedded System嵌入式系统

· Digital image compression 数字图像压缩

· Communication protocol and programming 通信协议及编程

· Network and information security 网络与信息安全

· Digital signal processing / processor 数字信号处理/处理器

· Digital circuit 数字电路

· Principle of computer composition 计算机组成原理

· Structure and application of embedded microprocessor 嵌入式微处理器的结构与应用

· embedded Linux operating system 嵌入式Linux操作系统

· Windows CE embedded operating system Windo ws CE 嵌入式操作系统

· DSP Technology  DSP技术

· Low level driver software related to hardware 与硬件相关的底层驱动软件

· System kernel 系统内核

· Equipment driving interface 设备驱动接口

· Graphic interface 图形界面

· Standardized browser 标准化浏览器

· Computer network 计算机网络

· Information and communication security 信息与通信安全

· Computer graphics and human-computer interaction 计算机图形学与人机交互

· embedded software and Application 嵌入式软件与应用

Network Engineering网络工程

· Advanced Mathematics 高等数学

· Linear algebra 线性代数

· Probability and statistics 概率与统计

· Discrete mathematics 离散数学

· Circuit and electronics 电路与电子学

· Digital logic circuit 数字逻辑电路

· Data structure 数据结构

· Compilation principle 编译原理

· Operating system 操作系统

· Database system 数据库系统

· Assembly language programming 汇编语言程序设计

· Principle of computer composition 计算机组成原理

· Microcomputer system and interface technology 微机系统与接口 技术

· Communication principle 通信原理

· Communication system 通信系统

· Computer network 计算机网络

· Modern exchange principle 现代交换原理

· Principle and technology of TCP / IP  TCP/IP原理与技术

· Network principle of computer network 计算机网络组网原理

· Network programming technology 网络编程技术

· Computer network management 计算机网络管理

· Network operating system 络操作系统

· Internet technology and Application Internet 技术及应用

· Software engineering and methodology 软件工程与方法学

· Digital signal processing 数字信号处理

· Grid computing technology 网格计算技术

· Computer system structure计 算机系统结构

Publication

1. Submit to Conference Proceedings （EI）

All papers both invited and contributed will be reviewed by two or three experts from the committees. After a careful reviewing process all accepted papers of ICCEIC 2024 will be published and submitted to EI Compendex and Scopus for indexing.

*ICCEIC 2020：EI Indexed   Scopus Indexed

*ICCEIC 2021：EI Indexed   Scopus Indexed

*ICCEIC 2022：EI Indexed   Scopus Indexed

*ICCEIC 2023：EI Indexed   Scopus Indexed

① The article conforms to the theme and requirements of the conference

② No repeated contributions to other conferences or journals

③ Original articles with experimental research data

④ Repetition rate is less than 35%

All papers both invited and contributed will be reviewed by two or three experts from the committees. After a careful reviewing process all accepted papers of ICCEIC 2024 will be published and submitted to EI Compendex and Scopus for indexing.

Note: All submitted articles should report original research results experimental or theoretical not previously published or under consideration for publication elsewhere. Articles submitted to the conference should meet these criteria. We firmly believe that ethical conduct is the most essential virtue of any academics. Hence any act of plagiarism or other misconduct is totally unacceptable and cannot be tolerated.