|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于模型转换的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
一种基于指令域分析的数控机床工作过程 CPS 建模方法
本发明公开来一种基于指令域分析的数控机床工作过程的 CPS 建模方法，包括如下步骤：(1)在数控机床执行工作任务前，确定事前 工作任务数据和事前制造资源数据；(2)采集数控机床工作过程中的内 部电控数据和外部传感器数据，得到数控机床运行状态数据、事中工 作任务数据以及事中制造资源数据；(3)将制造资源、工作任务作为输 入，数控机床运行状态作为输出，在赛博空间建立相关映射关系，以 该映射关系作为数控机床工作过程的 CPS 模型，实现对数控机床工作 过程的 CPS 建模。本发明的方法通过制造资源数据和工
华中科技大学
2021-04-14
面向CPS的时空数据模型
针对智慧城市、移动设备、工控系统等多个领域的CPS
多源异构时空大数据，提出了多种时序模式挖掘算法和时空
模型构建方法，并应用在轨迹预测、交通流预测、空气质量
预测、用户画像、活动识别、异常行为检测、网络攻击检测
等多个任务中，并为“人机物”融合的数据驱动模型提供理
论与技术基础。
浙江工业大学
2021-05-06
工业机器人应用CPS系统
基于CPS RTnet更新物理世界在信息世界的信息，通过MOM实现物理层的制造运营管理，能够完整真实再现工业机器人应用系统。
复旦大学
2021-09-18
3D快速建模系统
集成3D模型、视频、图片等各种素材，提供场景编辑、交互流程设定、渲染等功能，以实现3D模型自动重建的目标。
利用人工智能技术，构建模拟计算的算法和模型，根据数据实时进行仿真计算。
上传一张图片，可以在1分钟以内快速生成三维模型素材。
上传一段视频，可以在1个小时以内快速生成精细纹理三维模型素材。
支持本地化部署，支持分布式部署建模，支持大批量用户同时在线访问。
可实现实体设计、草图绘制、参数化建模和模型编辑功能。
支持导入*.glb、*.stl、*.obj、*.gltf格式模型。
可输出*.glb、*.stl、*.obj、*.gltf格式模型。
全方位的3D场景，上下、左右、前后360度观察模型所在环境，展示效果更逼真。
可以通过造型表面上的多个点来控制造型变形；
可对造型进行扭曲、折弯、锥度等多种变形处理。
可实现边学习边实操的教学模式，支持创建学习资源或教学课件。
可直接在软件里拖曳云盘中的三维模型，也可以将软件中模型直接上传到云盘。
系统采用PBR材质，基于物理的着色技术，最大程度还原工作环境，提高用户沉浸感；
采用LOD技术处理复杂场景的绘制，使软件运行更加流畅，分层级处理系统渲染效果；
采用三维模型构建场景及物体，物体多边形面数(poly)控制在≤30 万面，基础包大小＜50MB，支持多种分辨率(1280×720，1600×900，1920×1080)确保用户体验；
实训场景内模型无闪面、重面、破面，不能有多边面，保证场景演示无闪烁现象；
场景烘焙无曝光过度，无黑边现象，采用PostProcess进行场景后处理，真实逼真；
虚拟人物满足人设需求，着装符合角色身份；
虚拟人物能自主控制，具有多种动作，动作自然，可模拟操作主要过程；
北京华视恒通信息技术有限公司
2024-06-20
CPS紫外光快速成型机
用于模型和零件的快速制造。应用领域：家用电器、汽车制造、航天航空、船舶、工业设计模具加工等。以低成本的紫外光灯为光源，以光固化的原理，通过叠层制造的方法快速制造零件，扫描速度：20～500mm/s。工作精度±0.2mm。该成型机是首创使用低成本紫外光源灯替代激光发生器，光源价格仅相当于激光器的1/100，性能价格比高，是目前国内外价格最低的快速成型机，具有
西安交通大学
2021-01-12
微分代数时序动态逻辑的CPS属性验证方法
可有效用于对CPS进行系统建模、属性规约和属性验证。
东南大学
2021-04-10
多架构系统建模软件
多架构建模软件基于多架构统一建模语言KARMA开发。KARMA语言是一种可读文本式语言，多架构建模指在软件中采用一种建模语言及技术实现多种架构描述及表达的方法。基于KARMA语言，可以实现基于模型系统工程相关语言建模，架构驱动，代码生成，系统行为动态描述，指标分析及验证，数值分析，支持数据显示化（表格，甘特图）、二维固定语法展示及三维固定可视化建模，与工业本体的互转化。
本项目可解决航空、航天、防务、船舶等领域复杂装备研制过程中存在的子系统多、不同部门人员专业语言不通、开发沟通过程困难等问题。用户在基于模型的软件工具环境中，高效的建立各种专业模型，进而实现复杂装备产品开发过程中的自动化开发。
使用本项目不仅可以在系统开发的早期阶段形式化其需求、功能、逻辑、架构等视点，还可以在系统方案初步确认前的概念设计阶段检查系统设计是否满足需求规范，从而极大地降低产品开发的成本与风险。
本项目相较目前市场上现有产品，支持更多建模功能，并可兼容十余种建模语言，具有良好的可扩展性。
北京理工大学
2022-10-24
体系结构建模工具
本项目主要研究基于 UPDM 的装备体系结构建模特征，研究与开发装备需求分析与体系结构建模工具，支持体系结构建模框架设计和体系结构建模方法，为装备需求分析和体系结构论证提供技术支持。
项目关键技术：流程动态配置、UPDM 框架实现、元模型及数据模板
西安电子科技大学
2022-10-24