微分代数时序动态逻辑的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 多源异构时空大数据，提出了多种时序模式挖掘算法和时空 模型构建方法，并应用在轨迹预测、交通流预测、空气质量 预测、用户画像、活动识别、异常行为检测、网络攻击检测 等多个任务中，并为“人机物”融合的数据驱动模型提供理 论与技术基础。

浙江工业大学 2021-05-06

工业机器人应用CPS系统

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

复旦大学 2021-09-18

CPS紫外光快速成型机

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

西安交通大学 2021-01-12

FC-AV 验证测试卡

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。 功能介绍： 在现代航电系统中，越来越多的信息是以图像的形式进行传输，这些信息通过复杂机载系统传递给飞行员和机组人员。视频系统包括：红外传感器、光学照相机、雷达、飞行记录仪、地图系统、视频叠加系统、抬头显示（HUP）、多功能显示器和视频综合处理器等。视频系统被用在飞机滑行和起飞辅助系统，货物装载、导航、目标追踪、防撞系统及更加严格的任务处理方面。 在现代航电系统中，主要显示设备为了支持视频画面的平滑和清晰的文字显示，需要传输高分辨率（XGA或者更高），24bit RG，帧刷新率60Hz的画面。一些严格的任务系统甚至需要1600×1200@60Hz的视频图像。视频系统还必须支持多种视频类型，每一个视频源的带宽、分辨率、帧速率、像素格式和同步类型都不尽相同。 国外已有支持FC-AV协议的相关产品，目前国内相关研究及应用处于起步阶段。光航信科技根据相关实际需求自主开发出了拥有自主知识产权的适合于FC-AV协议的功能演示卡。功能板卡可将视频封装成FC帧，通过SFP模块连接入FC交换机，可在FC网络中传输。相关演示程序及文档可向我们索取。

电子科技大学 2021-04-10

FC-AV 验证测试卡

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。

电子科技大学 2021-04-10

FC-AV 验证测试卡

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。 功能介绍： 在现代航电系统中，越来越多的信息是以图像的形式进行传输，这些信息通过复杂机载系统传递给飞行员和机组人员。视频系统包括：红外传感器、光学照相机、雷达、飞行记录仪、地图系统、视频叠加系统、抬头显示（HUP）、多功能显示器和视频综合处理器等。视频系统被用在飞机滑行和起飞辅助系统，货物装载、导航、目标追踪、防撞系统及更加严格的任务处理方面。 在现代航电系统中，主要显示设备为了支持视频画面的平滑和清晰的文字显示，需要传输高分辨率（XGA或者更高），24bit RG，帧刷新率60Hz的画面。一些严格的任务系统甚至需要1600×1200@60Hz的视频图像。视频系统还必须支持多种视频类型，每一个视频源的带宽、分辨率、帧速率、像素格式和同步类型都不尽相同。 国外已有支持FC-AV协议的相关产品，目前国内相关研究及应用处于起步阶段。光航信科技根据相关实际需求自主开发出了拥有自主知识产权的适合于FC-AV协议的功能演示卡。功能板卡可将视频封装成FC帧，通过SFP模块连接入FC交换机，可在FC网络中传输。相关演示程序及文档可向我们索取。

电子科技大学 2016-06-08