高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果,自主研发了高效的自动推理工具;借鉴目前世界上最先进的程序形式化技术,形成了C程序自动验证系统和PLC程序自动验证系统,对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质,具有验证速度快、发现缺陷能力强、成本低的特点,从技术上突破了程序分析、程序测试的一些瓶颈,对提高软件质量具有不可替代的作用。目前,本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统,显现出了明显效果,得到了认可。 该成果具有国际先进水平,自主可控,填补了国内程序可信性自动验证的空白,获得省部级和学会级三等以上奖励,有着有广阔的应用领域。。
西南交通大学 2016-06-27
服务三农的安全可靠电子交易关键技术研究和应用
本成果针对我国农村幅员广大、信息基础设施建设薄弱、难以推广电子交易的现状,积极响应国家“三农”战略,研制适合农村应用环境的电子交易平台、交易终端和专用芯片,形成了服务三农的整套电子交易解决方案,为农村金融业务提供了创新电子交易产品,成为中国农业银行等金融机构服务“三农”的新型支付渠道。 成果基于多学科交叉和创新集成的技术路线,首创了基于瘦客户端型B-C/S架构的低成本、易维护金融交易平台和交易终端;通过专用芯片降低了终端成本,提高了终端可靠性。项目申请发明专利6项,已授权16项,其创新点解决了电子交易终端应用于我国农村复杂环境下的成本、维护、安全、可靠性等诸多关键技术问题,技术水平达到国际先进,国内领先。该成果荣获2011年江苏省科技进步一等奖。
东南大学 2025-02-06
可见光通信系统中基于可靠判决反馈的信道估计方法
本发明公开了一种可见光通信系统中基于可靠判决反馈的信道估计方法,基于可靠判决反馈的信道估计算法对初始信道估计的准确性要求较高,将最大似然(Maximum Likelihood,ML)信道估计算法结合判决反馈思想应用在系统中。将可靠性较高符号作为反馈的准导频,通过二次估计提高了估计精度,但是该算法在低信噪比时可靠的符号较少,性能并没有改善。本发明对此问题提出了基于可靠判决反馈的ML信道估计改进算法,在不同的信噪比情况下,设置不同的BER门限,使得在低信噪比时也有一定的反馈的准导频数,从而可以提高在低信噪比时的估计性能。
东南大学 2021-04-11
云-端融合系统的资源反射机制及高效互操作技术
该成果提出了"黑盒"式互操作方法和技术,颠覆了传统"白盒"路线,将信息孤岛开放效率平均提升2个数量级,应用于国家大数据战略、国家安全和国防等重大工程,成为支撑我国大数据产业生态发展的一项共性关键技术。
北京大学 2021-02-22
电力操作用交直流电源及智能监控系统
交直流电源系统是水电站、火电厂和各级变电站等电力部门中的重要设备,它给一次、二次的各种开关、继电保护以及照明设备提供不间断的电源,以保证电力系统的安全、可靠运行。
西安交通大学 2021-04-11
电力操作用交直流电源及智能监控系统
交直流电源系统是水电站、火电厂和各级变电站等电力部门中的重要设备,它给一次、二次的各种开关、继电保护以及照明设备提供不间断的电源,以保证电力系统的安全、可靠运行本项目所研制的交直流电源及监控系统采用高频开关整流模块,将交流供电电源转换成直流电,对蓄电池组进行充电。当供电中断时,由电池组共给负载电能,系统中的逆变器将直流电逆变为交流电,供给需要交流电的负载。
西安交通大学 2021-01-12
金工、木工操作台
产品详细介绍
南京理工大学机械学院科技开发中心 2021-08-23
电子、电工操作台
产品详细介绍
南京理工大学机械学院科技开发中心 2021-08-23
图形变换操作材料
宁波华茂文教股份有限公司 2021-08-23
高级基础护理操作模型
XM-7高级基础护理操作模型   XM-7高级基础护理操作模型共有5个部件组成,分别为:高级鼻胃管与气管护理模型、静脉输液手臂模型、男性导尿模型、臀部肌肉注射模型、女性外生殖器模型,能按操作规程进行23项基础护理操作。   部件1:男性上半身,该部件为高级鼻胃管与气管护理模型,可作如下操作: ■ 面部清洁 ■ 眼耳冲洗、滴药 ■ 口腔护理 ■ 氧气吸入疗法 ■ 鼻饲法 ■ 洗胃法 ■ 气管切开护理 ■ 口、鼻气管插管训练 ■ 模拟颈动脉搏动   部件2:静脉输液手臂模型,可作如下操作: ■ 肌肉注射 ■ 皮下注射 ■ 静脉输液(血)   部件3:男性导尿模型,可作如下操作: ■ 男性导尿术 ■ 膀胱冲洗术 ■ 股外侧肌肉注射 ■ 臀部肌肉注射 ■ 外阴护理 ■ 造瘘引流术   部件4:臀部肌肉注射模型,可作如下操作: ■ 肌肉注射 ■ 灌肠法   部件5:女性外生殖器模型,可与部件3进行互换,可作如下操作: ■ 女性导尿术 ■ 膀胱冲洗术 ■ 外阴护理
上海欣曼科教设备有限公司 2021-08-23
首页 上一页 1 2
  • ...
  • 11 12 13
  • ...
  • 623 624 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    63届高博会于5月23日在长春举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1