检索结果-内蒙古大学图书馆

计算机工程 2011年第5期37卷 118-120,123页

作者：李洪生李颖王维重庆通信学院数据链教研室重庆400035

提出一种基于时隙调度的DTRA改进协议——SDTRA协议。在邻节点发现阶段,通过发送时间随机抖动,减少发现过程中的冲突;在时隙调度阶段,提出基于贪婪算法的边着色法,调度节点的可用时隙,同步的时隙调度方案更好地保证了对Qos的支持。仿真... 详细信息

提出一种基于时隙调度的DTRA改进协议——SDTRA协议。在邻节点发现阶段,通过发送时间随机抖动,减少发现过程中的冲突;在时隙调度阶段,提出基于贪婪算法的边着色法,调度节点的可用时隙,同步的时隙调度方案更好地保证了对Qos的支持。仿真结果表明,与DTRA协议相比,改进协议在邻节点发现效率、时隙利用率和吞吐量上有较大改进。

关键词： DTRA协议邻节点发现时隙调度边着色

来源：评论

学校读者我要写书评

暂无评论

基于定向天线的移动自组网路由协议研究

引用

通信技术 2010年第7期43卷 126-130页

作者：王维李颖李洪生重庆通信学院数据链教研室重庆400035

同等功耗下,定向天线能够产生更高的增益,提供更大的传输范围,提高网络的空间复用度和吞吐量,天线选择的方向性又降低了邻近结点之间的相互干扰,采用定向天线能够给移动自组网带来潜在性能的提高。对基于定向天线的移动自组网路由协议... 详细信息

同等功耗下,定向天线能够产生更高的增益,提供更大的传输范围,提高网络的空间复用度和吞吐量,天线选择的方向性又降低了邻近结点之间的相互干扰,采用定向天线能够给移动自组网带来潜在性能的提高。对基于定向天线的移动自组网路由协议进行研究,简单介绍了定向天线,总结了引入定向天线产生的路由问题,对现有的一些典型定向路由协议进行了分类、介绍和比较,最后对引入定向天线带来的好处进行了分析。

关键词：移动自组网定向天线路由协议

来源：评论

学校读者我要写书评

暂无评论

统一的安全属性形式化描述方法的研究

引用

计算机科学 2008年第9期35卷 172-174,186页

作者：谢鸿波吴远成周明天电子科技大学计算机科学与工程学院成都610054 重庆通信学院三系数据链教研室重庆400035

安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细... 详细信息

安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。

关键词：协议分析形式化分析方法安全属性

来源：评论

学校读者我要写书评

暂无评论

安全属性形式化描述统一框架及其分析方法研究

引用

计算机应用研究 2011年第4期28卷 1460-1464页

作者：谢鸿波谭兴烈周明天电子科技大学计算机科学与工程学院成都610054 重庆通信学院数据链教研室重庆400035 中国电子工业集团第30研究所成都610041

在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠... 详细信息

在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性。在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型。最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向。

关键词：进程演算知识推理安全属性形式化分析安全协议

来源：评论

学校读者我要写书评

暂无评论

一种安全协议的组合分析模型研究

引用

电子学报 2008年第11期36卷 2262-2267页

作者：谢鸿波吴远成刘一静周明天电子科技大学计算机科学与工程学院四川成都610054 重庆通信学院三系数据链教研室重庆400035 四川大学计算机学院四川成都610065

在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏... 详细信息

在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.

关键词：知识推理进程演算形式化分析安全属性

来源：评论

学校读者我要写书评

暂无评论

USB移动盘启动VxWorks系统的设计与实现

引用

微计算机信息 2009年第35期25卷 94-95,67页

作者：恽姿张磊郭晓解放军理工大学通信工程学院数据链教研室

从USB移动盘启动嵌入式实时系统较其他启动方式有很多优势。本文在分析VxWorks操作系统的引导过程的基础上,深入研究了USB驱动在引导过程中的加载难题,最终创新性地实现了从USB移动盘引导VxWorks操作系统。

