期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到123篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于深度估计SVO与IMU融合的定位算法研究
1
作者 李德航 袁宇鹏 +5 位作者 张楠 廖崧琳 王露 向路 陈凤 喻芳菲 《压电与声光》 北大核心 2025年第4期776-782,共7页
针对单一传感器的局限以及视觉惯性融合算法计算复杂度等问题,提出一种基于深度估计半直接视觉里程计(SVO)与惯性测量单元(IMU)融合的定位算法。将深度估计模块集成至SVO中,采用扩展卡尔曼滤波器构建松耦合融合框架,融合视觉位姿信息与... 针对单一传感器的局限以及视觉惯性融合算法计算复杂度等问题,提出一种基于深度估计半直接视觉里程计(SVO)与惯性测量单元(IMU)融合的定位算法。将深度估计模块集成至SVO中,采用扩展卡尔曼滤波器构建松耦合融合框架,融合视觉位姿信息与IMU加速度、角速度数据,实现状态估计与位姿校正。在KITTI数据集以及真实环境中验证表明,该算法的绝对轨迹误差低于纯视觉算法,且在复杂场景下预测轨迹与真实轨迹高度贴合。 展开更多
关键词 单目相机 惯性导航 多传感器融合定位 半直接视觉里程计(svo) 扩展卡尔曼滤波器(EKF) 视觉惯性融合
在线阅读 下载PDF
基于SVO逻辑的云服务安全形式化分析 被引量：4
2
作者 陈丹伟 黄秀丽 孙国梓 《小型微型计算机系统》 CSCD 北大核心 2010年第12期2438-2441,共4页
云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理... 云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性. 展开更多
关键词 云服务 SAMLSSO 形式化分析 svo逻辑
在线阅读 下载PDF
电子商务支付协议认证性的SVO逻辑验证 被引量：7
3
作者 肖茵茵 苏开乐 《计算机工程与应用》 CSCD 2014年第8期6-10,共5页
与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑... 与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。 展开更多
关键词 svo逻辑 电子商务支付 Netbill协议 认证性
在线阅读 下载PDF
对SVO逻辑方法的改进 被引量：4
4
作者 吴开贵 陈明 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2007年第5期542-547,共6页
随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代... 随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证,而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述.因此,扩展了SVO逻辑分析哈希函数的逻辑语法,增加了相应的推理公理,证明了推理公理的安全性.然后,讨论了SVO逻辑方法的分析目标,举例证明了其实体认证目标存在的漏洞,提出新的认证目标,同时分析了新目标的安全性.实验证明,对SVO逻辑方法的扩展与改进是实用和有效的,此工作对其他的安全协议形式化分析方法也具有借鉴意义. 展开更多
关键词 哈希函数 svo逻辑 实体认证 密钥确认 形式化分析
在线阅读 下载PDF
一种基于SVO逻辑的新形式化验证方法 被引量：6
5
作者 王茜 杨德礼 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2004年第3期342-351,共10页
通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点。SVO逻辑以其完善、简洁的特点在协议验证中被广泛应用。文中通过典型实例分析,指出SVO逻辑在分析电子商务交易协议中存在的局限与不足,并在此分析基础... 通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点。SVO逻辑以其完善、简洁的特点在协议验证中被广泛应用。文中通过典型实例分析,指出SVO逻辑在分析电子商务交易协议中存在的局限与不足,并在此分析基础上引入交易协议的动态性等概念。对原有SVO逻辑分析框架进行扩展,提出了一种新的适用于分析电子商务交易协议的形式化验证方法。新方法不仅可以静态验证协议的不可否认性,而且可以动态验证协议的原子性。最后,给出了该方法对典型交易协议的验证实例。 展开更多
关键词 电子商务 交易协议 形式化验证 原子性 不可否认性 svo逻辑
在线阅读 下载PDF
适应受限环境的认证协议及其SVO逻辑分析 被引量：1
6
作者 刘志猛 赵燕丽 +1 位作者 范辉 原达 《计算机工程》 CAS CSCD 北大核心 2009年第20期151-152,156,共3页
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明... 针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。 展开更多
关键词 安全协议 身份认证 会话密钥 svo逻辑 逻辑分析
在线阅读 下载PDF
不可否认协议形式化分析的SVO逻辑方法 被引量：2
7
作者 黎波涛 罗军舟 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第5期688-691,共4页
使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目... 使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等.分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标.通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性. 展开更多
关键词 不可否认 公平性 svo逻辑 形式化分析
在线阅读 下载PDF
汉语SVO句与维吾尔语相对应句型的语义对比分析 被引量：1
8
作者 徐春兰 陈玉梅 《语言与翻译》 CSSCI 2014年第1期18-23,共6页
汉语"SVO"句包括一价动词、二价动词、三价动词构成的"SVO"句。文章以汉语的"SVO"句为出发点,对与其相对应的维吾尔语句进行语义对比分析。
关键词 汉语 svo句 维吾尔语 语义 对比分析
在线阅读 下载PDF
粤语有定的“量+名”结构——基于交际话语和SVO语序的制约 被引量：7
9
作者 单韵鸣 《华南理工大学学报（社会科学版）》 2007年第5期47-50,共4页
通过访问20名广州人,并对选定语料的封闭性调查,发现用"量+名"结构表示有定出于发话人对交际实际情况的判断;数据表明,用有定的"量+名"结构是发话人进行回指的常用形式。在宾语位置上的某些"量+名"结构... 通过访问20名广州人,并对选定语料的封闭性调查,发现用"量+名"结构表示有定出于发话人对交际实际情况的判断;数据表明,用有定的"量+名"结构是发话人进行回指的常用形式。在宾语位置上的某些"量+名"结构只能理解为有定,粤语典型的SVO语序是"量+名"结构在宾语位置上产生歧义的句法原因。 展开更多
关键词 粤语 “量+名”结构 有定 话语 svo语序
在线阅读 下载PDF
俄、汉语SVO句中客体题元和被动意义的形态标记 被引量：1
10
作者 陈国亭 《中国俄语教学》 北大核心 2003年第2期19-23,共5页
本文以符号标记理论为出发点 ,以语义结构三要素和形式手段三要素的对应关系为基础 ,分析了俄、汉语语义三要素 (SVO)句中客体与主体、主位 (话题 )之间的复杂关系 ,讨论了俄、汉语中被动句与被动意义不对应或不完全对应的情况 ,特别解... 本文以符号标记理论为出发点 ,以语义结构三要素和形式手段三要素的对应关系为基础 ,分析了俄、汉语语义三要素 (SVO)句中客体与主体、主位 (话题 )之间的复杂关系 ,讨论了俄、汉语中被动句与被动意义不对应或不完全对应的情况 ,特别解说了主动句与被动句在同一情境下使用时的语义特点及其差别。 展开更多
关键词 俄语 汉语 svo句 客体题元 被动意义 形态标记 语义结构 语义三要素 被动句 主动句 语义特点
在线阅读 下载PDF
基于攻击者行为能力的SVO协议分析
11
作者 刘志猛 《计算机工程》 CAS CSCD 北大核心 2011年第12期127-129,共3页
SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此,提出2个SVO逻辑相关公理,对证书真实性与会话密钥安全性进行判断及验证,并结合Dolev-Yao安全模型,从攻击者行为能力的角度评估密码协议的安全性。经分析证明Mangip... SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此,提出2个SVO逻辑相关公理,对证书真实性与会话密钥安全性进行判断及验证,并结合Dolev-Yao安全模型,从攻击者行为能力的角度评估密码协议的安全性。经分析证明Mangipudi协议未能提供前向安全且存在假冒攻击的安全缺陷,因此给出一个在Dolev-Yao安全模型下可证明安全的解决方案。 展开更多
关键词 安全协议 svo逻辑 攻击者行为能力 认证协议
在线阅读 下载PDF
基于SVO逻辑的3G AKA协议形式化分析
12
作者 周鹏 杨世平 时翠梅 《电脑知识与技术》 2008年第S2期161-163,共3页
AKA协议是3G通讯中的一个重要安全协议。利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷。运用信息隐藏的方法对该协议的缺陷进行了修正。另外指出SVO逻辑不能分析协议运行中的关键性明文对协议安全性的影响,以及不能... AKA协议是3G通讯中的一个重要安全协议。利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷。运用信息隐藏的方法对该协议的缺陷进行了修正。另外指出SVO逻辑不能分析协议运行中的关键性明文对协议安全性的影响,以及不能分析旁听攻击这两个新的缺陷,并对SVO逻辑进行了扩展。 展开更多
关键词 svo逻辑 形式化分析 AKA协议 密钥协商
在线阅读 下载PDF
基于特征向量与SVO扩展的企业生态关系抽取 被引量：5
13
作者 代江波 毛建华 +1 位作者 刘学锋 张鸿洋 《计算机技术与发展》 2018年第10期139-144,共6页
企业间关系是企业价值链中最重要的组成部分之一,也是企业管理者最感兴趣的信息之一,对于企业决策和管理具有重大意义;从企业年报文本中抽取企业关系和实体关系要求高时效性和强鲁棒性。实体关系抽取的核心问题在于关系模式的选择和提取... 企业间关系是企业价值链中最重要的组成部分之一,也是企业管理者最感兴趣的信息之一,对于企业决策和管理具有重大意义;从企业年报文本中抽取企业关系和实体关系要求高时效性和强鲁棒性。实体关系抽取的核心问题在于关系模式的选择和提取,由于中文句式较复杂、表达方式灵活、语义多样等固有性质的限制,导致关系实例的关系表述不准确,语义信息表示不足。因此,提出基于特征向量与SVO扩展的企业关系抽取模型,并且在该方法中引入触发词机制,然后使用具有触发词约束的关系模式对年报文本进行企业关系的抽取。最后通过对1 000家上市企业的年报文本进行实验,实验结果表明,该方法能较大地提高实体关系的抽取性能。 展开更多
关键词 企业关系抽取 触发词 特征向量 svo扩展 关系模式
在线阅读 下载PDF
基于SVO逻辑的公钥协议进化生成 被引量：1
14
作者 毛晨晓 罗文坚 +1 位作者 曹先彬 王煦法 《系统工程与电子技术》 EI CSCD 北大核心 2006年第3期439-443,共5页
提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所... 提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所生成公钥协议的安全性,并有效地提高协议效率和降低协议中消息的冗余度。 展开更多
关键词 安全协议 公钥密码体制 svo逻辑 进化策略
在线阅读 下载PDF
浅析电子商务支付协议认证性的SVO逻辑验证
15
作者 刘丽峰 《电子测试》 2015年第11期146-147,共2页
当前,高效、安全的支付方式已成为移动电子商务发展的首要问题。但目前移动电子商务研究中对移动支付协议的设计尚不健全,如何对移动支付协议认证备受关注。本文浅析电死商务协议认证中SVO逻辑验证的应用。
关键词 电子商务 支付协议认证 svo逻辑
在线阅读 下载PDF
基于改进语义SVO逻辑的二维认证协议分析 被引量：1
16
作者 黄翰陞 贺前华 江瑾 《计算机应用》 CSCD 北大核心 2007年第12期2951-2953,共3页
一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程... 一种基于二维几何距离的实体认证协议无需在非安全信道当中传送密钥,使得认证的过程更加安全与便捷,然而该协议的正确性与安全性并未得到严格论证。考虑该实体认证协议的特点,采用改进语义的SVO逻辑对其进行合理性描述,并对其运行过程进行形式化的具体分析,发现该协议在认证过程中存在着双方认证不确定的缺陷。针对此缺陷提出了一种修正方案,以确保认证协议的正确性,并且通过改进语义SVO逻辑的形式化分析证明了该改进认证协议的安全性。 展开更多
关键词 二维几何认证 改进语义 svo逻辑
在线阅读 下载PDF
SVO结构的多义性与翻译研究
17
作者 陈春华 《长沙铁道学院学报（社会科学版）》 2006年第3期153-155,共3页
从认知—功能视角研究了SVO结构的演变,多义现象及其原因,并给出了多义现象的特征及其翻译方法,对语言结构的研究和应用具有一定的参考价值。
关键词 svo结构 参与者 因果句 翻译
在线阅读 下载PDF
SVO句型中语流音变探究
18
作者 蒋宜轩 《海外英语》 2012年第7X期275-276,共2页
SVO句型是英文和中文中比较常见的一种句型。该文是从音系学入手,研究语流音变对于SVO句型的焦点转移和语义变化所产生的影响。根据本文研究,语流音变主要集中在以下四点:重音,语流暂停,语调和儿化音。
关键词 语流音变 svo 重音 语流暂停 语调 儿化音
在线阅读 下载PDF
vP壳结构与SVO句式的生成研究 被引量：1
19
作者 朱海燕 陈文 何新 《合肥工业大学学报（社会科学版）》 2009年第3期100-104,共5页
SVO句式是人类自然语言中一类重要的句式。该句式在语义特征和句法结构上有着特定的关系,而在结构表征和生成推导中体现这种关系,是一个具有挑战性的课题。文章采用vP壳来讨论英语中两类看似相近、实则不同的典型SVO句式的生成过程,并... SVO句式是人类自然语言中一类重要的句式。该句式在语义特征和句法结构上有着特定的关系,而在结构表征和生成推导中体现这种关系,是一个具有挑战性的课题。文章采用vP壳来讨论英语中两类看似相近、实则不同的典型SVO句式的生成过程,并从中反映vP壳对语言句式生成的高度概括性和解释力。 展开更多
关键词 vP壳结构 svo句式 生成
在线阅读 下载PDF
基于SVO逻辑的SNMP协议的改进及形式化分析 被引量：1
20
作者 周鹏 林华 《湖南科技学院学报》 2011年第8期54-58,共5页
SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证... SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证实了这一结论。 展开更多
关键词 svo逻辑 SNMP协议 形式化分析 安全协议
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
使用帮助 返回顶部