范玉涛

作品数：15被引量：30H指数：3
导出分析报告
供职机构：华北科技学院计算机学院更多>>
发文主题：双语教学校园网CPN安全协议形式化分析方法更多>>
发文领域：自动化与计算机技术文化科学农业科学自然科学总论更多>>
发文期刊：《计算机应用》《计算机工程与设计》《计算机教育》《计算机与现代化》更多>>
所获基金：国家高技术研究发展计划中国科学院研究生院院长基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种含时间因素的安全协议形式化分析方法被引量：1
《计算机应用与软件》2013年第1期315-318,共4页范玉涛 苏桂平 
中国科学院研究生院院长基金项目(Y15102HN00)
提出一种针对包含时间因素的安全协议的有色Petri(CPN)形式化分析方法,利用CPN Tools中的内置全局自动时钟标记,时间相关性质可通过仿真和生成状态图进行分析验证。基于这一方法,对著名的NS协议(简化版)建模,来分析验证与时间相关的安...
关键词：形式化分析CPN 时间因素 安全协议 
一种适于带时间戳安全协议的形式化分析方法被引量：1
《计算机工程与应用》2012年第36期116-120,共5页范玉涛 苏桂平 
中国科学院研究生院院长基金(No.Y15102HN00)
提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分...
关键词：形式化分析 有色Petri网(CPN) 时间戳 安全协议 
计算机科学与技术专业双语教学体系构建被引量：3
《计算机教育》2011年第24期50-53,共4页范玉涛 
针对计算机科学与技术专业双语教学效果不理想的现状,提出以系统性、连贯性和可操作性的原则科学合理构建双语教学体系,从教学思想、教学管理、师资队伍、教学环境等方面全面规划,按照循序渐进、分阶段和分层次的思路,针对教学规划、教...
关键词：双语教学 教学体系 教学环节 
梯进式双语教学模式在“计算机导论”的应用研究被引量：1
《中国电力教育》2011年第11期88-89,共2页范玉涛 
梯进式双语教学模式即循序渐进地分阶段实施双语教学。在"计算机导论"课程中应用该教学模式可以兼顾学习专业知识和培养双语学习习惯的双重目的。通过以梯次推进为指导,具体教学环节的指标量化实现,并配合有效的教学辅助手段。实践证明...
关键词：梯进式双语教学 计算机导论 双语学习 
二本院校“计算机导论”双语教学初探
《中国电力教育》2011年第4期79-80,共2页范玉涛 
针对二本院校学生的特点,提出在"计算机导论"的双语教学中,要从明确教学目标、注重英语使用度以及充分利用教学辅助工具等几个方面,开创性进行各项教学活动,使得双语教学能真正起到提高人才培养质量的目的。
关键词：双语教学 二本院校 语码转换 
建构主义在大学计算机基础教学中的应用探索被引量：2
《中国教育技术装备》2009年第15期15-16,共2页范玉涛 
建构主义也称为结构主义，它以十分注重以原有的经验、心理结构和信念为基础来建构知识，强调学习的主动性、社会性和情境性为特征。目前随着多媒体计算机和网络通信技术的日益普及，以建构主义为理论依据的教学方法正得到人们的广泛关...
关键词：建构主义 支架式教学 实例教学 随机教学 
基于校园网的毕业设计(论文)管理系统的设计与实现被引量：8
《计算机与现代化》2009年第5期57-60,共4页席振元 鞠宏军 范玉涛 
华北科技学院科研基金资助项目(200312)
毕业设计环节是高校整个教学过程中最为重要的一个教学环节,整个工作涉及学生多、教师多、教学环节多、周期长,因而管理难度大且烦琐,需要加强科学化管理。充分利用网已经建成的校园网络资源,将大大提高管理效率。本文给出了基于校园网...
关键词：毕业设计 科学化管理 校园网 管理系统 
普通高校计算机课程双语教学对比分析被引量：1
《理工高教研究》2009年第1期119-121,共3页范玉涛 
华北科技学院高等教育科学研究项目(2D08-9)
概述了普通高校开展双语教学的必要性,从课程的选取、授课方式、考试方式等方面分析了对不同课程和不同教学对象双语教学的实施方法,并提出在计算机学科中进行双语教学的建议。
关键词：计算机 双语教学 高等教育 
Spring Acegi的安全应用与扩展被引量：5
《计算机应用与软件》2008年第12期1-3,11,共4页范玉涛 苏桂平 王永涛 
国家高科技发展计划(863)项目(2002AA141041)
Spring框架作为一个优秀的多层J2EE系统框架,本身没有提供对系统的安全性支持。Acegi是基于Spring基于IoC(Inversion of Control)和AOP(Aspect Oriented Programming)机制实现的一个安全框架。主要说明了如何在Spring Acegi框架下对资...
关键词：SPRING ACEGI 认证 授权 MD5 过滤器 
基于整数小波变换的图像盲数字水印算法
《计算机工程与设计》2008年第21期5566-5568,共3页范玉涛 苏桂平 
国家863高技术研究发展计划基金项目(2002AA141041)
为了提高基于小波变换的图像数字水印算法抵御缩放等攻击的能力,提出了一种基于整数小波变换的图像盲数字水印算法。采用的整数小波变换利用了小波的多分辨分析特性能有效地匹配人类视觉系统模型的特点,更好地兼顾了水印透明性与鲁棒性...
关键词：整数小波变换 盲数字水印 形态学 鲁棒性 透明性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部