网络验证

作品数：23被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：尹霞王之梁施新刚刘洪强王春生更多>>
相关机构：华为技术有限公司中国联合网络通信集团有限公司西安电子科技大学华南理工大学更多>>
相关期刊：《计算机工程与设计》《电信科学》《山东通信技术》《计算机工程与应用》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于误差分治的神经网络验证
《软件学报》2024年第5期2307-2324,共18页董彦松 刘月浩 董旭乾 赵亮 田聪 于斌 段振华 
国家重点研发计划(2018AAA0103202);国家自然科学基金(62192734,62172322)。
随着神经网络技术的快速发展,其在自动驾驶、智能制造、医疗诊断等安全攸关领域得到了广泛应用,神经网络的可信保障变得至关重要.然而,由于神经网络具有脆弱性,轻微的扰动经常会导致错误的结果,因此采用形式化验证的手段来保障神经网络...
关键词：神经网络 模型抽象 符号传播 线性近似 分治 
基于临床疗效挖掘和靶点网络验证的二陈汤治疗高脂血症燥湿化痰功效研究被引量：1
《中草药》2024年第8期2708-2722,共15页李荣荣 杜航 李航 生立嵩 卢佳宝 刘持年 郑晖 孙蓉 
国家重点研发计划项目(2022YFC3502100);济南市科研带头人工作室项目(202228099);高等医学研究院前沿学科发展基金(GYY2023QY01)。
目的采用“系统评价定疗效指标-网络药理学预测靶点-交互燥湿化痰类中药定功效-体内验证疗效指标和功效靶点”的集成创新策略,解析二陈汤发挥燥湿化痰功效治疗高脂血症临床证据和作用靶点的现代表征关系。方法筛选符合纳入标准的二陈汤...
关键词：二陈汤 燥湿化痰 高脂血症 网络药理学 系统评价 橙皮苷 过氧化物酶体增殖物激活受体Α 过氧化物酶体增殖物激活受体Γ 
可扩展的网络验证技术:研究现状与发展趋势
《电子学报》2024年第4期1083-1102,共20页黄翰林 徐恪 李琦 李彤 付松涛 高翔宇 
国家重点研发计划(No.2022YFB3102300,No.2022YFB3102301);国家自然科学基金(No.61932016,No.62132011,No.62202473,No.U22B2031,No.61825204);北京高校卓越青年科学家计划(No.BJJWZYJH01201910003011)。
互联网作为国家信息基础设施的重要组成部分,已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入,我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性,我们迫切需要可...
关键词：网络验证 可扩展性 网络配置 时空优化 数据面验证 控制面验证 
面向大规模增强确定性网络架构及验证
《电信科学》2024年第1期152-161,共10页徐军 刘爱华 孔国权 熊泉 
确定性网络相比传统IP网络的“尽力而为”服务提供确定性服务质量保证,满足日益增长差异化的IP业务承载要求。在以太网局域和IP限制域网络,IEEE和IETF国际标准组织分别成立了时间敏感网络和确定性网络工作组,并发布了系列标准。目前,产...
关键词：增强确定性网络 增强确定性网络架构 增强确定性网络验证 
软件定义网络中流规则安全性研究进展被引量：4
《西安电子科技大学学报》2023年第6期172-194,共23页熊婉寅 毛剑 刘子雯 刘文懋 刘建伟 
国家自然科学基金(62172027);浙江省自然科学基金资助项目(LZ23F020013);北京市自然科学基金(6202036)。
随着网络功能的日益多元化,具有集中控制与可编程性的软件定义网络(SDN)架构已在众多领域被广泛应用。然而,SDN特有的层次结构与运行机制也引入了新的安全挑战,其中,流规则作为控制平面管理决策的载体和数据平面网络行为的依据,已成为SD...
关键词：软件定义网络 流规则 网络安全 网络验证 网络测试 
网络验证研究综述被引量：1
《软件学报》2023年第1期351-380,共30页方星 胡波 马超 黄伟庆 
国家重点研发计划(2019YFB1005205)。
随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性.受到形式化方法在硬软件验证领域中成功应用的启发,研究人员将形式化方法应用到网络中,形成了一个新的...
关键词：网络验证 形式化方法 网络可靠性 网络安全 基于意图的网络 
基于多路径回溯的神经网络验证方法被引量：3
《软件学报》2022年第7期2464-2481,共18页郑烨 施晓牧 刘嘉祥 
深圳市高等院校稳定支持计划(20200810045225001);国家自然科学基金(62002228);深圳市科创委基础研究项目(JCYJ20210324094202008)
基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度....
关键词：神经网络验证 符号传播 抽象解释 多路径回溯 
神经网络验证和测试技术研究综述被引量：16
《计算机工程与应用》2021年第22期53-67,共15页李舵 董超群 司品超 何曼 刘钱超 
神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这些软件应用的质量就显得尤为重要。基于神经网络技术的软件在开发和编程上和传统软件有着本质的区别,传...
关键词：神经网络 测试评估 验证技术 测试技术 
CDMA系统特性分析及网络优化的方法研究被引量：1
《科技风》2020年第18期136-137,共2页徐萌 王志鹏 
南阳师范学院教学研究项目(2019-JXYJYB-65,2017-JXYJYB-20);南阳师范学院青年项目(2018QN006);南阳师范学院课堂教学模式改革项目(2019-JXYJKT-26)。
随着移动通信技术的发展,CDMA系统在当前移动通信领域得到了广泛的应用。本文利用SystemView软件搭建了CDMA系统模型,在系统仿真的基础上分析了CDMA系统的特性,并研究了CDMA系统网络优化的基本方法。
关键词：CDMA 网络优化 网络验证和评估 
微博是公共生活的一道“验证码”被引量：1
《南风窗》2011年第1期12-12,共1页何三畏 
2010年中国市民生活最大的变化,是进入了"微博时代"。到目前为止,微博生活在中国获得的全是正面评价。"微博控"们带着被微博拼搏得筋疲力尽的身体和熬得带血丝的眼睛,赞美着"万能的微博"。
关键词：市民生活 公共生活 时代 验证码 评价 中国 启蒙 血丝 网络验证 万能 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部