|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020 GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424 ZL2020100476371 ZL20201175663.9)登记软件著作权11项。
(3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。
西南交通大学
2022-09-13
Web信息采集与服务系统项目
一、 项目简介本项目一款基于B/S架构的网络信息采集系统，设计开发完全面向用户，为用户提供全方位的信息服务，实现从任何类型的网站上采集信息，如新闻网站、论坛、博客、电子商务网站、招聘网站等。用户通过注册成为会员以后，既可以进行基本信息采集，也可以通过在线支付，提出自己想要的采集主题和采集方向，享有特殊的采集服务。二、 项目技术成熟程度该项目技术成熟，目前已在河北工业大学科技园、河北工业大学宣传部和河北省科技情报院等高校政府部门进行了使用。三、 技术指标该项目获得2012年河北省大学生创业计划竞赛特等奖和第八届挑战杯中国大学生创业计划竞赛铜奖。四、 市场前景本项目不仅能提供基本的检索功能，还能将采集结果进行进一步分析、加工和处理，可以更好的为用户提供信息服务。可见本项目有着广阔的应用前景和极大的市场空间。五、 规模与投资需求本系统售价10万（包括培训），加上所需服务器、数据库系统软件。总投资预计15万。六、 效益分析该系统可以专注于数据采集领域，致力于帮助各类互联网企业、高校和政府部门等提供数据采集解决方案及消除采集技术难题，非常完善及强大的功能特性，具有良好的经济效益和社会效益。七、 合作方式技术服务、协作开发、提供咨询，具体事宜面议。八、 项目具体联系人及联系方式顾军华，022-60435758，jhgu@hebut.edu.cn
河北工业大学
2021-04-11
技术需求：地基建物资设备的海量信息检索与搜索引擎技术
各地基建物资设备的海量信息检索与搜索引擎攻关
山东博远重工有限公司
2021-06-15
微波测试技术及系统
微波材料复介电常数测试系统 ？ 常温及变温电磁参数和反射率测试系统（航空、航天、兵工等单位） ？ 微波材料宽带高温（1600℃）测试系统（国内首创） ？ 微波材料点频高温（2200℃）测试系统（国内首创）
电子科技大学
2021-04-10
五孔探针校准与测试系统
本系统可以测量流动流体的三维速度矢量，以及流体静压、总压和总温等参量。适用于不可压缩和可压缩流体的测量。 本系统由五孔探针校准和测试两个部分构成，每一部分又包含相应的硬件设备和软件系统。可以选择建设多维坐标架、校准风洞或水洞等设备。
西安交通大学
2021-04-11
高精度测量测试设备与系统
核心技术：高精度基础电量测量-电压、电流、电阻自主可控软硬件设计开发基于统一测发控平台的敏捷设计
技术创新点：温度自补偿技术幅值-频率复合标定策略基于自主学习的低频噪声实时滤除方法
技术特色：测量高精度高，产品稳定性好指标范围宽，完全自主可控隔离性好，具有自主知识产权
北京交通大学
2023-05-08
雷电流测试关键技术及系列测试设备
本项目在西安交通大学电力电子专用设备研究所成功转化，本项目围绕雷电效应测试所涉及的高性能开关、控制、测量及设备集成等关键技术进行研究，开发了 30 余种雷电效应系类测试设备，其核心器件及设备的性能指标达到国际领先水平，解决了是电力输配电、航空航天器等的雷电流测试与防护难题，在国家检测中心、电网公司、华为、中国商飞公司等 200 余家科研院所和企业推广应用，并出口美国、瑞典、泰国等地，产生了显著的经济和社会效益，提高了我国雷电效应测试设备的国际竞争力，促进电力输配电、电子与通信、航空航天领域的发展，并带动其它相关行业的技术进步。
西安交通大学
2021-04-11
液压阻尼器测试技术及测试装备
（请详细介绍成果的技术先进性、成熟度、知识产权情况、预期效益及希望合作的企业类型等。简介请图文并茂，字数1000字以内。） 液压阻尼器主要用途是抗震、减震，吸收冲击，消耗能量，广泛应用于管道减震（核电、火电、化工、钢铁），重点设备的减震（核电机组），建筑和桥梁的抗震与减震，军事设备的抗震与减震（火炮、导弹发射、军舰、航母舰载机着舰拦阻）等，具有良好的应用前景。液压阻尼器技术包括液压阻尼器产品技术及液压阻尼器测试技术两个方面，其中液压阻尼器测试技术在整个液压阻尼器技术中的技术比重达到
河海大学
2021-04-14
基于区域态势信息的网络攻击后果动态定量评估方法
本发明公开了一种基于区域态势信息的网络攻击后果动态定量评估方法，获取工业关键基础设施所有站点内部工艺的运行信息并进行筛选，获得由网络攻击导致的异常发生的位置信息，以及物理设备当前的有用的运行状态信息；利用多层流模型计算站点输出的物质流异常信息，并建立站点的输入输出物质流计算模型；根据由网络攻击导致的站点输出物质流异常信息，以及站点的输入输出物质流计算模型，以及输送网络的拓扑图模型，建立态势预测模型，以预测未来一
华中科技大学
2021-04-14
汽车电子与车载CAN网络（台架）系统
该设备具备汽车电子、CAN总线、开发所需的软硬件。以实车硬件为蓝本设计。从机械操作到程序控制、从元器件认知到系统组装、从线束制作、ECU贴片到系统调试、ECU维修，从而培养以“电”为核心的高端汽车电控人才。
成都盘沣科技有限公司
2021-02-01