期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
公平交换协议的信道可信度形式化验证方法
被引量：
2
1
作者
杨晋吉
申涵瑞
陈清亮
《小型微型计算机系统》
CSCD
北大核心
2018年第2期240-244,共5页
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为...
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.
展开更多
关键词
形式化验证
信道可信度
公平交换协议
概率模型检测
PRISM
在线阅读
下载PDF
职称材料
基于Log-MAP算法的Turbo码量化分析
被引量：
2
2
作者
闫涛
杜兴民
《空军工程大学学报（自然科学版）》
CSCD
北大核心
2005年第4期52-54,73,共4页
针对AGWN信道,基于Log-MAP译码算法,系统分析与研究了软输入软输出(SISO)Tur-bo迭代译码过程中数据的量化与定点实现。结合数据观察与算法剖析,借助蒙特卡罗仿真给出了接收信息、外信息、信道可信度值、状态度量等数据的定点表示及量化...
针对AGWN信道,基于Log-MAP译码算法,系统分析与研究了软输入软输出(SISO)Tur-bo迭代译码过程中数据的量化与定点实现。结合数据观察与算法剖析,借助蒙特卡罗仿真给出了接收信息、外信息、信道可信度值、状态度量等数据的定点表示及量化细节,所选择的量化方案达到了译码性能与实现复杂度较好的折衷,量化后性能损失不大于0.15dB。
展开更多
关键词
Log—MAP算法
量化
接收信息
信道可信度
外信息
状态度量
在线阅读
下载PDF
职称材料
动态主用户流量模型的跨层优化设计
3
作者
杜奕航
王可人
齐全
《计算机工程与应用》
CSCD
北大核心
2017年第13期113-118,共6页
为适应主用户流量变化较快的场景,在不完美频谱感知的情况下最大化认知用户的吞吐量,提出了一种基于集中式Overlay认知无线网络中感知时间与资源分配跨层优化算法。将优化目标分解为信道分配和检测时间同功率分配联合优化两个子问题,通...
为适应主用户流量变化较快的场景,在不完美频谱感知的情况下最大化认知用户的吞吐量,提出了一种基于集中式Overlay认知无线网络中感知时间与资源分配跨层优化算法。将优化目标分解为信道分配和检测时间同功率分配联合优化两个子问题,通过子算法迭代,最终得到感知时间与资源分配的联合最优解。仿真结果表明,相对于仅考虑频谱感知或资源分配的单层优化算法,该算法可在兼顾公平的前提下使次用户吞吐量得到有效提升。
展开更多
关键词
认知无线网络
动态主用户流量模型
跨层优化
信道可信度
在线阅读
下载PDF
职称材料
题名
公平交换协议的信道可信度形式化验证方法
被引量：
2
1
作者
杨晋吉
申涵瑞
陈清亮
机构
华南师范大学计算机学院
暨南大学计算机科学系
出处
《小型微型计算机系统》
CSCD
北大核心
2018年第2期240-244,共5页
基金
国家自然科学基金项目(61272066
61572234)资助
文摘
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议的形式化验证方法,重点对信道问题进行定量分析.以一个电子合同签署协议为例,通过概率模型检测的方法对协议建立离散时间马尔可夫链模型,用概率计算树逻辑对协议属性进行描述,通过PRISM概率模型检测工具对协议进行定量的验证和分析.实验结果表明公平交换协议各实体间信道可信度对协议的公平性、有效性和时限性有不同程度的影响,对相应信道进行控制或改善可以提高协议安全性.
关键词
形式化验证
信道可信度
公平交换协议
概率模型检测
PRISM
Keywords
formal verification channel confidence fair exchange protocol probabilistic model checking PRISM
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于Log-MAP算法的Turbo码量化分析
被引量：
2
2
作者
闫涛
杜兴民
机构
空军工程大学工程学院
出处
《空军工程大学学报（自然科学版）》
CSCD
北大核心
2005年第4期52-54,73,共4页
基金
武器装备预研基金项目资助(51473090104JB3201)
文摘
针对AGWN信道,基于Log-MAP译码算法,系统分析与研究了软输入软输出(SISO)Tur-bo迭代译码过程中数据的量化与定点实现。结合数据观察与算法剖析,借助蒙特卡罗仿真给出了接收信息、外信息、信道可信度值、状态度量等数据的定点表示及量化细节,所选择的量化方案达到了译码性能与实现复杂度较好的折衷,量化后性能损失不大于0.15dB。
关键词
Log—MAP算法
量化
接收信息
信道可信度
外信息
状态度量
Keywords
Log - MAP algorithm, quantization
received data
reliability of channel
extrinsic information
state metric
分类号
TN919 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
动态主用户流量模型的跨层优化设计
3
作者
杜奕航
王可人
齐全
机构
电子工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2017年第13期113-118,共6页
基金
安徽省自然科学青年基金(No.1608085QF143)
文摘
为适应主用户流量变化较快的场景,在不完美频谱感知的情况下最大化认知用户的吞吐量,提出了一种基于集中式Overlay认知无线网络中感知时间与资源分配跨层优化算法。将优化目标分解为信道分配和检测时间同功率分配联合优化两个子问题,通过子算法迭代,最终得到感知时间与资源分配的联合最优解。仿真结果表明,相对于仅考虑频谱感知或资源分配的单层优化算法,该算法可在兼顾公平的前提下使次用户吞吐量得到有效提升。
关键词
认知无线网络
动态主用户流量模型
跨层优化
信道可信度
Keywords
cognitive radio network
dynamic primary users traffic model
cross-layer optimization
channel reliability
分类号
TN92 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
公平交换协议的信道可信度形式化验证方法
杨晋吉
申涵瑞
陈清亮
《小型微型计算机系统》
CSCD
北大核心
2018
2
在线阅读
下载PDF
职称材料
2
基于Log-MAP算法的Turbo码量化分析
闫涛
杜兴民
《空军工程大学学报（自然科学版）》
CSCD
北大核心
2005
2
在线阅读
下载PDF
职称材料
3
动态主用户流量模型的跨层优化设计
杜奕航
王可人
齐全
《计算机工程与应用》
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
