李明
- 作品数：16 被引量：30H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信环境科学与工程建筑科学更多>>
- 企业安全评价对部队安全管理的启示被引量：1
- 2009年
- 本文总结了企业安全管理模式的发展变化,特别是安全评价的程序内容和重要作用,同时归纳了部队安全管理和预防事故的发展及不足,在此基础上进行分析对比,结合部队安全评价的历史与现状,提出了在部队安全管理中应用安全评价技术的框架构想,为进一步开展研究和应用提供了思路和理论基础。
- 李明
- 关键词：企业安全管理安全评价
- X-DSP一级数据存储器保护机制的设计与实现
- 针对数字信号处理器X-DSP中可配置的一级数据存储器L1D设计了基于页和Cache行两种粒度的存储保护机制。在L1D不同配置模式下对保护原理做了详细阐述，并进行了初步的模拟验证。该存储保护机制在多道程序同时运行的操作系统...
- 李明陈海燕刘宗林杨焕荣
- 关键词：访问权限
- 文献传递
- 一种面向片上向量存储器的UVM验证平台
- 随着嵌入式微处理器的不断发展，片上存储器的设计复杂度日趋增长，传统的功能验证方法面临着验证效率低、完备性、可重用性等各方面挑战。论文针对自主设计的FT_M系列高性能DSP片上向量存储器设计需求，基于UVM验证方法学，采用...
- 侯林涛陈海燕李明陈俊杰
- 关键词：参数化
- 不确定数据流多维建模方法被引量：1
- 2014年
- 由于不确定数据流应用的出现,给传统的精确、静态数据环境下的多维建模带来了巨大挑战。针对不确定数据流动态、无限和不确定等特征,提出了一种不确定数据流多维模型。该模型中引入了不确定对象来描述不确定事实元组,并且通过定义时间维度的层次时间窗口,很好地反映了数据流的动态性和无限性,最后还对此多维不确定数据流模型的基本代数操作和分析代数操作进行了形式化定义,为不确定数据流多维查询与分析提供了理论依据。
- 李明张维明刘青宝
- 关键词：不确定数据流时间维度连续查询
- 改进的非常快速模拟退火算法在不确定性数据清洗中的应用被引量：1
- 2013年
- 为了减少不确定性数据集的不确定性,清除不确定性数据集中的脏数据,研究了在聚集约束条件下的不确定性数据清洗的问题。分析了现有的基于聚集约束的不确定性数据清洗模型和方法的不足,对文献[4]中的目标函数模型进行了完善;同时,借鉴改进的非常快速模拟退火(MVFSA)算法的思想,设计了新的聚集约束下的不确定性数据清洗算法。实验结果表明,新算法不仅在求解质量上有所改进,而且求解效率得到较大提高。
- 刘斌李明刘青宝
- 关键词：不确定性数据数据清洗模拟退火
- Linux-Make文件的自动生成被引量：2
- 2001年
- Make工具是开发Linux应用程序必须掌握的工具之一 ,但手工编写Makefile的工作既繁琐又难于符合GNU规范。Linux下的AutoConf和AutoMake工具可以自动生成Make文件。结合一个简单的例子介绍了两种工具及其宏的用法。
- 周彩兰钮焱王晓宇李明
- 关键词：GNULINUX软件开发自动生成操作系统C语言
- 显式拥塞控制研究
- 2008年
- 随着互联网络技术的发展,高带宽延迟积的高速网络成为主流网络,TCP拥塞控制算法因为协议固有的设计缺陷,无法理想地处理高速网络中的拥塞问题,显式拥塞控制协议有效地克服TCP的设计缺陷,较为理想地解决这些问题。论述显式拥塞控制的工作流程以及三种显式拥塞控制协议XCP、EMKC和JetMax。
- 李明姜子恒钟正彭立宏
- 关键词：拥塞控制高速网络链路算法
- 基于CORBA的分布式MVC软件体系结构被引量：5
- 2008年
- MVC作为一种经典的软件模式,在界面程序设计和B/S系统中得到广泛应用,但对于分布式实时交互应用而言,其高效性和可扩展性等仍有待提高。本文深入分析了MVC软件模式的结构特点,提出一种基于CORBA的分布式MVC软件体系结构SEV。SEV将动态数据处理从模型中分离出来,并采用CORBA分布对象机制提高系统可扩展性,为面向分布式实时交互式系统的设计提供了高效可扩展的软件参考模型。
- 李明王怀民尹刚
- 关键词：MVCCORBA软件体系结构
- 一种新型物化视图选择算法研究
- 物化视图作为加速数据仓库查询的核心技术,已成为该领域研究的热点.本文提出了一种两阶段的物化视图选择算法2-PMVS(2-Phases Materialized View Selection),将静态选择算法与动态选择算法...
- 李明
- 关键词：物化视图自适应性
- 文献传递
- 一种面向片上向量存储器的UVM验证平台被引量：1
- 2019年
- 随着嵌入式微处理器的不断发展,片上存储器的设计复杂度日趋增长,传统的功能验证方法面临着验证效率低、完备性、可重用性等各方面挑战。论文针对自主设计的FT_M系列高性能DSP片上向量存储器设计需求,基于UVM验证方法学,采用层次化建模方式搭建参数化的UVM验证平台,利用定向激励与带约束的随机激励相结合的方式测试不同访存模式下的正确性;提高了验证的验证效率和验证平台的可重用性。
- 侯林涛陈海燕李明陈俊杰
- 关键词：参数化
