【摘 要】
：
In this perspective article, we first recall the historic background of human-cyber-physical systems (HCPSs), and then introduce and clarify important concepts.
【机 构】
：
RISE-Centre for Research and Innovation in Software Engineering, School of Computer and Information
论文部分内容阅读
In this perspective article, we first recall the historic background of human-cyber-physical systems (HCPSs), and then introduce and clarify important concepts. We discuss the key challenges in establishing the scientific foundation from a system engineering point of view, including (1) complex heterogeneity, (2) lack of appropriate abstractions, (3) dynamic black-box integration of heterogeneous systems, (4) complex requirements for functionalities, performance, and quality of services, and (5) design, implementation, and maintenance of HCPS to meet requirements. Then we propose four research directions to tackle the challenges, including (1) abstractions and computational theory of HCPS, (2) theories and methods of HCPS architecture modelling, (3) specification and verification of model properties, and (4) software-defined HCPS. The article also serves as the editorial of this special section on cyber-physical systems and summarises the four articles included in this special section.
其他文献
Over the past two decades, several fluorescence- and non-fluorescence-based optical microscopes have been developed to break the diffraction limited barrier. In
小麦是世界上第一大粮食作物,在中国是第二大粮食作物.小麦白粉病是严重影响小麦生产的主要病害之一.利用抗病品种是防治该病经济、有效和环保的方法.中国现有的小麦品种中绝
We investigate the problem of fi nding optimal one-bit perturbation that maximizes the size of the basin of attractions (BOAs) of desired attractors and minimiz
In the envisioned smart grid, high penetration of uncertain renewables, unpredictable participation of (industrial) customers, and purposeful manipulation of sm
玉米抗病基因工程被认为是防治玉米病毒病的有效途径。克服玉米幼胚培养对基因型的依赖，提高玉米愈伤组织再生能力是玉米基因工程的基础。本研究从优化玉米幼胚培养遗传转化受体系统和抗病毒基因PAP的转化两个方面进行研究。以15种基因型的玉米为试验材料，通过对玉米幼胚进行变温处理显著提高了愈伤组织诱导率和整齐度，提高了愈伤组织质量；通过在分化前对愈伤组织进行干燥处理48h、震荡洗涤48h+干燥处理48h可以普
As a versatile tool for trapping and manipulating neutral particles, optical tweezers have been studied in a broad range of fields such as molecular biology, na
A grating interferometer, called the "optical encoder," is a commonly used tool for precise displacement measurements. In contrast to a laser interferometer, a
Cyber-physical systems (CPSs) are distributed assemblages of computing, communicating, and physical components that sense their environment, algorithmically ass
Deep leaing models have achieved state-of-the-art performance in named entity recognition (NER);the good performance,however,relies heavily on substantial amoun
General purpose graphics processing units (GPGPUs) can be used to improve computing performance considerably for regular applications. However, irregular memory