高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果,自主研发了高效的自动推理工具;借鉴目前世界上最先进的程序形式化技术,形成了C程序自动验证系统和PLC程序自动验证系统,对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质,具有验证速度快、发现缺陷能力强、成本低的特点,从技术上突破了程序分析、程序测试的一些瓶颈,对提高软件质量具有不可替代的作用。目前,本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统,显现出了明显效果,得到了认可。 该成果具有国际先进水平,自主可控,填补了国内程序可信性自动验证的空白,获得省部级和学会级三等以上奖励,有着有广阔的应用领域。。
西南交通大学 2016-06-27
维修性虚拟仿真与评价技术
维修性虚拟仿真与评价技术采用虚拟现实技术应用于维修性的设计、分析、验证与评估。该技术以相似性理论和系统科学为理论基础,综合维修性设计与验证技术、先进仿真技术、人因工程学和系统工程等技术特征,以直观、形象、交互性强等的特点,突破传统依赖实物样机开展维修性设计与验证易造成的周期长、费用高、设计更改困难等缺陷。基于数字样机开展维修性设计与评价工作,在工程应用上可有效将维修性与产品性能进行一体化设计,并在产品设计早期即可并行开展维修性与总体布局设计,技术成熟度高,在航空、航天、兵器、船舶等行业具有广阔的应用前景。
北京航空航天大学 2021-04-13
一种非易失存储器和动态随机存取存储器的融合内存系统
本发明公开了一种非易失存储器和动态随机存取存储器的融合 内存系统,将非易失存储器和动态随机存取存储器融合在一起,共同 作为计算机系统的内存统一管理,其中动态随机存取存储器既可以与 非易失存储器统一编址,亦可以以部分容量充当非易失存储器的高速 缓冲存储器(cache),其 cache 空间的容量大小自适应数据负载特点而动 态可配,以便加快非易失存储器的访问速度,并能降低 I/O 访问磁盘 频率,提高计算机系统整体性能。
华中科技大学 2021-04-14
可燃品安全存储柜
通过FM认证,符合FM6050标准。 乐普乐吉可燃品安全存储柜与易燃品安全存储柜具有通用的标准化结构,相等的优质材料与精密工艺,并标准配置了更多的层板,更有效地适用于常见的小型可燃品容器,如喷罐、漆罐等。
乐普乐吉安全科技(上海)有限公司 2021-02-01
弱酸碱品安全存储
通过FM认证,符合FM6050标准。 弱酸碱品安全存储柜与易燃品安全存储柜具有通用的标准化结构,相等的优质材料与精密工艺,喷涂能承受常用酸碱品的涂层。 弱酸碱品的腐蚀性特点,在每一层镀锌层板上安设了带凹槽聚丙烯托盘,可盛接意外泄漏的液体。
乐普乐吉安全科技(上海)有限公司 2021-02-01
脐带组织细胞存储
山东翰康生物科技有限公司 2021-09-01
危险品存储柜
供应实验室危险品存储柜,量身定做,价格从优,质量保证,欢迎来电咨询。 备注:以上是危险品存储柜的详细信息,如果您对危险品存储柜的价格、型号、图片有什么疑问,请联系我们获取危险品存储柜的最新信息。 咨询电话:0577-67473999
温州市育人教仪制造有限公司 2021-08-23
PP强酸强碱存储柜
1、柜体采用瓷白色PP(聚丙烯)板制作,具有卓越的耐腐蚀性,经同色焊条无缝焊接处理,保证柜体之坚固及密封性。 2、柜门采用15MM贴膜PP(聚丙烯)板制作,使用寿命长,质量有保证。 3、层板采用瓷白色PP(聚丙烯)板制作,四周有立边。整体设计为活动式,可随意抽取放在合适的隔层,自由组合各层空间,四周立边可获得一定程度的防溢效果。桥式把手采用耐酸碱PP(聚丙烯)材质,耐腐蚀性能好。 4、铰链采用经射出成型的PP(聚丙烯)材料制成,耐腐蚀性能好,外观精美且有多种颜色可选。 5、门吸采用PP(聚丙烯)材料制成,使用寿命长,质量有保证。 6、锁具采用PP抗腐蚀塑料锁。 7、警示标签柜门贴有醒目的“腐蚀性”警示标示,提醒周围人群注意安全。
焦雪安全科技(无锡)有限公司 2022-05-24
组装式电池系统
本实用新型涉及一种组装式电池系统,包括主电池单元,主电池单元包括主安装壳体、电池控制装置及主电池单体,电池控制装置固定于主安装壳体前方,主电池单体安装于主安装壳体内,主安装壳体左右两侧分别设置有次电池单元,次电池单元包括次安装壳体及次电池单体,次电池单体安装于次安装壳体内,主安装壳体朝向各次安装壳体的端面上分别设置有T形槽,T形槽沿主安装壳体的宽度方向排布,各次安装壳体分别设置有滑移于主安装壳体的滑移块,T形槽与滑移块之间设置有在次安装壳体滑移到位时的震动反馈机构及防脱离机构。采用上述方案,本实用新型提供一种可更换某个电池单体的组装式电池系统。
浙江大学 2021-04-13
云式除尘系统
云式除尘技术是一项将云物理过程同旋转流体相结合的技术,经王博教授团队历时七年研发而成。在空气净化过程中,只需要很少量的水,不需要任何滤料,不会产生二次污染。云式除尘技术从大自然中获得灵感,模拟自然界的成云过程,构建过饱和水汽环境,水汽以细颗粒物作为凝结核,使颗粒发生合并、团聚等微物理过程,并通过特殊设计的多转子旋转流体技术实现PM2.5的高效去除。技术特点:云式除尘技术对粉尘的去除率可达到99.9%,PM2.5去除效率可以达到95%以上。
兰州大学 2021-04-14
首页 上一页 1 2
  • ...
  • 26 27 28
  • ...
  • 999 1000 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    64届高博会于2026年5月在南昌举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1