关键词：嵌入式操作系统通用串行总线引导

来源：评论

学校读者我要写书评

暂无评论

基于时序关系的消息推理及安全协议符号迹分析

引用

中国电子科学研究院学报 2010年第2期5卷 152-158页

作者：谢鸿波吴远成周明天电子科技大学计算机科学与工程学院成都610054 重庆通信学院三系数据链教研室重庆400035

如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消... 详细信息

如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。

关键词：符号迹 SPI算子消息推理形式化分析

来源：评论

学校读者我要写书评

暂无评论

统一潮流控制器的线性二次高斯控制/回路传输恢复技术设计

引用

电网技术 2003年第3期27卷 41-45页

作者：雷绍兰颜伟王官洁周林重庆通信学院电力电子教研室重庆400035 重庆大学高电压与电工新技术教育部重点实验室重庆400044 重庆移动通信有限责任公司数据中心重庆400041

线性二次高斯控制/回路传输恢复技术(LQG/LTR)是一种多变量频域设计方法,它以良好的鲁棒性和解耦特性得到广泛的应用。本文基于UPFC的5阶动态模型以单机无穷大系统为例,采用LQG/LTR控制原理设计了 UPFC的LQG/LTR控制器。仿真结果表明,... 详细信息

线性二次高斯控制/回路传输恢复技术(LQG/LTR)是一种多变量频域设计方法,它以良好的鲁棒性和解耦特性得到广泛的应用。本文基于UPFC的5阶动态模型以单机无穷大系统为例,采用LQG/LTR控制原理设计了 UPFC的LQG/LTR控制器。仿真结果表明,该控制方法具有比线性最优控制更好的动态品质,并具有干扰抑制能力,特别是对干扰信号能表示成白噪声的系统模型,从而使系统具有较好的鲁棒性和稳定性。

关键词：统一潮流控制器线性二次高斯控制回路传输恢复技术设计电力系统暂态稳定性

来源：评论

学校读者我要写书评

暂无评论

美军战术组件网的分析与研究

引用

舰船电子工程 2008年第1期28卷 29-32,119+4页

作者：王士军吴忠清张磊吴泽民解放军理工大学通信工程学院电信工程系数据链教研室南京210007 中国船舶重工集团公司第七二二研究所武汉430079

以多传感器融合技术为基础的协同作战系统在军事上具有良好的应用前景。美军在发展海上协同作战系统的基础上,提出战术组件网的思想。介绍美军战术组件网的提出背景及其体系结构特点,详述TCN网络的结构组成及其数据处理过程。

关键词：传感器网络协同作战能力战术组件网

来源：评论

学校读者我要写书评

暂无评论

QMC协议驱动在MPC860T上的设计与实现

引用

信息技术与信息化 2007年第2期 31-34页

作者：郭珍军杨正春张磊张剑锋解放军总医院 100853 解放军理工大学通信工程学院数据链教研室 210007 解放军理工大学通信工程学院电信工程系 210007

串行通信控制器SCCs是MPC860T最强大的通信处理模块。通过配置QMC协议,使标准情况下只支持一条逻辑通道的SCC可以支持多达64条逻辑通道,进而支持具有广泛应用的E1/T1多时隙链路。本文阐述了MPC860T的SCC接口工作原理和QMC协议,重点研究... 详细信息

串行通信控制器SCCs是MPC860T最强大的通信处理模块。通过配置QMC协议,使标准情况下只支持一条逻辑通道的SCC可以支持多达64条逻辑通道,进而支持具有广泛应用的E1/T1多时隙链路。本文阐述了MPC860T的SCC接口工作原理和QMC协议,重点研究了在SCC上实现QMC协议的基本设计方法及具体实现过程,并给出了主要功能函数的设计流程。

关键词： MPC860T 嵌入式通信处理器 QMC Vxworks操作系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：