期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
认证路径构造算法研究与实现 被引量:1
1
作者 李清玉 韦卫 侯紫峰 《微电子学与计算机》 CSCD 北大核心 2003年第9期15-18,共4页
PKI是通过使用公开密钥技术和数字证书来确保系统信息安全并负责验证数字证书持有者身份的一种证书体系。目前,PKI在SSL/TLS、电子商务、电子政务等方面得到了广泛的应用,但是其中有关的认证路径构造是一个比较复杂的过程,并且没有相关... PKI是通过使用公开密钥技术和数字证书来确保系统信息安全并负责验证数字证书持有者身份的一种证书体系。目前,PKI在SSL/TLS、电子商务、电子政务等方面得到了广泛的应用,但是其中有关的认证路径构造是一个比较复杂的过程,并且没有相关的国际标准和文献可供参考。在分析与路径构造有关的证书扩展基础上,文章旨在澄清与认证路径构造处理相关的问题并给出适当的建议。 展开更多
关键词 认证路径构造算法 公开密钥 数字证书 信息安全
下载PDF
一个改进的堆石料广义塑性模型 被引量:4
2
作者 卞士海 李国英 +1 位作者 魏匡民 周健 《岩土工程学报》 EI CAS CSCD 北大核心 2017年第10期1936-1942,共7页
在广义塑性理论框架下,通过引入两个修正系数修正塑性模量,增强了广义塑性模型在高围压条件下的适应性,成功地将砂土广义塑性模型改造成堆石料广义塑性模型。提出的修正广义塑性模型参数较少,容易确定,具有一定的实用性,并且可以推广至... 在广义塑性理论框架下,通过引入两个修正系数修正塑性模量,增强了广义塑性模型在高围压条件下的适应性,成功地将砂土广义塑性模型改造成堆石料广义塑性模型。提出的修正广义塑性模型参数较少,容易确定,具有一定的实用性,并且可以推广至状态相关情况。模型中塑性模量公式简洁,可以退化成等向压缩塑性模量。模型可以很好地预测堆石料常规三轴加载应力应变关系,对等P以及等应力比路径也具有一定适应性。 展开更多
关键词 广义塑性模型 塑性模量 修正系数 应力路径 模型验证
下载PDF
考虑应力路径效应的堆石料剪胀方程研究
3
作者 赵勇博 张振东 +1 位作者 卞士海 史文龙 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2024年第4期479-485,共7页
为揭示堆石料应力路径和剪胀特性相互影响机理,分析了等向压缩试验、常规三轴试验以及等p试验之间的应力应变响应关系。采用理论分析和试验验证的方法,在弹塑性本构模型框架下,提出一种新的考虑应力路径效应的剪胀方程构建方法,并通过... 为揭示堆石料应力路径和剪胀特性相互影响机理,分析了等向压缩试验、常规三轴试验以及等p试验之间的应力应变响应关系。采用理论分析和试验验证的方法,在弹塑性本构模型框架下,提出一种新的考虑应力路径效应的剪胀方程构建方法,并通过多种应力路径堆石料三轴试验对新的剪胀方程进行验证。预测结果表明:构建的剪胀方程可以考虑应力路径的影响,尤其是等应力比加载路径的影响。研究结论揭示了等向压缩试验和等p试验的重要性,建议在建立考虑应力路径影响的剪胀方程和本构模型时利用这两类试验。 展开更多
关键词 堆石料 应力路径 剪胀方程 等向压缩试验 等p试验 模型验证
下载PDF
基于可满足性模理论求解器的程序路径验证方法 被引量:2
4
作者 任胜兵 吴斌 +1 位作者 张健威 王志健 《计算机应用》 CSCD 北大核心 2016年第10期2806-2810,共5页
针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造... 针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。 展开更多
关键词 路径验证 控制流图 决策树 基本路径 可满足性模理论求解器
下载PDF
基于哈希链的软件定义网络路径安全 被引量:2
5
作者 李兆斌 刘泽一 +1 位作者 魏占祯 韩禹 《计算机应用》 CSCD 北大核心 2019年第5期1368-1373,共6页
针对软件定义网络中,控制器无法保证下发的网络策略能够在转发设备上得到正确执行的安全问题,提出一种新的转发路径监控安全方案。首先以控制器的全局视图能力为基础,设计了基于OpenFlow协议的路径凭据交互处理机制;然后采用哈希链和消... 针对软件定义网络中,控制器无法保证下发的网络策略能够在转发设备上得到正确执行的安全问题,提出一种新的转发路径监控安全方案。首先以控制器的全局视图能力为基础,设计了基于OpenFlow协议的路径凭据交互处理机制;然后采用哈希链和消息验证码作为生成和处理转发路径凭据信息的关键技术;最后在此基础上,对Ryu控制器和Open vSwitch开源交换机进行深度优化,添加相应处理流程,建立轻量级的路径安全机制。测试结果表明,该机制能够有效保证数据转发路径安全,吞吐量消耗比SDN数据层可信转发方案(SDNsec)降低20%以上,更适用于路径复杂的网络环境,但时延和CPU使用率的浮动超过15%,有待进一步优化。 展开更多
关键词 软件定义网络 哈希链 消息验证码 路径校验 数据完整性
下载PDF
堆石料广义塑性模型对不同应力路径适应性研究 被引量:2
6
作者 卞士海 李国英 +1 位作者 魏匡民 米占宽 《水利水运工程学报》 CSCD 北大核心 2017年第4期97-104,共8页
针对同一系列某花岗岩堆石料不同应力路径加载试验,进行了修正广义塑性模型与修正南水模型的应力路径适应性对比研究。研究结果表明:两类模型均可以很好地预测常规三轴加载试验结果;对于等p加载应力路径试验,二者可以很好地预测强度特征... 针对同一系列某花岗岩堆石料不同应力路径加载试验,进行了修正广义塑性模型与修正南水模型的应力路径适应性对比研究。研究结果表明:两类模型均可以很好地预测常规三轴加载试验结果;对于等p加载应力路径试验,二者可以很好地预测强度特征,但是预测的体变偏差较大,两类模型均低估了等p试验下堆石料的体缩特性;对于等应力比加载试验,南水模型预测结果优于广义塑性模型,对剪胀(缩)规律预测较好。广义塑性模型预测结果与试验值相差较大,主要原因在于常规三轴试验下的剪胀方程并不适用于等应力比试验,采用本文建议的修正剪胀方程后,广义塑性模型对等应力比路径试验预测精度明显提高。 展开更多
关键词 广义塑性模型 应力路径 堆石料 模型验证
下载PDF
一种用于路径配置的SDN拟态防御架构 被引量:1
7
作者 陈荔 《微型电脑应用》 2022年第1期202-205,共4页
提出了一种支撑多路径负载均衡配置的SDN拟态防御架构,首先,针对以往强化学习方法的状态空间狭小,难以提取人工特征性等问题,利用深度强化学习方法,结合网络链路负载和流量特征,进行多路径的自适应配置,以确保网络服务的负载均衡。而后... 提出了一种支撑多路径负载均衡配置的SDN拟态防御架构,首先,针对以往强化学习方法的状态空间狭小,难以提取人工特征性等问题,利用深度强化学习方法,结合网络链路负载和流量特征,进行多路径的自适应配置,以确保网络服务的负载均衡。而后,将动态异构冗余架构引入SDN控制层,来确保生成的路径配置信息准确性,并利用Openflow中的packet_in消息进行数据转发路径效验机制的设计,由此建构SDN拟态防御架构;最后,通过仿真对比实验得出SDN拟态防御框架下的失效概率始终处于稳定的低位状态的结论,可见安全防御性能更优。 展开更多
关键词 路径配置 拟态防御 流表资源 路径效验
下载PDF
Addendum to: An Approach to Hierarchical Clustering via Level Surfaces and Convexity
8
作者 Jerome Malitz Seth Malitz 《Intelligent Information Management》 2010年第5期299-305,共7页
This article is an addendum to the 2001 paper [1] which investigated an approach to hierarchical clustering based on the level sets of a density function induced on data points in a d-dimensional feature space. We ref... This article is an addendum to the 2001 paper [1] which investigated an approach to hierarchical clustering based on the level sets of a density function induced on data points in a d-dimensional feature space. We refer to this as the “level-sets approach” to hierarchical clustering. The density functions considered in [1] were those formed as the sum of identical radial basis functions centered at the data points, each radial basis function assumed to be continuous, monotone decreasing, convex on every ray, and rising to positive infinity at its center point. Such a framework can be investigated with respect to both the Euclidean (L2) and Manhattan (L1) metrics. The addendum here puts forth some observations and questions about the level-sets approach that go beyond those in [1]. In particular, we detail and ask the following questions. How does the level-sets approach compare with other related approaches? How is the resulting hierarchical clustering affected by the choice of radial basis function? What are the structural properties of a function formed as the sum of radial basis functions? Can the levels-sets approach be theoretically validated? Is there an efficient algorithm to implement the level-sets approach? 展开更多
关键词 Hierarchical Clustering LEVEL Sets LEVEL SURFACES Radial Basis Function CONVEX Heat Gravity Light Cluster validation Ridge path Euclidean DISTANCE Manhattan DISTANCE Metric
下载PDF
基于PKI交叉认证模型的证书路径优化
9
作者 席菁 刘艳 +1 位作者 杨绚渊 陆建德 《计算机工程》 CAS CSCD 北大核心 2008年第17期127-129,132,共4页
在支持交叉认证的混合信任模型的基础上,将路径验证加入到路径构建中,提出一种基于深度优先搜索的前向路径构建的优化算法,以及一种在路径验证时调整策略树及验证顺序的路径验证优化算法。该方案提高了交叉证书路径构建和验证的效率,增... 在支持交叉认证的混合信任模型的基础上,将路径验证加入到路径构建中,提出一种基于深度优先搜索的前向路径构建的优化算法,以及一种在路径验证时调整策略树及验证顺序的路径验证优化算法。该方案提高了交叉证书路径构建和验证的效率,增加了交叉证书的实用性。 展开更多
关键词 交叉证书 证书路径 路径验证 路径优化
下载PDF
Notification Services for the Server-Based Certificate Validation Protocol
10
作者 Johannes BUCHMANN Vangelis KARATSIOLIS 《International Journal of Communications, Network and System Sciences》 2009年第5期378-384,共7页
The Server-Based Certificate Validation Protocol allows PKI clients to delegate to a server the construction or validation of certification paths. The protocol’s specification focuses on the communication between the... The Server-Based Certificate Validation Protocol allows PKI clients to delegate to a server the construction or validation of certification paths. The protocol’s specification focuses on the communication between the server and the client and its security. It does not discuss how the servers can efficiently locate the necessary PKI resources like certificate or certificate revocation lists. In this paper we concentrate on this topic. We present a simple and effective method to facilitate locating and using various PKI resources by the servers, without modifying the protocol. We use the extension mechanism of the protocol for notifying the servers about PKI repositories, certificates, and revocations. We specify the tasks of the servers and certificate issu-ers and define the messages that are exchanged between them. A proof of concept is given by implementing an SCVP server, a client, and the proposed method in Java. 展开更多
关键词 SCVP Certification path Certification path Construction Certification path validation X.509 Certificate
下载PDF
Design and verification of a transfer path optimization method 被引量:1
11
作者 Weichao SI Tao SUN +1 位作者 Chao SONG Jie ZHANG 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2021年第9期1221-1233,共13页
This paper studies the transfer path planning problem for safe transfer of an aircraft on the aircraft carrier flight deck under a poor visibility condition or at night.First,we analyze the transfer path planning prob... This paper studies the transfer path planning problem for safe transfer of an aircraft on the aircraft carrier flight deck under a poor visibility condition or at night.First,we analyze the transfer path planning problem for carrier-based aircraft on the flight deck,and define the objective to be optimized and the constraints to be met.Second,to solve this problem,the mathematical support models for the flight deck,carrier aircraft entity,entity extension,entity posture,entity conflict detection,and path smoothing are established,as they provide the necessary basis for transfer path planning of the aircraft on the aircraft carrier.Third,to enable automatic transfer path planning,we design a multi-habitat parallel chaos algorithm(called KCMPSO),and use it as the optimization method for transfer path planning.Finally,we take the Kuznetsov aircraft carrier as a verification example,and conduct simulations.The simulation results show that compared with particle swarm optimization,this method can solve the transfer path planning problem for an aircraft on the aircraft carrier flight deck better. 展开更多
关键词 Carrier aircraft Flight deck Transfer path planning KCMPSO algorithm Method design and validation
原文传递
人工智能技术在船舶轨迹规划中的应用
12
作者 徐英 《舰船科学技术》 北大核心 2019年第10期28-30,共3页
轨迹规划可以提高船舶航行的效率,并且保证船舶航行的安全。当前船舶轨迹规划方法存在生成轨迹效率低、船舶轨迹规划并非全局最优的缺陷,为了提高船舶轨迹规划的精度,设计基于人工智能技术的船舶轨迹规划方法。首先对当前船舶轨迹规划... 轨迹规划可以提高船舶航行的效率,并且保证船舶航行的安全。当前船舶轨迹规划方法存在生成轨迹效率低、船舶轨迹规划并非全局最优的缺陷,为了提高船舶轨迹规划的精度,设计基于人工智能技术的船舶轨迹规划方法。首先对当前船舶轨迹规划研究现状进行分析,指出各种船舶轨迹规划方法的不足,然后建立船舶轨迹规划的性能评价指标,引入计算机人工智能技术中的蚁群优化算法进行求解,根据求解结果得到最优船舶轨迹规划路径,最后进行船舶轨迹规划的验证性测试。结果表明,蚁群优化算法可以快速、准确找到最优船舶轨迹规划路径,克服了当前方法易找到局部最优的船舶轨迹规划路径难题,具有一定的实际推广价值。 展开更多
关键词 船舶航行 轨迹规划 蚁群优化算法 规划路径 验证性测试
下载PDF
基于RPKI-ASPA改进的BGP路径保护机制
13
作者 包卓 马迪 +1 位作者 毛伟 邵晴 《计算机系统应用》 2022年第2期316-324,共9页
BGP协议明文传输,攻击者易对前缀与路径信息进行伪造,进而引发危害巨大的前缀劫持攻击.其中,AS路径信息保护问题主要涉及两个方面:路径防篡改与非法内容验证.RPKI作为解决路由劫持的重要安全体系,目前其体系下的路径验证解决方案主要包... BGP协议明文传输,攻击者易对前缀与路径信息进行伪造,进而引发危害巨大的前缀劫持攻击.其中,AS路径信息保护问题主要涉及两个方面:路径防篡改与非法内容验证.RPKI作为解决路由劫持的重要安全体系,目前其体系下的路径验证解决方案主要包括BGPSec、ASPA与Path-End,其中BGPSec主要解决的是路径篡改问题,ASPA与Path-End解决路径合法性验证问题,而这些方案分别存在计算复杂或者路径保护力度较弱的缺陷.在ASPA方案中引入少量签名,可对路径篡改的限制粒度进行提升.据此,本文提出一种改进的路径保护机制,并设计了与其余方案的开销、安全性能对比实验.实验结果表明,在引入有限开销的情况下,改进机制的路径保护性能优于其余方案. 展开更多
关键词 BGP 路径验证 RPKI ASPA BGPSec
下载PDF
公钥基础设施中的证书路径构造方法及验证算法 被引量:13
14
作者 王晓峰 王尚平 王育民 《计算机工程与应用》 CSCD 北大核心 2002年第12期72-74,88,共4页
文章基于图的宽度优先搜索算法的思想理论,提出了公钥基础设施中证书路径的构造算法,论述了证书路径验证算法,并讨论了算法的有效性。
关键词 公钥基础设施 证书路径构造 验证算法 互联网
下载PDF
Internet公钥基础设施中的证书路径构造算法 被引量:7
15
作者 王晓峰 王尚平 何成 《计算机工程》 CAS CSCD 北大核心 2002年第6期69-70,151,共3页
证书路径处理是实现公钥基础设施中安全认证的重要技术。建立在公钥基础设施上的用户只有通过有效的证书路径才能获得Internet有效的公钥证书。文章基于图的宽度优先搜索算法的思想理论,提出了公钥基础设施中证书路径的构造算法,并讨论... 证书路径处理是实现公钥基础设施中安全认证的重要技术。建立在公钥基础设施上的用户只有通过有效的证书路径才能获得Internet有效的公钥证书。文章基于图的宽度优先搜索算法的思想理论,提出了公钥基础设施中证书路径的构造算法,并讨论了算法的有效性。 展开更多
关键词 INTERNET 公钥基础设施 证书路径构造算法 认证机构
下载PDF
公钥基础设施的多路径构造方法 被引量:3
16
作者 刘保言 陈泳章 《计算机应用》 CSCD 北大核心 2004年第3期56-58,共3页
现有的证书路径构造方法不能进行多路径的构造。文中提出了一个多路径构造方法,该方法通过CA之间传播路径构造请求信息从而构造出所有的证书路径。同时,采用该方法能够方便地在路径构造的过程中进行路径验证,从而提高了路径处理的效率。
关键词 证书路径构造 证书路径验证 多路径
下载PDF
提高传递路径分析速度和精度的方法 被引量:9
17
作者 龙岩 范让林 +2 位作者 史文库 周舟 李伟 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第S1期78-82,共5页
在简述了传递路径分析(TPA)方法的基本原理与局限性的基础上,提出一种实用的传递函数无偏估计方法,并改进了测试方法。从而可以在实车工作情况下,利用振动测试中容易测得的数据进行传递路径分析,提高了分析计算精度,简化了测试过程,并... 在简述了传递路径分析(TPA)方法的基本原理与局限性的基础上,提出一种实用的传递函数无偏估计方法,并改进了测试方法。从而可以在实车工作情况下,利用振动测试中容易测得的数据进行传递路径分析,提高了分析计算精度,简化了测试过程,并缩短了测试时间。应用MatLab编写了测试数据的后处理程序,并以国产某轿车为例验证了该方法的正确性。 展开更多
关键词 车辆工程 传递函数无偏估计 测试简化 传递路径分析 实例验证
下载PDF
传递路径分析方法用于农用车振动控制的研究 被引量:5
18
作者 杨旭 李冰 陈少江 《机械设计与制造》 北大核心 2018年第4期33-36,共4页
使用传递路径分析方法对农用车驾驶员座椅振动控制进行了研究。介绍了传递路径分析方法的基本原理,提出了一种精确的驾驶室振动系统传递函数测试方法,通过传递函数实验和工况实验建立了完整的TPA模型。采取了一种快速的方法计算激励力,... 使用传递路径分析方法对农用车驾驶员座椅振动控制进行了研究。介绍了传递路径分析方法的基本原理,提出了一种精确的驾驶室振动系统传递函数测试方法,通过传递函数实验和工况实验建立了完整的TPA模型。采取了一种快速的方法计算激励力,然后计算出了各传递路径贡献量。通过将路径合成值与实测值的对比,验证了TPA模型的正确性。结合相位和幅值对驾驶员座椅的振动进行了传递路径贡献量分析及路径问题识别。找出了引起振动峰值的主要路径,并通过分析找出了这些路径贡献量大的原因,为该振动系统的后期优化提供了依据。 展开更多
关键词 驾驶室振动 舒适性 传递路径分析方法 模型验证
下载PDF
不同正则化方法在船舶辐射噪声计算中对比与试验研究 被引量:5
19
作者 李瑞彪 何琳 +1 位作者 卜文俊 徐荣武 《振动与冲击》 EI CSCD 北大核心 2021年第16期151-158,共8页
为研究不同背景下不同正则化参数方法在船舶辐射噪声评估中的适用性,降低辐射噪声计算误差,介绍了基于工况传递路径分析(OTPA)的船舶辐射噪声计算方法,讨论了奇异值分解(SVD)法、基于L-curve和广义交叉验证(GCV)的Tikhonov正则化方法在... 为研究不同背景下不同正则化参数方法在船舶辐射噪声评估中的适用性,降低辐射噪声计算误差,介绍了基于工况传递路径分析(OTPA)的船舶辐射噪声计算方法,讨论了奇异值分解(SVD)法、基于L-curve和广义交叉验证(GCV)的Tikhonov正则化方法在辐射噪声传递函数求解问题上的适用性,并进一步提出基于准最优(Q-O)判别准则的Tikhonov法。千岛湖舱段模型水下声辐射试验结果表明:在不同环境下,SVD方法性能最差;在正常环境下,L-curve、GCV和Q-O准则方法性能基本相同;随着背景噪声水平的升高,L-curve方法优于GCV方法,而Q-O准则方法优于L-curve方法,可较L-curve降低辐射噪声误差约0.42 dB,较SVD方法降低约1.19 dB。同时,Q-O准则鲁棒性分析表明该参数可近似视为最佳正则化参数,该方法可为后续实船工程应用提供指导。 展开更多
关键词 船舶辐射噪声 工况传递路径分析(OTPA) TIKHONOV正则化 奇异值分解(SVD) L-CURVE 广义交叉验证(GCV) 准最优(Q-O)准则
下载PDF
大气环境监测卫星星载IPDA激光雷达的大气二氧化碳柱浓度反演及多源数据对比验证
20
作者 赖锴婕 卜令兵 +6 位作者 王勤 毛志华 Khalid Muhammad Burhan 樊纯璨 刘继桥 陈卫标 赵少华 《光学学报》 EI CAS CSCD 北大核心 2024年第12期174-186,共13页
基于星载积分路径差分吸收(IPDA)激光雷达探测数据对全球二氧化碳柱浓度(XCO_(2))进行反演并利用全球CO_(2)柱浓度观测网(TCCON)、轨道碳观测者2号(OCO-2)卫星以及碳追踪器三者的CO_(2)数据产品验证了反演结果的准确性。结果表明:IPDA... 基于星载积分路径差分吸收(IPDA)激光雷达探测数据对全球二氧化碳柱浓度(XCO_(2))进行反演并利用全球CO_(2)柱浓度观测网(TCCON)、轨道碳观测者2号(OCO-2)卫星以及碳追踪器三者的CO_(2)数据产品验证了反演结果的准确性。结果表明:IPDA激光雷达的反演结果与TCCON的观测结果一致性较好,两者的平均偏差为0.3×10^(-6),决定系数(R2)为0.952,均方根误差(RMSE)为0.584×10^(-6)。与OCO-2和CT的XCO_(2)数据产品的对比结果也显示出IPDA激光雷达反演结果与TCCON数据产品的吻合程度均高于OCO-2卫星与碳追踪器,进一步表明IPDA激光雷达能够获得更准确的全球XCO_(2)观测数据。IPDA激光雷达对于不同地表类型上空的XCO_(2)探测精度存在一定差异,在空间分辨率为50 km(陆地)和100 km(海洋)下,其探测精度主要分布在(0.80~0.82)×10^(-6)与(0.76~0.78)×10^(-6),均满足1×10^(-6)的探测精度要求。星载IPDA激光雷达的全天时、高精度探测技术将在今后全球碳源碳汇研究中发挥重要作用。 展开更多
关键词 大气二氧化碳 大气环境监测卫星 星载激光雷达 积分路径差分吸收 验证
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部