|
搜索
搜 索
高等教育领域数字化综合服务平台
工业机器人应用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
高校智慧资助系统
建设智教智慧资助系统，通过其高效协同的后台分类处置能力，把高校学工资助事项进行整合和业务流程的约简化处理，运用大数据打通“最后一公里”，将线下的业务操作剥离开实体大厅转化为线上业务，实现高校学生资助工作的无纸化办公，让学生真正实现“最多跑一次”。
管理员可以灵活设定经困生等级（比如一般困难、困难、特别困难等）。
管理教师可以根据学校的经困生管理办法灵活设定经困生认定条件，在对应的条件下可以设置多条困难条件类型及对应的权重值、限制条件。
管理员可以灵活设定经困生申请计划，包括起止时间、对应认定条件、申报条件参数设置、申报对象。
学生通过移动端进行在线填写经困生申请材料，提交后系统可根据管理员设定的经困生等级条件自动给审核人员推荐申请经困生等级并可以手动调整，学生提交后可以实时查看审核进度。
班主任可以根据系统推荐的经困生等级自行根据实际条件进行手动确认等级，并保留推荐等级和班主任确认等级查询痕迹。
经困生认定条件需具备权重分配方案和认定版本的统一联动管理。
二级学院可以根据权限设置批量打包下载学生上传的经困生证明文件，并以学号+姓名方式保存。
吉林省智教软件有限责任公司
2025-05-16
高校报修管理系统
智教高校报修管理系统优化校园设施维修流程，提升服务效率与质量，满足学校师生及后勤管理部门的需求，维修完成后，能对维修服务质量（如维修效果、维修人员态度）进行打分评价，并可填写反馈意见，以便学校改进服务。
教师、学生可以通过手机端，点击报修服务、我要报修后，可以根据实际报修情况进行问题描述、上传图片等。学生可以实时跟踪维修进度，并对维修结果进行线上打分、评价。
吉林省智教软件有限责任公司
2025-05-16
一种基于指令域分析的数控机床工作过程 CPS 建模方法
本发明公开来一种基于指令域分析的数控机床工作过程的 CPS 建模方法，包括如下步骤：(1)在数控机床执行工作任务前，确定事前 工作任务数据和事前制造资源数据；(2)采集数控机床工作过程中的内 部电控数据和外部传感器数据，得到数控机床运行状态数据、事中工 作任务数据以及事中制造资源数据；(3)将制造资源、工作任务作为输 入，数控机床运行状态作为输出，在赛博空间建立相关映射关系，以 该映射关系作为数控机床工作过程的 CPS 模型，实现对数控机床工作 过程的 CPS 建模。本发明的方法通过制造资源数据和工
华中科技大学
2021-04-14