陈世鸿
- 作品数:54 被引量:101H指数:6
- 供职机构:武汉大学计算机学院更多>>
- 发文基金:国家高技术研究发展计划湖北省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域:自动化与计算机技术文化科学理学电气工程更多>>
- 软件工程课程多元多环节教学模式的研究与实践被引量:1
- 2008年
- 本文分析了软件工程课程传统教学中的不足,针对软件工程课程实践性、系统性强等特点提出了多元多环节教学模式。
- 李小红李静陈世鸿
- 关键词:教学改革
- 基于TPM的一种扩展结构
- 2006年
- TCG规范了TPM结构,并据此提出了可信链的传递过程,但在实际应用中,存在着两个问题:一是BIOS先于TPM启动,TPM验证BIOS可信困难;二是可信状态二元化,只是简单地把可信状态分为可信与不可信.通过分析TCG规范中的TPM及可信链传递过程,针对可信链传递过程中的TPM难以校验BIOS和可信二元性的不足,扩展TPM形成E-TPM.通过E-TPM与BIOS的相互验证及提出可信分级来解决TPM与BIOS的相互验证和可信评估问题.
- 肖锟陈世鸿徐明
- 关键词:TPM
- 政务云中心数据存储架构与智能存取技术
- 2013年
- 政务系统是一种联机分析处理/联机事务处理(OLAP/OLTP)的混合型系统,通过分析政务云数据中心架构特征,针对传统存储模型所造成的网络与I/O瓶颈问题,在Oracle Exadata基础上,针对集中式社会服务特点,提出了云数据中心的垂直一体化的存储体系架构与多项智能存取技术,提供了若干关键优化访问算法,可支持云数据中心对快速增长的海量数据的有效管理,并最大程度地提高数据访问效率.对具有高负载混合型的政务应用系统,可提高数10~100倍的存取性能.
- 胡俊陈磊陈世鸿
- 基于特征的教育资源库系统
- 现有的教育资源库系统重点在于资源的“统一管理”,目前尚缺乏优质的用户服务。资源库系统主要通过查询提供应用服务,查询效率的关键在索引。在分析了多媒体教育资源媒体特征模式的基础上,构建了基于特征的多层索引结构库,实现了语义层...
- 伍春香陈世鸿
- 关键词:教育资源库媒体特征语义查询系统模型本体论
- 文献传递
- MPS上作业的分配和调度问题
- 2000年
- 多处理机系统MPS(MultiprocessorSystem)上作业的分配和调度问题是其运行效率的关键.本文讨论的是具有不相容性作业集的作业分配和调度问题,提出了一种启发式方法及其定量分析技术。
- 黄干平陈世鸿
- 关键词:启发式算法多处理机系统调度问题
- 软件进程计算结构分析
- 2009年
- 以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件进程的计算从节点算子的计算转换成模块算子计算。
- 李晖陈世鸿
- 关键词:数学语义
- 课件知识点操作的形式化研究被引量:1
- 2008年
- 知识点关系是连接知识点的纽带。教学系统智能性体现的一个重要方面是能够根据知识点之间的关系组织教学内容。受学生学习知识的能力和课时影响等原因,知识点之间的关系会经常发生动态变化。本文通过分析知识点之间的基本关系,形式化知识点的操作语义,通过操作语义检查,能保知识点动态变化情况下知识点间的关系依旧能保持一致性,为课件的动态生成提供理论依据。
- 肖锟李晓建陈世鸿
- 关键词:形式化课件
- 基于C/S结构的Ada并行计算模型被引量:1
- 1999年
- 在研究Ada95并行计算语义的基础上,提出了一个基于C/S结构的Ada并行计算模型Ada-PCM.讨论了在C/S环境下实现Ada并行计算存在的问题和解决方法.该模型不仅是研究Ada并行计算环境的基础。
- 陈世鸿周国富李石君彭蓉
- 关键词:并行计算C/S结构ADA语言
- 基于分布式电力资源库的搜索引擎框架被引量:11
- 2005年
- 在建设电力资源平台的基础上,提出基于分布式电力资源库的由Agent管理系统、共享Agent、搜索引擎界面、搜索词获取机、智能搜索机和跟踪评价机组成的搜索引擎框架。通过基于电力专业词库的分词、专业词规范、机器翻译等面向电力专业的处理,在跟踪用户搜索行为的基础上结合相似检索优化和数据挖掘该搜索引擎可为用户提供个性化、智能化的电力资源搜索服务,有效提高电力信息搜索的查准率、查全率和查找速度。
- 张莲梅陈世鸿陈红梅许继红杨璃
- 关键词:分布式电力资源移动代理AGENT
- 知识表示与逻辑程序设计被引量:1
- 1991年
- 本文结合我们在多机分布式系统上研制的WUMPPS AND并行处理系统,讨论了知识表示的几种方法。
- 李成付陈世鸿
- 关键词:逻辑程序设计