|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。
北京航空航天大学
2021-04-13
并行程序性能监测工具包
针对集群和多核服务器平台，该软件工具集可以对系统资源和并行程序性能进行在线监测和性能分析展示，帮助用户监测系统资源和发现并行程序瓶颈，辅助进行程序优化。性能数据的采集主要是通过对被监测进程的插桩和包装库的结合实现，可对MPI程序、OpenMP程序和CUDA程序进行性能监测。 本项目主要特点如下。 1.合理的数据采集方式，可以对混合结构高性能计算系统进行性能监测，较少的监测扰动； 2.基于MRnet的树形数据汇聚和类库，保证了大量性能监测数据的快速高效汇集，并提供同步，汇总等功能接口； 3.多种数据分析统计方法，高效的分析和多视角可视化图形展示，辅助用户分析瓶颈进行优化。该成果在国家863计划支持下，已在多个计算中心应用，获得国家专利3项。
北京航空航天大学
2021-04-13
浪潮服务器插件工具(Plugin Suite)-浪潮
浪潮服务器插件工具(Plugin Suite),实现Zabbix等第三方平台对浪潮服务器的资产监控、组件监控、固件升级和固件配置等功能，满足用户对设备统一纳管需求。
浪潮集团有限公司
2021-06-16
小学科学资源箱地形地貌资源箱
地形地貌资源箱
型号：QDD1502
实验清单：
地形的模型拼接与观察 地貌模型观察
地形图片观察 地貌的图片观察
地球上水体的图片观察
青华科教仪器有限公司
2021-08-23
小学科学资源箱植物资源箱
实验清单：
观察植物根的特征 观察植物茎的特征
观察植物叶的特征 观察植物花的特征
观察植物果实与种子的特征
植物植株的认识
植物资源箱
型号：QSZ13012
青华科教仪器有限公司
2021-08-23
小学科学资源箱动物资源箱
动物资源箱
型号：QSD1303
实验清单：
观察鱼的特征 观察鸟的特征
观察两栖动物的特征
观察爬行动物的特征
观察哺乳动物的特征
青华科教仪器有限公司
2021-08-23
小学科学资源箱清洁能源资源箱
清洁能源资源箱
型号：QGQ1602
实验清单：
太阳能发电实验 太阳能灶实验
水电解实验 清洁能源小车
手摇发电实验
青华科教仪器有限公司
2021-08-23
小学科学资源箱热现象资源箱
热现象资源箱
型号：QWR1206
实验清单：
温度计的使用 热传导实验
热对流实验 热辐射实验
气体热涨冷缩 固体热涨冷缩
液体热涨冷缩 物体导热性实验
青华科教仪器有限公司
2021-08-23
小学科学资源箱磁现象资源箱
磁现象资源箱
型号：QWC1210
实验清单：
判断磁极实验 判断磁性实验
磁悬浮实验 小车磁力作用实验、
电磁铁实验
青华科教仪器有限公司
2021-08-23
小学科学资源箱声现象资源箱
声现象资源箱
型号：QWS1207
实验清单：
声音的产生实验
声音的传播实验
声音的音强与音调实验
青华科教仪器有限公司
2021-08-23