国家高技术研究发展计划(2007AA010408)

作品数：27被引量：68H指数：5
导出分析报告
相关作者：周清雷张志鸿李学相朱维军张文宁更多>>
相关机构：郑州大学西安电子科技大学北京交通大学华北水利水电学院更多>>
相关期刊：《华南理工大学学报（自然科学版）》《电子科技大学学报》《电子学报》《郑州大学学报（工学版）》更多>>
相关主题：可满足性判定安全协议PARETO占优服务质量多目标更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的系统生存性分析被引量：2
《计算机工程》2012年第17期38-41,共4页周清雷 张兵 席琳 
国家"863"计划基金资助项目"基于ASP模式的软件服务支持技术研究"(2007AA010408)
提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PR...
关键词：生存性分析 形式化方法 模型检测 PRISM检测工具 离散马尔科夫链 概率计算树逻辑 
基于Murkowski距离连续的非刚体三维运动恢复算法研究
《计算机科学》2012年第11期280-282,共3页李学相 安学庆 
国家高技术研究发展计划(2007AA010408);河南省自然科学基金项目(0311010500)资助
现有的非刚体三维运动重建算法很难根据不同的场景、不同的非刚体来寻找不同的形状基,这种情况对重建过程产生了很大的影响,造成模型失真。为了解决这一问题,提出一种基于Murkowski距离连续的非刚体三维运动恢复算法,该算法根据在高速...
关键词：非刚体 Murkowski距离 三维运动重建 非线性优化 
多目标人工蜂群算法在服务组合优化中的应用被引量：14
《计算机应用研究》2012年第10期3625-3628,共4页周清雷 陈明昭 张兵 
国家高技术研究发展计划资助项目(2007AA010408)
应用广泛的聚集函数法可将多目标问题转换为单目标问题,但函数设计困难,通用性不强,且优化结果不能直观反映各目标的优化情况。提出了一个基于Pareto占优的多目标人工蜂群算法,改进了邻域搜索策略,给出一个对比实验。实验结果表明,改进...
关键词：服务组合 服务质量 人工蜂群算法 PARETO占优 
基于多指标融合的猪肉新鲜度智能检测方法被引量：3
《计算机仿真》2012年第9期224-227,共4页李学相 
国家高技术研究发展计划(2007AA010408)
研究猪肉新鲜度检测优化问题,传统人工感官评定和化学方法测量均检测不准确,无法对猪肉新鲜度进行准确评价,检测误差大。为提高猪肉新鲜度检测准确率,将多种评价指标(特征)相融合,提出一种利用智能猪肉新鲜度检测方法。首先分别采用图...
关键词：支持向量机 猪肉新鲜度 检测 主成分分析 
从活性顺序图到时态逻辑的转化方法被引量：2
《计算机工程与设计》2012年第9期3437-3441,共5页付明慧 周清雷 张兵 
国家863高技术研究发展计划基金项目(2007AA010408)
为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并且定义一种基于路径的语义,用活性顺序图表述系统的场景需求。根据提出的语义,给出了一个将场景需求显式...
关键词：活性顺序图 时态逻辑 路径语义 场景需求 模型检测 
一种改进的RC(3,7)安全协议
《华中科技大学学报（自然科学版）》2012年第9期62-65,共4页朱维军 翟萍 周清雷 
国家高技术研究发展计划资助项目(2007AA010408)
针对在无条件安全通信中,现有的俄罗斯纸牌协议在3个游戏者和7张纸牌的情况下(RC(3,7)协议)显著存在通信信息冗余的问题,提出一种消息构造算法和一组发送规则.首先计算最小信息集合,然后给出通信数据,最后通信方发送基于最小信息集的消...
关键词：通信协议 安全协议 认证 算法 博弈论 
基于改进盲均衡算法的水声通信可靠性研究
《计算机仿真》2012年第8期142-145,共4页李学相 安学庆 
国家高技术研究发展计划(2007AA010408)
关于水声信道通信优化问题,水声通信中复杂信道存在码间干扰极易影响通信质量,需要进行均衡提高通信数据的可靠性,传统的自适应均衡方法是通过发送训练序列对信道特性捕获并更新参数完成均衡,然而对于快速时变的信道,不能快速得到信道...
关键词：水声通信 码间干扰 盲均衡 
可复用测试用例及其相关支撑管理框架研究被引量：1
《科技通报》2012年第6期62-64,共3页李学相 张文宁 
国家高技术研究发展计划(2007AA010408)
有效复用测试用例能够提高测试效率。本文围绕软件复用的3个基本问题,分析了可复用测试用例的复用维度、质量特性;研究了可复用测试用例库的结构、相关角色及支撑管理措施;提出了测试用例复用过程,对可复用测试用例全生命周期内的活动...
关键词：测试用例复用 复用维度 质量特性 可复用测试用例库 管理框架 
改进的最大熵权值算法在文本分类中的应用被引量：8
《计算机科学》2012年第6期210-212,共3页李学相 
国家高技术研究发展计划(2007AA010408)资助
由于传统算法存在着特征词不明确、分类结果有重叠、工作效率低的缺陷,为了解决上述问题,提出了一种改进的最大熵文本分类方法。最大熵模型可以综合观察到的各种相关或不相关的概率知识,对许多问题的处理都可以达到较好的结果。提出的...
关键词：文本分类 最大熵算法 均值聚类 特征选择 
基于LEGClust算法的入侵检测方法
《计算机工程》2012年第5期133-135,共3页周清雷 张朝阳 赵奕林 
国家"863"计划基金资助项目(2007AA010408)
针对LEGClust算法在合并簇的过程中易将异常簇并入正常簇的问题,提出一种改进的LEGClust算法,将LEGClust算法应用于入侵检测,发现数据集内任意形状簇,建立入侵检测模型,找出异常数据。在KDD CUP1999数据集上的仿真实验结果表明,该方法...
关键词：网络安全 入侵检测 聚类分析 LEGClust算法 RENYI熵 PARZEN窗 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部