江苏省高校自然科学研究项目(10KJB520015)

作品数：6被引量：10H指数：3
导出分析报告
相关作者：张迎周符炜刘玲玲杨庚孙无极更多>>
相关机构：南京邮电大学南京大学北京邮电大学江苏省无线传感网高技术研究重点实验室更多>>
相关期刊：《教育与教学研究》《系统工程与电子技术》《微电子学与计算机》《中国电子商情（通信市场）》更多>>
相关主题：HASKELL形式化方法抽取方法程序切片编程技术更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式化方法的服务自动测试方法
《系统工程与电子技术》2013年第12期2619-2630,共12页张迎周 符炜 张卫丰 
国家自然科学基金(60873049;61300054);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南京邮电大学攀登计划项目基金(NY210009);江苏省"青蓝工程"优秀青年骨干教师以及高校研究生科研创新计划项目(CXLX12_0479);广西可信软件重点实验室开放基金(PF13069)资助课题
鉴于开放网络环境下的Web服务实体主要来源于不同的第三方提供者,并且其形成与运行过程常处于一种演化状态中,故难以采取传统的测试方式保障其可靠性。利用代数方法从"观察"角度考察系统及其性质,结合单子的高度可结合性、反射性和重用...
关键词：WEB服务测试 测试用例表示 测试数据自动测试 单子技术 余代数方法 
基于图灵机的云服务组合方法研究被引量：1
《中国电子商情（通信市场）》2013年第1期139-143,共5页邹德国 朱荣鑫 
国家自然科学基金项目（60703086,60973046）;江苏省自然科学基金项目（BK2009426）;江苏省高校自然科学基金（10KJB520015）;南应变邮电大学攀登计划（NY210009）
由于现有的云架构缺乏云服务组合的中间件层，所以本文提出基于图灵机的云服务组合模型，并实现了云服务组合（CMCD）虏型，它包括云服务组合模块和图灵机构造模块。在云服务的组合上，使用有限状态机（FSM）规定其调用序列，并且创建...
关键词：云服务 组合 图灵机 部署 FSM 
一种基于操作请求图的Web服务入侵检测方法
《微电子学与计算机》2012年第11期9-12,共4页郑梁须 张迎周 符炜 
国家自然科学基金项目(60703086;60973046);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南应变邮电大学攀登计划(NY210009);江苏省普通高校研究生科研创新计划(CXLX12_0479)
为了解决松散耦合性导致的Web服务易遭受攻击的问题,提出一种针对Web服务调用的异常检测方法.通过对BPEL文件的控制流程图进行分析,提取出服务编排中涉及的所有服务操作,以结构性活动为逻辑关系,以操作间传递的参数为有向边权值构造操...
关键词：WEB服务 BPEL 控制流程图 操作请求图 异常检测 
信息流安全技术回顾与展望被引量：3
《南京邮电大学学报（自然科学版）》2011年第5期87-96,共10页张迎周 刘玲玲 
国家自然科学基金(60703086;60873231;60873049;60973046);江苏省高校自然科学基金(10KJB520015);南京邮电大学自然科学研究基金(NY210009);江苏省"青蓝工程"优秀青年骨干教师项目;广西可信软件重点实验室开放基金资助项目
随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多。访问控制、入侵检测、加密等传统的安全机制只注重控制信息的释放,不能充分保证信息端到端的安全。信息流的方法通过分析系统中信息的流动,确保流...
关键词：信息流安全 语义模型 类型系统 形式化方法 
函数编程技术在计算机数学教学中的应用探讨被引量：3
《教育与教学研究》2011年第9期76-78,82,共4页张迎周 
国家自然科学基金面上项目"基于单子技术的网构软件构件模型及其演化"(编号:60973046);江苏省高校自然科学基金(10KJB520015);江苏省"青蓝工程"优秀青年骨干教师项目;南京邮电大学计算机学院教改项目(JSJ09021)等资助
计算机数学,又称离散数学,是计算机学科的重要专业基础课程。在实际教学中发现,计算机科学专业的学生对该课程感兴趣的不多,多数畏惧其概念多、理论强且抽象。利用一种函数式程序设计语言(Haskell)辅助学生进行计算机数学中相关概念理...
关键词：计算机数学 函数式编程 HASKELL 代数系统 
一种基于函数依赖图的构件抽取方法被引量：3
《南京邮电大学学报（自然科学版）》2010年第6期78-84,共7页符炜 张迎周 孙无极 杨庚 
国家自然科学基金(60703086;60873231;60973046;60903026);江苏省自然科学基金(BK2009426);江苏省高校自然科学基金(10KJB520015);南京邮电大学樊登计划(NY210009)资助项目
结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上...
关键词：构件抽取 函数依赖图 程序切片 内聚度和耦合度 HASKELL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部