|
搜索
搜 索
高等教育领域数字化综合服务平台
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言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
高级外科基本技能训练工具箱
XM-LV3高级外科基本技能训练工具箱
一、功能特点：
■ XM-LV3缝合练习工具箱采用高分子材料制成，肤质仿真度高。
■ 提供皮肤缝合模块以及常用的缝合器械。
■ 皮肤模块分层清晰，具有真实的皮肤组织张力。
■ 可自行在任何部位进行切开缝合练习。
■ 可反复进行练习。
■ 尺寸：30×17×7cm。
二、标准配置：
■ 高级外科基本技能训练工具箱：1套
■ 说明书：1册
■ 保修卡合格证：1张
上海欣曼科教设备有限公司
2021-08-23
一种基于变尺度窗口机制的 VoIP 服务安全保障方法与系统
本发明公开了一种基于变尺度窗口机制的 VoIP 服务安全保障方法与系统，本发明的方法流程是： 语音发送端 sender 向语音接收端 receiver 发起会话请求，通过代理端完成双向验证之后建立起安全会话，sender 将语音通过语音加解密模块加密之后发送给 receiver，receiver 将加密语音解密之后发送到语音质量保障模块，通过基于变尺度窗口的缓存技术，调整语音播放的时间，以保障语音的播放质量；本发明的系统包括：语音发送端 sender、发送端代理服务器 proxy1、接
武汉大学
2021-04-14
一种飞机安全迫降辅助系统及安全迫降方法
本发明公开了一种飞机安全迫降辅助系统及安全迫降方法，包括起落架车、地下轨道系统、以及与 控制中心相连的检测通信装置和控制中心，起落架车包括迫降平台和拦阻装置，拦阻装置包括拦阻锁和 拦阻网，地下轨道系统包括蒸汽弹射轨道、活塞、为蒸汽弹射轨道提供蒸汽的蓄压罐、以及控制器，蒸 汽弹射轨道两端均设有排气阀和控制阀门，起落架车与活塞通过牵引器相连;当飞机发生故障时，启动 安全迫降辅助系统，使起落架车接近飞机
武汉大学
2021-04-14
一种飞机安全降落辅助装置及安全降落方法
本发明公开了一种飞机安全降落辅助装置及飞机安全降落方法，包括地面蒸汽轨道系统、高空支架 和减速舱，地面蒸汽轨道系统包括设于地下的弹射汽缸、活塞、为弹射汽缸提供蒸汽的蓄压罐、以及控 制器，弹射汽缸两端均设有控制阀门和排气阀，弹射汽缸内的活塞通过高空支架与减速舱固定相连，控 制器控制弹射汽缸两端控制阀门和排气阀，减速舱为锥形仓，其内部空间逐渐缩小;当有飞机发生故障 时，首先启动安全降落辅助装置，使减速
武汉大学
2021-04-14
丽水安全柜欧盟CE认证防火防爆安全柜
产品详细介绍整体特点： 采用厚度大于1.0mm的优质钢板经过点焊接，使用寿命长达十年。 全部采用双层防火钢板构造，两层钢板之间相隔有38mm的空气绝缘层，具有优质的防火安全性。 严格按照OSHA规范，柜身设有静电接地传导端口，方便连接静电接地导线。 外表面显示专业规范的警示标签。 外观颜色：黄色。 内部结构： 配备可以上下移动的可调整固定条，方便防溢漏式层板自由调节，调整间距为6CM。 防溢漏式层板可以自由调节的，有效地利用安全柜的空间。 底部有5厘米高的防漏液槽，防止液体意外流出。 柜子内部都喷涂环氧树脂，再进行高温处理，防止工作现场化学性物质的腐蚀。 外部结构： 在安全柜的两侧装有2个防闭火装置的透气孔。 三点联动式门锁，轻松自如启闭180度的柜门配有双钥匙。 配备防静电的接地导线。 柜子外部都喷涂环氧树脂，再进行高温处理，防止工作现场化学性物质的腐蚀。 易燃性化学品防火安全储存柜的特点：采用优质的冷轧钢板材料，经过米格式焊接方式，使用时间在10年以上。采用双层柜体，中间有38mm的空气隔绝层，有效地缓解柜体外部热量传递到内部的速度。柜体内部配备防泄漏的隔层板，可以在60cm间距自由上下调节高度，有效地利用空间来存放装有各类易燃性化学品物质的安全罐。柜体低部有50mm高度的防泄漏槽，防止易燃性液体化学品的溢出。在柜体的两侧，配有2个防火透气孔，用于释放柜体内部的易燃性气体，以及在发生火灾时，阻隔外间火种进入柜体内部。柜体内外采用ABS喷涂，再经过高温烤制，可以抗各类化学品物质的腐蚀。静电接地导线防止柜体产生静电火花。醒目的易燃性化学品标志。
苏州凯顿实验设备有限公司
2021-08-23
温州安全柜欧盟CE认证防火防爆安全柜
产品详细介绍整体特点： 采用厚度大于1.0mm的优质钢板经过点焊接，使用寿命长达十年。 全部采用双层防火钢板构造，两层钢板之间相隔有38mm的空气绝缘层，具有优质的防火安全性。 严格按照OSHA规范，柜身设有静电接地传导端口，方便连接静电接地导线。 外表面显示专业规范的警示标签。 外观颜色：黄色。 内部结构： 配备可以上下移动的可调整固定条，方便防溢漏式层板自由调节，调整间距为6CM。 防溢漏式层板可以自由调节的，有效地利用安全柜的空间。 底部有5厘米高的防漏液槽，防止液体意外流出。 柜子内部都喷涂环氧树脂，再进行高温处理，防止工作现场化学性物质的腐蚀。 外部结构： 在安全柜的两侧装有2个防闭火装置的透气孔。 三点联动式门锁，轻松自如启闭180度的柜门配有双钥匙。 配备防静电的接地导线。 柜子外部都喷涂环氧树脂，再进行高温处理，防止工作现场化学性物质的腐蚀。 易燃性化学品防火安全储存柜的特点：采用优质的冷轧钢板材料，经过米格式焊接方式，使用时间在10年以上。采用双层柜体，中间有38mm的空气隔绝层，有效地缓解柜体外部热量传递到内部的速度。柜体内部配备防泄漏的隔层板，可以在60cm间距自由上下调节高度，有效地利用空间来存放装有各类易燃性化学品物质的安全罐。柜体低部有50mm高度的防泄漏槽，防止易燃性液体化学品的溢出。在柜体的两侧，配有2个防火透气孔，用于释放柜体内部的易燃性气体，以及在发生火灾时，阻隔外间火种进入柜体内部。柜体内外采用ABS喷涂，再经过高温烤制，可以抗各类化学品物质的腐蚀。静电接地导线防止柜体产生静电火花。醒目的易燃性化学品标志。
苏州凯顿实验设备有限公司
2021-08-23
基于 WSN 高铁运行环境监测系统研发
高速列车的安全运营关系到旅客生命财产安全，高速列车运营环境监控是铁路安全 运营的重要保障。开展基于无线传感器网络(Wireless Sensor Network, WSN)的高速列 车运营环境监测理论技术研究具有重要的理论意义及实用价值。 高速列车 WSN 亟需解决的问题： ➢ 接触网和车载设备对 WSN 的强电磁干扰问题 ➢ 高速列车运行时，对 WSN 质量的影响 ➢ 大规模传感器节点动态负载均衡和实时路由控制问题 ➢ 计算资源有限条件下，低信噪比监测数据的处理、融合问题
北京交通大学
2021-04-11