国家自然科学基金(61163011)

作品数：18被引量：35H指数：4
导出分析报告
相关作者：李华叶新铭孙涛张福元曹军更多>>
相关机构：内蒙古大学内蒙古财经大学中国科学院东北大学更多>>
相关期刊：《中国教育网络》《计算机应用研究》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：CPNPETRI网彩色图像基于视觉迭代更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种SDN北向接口测试方法研究被引量：2
《内蒙古工业大学学报（自然科学版）》2018年第3期207-215,共9页郑冰 李华 郝世杰 
国家自然科学基金项目(61163011);内蒙古自然科学基金项目(2015MS0612);内蒙古高校科学技术研究项目(NJZY010);赛尔网络下一代互联网技术创新项目((NGII20150112)
SDN(Software Defined Networking)实现了网络的可编程性、控制与转发相分离和集中化控制.北向API是SDN控制器的重要组成部分.本文以OpenDaylight控制器为研究对象对SDN的北向API进行测试研究,分析了SDN北向API的测试研究现状,研究了Ope...
关键词：SDN 北向API 测试 
基于形式化的测试框架及实例分析被引量：1
《计算机应用研究》2018年第6期1778-1782,共5页李元平 李华 阮宏玮 赵俊岚 王彪 
国家自然科学基金资助项目(61163011);赛尔网络下一代互联网技术创新项目(NGII20150112)
测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法...
关键词：测试框架 IPV6 OpenFlow 测试引擎 
界标窗口下数据流最大规范模式挖掘算法研究被引量：4
《计算机研究与发展》2017年第1期94-110,共17页闻英友 王少鹏 赵宏 
国家自然科学基金项目(60903159,61173153,61402096,61163011,61262082,61662054);中央高校基本科研业务费专项资金项目(N110818001,N100218001,N130504007,N120104001);国家“八六三”高技术研究发展计划基金项目(2015AA016005);沈阳市科技计划项目(1091176-1-00);内蒙古自然科学基金项目(2015MS0612)~~
首次对界标窗口下数据流最大规范模式挖掘问题进行了研究.为了克服na6ve算法在处理该问题时不具有增量计算的缺点,提出了一种基于边界界标窗口技术的数据流最大规范模式挖掘(data stream maximal regular patterns mining based on boun...
关键词：数据流 界标窗口 最大规范模式 增量计算 边界界标窗口技术 
有限状态机模型测试序列生成算法研究被引量：6
《计算机科学》2016年第S2期474-481,共8页李元平 李华 赵俊岚 
国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约...
关键词：DFSM NFSM 约束集 适应性测试 
内蒙古大学:针对HTML5的攻击方式分析及检测方法
《中国教育网络》2015年第2期59-60,共2页刘麒 吕婷 徐阳 李华 
国家自然科学基金资助项目((61163011,61262082);内蒙古自然科学基金项目(2012MS0922);2014年国家级大学生创新训练计划项目《基于HTML5的安全性研究》
HTML5作为新兴语言,具有零插件、跨平台的特点,同时能够避免很多限制。虽然使用HTML5会使Web应用程序越来越丰富多彩,但是HTML5的新功能在推动Web应用的同时也加大了攻击者发动某种形式攻击的概率,对自身的安全构成威胁。目前还在标准...
关键词：HTML5 标准化过程 应用程序 COOKIE 恶意脚本 点击劫持 僵尸网络 攻击效果 网络钓鱼 黑盒测试 
针对软件中2路并发行为完全覆盖的测试方法被引量：2
《重庆邮电大学学报（自然科学版）》2014年第6期727-736,共10页孙涛 叶新铭 
国家自然科学基金(61163011);内蒙古自然科学基金(2012MS0922)~~
针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net,To CPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net,CPN)进行描...
关键词：测试着色Petri网(ToCPN) 2路并发 外部观察点 测试序列 
基于层次CPN的OpenFlow建模研究
《计算机科学》2014年第7期114-118,共5页李华 贺楠 董路路 吕亮亮 
国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对O...
关键词：CPN 建模 OpenFlow 
一种针对CP-nets并发模型的验证方法
《计算机科学》2014年第7期135-139,161,共6页孙涛 叶新铭 
国家自然科学基金资助项目(61262017);国家自然科学基金资助项目(61163011);内蒙古自然科学基金资助项目(2012MS0922);内蒙古自然科学基金资助项目(2011MS0912)资助
状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低...
关键词：模型验证 化简 抽象 状态爆炸 
U2TP到TTCN-3自动转换的研究与实现
《计算机科学》2014年第S1期433-437,共5页侯晓媛 王显荣 李华 沈维维 
国家自然科学基金:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011)资助
在系统建模阶段使用UML 2.0Testing Profile(U2TP)集成测试信息,不仅可以使系统开发者在系统建模初期就获得对测试的整体观念,还可以从初始阶段就限制测试例的数量。The Testing and Test Control Notation version(TTCN-3)具有完善、...
关键词：U2TP TTCN-3 ATS 自动转换 
基于视觉灵敏度及粗集的彩色图像滤波算法被引量：10
《电子测量与仪器学报》2014年第2期211-217,共7页李高西 曹军 张福元 
国家自然科学基金资助项目(61163011);内蒙古大学研究生导师经费
为消除人眼视觉差别对彩色图像滤波的影响,提出了一种新的滤波算法VRDDF(visual sensitivity rough set directional distance filter)。对于被噪声污染的彩色图像,先用粗集理论对噪声做初步检测,在此基础上结合视觉感知灵敏度对噪声点...
关键词：彩色图像 视觉灵敏度 粗集 迭代DDF滤波 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部