|
搜索
搜 索
高等教育领域数字化综合服务平台
软件可信性自动验证系统
软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。
西南交通大学
2016-06-27
服务三农的安全可靠电子交易关键技术研究和应用
本成果针对我国农村幅员广大、信息基础设施建设薄弱、难以推广电子交易的现状，积极响应国家“三农”战略，研制适合农村应用环境的电子交易平台、交易终端和专用芯片，形成了服务三农的整套电子交易解决方案，为农村金融业务提供了创新电子交易产品，成为中国农业银行等金融机构服务“三农”的新型支付渠道。
成果基于多学科交叉和创新集成的技术路线，首创了基于瘦客户端型B-C/S架构的低成本、易维护金融交易平台和交易终端；通过专用芯片降低了终端成本，提高了终端可靠性。项目申请发明专利6项，已授权16项，其创新点解决了电子交易终端应用于我国农村复杂环境下的成本、维护、安全、可靠性等诸多关键技术问题，技术水平达到国际先进，国内领先。该成果荣获2011年江苏省科技进步一等奖。
东南大学
2025-02-06
可见光通信系统中基于可靠判决反馈的信道估计方法
本发明公开了一种可见光通信系统中基于可靠判决反馈的信道估计方法，基于可靠判决反馈的信道估计算法对初始信道估计的准确性要求较高，将最大似然(Maximum Likelihood，ML)信道估计算法结合判决反馈思想应用在系统中。将可靠性较高符号作为反馈的准导频，通过二次估计提高了估计精度，但是该算法在低信噪比时可靠的符号较少，性能并没有改善。本发明对此问题提出了基于可靠判决反馈的ML信道估计改进算法，在不同的信噪比情况下，设置不同的BER门限，使得在低信噪比时也有一定的反馈的准导频数，从而可以提高在低信噪比时的估计性能。
东南大学
2021-04-11
复杂供用电系统谐波的基础理论及综合防治的研究
研究内容包括：1．复杂供用电系统谐波的基础理论（1）非正弦、不对称情况下的功率定义和功率理论；（2）各种非线性负荷的谐波产生机理及谐波分析；（3）复杂供用电系统谐波的建模与数值分析方法。2．复杂供用电系统谐波的综合防治基础（1）各种谐波防治手段和装置的评估与对比分析；（2）复杂供用电系统谐波的综合防治的策略；（3）谐波综合防治系统的设计方法。
西安交通大学
2021-01-12
哈尔滨工程大学攻防对抗演练云终端采购项目竞争性磋商公告
哈尔滨工程大学攻防对抗演练云终端采购项目竞争性磋商
哈尔滨工程大学
2022-06-07
【哈尔滨新闻网】哈工程研发国内首个船海学科教育大模型亮相“高博会”
为更好发挥高等教育在教育强国建设中的龙头作用，统筹推进教育科技人才一体发展，5月23日至25日，第63届高等教育博览会建设教育强国·高等教育改革发展论坛在长春隆重举行。其中，哈尔滨工程大学研发的国内首个船海学科教育大模型亮相“高博会”，引起极大关注。
哈尔滨新闻网
2025-05-26
软土路基沉降计算理论
软土在我国有广泛的分布，为保证列车的高速、平稳运行，高速铁路对路基的沉降 变形控制要求很严，然而由于没有成熟可靠的软土路基沉降计算理论，致使目前我国已 修建运营的多条高速铁路软土路基出现沉降变形过大的情况，严重威胁到高速铁路的运 营安全。 本课题组近年来结合铁道部“CFG 桩复合地基沉降计算理论和设计方法”、“低矮路 堤复合地基沉降变形规律和设计方法”和 863 计划项目“高频重载条件下铁路路基不均 匀沉降设计理论和方法”等多项课题，对软土路基沉降计算理论开展了较为深入的研究， 在软土地基、路基本体及列车动荷载作用下沉降变形规律研究基础上，提出了一套较为 系统的软土路基沉降计算方法，尤其是对高速铁路无砟轨道路基广泛采用的桩网结构、 桩筏结构，建立了基于 Mindlin-Boussinesq 联合应力的沉降计算方法；针对列车动荷载 长期作用下易产生过大附加变形的软土地基低矮路堤，提出了可考虑高循环动荷载次数 的动力隐式与静力蠕变相结合的长期变形计算方法。 研究成果在多条高速铁路建设中得到应用。
同济大学
2021-04-13
两性泌尿系统模型
XM-700两性泌尿系统模型
XM-700两性泌尿系统模型由肾脏、输尿管、膀胱以及子宫等6部件组成，男女膀胱可以互换，展示腹后壁等血管、肌肉结构，其中右肾打开显示肾内部结构，膀胱和子宫可打开示矢状切面，有数字指示标识。
尺寸：42×30×13cm
材质：PVC材料
上海欣曼科教设备有限公司
2021-08-23
油田地面工程管理信息系统
（一）技术目标 针对采油厂前期所建地面工程系统的资料，开展油田地面工程系统管理信息系统的研发工作，为实现采油厂主要生产油区的地面工程系统资料的在线查询提供详尽可靠的依据，为准确的决策提供支持。 （二）主要研究内容 根据采油厂提出的要求及各油田地面工程现状，进行系统数据库软件开发，满足各功能要求。 （1）站外各井站场（计量间、配水间，增压泵房）、油气集输系统、注水系统、电力系统
常州大学
2021-04-14
嘉宾观点抢先看 | 李玉：通过系统性机制创新 为学科交叉融合提供保障
在第63届高等教育博览会 建设教育强国·高等教育改革发展论坛即将举办之际，中国高等教育学会联合人民网教育频道推出“建设教育强国”系列访谈栏目，重点邀请东北地区高校领导、专家学者，围绕活动主题：融合·创新·引领：服务高等教育强国建设，畅谈思考体会、凝聚发展共识。
人民网-教育频道
2025-05-16