面向CPS的时空数据模型

针对智慧城市、移动设备、工控系统等多个领域的CPS 多源异构时空大数据，提出了多种时序模式挖掘算法和时空 模型构建方法，并应用在轨迹预测、交通流预测、空气质量 预测、用户画像、活动识别、异常行为检测、网络攻击检测 等多个任务中，并为“人机物”融合的数据驱动模型提供理 论与技术基础。

浙江工业大学 2021-05-06

工业机器人应用CPS系统

基于CPS RTnet更新物理世界在信息世界的信息，通过MOM实现物理层的制造运营管理，能够完整真实再现工业机器人应用系统。

复旦大学 2021-09-18

CPS紫外光快速成型机

用于模型和零件的快速制造。应用领域：家用电器、汽车制造、航天航空、船舶、工业设计模具加工等。以低成本的紫外光灯为光源，以光固化的原理，通过叠层制造的方法快速制造零件，扫描速度：20～500mm/s。工作精度±0.2mm。该成型机是首创使用低成本紫外光源灯替代激光发生器，光源价格仅相当于激光器的1/100，性能价格比高，是目前国内外价格最低的快速成型机，具有

西安交通大学 2021-01-12

微分代数时序动态逻辑的CPS属性验证方法

可有效用于对CPS进行系统建模、属性规约和属性验证。

东南大学 2021-04-10

一种基于模型转换的CPS建模与验证方法

本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。

东南大学 2021-04-10

基于HybridUML向微分代数程序转换的CPS建模与验证方法

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

东南大学 2021-04-10

基于HybridUML和定理证明的CPS自适应性验证方法

本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。

东南大学 2021-04-10

一种基于指令域分析的数控机床工作过程 CPS 建模方法

本发明公开来一种基于指令域分析的数控机床工作过程的 CPS 建模方法，包括如下步骤：(1)在数控机床执行工作任务前，确定事前 工作任务数据和事前制造资源数据；(2)采集数控机床工作过程中的内 部电控数据和外部传感器数据，得到数控机床运行状态数据、事中工 作任务数据以及事中制造资源数据；(3)将制造资源、工作任务作为输 入，数控机床运行状态作为输出，在赛博空间建立相关映射关系，以 该映射关系作为数控机床工作过程的 CPS 模型，实现对数控机床工作 过程的 CPS 建模。本发明的方法通过制造资源数据和工

华中科技大学 2021-04-14