|
搜索
搜 索
高等教育领域数字化综合服务平台
化学实验防护屏
产品详细介绍
威海市普教仪器厂
2021-08-23
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
高安全系统安全完整性评估解决方案
针对工业控制领域中安全相关系统的功能安全问题，研究评估方法，建立了安全评估体系，掌握安全设备的安全完整性评估和分析、安全系统的安全完整性评估和分析技术；针对现场设备失效和可靠性展开研究，掌握可靠性设计技术，针对工控系统信息安全进行研究，参与制定了相应的国家标准。开发了国内第一个 PROFISafe 安全通信协议。
辽宁大学
2021-04-11
汽车主动安全预警系统
同济大学电信学院刘富强教授团队研制的汽车主动安全预警系统能综合运用视频检 测与识别技术、传感器信息获取技术、CAN 总线数据挖掘技术、信息集成融合技术，提 取车辆及其周边环境信息，对可能发生的危险状况进行预测并主动的发出预警信号从而 保证交通安全。 其中视频检测识别技术通过对视频图像进行实时处理与分析具备以下功能：通过驾 驶员的闭（眨）眼状态判断驾驶员是否处于疲劳驾驶状态；提取前方道路标志线环境信 息并反馈给驾驶员和汽车用于车辆行驶状态提示；捕获障碍物（如道路中的车辆和行人） 在车道中的位置和与本车的距离和相对运动信息从而避免潜在的碰撞事故。传感器技术 综合使用多种传感器，其中超声波距离传感器可以近距离测量传感器与目标之间的距离； 而激光雷达可以大范围远距离的距离测量从而弥补超声波和视频的不足；加速度仪可用 来测量汽车行驶过程中的加速度；而方向盘转角能够实时获得驾驶员对车辆的操控，同 时也能推算车道的曲率半径。控制器局域网 CAN 技术可以获得车辆运行状态信息（车速、 油门开度、转向灯状态等。上述技术获得的一些车辆的信息数据经过信息集成融合技术 融合成事先设定的数据格式，使之成为所需要的数据地图。由此可以判断汽车是否处于 危险状态或者是否会造成潜在事故从而给出预警信号。
同济大学
2021-04-11
汽车辅助安全驾驶预警系统
主要利用行车记录仪视频数据，进行道路检测，包括：车道偏离、障碍物检测、限速标志识别等。 技术指标： ？ 视频分辨率1080P； ？ 处理速度：15fps； ？ 告警：虚警率<10%
电子科技大学
2021-04-10
文档安全打印管控系统
如今，信息科学技术发展相当迅速，但是普通的纸张依然作为重要的信息载体而存在，尤其是在中国特色环境下，纸质文档具有不可替代性，同时纸质文档的保密防范面临了很多新问题和挑战。不同密级的文档通过各种途径送交审批时，这其中存在着大量的泄密风险，如不加控制必然导致泄密事件发生。 为避免此类状况的发生，本项目研制开发了具有超强保障功能的安全文档网络集中打印管控与审计系统，实现对于打印者、打印内容、打印资料、送审渠道的严格管理，从而有效的增加文档打印的安全性。同时，由于取代了原有的纸质文档审批方式，我们的打印监控与审计安全系统实现了对于待打印文档的精准控制，极大程度上减少了泄密的风险。
北京大学
2021-02-01
汽车辅助安全驾驶预警系统
主要利用行车记录仪视频数据，进行道路检测，包括：车道偏离、障碍物检测、限速标志识别等。
电子科技大学
2021-04-10
基于掌纹识别的安全系统
掌纹识别是目前最有效的生物特征之一，相比于指纹、人脸识别等具有更可靠的性能。技术团队拥有掌纹识别部分的核心专利和一项软件注册权，并在继续申请相关发明专利。具有自主研发的掌纹识别算法，该方法基于高阶差分信息，以及选择合适的Gabor尺度和方向，在著名的Polyu Database测试集合上等错误率为0，达到国际先进水平。
北京航空航天大学
2021-04-13
物联网绿色安全储粮监控系统
项目简介：绿色安全储粮就是利用无污染手段控制储粮生态系统中生物生理活动，使其于非生态学稳定状态，确保储藏粮食数量上、质量上的安全。全面、系统的粮情感知是十分必要的是储粮的前提条件。智能通风系统，在全面、系统的粮情感知基础上，智能控制通风设备设施，使外界空气沿着粮堆中粮粒间的空隙穿过粮层，从而改变粮堆内气体介质的条件，调整粮堆的温度、湿度，达到使粮食安全储粮或改善粮食品质目的。气调系统，通过改变粮仓内气体成分，降低氧气浓度，增加氮气、二氧化碳浓度，杀死粮仓内储粮害虫、抑制霉菌繁殖、降低粮食呼吸强度及
北京理工大学
2021-04-14
应用边界安全访问控制系统
本系统基于Socks协议实现的网络安全解决方案在应用层实现，能提供高安全性、高灵活性、细粒度控制的、高效的网络安全服务，并不会与所应用的网络环境、应用环境产生冲突，独立于原有的网络基础设施。 项目简介： 本系统基于Socks协议实现的网络安全解决方案在应用层实现，能提供高安全性、高灵活性、细粒度控制的、高效的网络安全服务，并不会与所应用的网络环境、应用环境产生冲突，独立于原有的网络基础设施。
北京交通大学
2021-04-13