詹涛
作品数： 22被引量：49H指数：4
  • 所属机构:西北工业大学计算机学院
  • 所在地区:陕西省 西安市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

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