詹涛
- 作品数：22 被引量：49H指数：4
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 安全主动网络中的证书研究
- 2006年
- 传统的证书系统在主动网络的安全应用中存在较大的效率损失.本文提出的代码证书机制改变了传统证书结构的认证主体,使认证主体从发布者变成代码本身,这样可以使得对不同主动协议赋予更加细致的权限.同时,由于证书主体的改变,在证书中增加了具体描述主动协议能力和资源的情况,从而在一定条件下简化授权的工作,使得代码在效率上较传统的ACL方式有很大的提高.本文给出了代码证书的设计和实现,并在网络仿真环境下进行了测试.测试结果表明,对于包含敏感操作的信包,代码证书比传统证书高出约25%的吞吐率.
- 廖志刚李增智詹涛陈妍
- 关键词：主动网络代码证书网络安全
- 构建具有优良人文环境的虚拟校园学习系统
- 本文研究并实现了具有个性化的学习场景和优良人文环境的“虚拟校园学习系统”；探讨了课程网站和网络学习平台之间的功能划分，提出了可链接任何一种网络学习平台的“瘦型课程网站”模式；设计中强调了信息管理的功能，实现了具有可重复搜...
- PEI Xinfeng裴新凤WEI Yin魏英ZHAN Tao詹涛WANG Fang汪芳
- 关键词：网络学习平台虚拟校园课程网站人文环境个性化服务
- 一种可信的服务组合QoS保障机制被引量：7
- 2011年
- 针对目前服务计算模型中对应用的可信性支持不足,提出并设计了一种基于虚拟服务的服务可信性保障机制.组合服务中的各个任务环节由虚拟原子服务完成,通过对应用的QoS规划、服务组合以及资源调度方法以满足虚拟原子服务可信需求,进而保障组合服务的可信特性.经过实验验证,该机制可有效保障组合服务的可信QoS要求.
- 詹涛周兴社杨刚王凯博
- 关键词：可信计算
- JANSIM:基于Java的主动网络仿真模块
- 2005年
- 原有的主动网络仿真模块对于现有主动网系统的支持度较低,使得开发成本和学习成本都很高。基于Java的主动网络仿真模块JANSIM,实现了在ANTS上开发的主动协议可以无需重新在仿真环境下重新编写即可利用仿真环境的网络仿真功能对其进行仿真测试,从而大幅度的降低了主动网协议开发者的学习成本和移植成本。JANSIM包括ANTS-ESIB的适配器包、ANTS协议转换器和ANTS脚本转换器。ANTS-ESIB适配器可以使得基于JANSIM新开发的ANTS应用直接运行在仿真系统上,两个转换器则可以使得原先开发的ANTS协议和脚本自动转换为基于JANSIM的协议,从而在仿真环境下运行。
- 廖志刚李增智詹涛陈妍
- 关键词：主动网络仿真
- 信息集成数据模型研究被引量：4
- 2008年
- 信息集成是指将多个信息源进行整合,为用户提供一个统一访问这些信息的接口或数据视图。公共数据模型是设计信息集成系统的基本出发点,从分类的角度对信息集成公共数据模型进行研究。对各种数据模型的特点、描述能力、应用领域以及发展现状作了分析和比较。
- 符宁周兴社詹涛
- 关键词：信息集成数据模型信息集成系统
- 面向计算思维培养的大学计算机基础教学被引量：3
- 2014年
- 针对大学计算机课程的教学特点,探讨以计算思维为核心内容的大学计算机基础课程的教学改革,提出"分类培养、专业融合"的理论教学方法和"两个阶段培养"的实验教学方法,指出该教学改革能有效提高计算机基础教学效果、使学生在获得专业知识与技能过程中,训练和培养计算思维能力。
- 詹涛邓磊廖志刚
- 关键词：计算思维大学计算机基础教学改革
- 混合关键度驱动的实时调度研究
- 2012年
- 针对当前运行于不可预测开放环境下的嵌入式多使命复杂关键型系统,需要减少运行成本和处理不可预测工作负载情况的问题,文章提出一种混合关键度驱动的非对称式过载保护最小空闲调度策略。系统过载时,为共享同一处理器的不同关键度任务提供非对称式保护,禁止低关键度任务干扰高关键度任务,完全避免了传统的"关键度反转"问题。在恢复暂时阻塞的不同关键度任务时,在速率单调调度的基础上,引入关键度主导的截止期驱动动态调度策略,可使潜在处理器利用率达到100%。实验结果表明,这种新算法的综合性能优于当前已有的混合关键度任务调度算法。
- 张奕程小辉蔡皖东詹涛
- 关键词：计算机体系结构分布式计算系统数学模型实时系统调度
- 一种基于通用Java服务器的网上教学交流系统被引量：5
- 2005年
- 研究了一个通用的Java服务器JASS的设计和实现。JASS通过分析一般基于Socket的客户机服务器工作方式,提供了一个开发的框架,通过该框架,开发人员可以把开发工作集中于协议本身,从而避免了重复性的工作,并降低了维护成本。基于该框架实现了基于网络的教学交流子系统,其有效地支持了网上教学的开展。
- 詹涛廖志刚
- 关键词：JAVA反射机制网上教学
- 软件能力可信研究综述被引量：4
- 2008年
- 能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的.如今,系统的开发方式、系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性.首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标.从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.
- 詹涛周兴社符宁杨刚
- 关键词：ROC
- 一种能够描述可信特征的进程代数被引量：1
- 2011年
- 针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.
- 符宁周兴社詹涛
- 关键词：进程代数PI演算半环
