期刊导航
期刊开放获取
唐山市科学技术情报研究..
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
17
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
MC-CDMA系统抗单频干扰性能分析
被引量:
1
1
作者
何世彪
杨士中
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2004年第11期59-62,共4页
MC CDMA是OFDM与DS CDMA相结合的技术,它比单载波CDMA系统具有很多优点,最典型的优点是能够克服符号间干扰(ISI)和抑制窄带干扰,因而成移动通信领域的热点。介绍了典型MC CDMA系统的模型,讨论了在Rayleigh信道中存在单频干扰情况下的上...
MC CDMA是OFDM与DS CDMA相结合的技术,它比单载波CDMA系统具有很多优点,最典型的优点是能够克服符号间干扰(ISI)和抑制窄带干扰,因而成移动通信领域的热点。介绍了典型MC CDMA系统的模型,讨论了在Rayleigh信道中存在单频干扰情况下的上行链路接收判决统计量,并给出了MC CDMA系统的误码率公式。提出采用修改等增益合并的方法,来抑制单频干扰的影响。理论分析和数字结果表明,采用此方法可改善MC CDMA系统抗单频干扰的性能。
展开更多
关键词
MC-CDMA
瑞利信道
CW干扰
误码率
上行链路
在线阅读
下载PDF
职称材料
基于时序关系的消息推理及安全协议符号迹分析
2
作者
谢鸿波
吴远成
周明天
《中国电子科学研究院学报》
2010年第2期152-158,共7页
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消...
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。
展开更多
关键词
符号迹
SPI算子
消息推理
形式化分析
在线阅读
下载PDF
职称材料
日盲紫外非视距Ad hoc网络在军事通信中的应用
3
作者
赵芳
李晓毅
《科技创新导报》
2014年第14期204-205,共2页
介绍了日盲紫外非视距Ad hoc网络的链路工作方式、性能特点及组网原理,分析了日盲紫外非视距Ad hoc网络在军事通信中的应用。仿真实验证明本组网模式的有效性。
关键词
网络
非视距
紫外光
在线阅读
下载PDF
职称材料
移动Ad hoc网络容量非合作规划博弈模型的稳定性
被引量:
5
4
作者
杨娟
李颖
+1 位作者
张志军
李季青
《电子与信息学报》
EI
CSCD
北大核心
2012年第1期75-81,共7页
该文研究了非合作规划博弈移动Ad hoc网络容量分析模型的稳定性。首先求得非合作规划博弈移动Ad hoc网络容量分析模型的源节点流量发送速率演化方程,在此基础上构造Lyapunov函数,运用MaπkuH稳定性定理得到非合作规划博弈移动Ad hoc网...
该文研究了非合作规划博弈移动Ad hoc网络容量分析模型的稳定性。首先求得非合作规划博弈移动Ad hoc网络容量分析模型的源节点流量发送速率演化方程,在此基础上构造Lyapunov函数,运用MaπkuH稳定性定理得到非合作规划博弈移动Ad hoc网络容量分析模型的稳定性。仿真试验验证了该模型具有优良的稳定性。
展开更多
关键词
移动自组织网络
容量
非合作规划博弈
MaπkuH稳定性定理
在线阅读
下载PDF
职称材料
超宽带时域天线阵列延时控制扫描实验
被引量:
5
5
作者
袁雪林
张洪德
+2 位作者
徐哲峰
张光甫
袁乃昌
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2010年第2期289-293,共5页
超宽带(UWB)冲激雷达目标探测中时域天线阵列波束延时控制扫描是通过天线阵列单元间精确的延时控制实现的。在介绍UWB时域波束延时控制扫描原理的基础上,研制了用于UWB天线时域波束扫描的延时控制器,其延时步进为50 ps,延时精度可达10 p...
超宽带(UWB)冲激雷达目标探测中时域天线阵列波束延时控制扫描是通过天线阵列单元间精确的延时控制实现的。在介绍UWB时域波束延时控制扫描原理的基础上,研制了用于UWB天线时域波束扫描的延时控制器,其延时步进为50 ps,延时精度可达10 ps。利用该延时控制器对单元间距42 cm的4单元UWB天线阵列H面方向进行了单元间延时控制波束扫描测量,扫描步进角度小于2°。结果显示,在0°,10°,20°和30°扫描时,实际扫描角度分别为-0.5°,10.5°,20°和29.5°,与理论计算值之间误差小于1°。
展开更多
关键词
延时控制器
超宽带冲激雷达
时域天线
波束扫描
在线阅读
下载PDF
职称材料
基于业务需求的动态频谱分配算法
被引量:
2
6
作者
何世彪
张新春
+1 位作者
胡智伦
曾伟
《计算机工程》
CAS
CSCD
北大核心
2010年第24期76-78,共3页
动态频谱分配能有效解决频谱利用率低的问题,但已有的图论着色算法未考虑认知用户的业务需求,导致需求小的用户分配到更大的频谱,一定程度上造成了频谱浪费。为解决该问题,提出基于业务需求的动态频谱分配算法,使分配的信道与认知用户...
动态频谱分配能有效解决频谱利用率低的问题,但已有的图论着色算法未考虑认知用户的业务需求,导致需求小的用户分配到更大的频谱,一定程度上造成了频谱浪费。为解决该问题,提出基于业务需求的动态频谱分配算法,使分配的信道与认知用户的业务需求适配。性能仿真结果表明,基于业务需求的算法能满足各用户的需求,性能更优。
展开更多
关键词
业务需求
图论着色
动态频谱分配
认知无线电
在线阅读
下载PDF
职称材料
一种安全协议的组合分析模型研究
被引量:
1
7
作者
谢鸿波
吴远成
+1 位作者
刘一静
周明天
《电子学报》
EI
CAS
CSCD
北大核心
2008年第11期2262-2267,共6页
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏...
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
展开更多
关键词
知识推理
进程演算
形式化分析
安全属性
在线阅读
下载PDF
职称材料
大规模移动自组织网络分层优化策略研究
8
作者
杨娟
李颖
刘鸿飞
《计算机科学》
CSCD
北大核心
2011年第3期115-119,共5页
大规模移动自组织网络(MANET)有效的分层协议可以增强网络逻辑拓扑结构的稳定性,减小通信中继花费。提出利用动态节点多特征融合与GRF-MAP结合的方法构建大规模MANET分层结构,以提高网络层次结构的稳定性。仿真数据表明,算法在分层结构...
大规模移动自组织网络(MANET)有效的分层协议可以增强网络逻辑拓扑结构的稳定性,减小通信中继花费。提出利用动态节点多特征融合与GRF-MAP结合的方法构建大规模MANET分层结构,以提高网络层次结构的稳定性。仿真数据表明,算法在分层结构的稳定性方面明显优于其他算法。
展开更多
关键词
大规模MANET
分层协议
稳定性
多特征融合
吉布斯随机场—最大后验概率
在线阅读
下载PDF
职称材料
统一的安全属性形式化描述方法的研究
9
作者
谢鸿波
吴远成
周明天
《计算机科学》
CSCD
北大核心
2008年第9期172-174,186,共4页
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细...
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。
展开更多
关键词
协议分析
形式化分析方法
安全属性
在线阅读
下载PDF
职称材料
一种基于认知无线电的自组网多信道MAC协议
10
作者
闵军
葛利嘉
《计算机应用与软件》
CSCD
2010年第11期223-225,共3页
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议。协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道。驻留信道的选择考虑了避免信道干扰...
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议。协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道。驻留信道的选择考虑了避免信道干扰和冲突,每个节点只需要两部半双工收发信机就能够实现在多个信道上高效的数据收发,同时只需很少的控制信息开销。仿真结果表明,协议在网络总吞吐量、端到端时延等方面具有优良的性能,能很好地适用于节点密集的应用场合。
展开更多
关键词
自组网
认知无线电
信道分配
多信道
MAC协议
在线阅读
下载PDF
职称材料
城市可持续发展水平量化的探讨
11
作者
冯孝杰
周山泉
等
《后勤工程学院学报》
2002年第3期88-90,98,共4页
本文以城市环境-经济系统为研究对象,借助系统工程多目标技术和协同论的观点,针对城市可持续发展水平的量化问题建立了功效函数和协调度函数。最后应用这两个函数分析了重庆市可持续发展状况。
关键词
量化
城市经济
可持续发展
协调度
功效
在线阅读
下载PDF
职称材料
一种基于认知无线电的自组网多信道MAC协议
12
作者
闵军
葛利嘉
《信息化纵横》
2009年第15期34-37,共4页
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议,协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道,驻留信道的选择考虑了避免信道干扰和冲...
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议,协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道,驻留信道的选择考虑了避免信道干扰和冲突,每个节点只需要两部半双工收发信机就能够实现在多个信道上高效的数据收发。仿真结果表明,协议在网络总吞吐量、端到端时延等方面具有优良的性能,能很好地适用于节点密集的应用场合。
展开更多
关键词
自组网
认知无线电
信道分配
多信道
MAC协议
在线阅读
下载PDF
职称材料
浅析非均匀采样信号的频谱和功率
被引量:
1
13
作者
张超
何世彪
范晔
《通信对抗》
2005年第2期25-28,共4页
在非均匀采样信号模型的基础上,给出了非均匀采样周期信号的频谱表达式,分析了非均匀采样信号平均功率和模拟信号功率谱的对应关系,并做了仿真以验证非均匀采样信号功率收敛于真值的条件(|fn-fn-1|≠1/MT整数倍)。
关键词
非均匀采样信号
频谱
信号功率谱
信号模型
周期信号
对应关系
平均功率
表达式
整数倍
在线阅读
下载PDF
职称材料
具有耳形零相关窗的序列对设计
被引量:
1
14
作者
刘世民
曾凡鑫
《重庆邮电学院学报(自然科学版)》
2006年第2期208-211,共4页
耳形零相关窗的概念在2004年被首次提出,这种序列对在非周期相关函数的中间及两端部分都同时具有零相关窗。在近似同步CDMA系统中,如果系统的同步误差能够控制在耳形零相关窗范围内,该序列对理论上能够完全消除多径及多址干扰。给出了...
耳形零相关窗的概念在2004年被首次提出,这种序列对在非周期相关函数的中间及两端部分都同时具有零相关窗。在近似同步CDMA系统中,如果系统的同步误差能够控制在耳形零相关窗范围内,该序列对理论上能够完全消除多径及多址干扰。给出了具有耳形零相关窗的二元序列对的一些结论,并在二元序列对设计方法的基础上给出了四相序列对设计的方法。
展开更多
关键词
多址干扰
多径干扰
耳形零相关窗
四相序列对
在线阅读
下载PDF
职称材料
重叠变换抑制窄带干扰时确定干扰频率的新方法
15
作者
杨阳
曾凡鑫
杨波
《通信对抗》
2005年第2期29-31,40,共4页
采用自适应重叠变换抑制窄带干扰时,如何确定窄带干扰频率是非常重要的。编码增益法将接收信号看作AR模型,使用Levinson-Durbin算法计算参数,实现对其功率谱密度的估计。编码增益法的计算量比较大。本文根据窄带干扰的特性和变换域...
采用自适应重叠变换抑制窄带干扰时,如何确定窄带干扰频率是非常重要的。编码增益法将接收信号看作AR模型,使用Levinson-Durbin算法计算参数,实现对其功率谱密度的估计。编码增益法的计算量比较大。本文根据窄带干扰的特性和变换域的特点,采用周期图的滤波器组解释,通过比较一组窄带滤波器的输出来确定干扰频率,计算复杂度大大降低,但是性能与编码增益法相差不大。
展开更多
关键词
干扰频率
窄带干扰
重叠变换
抑制
编码增益
功率谱密度
窄带滤波器
计算复杂度
AR模型
接收信号
计算参数
滤波器组
自适应
变换域
周期图
在线阅读
下载PDF
职称材料
变时延移动Ad-Hoc网络容量非合作规划博弈模型的渐近稳定性
被引量:
1
16
作者
杨娟
杨丹
+2 位作者
黄彬
张小洪
杨聪
《物理学报》
SCIE
EI
CAS
CSCD
北大核心
2014年第2期21-33,共13页
移动Ad-Hoc网络容量的稳定性是保证其服务质量的关键性质之一.本文提出一种新颖的考虑时变传播时延的非合作规划博弈移动Ad-Hoc网络容量分析模型稳定性控制技术.首先求得加入时变传播时延项的非合作规划博弈移动Ad-Hoc网络容量分析模型...
移动Ad-Hoc网络容量的稳定性是保证其服务质量的关键性质之一.本文提出一种新颖的考虑时变传播时延的非合作规划博弈移动Ad-Hoc网络容量分析模型稳定性控制技术.首先求得加入时变传播时延项的非合作规划博弈移动Ad-Hoc网络容量分析模型的源节点发送流量速率演化方程组—–一类非线性时变时滞微分方程组,在此基础上采用描述器技术结合线性矩阵不等式技术得到该模型的渐进稳定性准则,并设计了模型稳定性控制的迭代算法.由于是基于等价模型变换,所提出的渐近稳定性判别准则具有较小的保守性.仿真实验验证了本算法的有效性.本建模与分析方法虽以具体的非合作规划博弈移动Ad-Hoc网络容量分析模型为例,但其可以应用于一般的移动Ad-Hoc网络容量稳定性控制问题.
展开更多
关键词
非合作规划博弈
时变传播时延
描述器
线性矩阵不等式
原文传递
一种电台纠错编码模块的改进
17
作者
张勇
程智慧
+2 位作者
袁晓芳
双涛
韩力
《通信技术》
2007年第11期100-101,104,共3页
文中首先简单介绍了LDPC码的优点及其译码过程,然后在SystemGenerator环境中对整个编译码算法进行了参数化的FPGA实现,最后把LDPC编码模块应用于一种电台代替原来的纠错编码模块,并验证了系统的性能。
关键词
LDPC码
FPGA
SystemGenerator
纠错码
原文传递
题名
MC-CDMA系统抗单频干扰性能分析
被引量:
1
1
作者
何世彪
杨士中
机构
重庆通信学院三系
重庆
大学
通信
工程
学院
出处
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2004年第11期59-62,共4页
文摘
MC CDMA是OFDM与DS CDMA相结合的技术,它比单载波CDMA系统具有很多优点,最典型的优点是能够克服符号间干扰(ISI)和抑制窄带干扰,因而成移动通信领域的热点。介绍了典型MC CDMA系统的模型,讨论了在Rayleigh信道中存在单频干扰情况下的上行链路接收判决统计量,并给出了MC CDMA系统的误码率公式。提出采用修改等增益合并的方法,来抑制单频干扰的影响。理论分析和数字结果表明,采用此方法可改善MC CDMA系统抗单频干扰的性能。
关键词
MC-CDMA
瑞利信道
CW干扰
误码率
上行链路
Keywords
MC-CDMA
rayleigh channel
CW interferences
bit error rate
uplink
分类号
TN914.3 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
基于时序关系的消息推理及安全协议符号迹分析
2
作者
谢鸿波
吴远成
周明天
机构
电子科技大学计算机科学与工程
学院
重庆通信学院三系
数据链教研室
出处
《中国电子科学研究院学报》
2010年第2期152-158,共7页
基金
国家973项目(2007CB310800)
国家863项目(863-104-03-01)
文摘
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。
关键词
符号迹
SPI算子
消息推理
形式化分析
Keywords
symbolic trace
SPI calculus
message derivation
formal analysis
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
日盲紫外非视距Ad hoc网络在军事通信中的应用
3
作者
赵芳
李晓毅
机构
重庆
通信
学院
训练部
重庆通信学院三系
出处
《科技创新导报》
2014年第14期204-205,共2页
基金
国家自然科学基金(批准号:61173131)
中央高校基本科研业务费跨学科类重大项目(批准号:CDJZR12098801)
+3 种基金
重庆市基础与前沿研究计划项目(cstc2013jcyjA40033)
重庆市重点攻关项目(批准号:CSTC2009AB2230)
重庆市攻关项目(批准号:2009AC2057)
重庆市博士后特别资助项目(批准号:XM20120054)资助的课题
文摘
介绍了日盲紫外非视距Ad hoc网络的链路工作方式、性能特点及组网原理,分析了日盲紫外非视距Ad hoc网络在军事通信中的应用。仿真实验证明本组网模式的有效性。
关键词
网络
非视距
紫外光
分类号
G64 [文化科学—高等教育学]
在线阅读
下载PDF
职称材料
题名
移动Ad hoc网络容量非合作规划博弈模型的稳定性
被引量:
5
4
作者
杨娟
李颖
张志军
李季青
机构
重庆
大学
通信
工程
学院
中国人民解放军
重庆通信学院三系
中国人民解放军
出处
《电子与信息学报》
EI
CSCD
北大核心
2012年第1期75-81,共7页
基金
国家自然科学基金(60975015)
重庆市自然科学基金(CSTC2008BB2148)
重庆大学中央高校基本科研业务基金(CDJXS10181133)资助课题
文摘
该文研究了非合作规划博弈移动Ad hoc网络容量分析模型的稳定性。首先求得非合作规划博弈移动Ad hoc网络容量分析模型的源节点流量发送速率演化方程,在此基础上构造Lyapunov函数,运用MaπkuH稳定性定理得到非合作规划博弈移动Ad hoc网络容量分析模型的稳定性。仿真试验验证了该模型具有优良的稳定性。
关键词
移动自组织网络
容量
非合作规划博弈
MaπkuH稳定性定理
Keywords
Mobile Ad hoc NETworks(MANET)
Capacity
Non-cooperative program game
stability theorem
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
超宽带时域天线阵列延时控制扫描实验
被引量:
5
5
作者
袁雪林
张洪德
徐哲峰
张光甫
袁乃昌
机构
西北核技术研究所
国防科学技术大学电子科学与工程
学院
重庆通信学院三系
国防科学技术大学图书馆
出处
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2010年第2期289-293,共5页
基金
国家高技术发展计划项目
文摘
超宽带(UWB)冲激雷达目标探测中时域天线阵列波束延时控制扫描是通过天线阵列单元间精确的延时控制实现的。在介绍UWB时域波束延时控制扫描原理的基础上,研制了用于UWB天线时域波束扫描的延时控制器,其延时步进为50 ps,延时精度可达10 ps。利用该延时控制器对单元间距42 cm的4单元UWB天线阵列H面方向进行了单元间延时控制波束扫描测量,扫描步进角度小于2°。结果显示,在0°,10°,20°和30°扫描时,实际扫描角度分别为-0.5°,10.5°,20°和29.5°,与理论计算值之间误差小于1°。
关键词
延时控制器
超宽带冲激雷达
时域天线
波束扫描
Keywords
delay-controller
ultrawide-band impulse radar
time-domain antenna
beam scan
分类号
TN782 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
基于业务需求的动态频谱分配算法
被引量:
2
6
作者
何世彪
张新春
胡智伦
曾伟
机构
重庆通信学院三系
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第24期76-78,共3页
文摘
动态频谱分配能有效解决频谱利用率低的问题,但已有的图论着色算法未考虑认知用户的业务需求,导致需求小的用户分配到更大的频谱,一定程度上造成了频谱浪费。为解决该问题,提出基于业务需求的动态频谱分配算法,使分配的信道与认知用户的业务需求适配。性能仿真结果表明,基于业务需求的算法能满足各用户的需求,性能更优。
关键词
业务需求
图论着色
动态频谱分配
认知无线电
Keywords
service demand
graph-coloring
dynamic spectrum allocation
cognitive radio
分类号
TN929.5 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
一种安全协议的组合分析模型研究
被引量:
1
7
作者
谢鸿波
吴远成
刘一静
周明天
机构
电子科技大学计算机科学与工程
学院
重庆通信学院三系
数据链教研室
四川大学计算机
学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2008年第11期2262-2267,共6页
基金
电子科学基金(No.514500101DZ02)
国家重点基础研究发展规划项目(No.G1999035803)
文摘
在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
关键词
知识推理
进程演算
形式化分析
安全属性
Keywords
knowledge derivation
process calculus
formal analysisi security property
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
大规模移动自组织网络分层优化策略研究
8
作者
杨娟
李颖
刘鸿飞
机构
重庆
大学计算机
学院
中国人民解放军
重庆通信学院三系
重庆
大学自动化
学院
出处
《计算机科学》
CSCD
北大核心
2011年第3期115-119,共5页
基金
重庆市自然科学基金项目(CSCT2008BB2148)
重庆通信学院自然科学基金项目(20090012)资助
文摘
大规模移动自组织网络(MANET)有效的分层协议可以增强网络逻辑拓扑结构的稳定性,减小通信中继花费。提出利用动态节点多特征融合与GRF-MAP结合的方法构建大规模MANET分层结构,以提高网络层次结构的稳定性。仿真数据表明,算法在分层结构的稳定性方面明显优于其他算法。
关键词
大规模MANET
分层协议
稳定性
多特征融合
吉布斯随机场—最大后验概率
Keywords
Large-scale mobile ad hoc networks
Hierarchical protocol
Stability
Multi-feature fusion
Gibbs random field—maximum a posterior
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
统一的安全属性形式化描述方法的研究
9
作者
谢鸿波
吴远成
周明天
机构
电子科技大学计算机科学与工程
学院
重庆通信学院三系
数据链教研室
出处
《计算机科学》
CSCD
北大核心
2008年第9期172-174,186,共4页
基金
国家863项目863-104-03-01课题资助
文摘
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。
关键词
协议分析
形式化分析方法
安全属性
Keywords
Protocol analysis, Security properties, Formal analysis
分类号
TP311.134 [自动化与计算机技术—计算机软件与理论]
TP316.89 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于认知无线电的自组网多信道MAC协议
10
作者
闵军
葛利嘉
机构
宜宾
学院
网络与多媒体管理中心
宜宾
学院
计算物理重点实验室
重庆通信学院三系
出处
《计算机应用与软件》
CSCD
2010年第11期223-225,共3页
文摘
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议。协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道。驻留信道的选择考虑了避免信道干扰和冲突,每个节点只需要两部半双工收发信机就能够实现在多个信道上高效的数据收发,同时只需很少的控制信息开销。仿真结果表明,协议在网络总吞吐量、端到端时延等方面具有优良的性能,能很好地适用于节点密集的应用场合。
关键词
自组网
认知无线电
信道分配
多信道
MAC协议
Keywords
Ad hoc networks
Cognitive radio
Channel assignment
Multi-channel
MAC Protocol
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
城市可持续发展水平量化的探讨
11
作者
冯孝杰
周山泉
等
机构
后勤工程
学院
军事建筑与环境工程
系
重庆通信学院三系
出处
《后勤工程学院学报》
2002年第3期88-90,98,共4页
文摘
本文以城市环境-经济系统为研究对象,借助系统工程多目标技术和协同论的观点,针对城市可持续发展水平的量化问题建立了功效函数和协调度函数。最后应用这两个函数分析了重庆市可持续发展状况。
关键词
量化
城市经济
可持续发展
协调度
功效
分类号
F290 [经济管理—国民经济]
在线阅读
下载PDF
职称材料
题名
一种基于认知无线电的自组网多信道MAC协议
12
作者
闵军
葛利嘉
机构
宜宾
学院
网络与多媒体管理中心
宜宾
学院
计算物理重点实验室
重庆通信学院三系
出处
《信息化纵横》
2009年第15期34-37,共4页
基金
国家自然科学基金项目(10577007)
重庆市重点自然科学基金项目(CSTC
+1 种基金
2007ba2017)
四川省青年科技基金(03ZQ026-061)
文摘
针对节点具有多个可用信道的自组网的信道资源利用率问题,提出了一种基于认知无线电的MAC接入协议,协议根据网络中节点的邻居关系,通过认知推理对两跳邻居范围内的不同网络节点分配不同的驻留信道,驻留信道的选择考虑了避免信道干扰和冲突,每个节点只需要两部半双工收发信机就能够实现在多个信道上高效的数据收发。仿真结果表明,协议在网络总吞吐量、端到端时延等方面具有优良的性能,能很好地适用于节点密集的应用场合。
关键词
自组网
认知无线电
信道分配
多信道
MAC协议
Keywords
ad hoc networks
cognitive radio
channel assignment
multi-channel
MAC protocol
分类号
TN929.5 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
浅析非均匀采样信号的频谱和功率
被引量:
1
13
作者
张超
何世彪
范晔
机构
重庆
通信
学院
研究生管理大队
重庆通信学院三系
出处
《通信对抗》
2005年第2期25-28,共4页
文摘
在非均匀采样信号模型的基础上,给出了非均匀采样周期信号的频谱表达式,分析了非均匀采样信号平均功率和模拟信号功率谱的对应关系,并做了仿真以验证非均匀采样信号功率收敛于真值的条件(|fn-fn-1|≠1/MT整数倍)。
关键词
非均匀采样信号
频谱
信号功率谱
信号模型
周期信号
对应关系
平均功率
表达式
整数倍
Keywords
Analog signal
Nonuniformly sampled signals
Digital spectra
Power spectra
分类号
TN911.7 [电子电信—通信与信息系统]
TN929.5 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
具有耳形零相关窗的序列对设计
被引量:
1
14
作者
刘世民
曾凡鑫
机构
重庆通信学院三系
出处
《重庆邮电学院学报(自然科学版)》
2006年第2期208-211,共4页
基金
国家自然科学基金资助(60272083)
文摘
耳形零相关窗的概念在2004年被首次提出,这种序列对在非周期相关函数的中间及两端部分都同时具有零相关窗。在近似同步CDMA系统中,如果系统的同步误差能够控制在耳形零相关窗范围内,该序列对理论上能够完全消除多径及多址干扰。给出了具有耳形零相关窗的二元序列对的一些结论,并在二元序列对设计方法的基础上给出了四相序列对设计的方法。
关键词
多址干扰
多径干扰
耳形零相关窗
四相序列对
Keywords
multi-user interference
inter-symbol interference
ear zero correlation windows
quadriphase sequences pairs
分类号
TN92 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
重叠变换抑制窄带干扰时确定干扰频率的新方法
15
作者
杨阳
曾凡鑫
杨波
机构
重庆
通信
学院
研究生队
重庆通信学院三系
出处
《通信对抗》
2005年第2期29-31,40,共4页
文摘
采用自适应重叠变换抑制窄带干扰时,如何确定窄带干扰频率是非常重要的。编码增益法将接收信号看作AR模型,使用Levinson-Durbin算法计算参数,实现对其功率谱密度的估计。编码增益法的计算量比较大。本文根据窄带干扰的特性和变换域的特点,采用周期图的滤波器组解释,通过比较一组窄带滤波器的输出来确定干扰频率,计算复杂度大大降低,但是性能与编码增益法相差不大。
关键词
干扰频率
窄带干扰
重叠变换
抑制
编码增益
功率谱密度
窄带滤波器
计算复杂度
AR模型
接收信号
计算参数
滤波器组
自适应
变换域
周期图
Keywords
estimating the power spectral density (PSD)
computational complexity
accurately excise
inaccurately excise
分类号
TN914.42 [电子电信—通信与信息系统]
TV698.13 [水利工程—水利水电工程]
在线阅读
下载PDF
职称材料
题名
变时延移动Ad-Hoc网络容量非合作规划博弈模型的渐近稳定性
被引量:
1
16
作者
杨娟
杨丹
黄彬
张小洪
杨聪
机构
重庆
大学
通信
工程
学院
中国人民解放军
重庆通信学院三系
重庆
大学软件
学院
中国人民解放军
重庆
通信
学院
基础部
中国人民解放军
重庆
通信
学院
一
系
出处
《物理学报》
SCIE
EI
CAS
CSCD
北大核心
2014年第2期21-33,共13页
基金
国家自然科学基金(批准号:61173131)
中央高校基本科研业务费跨学科类重大项目(批准号:CDJZR12098801)
+3 种基金
重庆市基础与前沿研究计划(批准号:cstc2013jcyjA40033)
重庆市重点攻关项目(批准号:CSTC2009AB2230)
重庆市攻关项目(批准号:2009AC2057)
重庆市博士后特别资助项目(批准号:XM20120054)资助的课题~~
文摘
移动Ad-Hoc网络容量的稳定性是保证其服务质量的关键性质之一.本文提出一种新颖的考虑时变传播时延的非合作规划博弈移动Ad-Hoc网络容量分析模型稳定性控制技术.首先求得加入时变传播时延项的非合作规划博弈移动Ad-Hoc网络容量分析模型的源节点发送流量速率演化方程组—–一类非线性时变时滞微分方程组,在此基础上采用描述器技术结合线性矩阵不等式技术得到该模型的渐进稳定性准则,并设计了模型稳定性控制的迭代算法.由于是基于等价模型变换,所提出的渐近稳定性判别准则具有较小的保守性.仿真实验验证了本算法的有效性.本建模与分析方法虽以具体的非合作规划博弈移动Ad-Hoc网络容量分析模型为例,但其可以应用于一般的移动Ad-Hoc网络容量稳定性控制问题.
关键词
非合作规划博弈
时变传播时延
描述器
线性矩阵不等式
Keywords
non-cooperative program game, time-varying propagation delay, descriptor, linear matrixinequalities
分类号
TN929.5 [电子电信—通信与信息系统]
O225 [理学—运筹学与控制论]
原文传递
题名
一种电台纠错编码模块的改进
17
作者
张勇
程智慧
袁晓芳
双涛
韩力
机构
北京理工大学电子工程
系
北京
重庆通信学院三系
出处
《通信技术》
2007年第11期100-101,104,共3页
文摘
文中首先简单介绍了LDPC码的优点及其译码过程,然后在SystemGenerator环境中对整个编译码算法进行了参数化的FPGA实现,最后把LDPC编码模块应用于一种电台代替原来的纠错编码模块,并验证了系统的性能。
关键词
LDPC码
FPGA
SystemGenerator
纠错码
Keywords
LDPC code
FPGA
SystemGenerator
error-correcting code
分类号
TN911.22 [电子电信—通信与信息系统]
原文传递
题名
作者
出处
发文年
被引量
操作
1
MC-CDMA系统抗单频干扰性能分析
何世彪
杨士中
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2004
1
在线阅读
下载PDF
职称材料
2
基于时序关系的消息推理及安全协议符号迹分析
谢鸿波
吴远成
周明天
《中国电子科学研究院学报》
2010
0
在线阅读
下载PDF
职称材料
3
日盲紫外非视距Ad hoc网络在军事通信中的应用
赵芳
李晓毅
《科技创新导报》
2014
0
在线阅读
下载PDF
职称材料
4
移动Ad hoc网络容量非合作规划博弈模型的稳定性
杨娟
李颖
张志军
李季青
《电子与信息学报》
EI
CSCD
北大核心
2012
5
在线阅读
下载PDF
职称材料
5
超宽带时域天线阵列延时控制扫描实验
袁雪林
张洪德
徐哲峰
张光甫
袁乃昌
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2010
5
在线阅读
下载PDF
职称材料
6
基于业务需求的动态频谱分配算法
何世彪
张新春
胡智伦
曾伟
《计算机工程》
CAS
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
7
一种安全协议的组合分析模型研究
谢鸿波
吴远成
刘一静
周明天
《电子学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
8
大规模移动自组织网络分层优化策略研究
杨娟
李颖
刘鸿飞
《计算机科学》
CSCD
北大核心
2011
0
在线阅读
下载PDF
职称材料
9
统一的安全属性形式化描述方法的研究
谢鸿波
吴远成
周明天
《计算机科学》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
10
一种基于认知无线电的自组网多信道MAC协议
闵军
葛利嘉
《计算机应用与软件》
CSCD
2010
0
在线阅读
下载PDF
职称材料
11
城市可持续发展水平量化的探讨
冯孝杰
周山泉
等
《后勤工程学院学报》
2002
0
在线阅读
下载PDF
职称材料
12
一种基于认知无线电的自组网多信道MAC协议
闵军
葛利嘉
《信息化纵横》
2009
0
在线阅读
下载PDF
职称材料
13
浅析非均匀采样信号的频谱和功率
张超
何世彪
范晔
《通信对抗》
2005
1
在线阅读
下载PDF
职称材料
14
具有耳形零相关窗的序列对设计
刘世民
曾凡鑫
《重庆邮电学院学报(自然科学版)》
2006
1
在线阅读
下载PDF
职称材料
15
重叠变换抑制窄带干扰时确定干扰频率的新方法
杨阳
曾凡鑫
杨波
《通信对抗》
2005
0
在线阅读
下载PDF
职称材料
16
变时延移动Ad-Hoc网络容量非合作规划博弈模型的渐近稳定性
杨娟
杨丹
黄彬
张小洪
杨聪
《物理学报》
SCIE
EI
CAS
CSCD
北大核心
2014
1
原文传递
17
一种电台纠错编码模块的改进
张勇
程智慧
袁晓芳
双涛
韩力
《通信技术》
2007
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部