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

第二届全国智能信息处理学术会议

作者：涂锟顾乃杰任开新中国科学技术大学计算机科学与技术系安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

针对传感器网络地址分配过程中为了避免地址冲突而导致通信能耗较大的问题,提出了一种基于静态博弈模型的MAC地址分配算法MAAS.该算法将传感器节点看作博弈模型中的决策者,通过使模型达到纳什平衡来解决节点的MAC地址分配问题.在进行地... 详细信息

针对传感器网络地址分配过程中为了避免地址冲突而导致通信能耗较大的问题,提出了一种基于静态博弈模型的MAC地址分配算法MAAS.该算法将传感器节点看作博弈模型中的决策者,通过使模型达到纳什平衡来解决节点的MAC地址分配问题.在进行地址分配时,MAAS利用博弈模型中每个决策者可根据其邻居节点信息独立进行决策的性质,避免了节点在地址分配过程中发送大量的交互信息.实验结果表明,MAAS在保证较低冲突率的同时降低了地址分配过程中的通信消耗.

关键词：地址分配静态博弈无线传感器网络纳什平衡通信消耗

来源：评论

学校读者我要写书评

暂无评论

基于云定性仿真的兰彻斯特作战模型

引用

计算机系统应用 2014年第1期23卷 103-108页

作者：邵晨曦孙克律邵振中中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 安徽江淮汽车股份有限公司合肥230022

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路... 详细信息

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路标值,并将云测度指标在约束集合中传播以提高仿真结果的准确性,不仅可以更准确地表征作战模型中相关变量的不确定性,而且扩充了作战应用的适用范围,尤其是在无法或无需对模型相关变量精确量化的情况下,仿真中涉及到如何表征这些不确定性的定性变量时,该方法具有一定优势.最后以经典历史战役为例验证了该方法的正确性与可行性.

关键词：兰彻斯特方程作战模型定性仿真云模型云测度

来源：评论

学校读者我要写书评

暂无评论

基于启发式搜索的IP数据流分类方法的研究

基于启发式搜索的IP数据流分类方法的研究

引用

2012中国计算机大会

作者：武飞曾凡平熊能邓超强董齐兴中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

安徽省计算与通讯软件重点实验室，合肥230026基于应用层载荷特征的IP流分类技术的准确性较高，但是，当特征库庞大时遍历匹配特征库需要消耗大量的时间。鉴于此，提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法。通过... 详细信息

安徽省计算与通讯软件重点实验室，合肥230026基于应用层载荷特征的IP流分类技术的准确性较高，但是，当特征库庞大时遍历匹配特征库需要消耗大量的时间。鉴于此，提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法。通过从各种应用产生的数据包之间提取共同特征并以此共同特征建立启发式规则，根据启发式规则将特征库划分为多个特征子集，在数据包匹配过程中只需要根据启发式规则搜索匹配特定的特征子集，从而大大减少了对无关特征的匹配过程，使待匹配的特征子集具有更强的针对性、使得时间性能得到提高。对于部分应用采用以DNS为引导的方法来对数据包进行分类，该方法部分消除了基于载荷无法对加密数据进行识别的弊端。本文用C语言实现了该算法，并与开源软件17-filter算法进行了对比实验。实验结果表明：在离线状态下，本文提出的方法的分类速度是17-filter分类速度的6-10倍，总体识别准确性达到98％以上。

关键词：数据流分类启发式规则正则表达式 17-filter

来源：评论

学校读者我要写书评

暂无评论

程序不变量到断言的自动转换方法研究及其应用

程序不变量到断言的自动转换方法研究及其应用

引用

2012中国计算机大会

作者：邓超强曾凡平武飞熊能董齐兴中国科学技术大学计算机科学与技术学院合肥 230026 中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学技术大学计算机科学与技术学院合肥 230026 中国科学院软件研究所计算机科学国家重点实验室北京 100190 安徽省计算与通讯软件重点实验室合肥 230026

程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为... 详细信息

程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法，并利用断言判断新用例是否冗余，仅当新用例非冗余时才提取程序不变量，从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试，可以有效约简测试用例集合，识别程序改动所影响的元素，进而发现潜在的程序错误。实验结果表明，与其它测试用例选择方法相比，本文方法时间消耗小、测试用例集合约简率高、揭错能力强。

关键词：程序不变量断言回归测试错误识别测试用例集合约简

来源：评论

学校读者我要写书评

暂无评论

混合式无线mesh网络中信道分配算法研究

混合式无线mesh网络中信道分配算法研究

引用

第二届全国智能信息处理学术会议

作者：毕坤顾乃杰任开新董万利中国科学技术大学计算机科学技术系安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 西南科技大学计算机科学与技术学院四川绵阳621010

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法--LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好平... 详细信息

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法--LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好平衡了信道负载.理论分析表明,LBCA算法以趋近1的概率在O(log n)轮内结束,n为网络固定接口卡数目;模拟实验表明,在网络负载达到80％以上时,对信道数目不大于6的网络,LBCA算法的网络吞吐率与目前同类算法相比提升10％以上.

关键词：无线mesh网络混合式信道分配负载平衡冲突图数据传输

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：