|
搜索
搜 索
高等教育领域数字化综合服务平台
存储阵列高可靠编码技术
随着云计算和大数据时代的到来，用户对存储系统的需求也在日益增长，特别是针对存储设备的可靠性要求也越来越高。本项目针对存储阵列（包括磁盘阵列、固态盘阵列等）的编码技术研究的难点，结合应用需求和数据访问特征的分析，设计了新型编码、编码解码方法、I/O调度及软件定义存储阵列等技术，提高了存储设备的性能与可靠性。 通过本项目的实施，在实现软件定义存储阵列方面将会有所突破，为契合国家互联网＋战略部署打下了坚实的基础。 在本项目的实施过程中，与国内外的众多高校展开了合作，包括美国弗吉尼亚联邦（州立）大学、清华大学、华中科技大学等。获得了多项国家自然科学基金等项目的资助。申请相关专利10项，相关论文发表在可靠性系统顶级会议IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)、International Symposium on Reliable Distributed Systems (SRDS)上。主要负责人也因此曾获弗吉尼亚联邦（州立）大学杰出研究奖。
上海交通大学
2021-04-13
高安全性、舒适性滑雪头盔
滑雪头盔作为滑雪运动中不可或缺的安全装备，在《中国滑雪场所管理规范》中指出，滑雪头盔是必选项，滑雪头盔市场规模和发展潜力巨大。目前滑雪头盔市场仍由国外品牌主导。
东北师范大学
2025-05-16
生物多样性查询系统
基于WINDOWS系统平台定制开发，实现通过触摸屏互动控制；具有独立的用户登录系统，保证资源的安全性；物种分类：查询系统根据展馆的展区分布，设置物种的分类；具体物种：显示指定分类的标本列表，查询具体动物科普信息，包括学名、科属、图片、视频、保护级别、分布情况、生活习性等；语音功能：可以语音播放介绍文字，通过听觉去了解物种的科普信息；
福建恒达教育装备工程有限公司
2022-05-30
螺杆压缩机工作过程理论及设计计算系统
螺杆压缩机具有结构简单、工作可靠等一系列独特的优点，广泛用于空气动力、制冷空调及各种工艺流程，然而其设计非常复杂。本成果在对螺杆压缩机的工作过程理论进行系统深入的研究基础上，开发了一套设计计算软件SCCAD。利用该软件，可快速准确地完成转子型线设计、吸排气孔口布置、热力性能预测、动力特性分析，以及刀具刃形计算等设计计算内容。SCCAD软件填补了国内空白，并
西安交通大学
2021-01-12
工程教育专业认证系统及服务
专业认证自评系统具有课程达成度自动计算、毕业要求达成度生成、自评报告协同编辑撰写等功能，实现自评报告与数据同步更新；毕业生职业发展信息线上自动收集，自评附录文件自动生成输出等。
同时为高校提供贯穿认证工作六个阶段的工作指引、疑难解决、进度督促等服务。为学院减负，为专业建设加速。
安徽爱学堂教育科技有限公司
2022-08-04
哈尔滨工程大学高密AP设备采购及服务竞争性磋商
哈尔滨工程大学高密AP设备采购及服务竞争性磋商
哈尔滨工程大学
2022-05-27
哈尔滨工程大学超连续谱宽波段可调谐激光测试系统采购项目竞争性磋商公告
哈尔滨工程大学超连续谱宽波段可调谐激光测试系统采购项目竞争性磋商
哈尔滨工程大学
2022-06-06
大型基础设施工程光纤多元感测与综合预警核心理论与关键技术
"该项目针对大型基础设施实时监测与灾害预警的迫切需求，历时10余年科技攻关，突破了多项重要理论与核心关键技术。提出了基于双重约束的光纤光栅非均匀应变传感理论，形成了复合材料光纤内植工艺与光纤金属化封装新工艺，攻克了传感精度低、成活率低与耐久性差三大难题；在国内外首次突破了大型基础设施裂隙水流速监测难题，破解了大型基础设施多场耦合监测技术障碍，发明了系列专用光纤光栅传感器；组建了超大容量光纤光栅传感网络，构建了大型基础设施安全监测多元信息一体化综合感知系统；提出了基于离散应变反演递推的形态传感方法建立了基于多场信息的灾变判据，解决了大型基础设施灾害综合预警的重大难题。形成了从“传感理论—封装工艺—传感结构—传感器—采集系统—预警方法”成套技术体系。成果获得2018年度国家科技进步一等奖、2018年度山东省科技进步二等奖项，纳入行业标准3项，获国家发明专利29项，实用新型专利34项，软件著作权15项，发表SCI论文52篇，EI论文62篇，产品出口英国、德国、新加坡、马来西亚等国家，同时产生了巨大的经济效益及社会效益，对大型基础设施安全监测与灾害预警行业发展具有重要的推动作用。本项目成果主要
山东大学
2021-04-10
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
服务三农的安全可靠电子交易关键技术研究和应用
本成果针对我国农村幅员广大、信息基础设施建设薄弱、难以推广电子交易的现状，积极响应国家“三农”战略，研制适合农村应用环境的电子交易平台、交易终端和专用芯片，形成了服务三农的整套电子交易解决方案，为农村金融业务提供了创新电子交易产品，成为中国农业银行等金融机构服务“三农”的新型支付渠道。
成果基于多学科交叉和创新集成的技术路线，首创了基于瘦客户端型B-C/S架构的低成本、易维护金融交易平台和交易终端；通过专用芯片降低了终端成本，提高了终端可靠性。项目申请发明专利6项，已授权16项，其创新点解决了电子交易终端应用于我国农村复杂环境下的成本、维护、安全、可靠性等诸多关键技术问题，技术水平达到国际先进，国内领先。该成果荣获2011年江苏省科技进步一等奖。
东南大学
2025-02-06