胡运安
- 作品数：6 被引量：30H指数：2
- 供职机构：复旦大学信息科学与工程学院计算机与信息技术系更多>>
- 发文基金：国家科技重大专项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 移动IPv6的快速切换的代数验证被引量：2
- 2004年
- 利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。
- 胡运安夏正友钟亦平杨明
- 关键词：移动IPV6快速切换Π演算
- 基于SCORM的学习者学习行为采集模型的实现
- 本文分析了现有网络教学管理系统在学习者信息描述尤其是学习行为采集、评估方面的不足,并以国家'网络教学关键技术及示范工程'——网络教学管理系统为背景,基于SCORM规范,提出了网络教学管理平台上的学习者模型及其学习行为采集...
- 胡运安吕智慧吴杰钟亦平张世永
- 关键词：学习者SCORM网络教学管理系统XML
- 文献传递
- 802.11MAC层切换过程的代数验证
- 2004年
- 8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为 80 2 .1 1MAC层的研究提供一定的参考和分析价值。
- 胡运安夏正友杨明
- 关键词：数学模型动态拓扑结构
- 基于SCORM的学习行为采集模型的设计与实现被引量：26
- 2004年
- 文章分析了现有网络教学管理系统在学习者信息描述尤其是学习行为采集、评估方面的不足,并以国家“网络教学关键技术及示范工程”——网络教学管理系统为背景,基于SCORM规范犤1犦,提出了网络教学管理平台上的学习者模型及其学习行为采集、分析、质量评估方案,并阐述了如何利用SOAP、XML等技术设计和实现该方案。
- 胡运安吕智慧吴杰钟亦平张世永
- 关键词：学习者SCORM网络教学管理系统
- Multi-SV：基于对等网络的语音视频系统的设计与实现
- 本文对基于对等网络的语音视频系统的设计与实现进行了研究。文章概述了对等网络的主要特征、对等网络系统的分类和对等网络通信的主要机制以及对等网络技术的应用领域;分析了语音视频通信中的主要影响因素、关键技术、静音检测技术和回声...
- 胡运安
- 关键词：数据通信对等网络静音检测
- 文献传递
- 基于PATRICIA-TRIES的XML路径索引设计被引量：2
- 2006年
- 随着XML逐渐成为Internet数据表示与交换的标准,如何快速准确地访问XML文档中的数据已成为亟待解决的关键问题,建立路径索引是提高查询效率的一种重要手段.本文设计了一种基于PATRICIA-TRIES的路径索引,简称PT索引.该索引有如下特点一、基于PATRICIA-TRIES结构,实现快速检索.二、采用压缩编码能够将路径索引放入内存,三、索引含有结构和文本信息,通过查询索引就能提供结果,无需打开原文档.其后,分析了PT索引的时间和空间复杂性,并与三种的典型的索引结构进行了对比实验,结果证明了其在路径查询方面具有更高的效率.
- 易平胡运安陈福生张世永
- 关键词：XML查询路径索引
