|
搜索
搜 索
高等教育领域数字化综合服务平台
工业机器人应用CPS系统
基于CPS RTnet更新物理世界在信息世界的信息，通过MOM实现物理层的制造运营管理，能够完整真实再现工业机器人应用系统。
复旦大学
2021-09-18
面向CPS的时空数据模型
针对智慧城市、移动设备、工控系统等多个领域的CPS
多源异构时空大数据，提出了多种时序模式挖掘算法和时空
模型构建方法，并应用在轨迹预测、交通流预测、空气质量
预测、用户画像、活动识别、异常行为检测、网络攻击检测
等多个任务中，并为“人机物”融合的数据驱动模型提供理
论与技术基础。
浙江工业大学
2021-05-06
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
运动系统模型
1、参照典型人体标本及国内外经典权威教材及图谱制作，如人卫出版社丁文龙主编的《系统解剖学》、人卫出版社南京医学院主编的《人体解剖学图谱》、江苏科学技术出版社姜同喻编著的《连续层次解剖图谱》、山东科学技术出版社丁自海主译《格式解剖学》、广东科技出版社胡耀民主编的《人体解剖学标本彩色图谱》等，造型自然准确、颜色自然，满足教学需要；
张家港市华亿科教设备有限公司
2024-12-23
循环系统模型
1、参照典型人体标本及国内外经典权威教材及图谱制作，如人卫出版社丁文龙主编的《系统解剖学》、人卫出版社南京医学院主编的《人体解剖学图谱》、江苏科学技术出版社姜同喻编著的《连续层次解剖图谱》、山东科学技术出版社丁自海主译《格式解剖学》、广东科技出版社胡耀民主编的《人体解剖学标本彩色图谱》等，造型自然准确、颜色自然，满足教学需要；
张家港市华亿科教设备有限公司
2024-12-23