刘丹 作品数:24 被引量:140 H指数:7 供职机构: 武汉理工大学管理学院 更多>> 发文基金: 国家自然科学基金 中央高校基本科研业务费专项资金 湖北省自然科学基金 更多>> 相关领域: 自动化与计算机技术 环境科学与工程 电子电信 天文地球 更多>>
一种应急预案本体模型及其应用研究 被引量:6 2011年 目前,应急预案是分布于多个单位的非结构化文档,缺乏统一的建模方法,造成对预案描述的领域知识进行表示和利用存在困难。为解决以上问题,提出一种基于本体的知识建模方法,对应急预案文本进行建模,并实现应急领域知识共享。根据对应急预案文本结构特征进行分析,在重用现有本体模型的基础上提出了各主要要素的本体模型,形成一种应急预案本体模型(emergency plan ontology model,EPOM)。通过利用该方法对某区域防汛应急预案进行本体知识建模,开展应用研究。应用结果表明,该方法能够有效建模应急预案描述的领域知识,为科学制定应急行动方案奠定基础。 唐攀 王红卫 王喆 刘丹关键词:突发事件 应急预案 本体 知识建模 基于类型理论的XML类型系统形式化建模 2004年 利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案。 冯玉才 刘丹 班鹏新关键词:XML数据库 GPU加速希尔加解密方法的研究 被引量:3 2010年 GPU有效地利用了数量巨大的晶体管制造大量的处理单元,适用于处理单任务多数据(SIMD)的计算任务。研究了GPU的体系结构及CUDA的编程模式,改进了基于CPU的希尔加解密方法,使用多个线程将计算中耗时的矩阵相乘部分改造成SIMD模式,并分析了线程块内线程数对加速比的影响。实验结果表明,基于GPU的并行矩阵相乘的希尔加解密方法成功实现了硬件加速,相对于CPU上运行的希尔加解密方法,其执行效率明显提高,可获取12倍以上的加速,并易于扩展,对大规模数据加密和解密处理呈现出高效的处理能力。 刘丹 赵广辉 钟珞关键词:统一计算设备架构 图形处理单元 基于层次任务网络的应急响应决策方法及其应用 被引量:1 2013年 应急响应决策是应对突发事件的关键。基于层次任务网络规划(Hierarchical Task Network planning,HTN)的应急响应决策方法能够有效地利用应急领域专家知识,生成完成应急任务目标的应急行动方案。本文提出了基于HTN的应急响应决策方法体系,探讨了基于HTN的智能规划所面临的关键问题及其解决方法,并将这些研究成果应用于三峡区域防洪应急响应决策模拟原型系统,验证其有效性。 王红卫 王剑 祁超 李明磊 刘丹关键词:突发事件 基于Open XML的应急预案数字化方法 被引量:8 2012年 针对目前静态文本应急预案的非结构化问题,引入组件化设计思想结构化预案内容,建立XML描述模型数字化预案业务数据,最后基于Open XML国际标准生成数字化应急预案,并以国民经济动员综合预案为例验证了该方法的可行性。实验结果表明,基于本方法生成的数字化应急预案有效地实现了预案模板和预案业务数据的分离,有利于预案模板的独立扩充和修改,有利于校验填写的预案业务数据,并使预案检索可深入预案业务数据。 张晓丹 刘丹 俞侃关键词:应急预案 数字化 组件化设计 OPEN XML 保密在线学习考试系统的设计与实现 被引量:2 2011年 武器装备科研生产单位保密资格认证要求随机抽取涉密人员进行保密知识测试,为保证顺利取得资格认证,必须通过一种有效手段开展保密知识的学习和考试。在分析了军工企事业单位保密知识考试的问题和弊端上,提出了一种基于B/S模式的在线学习考试系统解决方案,并进行了详细的系统需求分析、功能模块及数据库设计,同时对系统相关的关键技术进行分析。保密在线学习考试系统的实现,提高了涉密人员保密知识的学习效率,改进了保密工作机构的保密管理方法。 刘丹关键词:保密 在线考试 B/S 基于CUDA的邻近粒子搜索算法研究 被引量:3 2012年 在粒子方法中,运用邻近粒子搜索算法可以快速获取每个粒子的邻近粒子信息。由于粒子方法模拟一个体系的行为所采用的粒子数据是十分庞大的,对计算机的运算速度提出了挑战。研究了GPU的计算能力和CUDA开发环境,利用GPU的并行多线程处理技术,提出了一种并行邻近粒子搜索算法。实验结果表明,基于CUDA的并行邻近粒子搜索算法,加快了邻近粒子搜索过程,显著地减少了计算时间,成功实现了硬件加速,可获取290以上的加速比,对大规模粒子系统呈现出高效的处理能力。 刘丹 陈捷捷基于SLA的网络监测系统的设计与实现 被引量:4 2005年 SLA是对服务水平的约定,本文从网络的服务质量出发,结合网络监测在实际中的应用,设计并实现了基于SLA的网络监测系统。 刘丹 石冰心 邹玲关键词:SLA 服务质量 网络监测 SNIFFER 考虑外部信息的应急目标协商僵局消解方法研究 被引量:2 2015年 为快速、有效地消解时限条件下应急目标协商产生的协商僵局,提出应急组织背景下带僵局消解的应急目标协商程序。为确保协商参与者的整合效用,基于保留值等效置换机制建立僵局议题消解模型,并提出外部信息直接影响和间接影响下改进的粒子群优化(PSO)算法求解模型,最后通过试验对改进的算法进行分析和验证。结果表明:外部信息启发式引导随机粒子的寻优过程,对快速消解应急目标协商僵局有明显的积极影响。建立合作稳定的应急决策组织,并向经历过类似议题协商的组织成员或权威的专家征询意见和建议,是获得协商僵局时准确的外部信息的主要途径。 刘丹 王红卫 宋英华 王喆关键词:外部信息 基于GPU的分子动力学模拟方法研究 随着集成电路技术的发展,图形处理器/(Graphics Processing Unit,GPU/)的发展相当迅速,GPU的计算能力及存储器带宽均已大大超过目前主流CPU。将GPU作为CPU的协处理器完成大规模数据密集型的... 刘丹关键词:GPU CUDA 分子动力学模拟 热力学量 RDF 文献传递 网络资源链接