|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言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
高级外科基本技能训练工具箱
XM-LV3高级外科基本技能训练工具箱
一、功能特点：
■ XM-LV3缝合练习工具箱采用高分子材料制成，肤质仿真度高。
■ 提供皮肤缝合模块以及常用的缝合器械。
■ 皮肤模块分层清晰，具有真实的皮肤组织张力。
■ 可自行在任何部位进行切开缝合练习。
■ 可反复进行练习。
■ 尺寸：30×17×7cm。
二、标准配置：
■ 高级外科基本技能训练工具箱：1套
■ 说明书：1册
■ 保修卡合格证：1张
上海欣曼科教设备有限公司
2021-08-23
浪潮服务器插件工具(Plugin Suite)-浪潮
浪潮服务器插件工具(Plugin Suite),实现Zabbix等第三方平台对浪潮服务器的资产监控、组件监控、固件升级和固件配置等功能，满足用户对设备统一纳管需求。
浪潮集团有限公司
2021-06-16
基于光纤光栅传感技术的煤矿顶板安全在线监测系统
基于光纤光栅传感技术的煤矿顶板安全在线监测系统是以中国矿业大学多年来形成的顶板动态监测与支护质量检测理论、技术、软件仪器为基础，最新引进光纤光栅传感技术，进行集成创新，建立起来的新型矿用顶板动态、围岩应力、锚杆（索）受力、支架受压的在线实时监测系统。此系统将计算机技术、光纤通信与数据处理技术、传感器技术和煤矿安全技术融为一体，通过各种不同功能的光纤光栅传感器，将被测的不同形式的物理量（如应力、应变、位移、压力等）转变成便于记录及再处理的光信号，通过光纤光栅信号处理仪器对监测的数据进行处理，处理结果上传至监控主机，构成一套合理的煤矿顶板安全在线监测系统。 本系统主要分为巷道顶板在线监测和综采工作面支架工作阻力在线监测两部分，可以实现多重功能：（1）监测掘进和回采巷道的顶板离层位移与速度；（2）监测锚杆支护巷道锚杆或锚索的载荷应力；（3）监测巷道围岩或煤柱内部应力；（4）监测综采工作面支架和超前支护工作阻力；（5）井上计算机在线动态显示监测参数和超限预警；（6）该系统监测的数据自动存储，可以历史查询以及数据信息共享。 本项目研究是一项源于国家高科技研究发展计划（863计划）、自然科学基金项目、江苏省优势学科建设项目的开发项目，主要针对目前我国煤矿顶板安全监测水平低、事故突发频繁等现状，通过技术开发和煤矿实践应用相结合的技术路线，建立煤矿顶板安全监测和事故突发预警系统，从而实现煤炭资源绿色高效开采及科学采矿的理念。
中国矿业大学
2021-02-01
混合式光纤传感技术在工程安全监测的应用
本项目属于光纤传感领域。项目适应多种应用环境和工程需求，发明了高精度、高稳定混合式光纤传感解调技术，恶劣环境下高可靠性光纤多传感器封装技术，多波段混叠式光纤多气体传感技术和混合式光纤传感组网融合技术。授权发明专利56项，其中美国专利3项。制定国家军用标准1项。获光纤传感产品测试认证38项。已应用到多项国家航空航天试验及电力、石化重大关键基础设施工程安全监测上，在光纤传感安全监测领域起到引领作用。
天津大学
2021-04-10
柔模混凝土沿空留巷安全开采成套技术
西安科技大学煤矿支护研发中心王晓利教授创新团队自 2002 年开始就对我国煤矿的沿空留巷围岩活动机理、围岩控制技术、采区回采巷道布置系统、 Y 型通风系统及留巷埋管瓦斯抽放技术进行了系统研究，目前此项技术已经成熟并在全国开始推广应用。柔模混凝土沿空留巷安全开采成套技术在神华集团神东公司、神华宁煤集团、神华乌海能源公司、冀中能源峰峰集团、冀中能源邯郸矿业集团、陕煤集团、山西潞安矿业集团、河南神火集团、贵州六枝工矿集团、山西金晖煤焦化工集团和山西宏源煤业集团等单位的 30 多个煤矿的薄煤层、中厚煤层、厚煤层和综放特厚煤层沿空留巷无煤柱安全开采项目中进行了成功应用，取得了良好的技术经济和社会效益。该成果经中国煤炭工业协会和河北省科技厅鉴定为国际领先，获中国煤炭工业协会科学技术二等奖和河北省科技进步三等奖。
西安科技大学
2021-04-11
基于物联网技术的实验室安全管理平台
一种基于物联网技术的实验室安全管理平台，包括实验平台和安装在所述实验平台上的排风装置；所述排风装置为U形管状结构，一端固定在实验平台上，另一端设置吸风口，所述吸风口位于实验平台正上方，排风装置与吸风口连接端内壁设置环形凸沿，所述环形凸沿上端形成倒圆锥形截面，下端形成正圆锥形截面，环形凸沿上端与下端之间形成圆柱形通道。通过排风装置对实验平台产生的废气或烟雾进行排风时，由于环形凸沿的设置，一方面在可以增大排风抽力，使烟雾快速的吸入吸风口并经环形凸沿的圆柱形通道进入排风装置中，另一方面由于环
安徽建筑大学
2021-01-12
基于人因工程高速公路安全设施设置技术
北京工业大学
2021-04-14
基于核磁共振的食品安全快速全面检测技术
中科院武汉物数所针对现有食品检测技术中存在的检测技术方法不完善等关键问题，建立了无需进行复杂样品前处理及样品分离的，高效、快速和全面的食品检测评价新技术，可全面、实时监测食品产业链中的各个环节。
市场预期：应用于食品检测领域，预计经济效益在千万级别。
中国科学院大学
2021-01-12