|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。
北京航空航天大学
2021-04-13
一种引水式漩涡水流发电系统
本发明提供一种引水式漩涡水流发电系统，包括相互连接的引流部和发电部，所述引流部主要由分 水锥、回水堰、引水渠依次连接构成;其中分水锥设于河流弯道处中部，用于将河流分为两股;回水堰 设于分水锥的下游，并与分水锥相连接，用于对水量进行二次调节;所述发电部包括造涡漏斗、机电设 备和尾水管，其中机电设备设于造涡漏斗上侧，尾水管设于造涡漏斗下侧;引水渠用于将河水引入造涡 漏斗产生漩涡，作用于机电设备进行发电
武汉大学
2021-04-14
分布式储能系统协同控制技术
一、项目分类
关键核心技术突破
二、成果简介
储能系统是构建以新能源为主体的新型电力系统，实现碳达峰、碳中和的重要组成部分。在国家政策和行业发展的双重支持下，储能装机规模将持续扩大，逐步从商业化初期向规模化发展转变。为应对大规模储能系统中各储能介质在时间及空间上的特性差异，本技术主要研究分布式储能系统的协同控制。研究工作和成果包括：1）基于虚拟阻容的一次功率平衡方法，解决多种不同时间尺度的储能和发电机的协同控制问题；2）基于一致性算法的多组复合储能分布式控制策略，实现多组储能单元精确协调配合；3）考虑时延的储能分布式控制方法，能够实现在有通信时延情况下的分布式储能功率分配和母线电压恢复控制；4）提出光-储-荷协同控制方法，解决了分布式光伏+储能系统中一次控制存在稳态电压偏差大、功率分配精度低的问题，有效提升新能源消纳能力。
华中科技大学
2022-07-26
TP9800嵌入式云录播系统
北京时代新维测控设备有限公司
2021-08-23
交互式数字网络教学系统
产品详细介绍
上海文安电脑发展有限公司
2021-08-23
高校一站式网上大厅系统
智教高校一站式网上大厅系统构建一个集成化、智能化的在线服务系统，覆盖高校教学、管理、生活等核心场景，高效处理来自学生和教职工的各类申请业务，如学生的请假审批、奖学金审批，教职工的调课审批、报销审批等。审批流程应具备灵活性，可根据不同业务类型设置不同的审批节点和权限。为师生提供便捷、高效、安全的“一站式”服务，推动校园数字化转型。
审核流程具备工作流引擎，支持自定义各项审批流程，包括但不限于：学籍异动、处分审核等。提供伴随工作流程的消息提示功能。可设置工作流程的审批某个角色，流程执行过程中的审批人可以精确指定为角色下的某个用户。
可以根据高校实际业务管理需求及线下一站式大厅地址及布局，自定义预约部门信息、预约地点、办事内容等信息，学生可以通过手机移动端线上查看，并根据个人需求选择。
1、将学校教务、学工、后勤、科研等各部门分散的服务事项整合至一站式网上大厅。通过搜索栏、分类导航等多种便捷查找方式，用户能够快速定位所需服务。针对不同服务类型，定制灵活可变的业务流程，涵盖申请、审核、审批直至办结的全流程，并配备自动提醒机制，保障业务处理的及时性。
2、学校管理部门实现各类申请业务的高效审批。审批流程可根据业务类型灵活设置不同审批节点与权限。
3、打造功能齐全的信息发布平台，学校管理部门可轻松发布通知公告、政策法规、新闻资讯等各类信息。
吉林省智教软件有限责任公司
2025-05-16
中国传媒大学非学历教育管理系统采购项目竞争性磋商
中国传媒大学非学历教育管理系统采购项目竞争性磋商
中国传媒大学
2022-06-23
基于 FPGA 的红外焦平面阵列条带状非均匀性校正系统和方法
本发明公开了一种基于 FPGA 的红外焦平面阵列条带状非均匀性校正系统和方法，属于红外成像技术领域。本发明以中值红外均衡算法(MIRE)为核心，针对算法以及 FPGA 的特性进行了优化，包括图像缓存模块、参数计算模块、非均匀性校正模块与数据输出模块。参数计算模块根据上位机指令得到加权系数，原始图像经过缓存后，按列方向顺序输入非均匀性校正模块得到每一列图像的直方图、累计直方图与逆直方图，然后通过对累计直方图和逆直方图进
华中科技大学
2021-04-14
非平衡凝固与亚稳材料
创立了过冷共晶合金凝固的理论模型，阐明了深过冷单相合金和共晶合金凝固组织的形成机制，发展了非晶合金成分设计的扩扑准则，显示了非晶合金不均匀塑性变形过程中组织与力学性能的变化规律。
上海交通大学
2023-05-09
动态云服务请求下数据中心多能源的在线控制方法和系统
本发明公开了一种动态云服务请求下数据中心多能源的在线控 制系统，包括系统状态监控模块、负载调度模块和多源供能系统管理 模块，负载调度模块包括延时敏感型请求调度子模块和延时容忍型作 业调度子模块，系统状态监控模块用于每隔一段时间接收来自用户的 云服务请求，判断云服务请求是延时敏感型请求还是延时容忍型作业， 并在云服务请求是延时敏感型请求时将该云服务请求发送到负载调度 模块的延时敏感型请求调度子模块，在云服务请求是延时容忍型作业 时将该云服务请求发送到负载调度模块的延时容忍型作业调度子模 块。本发明能够优化数据中心供能系统的长期运营开销，并且不需要 提前获取任何系统数据或者假设任何的稳态分布。 完成人：金海、刘方明、邓维
华中科技大学
2021-04-11