分数阶微积分定义的一致性在HOL4中的验证

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Caputo定义的分数阶微积分形式化模型;然后验证了该定义与Grunwald-Letni-kov定义、Riemann-Liouville定义之间的关系,实现了这3种常用定义在HOL4中的转换,在一定程度上使这3种定义达到了统一,完善了高阶逻辑定理库。     

面向多媒体应用程序的循环特征研究*

首先,介绍了多媒体应用程序测试的工具和对象;其次,分析了国内外有关多媒体程序特征研究的成果和现状,发现这些研究和工作在微观领域——多媒体应用程序核心循环方面的研究和关注还显不足,并据此引出了对有关多媒体程序核心循环的循环特征的一些研究;最后,对基于小波变换的EPIC(Efficient Pyramid Image Coder)程序进行了程序特征与循环特征的分析。     

面向多媒体应用的程序特征分析与研究

本文首先介绍了多媒体应用程序测试的工具和对象。其次，分析了国内外有关多媒体程序特征研究的成果和现状。发现这些研究和工作在微观领域--多媒体应用程序核心循环方面的研究和关注还显不足，并据此引出了对有关多媒体程序核心循环的循环特征的一些研究。最后，探讨了未来面向多媒体程序特征分析的一些研究方向。     

通用数据仓库元数据模型的研究

元数据及其管理是数据仓库技术的核心部分，数据仓库数据的使用及其相互间的关系迫切需要统一的元数据模型来描述。本文详细介绍了OMG推出的通用数据仓库元数据模型(CWM)的组成结构和底层技术标准，并讨论了这些技术标准与CWM之间的关系。     

高级操作系统课程思政探索与实践

以操作系统课程为主线,分析理工类课程思政存在的困境,通过典型案例深入探讨思政教育与高级操作系统课程融合的可能性和入手点,最后说明课程思政教学效果并提出课程在实践和迭代过程中的教学反思.     

疑难长关井分类治理技术研究

临东区块为复杂断块油藏,近几年由于套损、转大修、出砂等原因造成长关井数日益增多,导致了大批的生产井闲置废弃的同时也严重影响油藏开发效果,为了减少目前由于长关井造成的资源浪费,我们提出对断块长关井进行治理的建议,以期提高油井利用率,从而进一步改善开发效果,提高采收率.     

镁渣用作水泥基活性掺合料的研究与展望

针对镁渣用作水泥基活性掺合料问题,深入阐述了镁渣在组成、水化特性和膨胀性等方面的研究进展,提出了进一步研究的热点内容和关键科学问题,对镁渣掺合料的系统研究具有指导意义。     

港湾回归华为任正非 能否再次驾驭李一男

2000年选择离开华为的李一男已经伤害过了华为一回，这一次，任正非有把握不被李一男再次伤害？     

LVS资源负载策略应用研究

LVS （Linux Virtual Server）是提高云平台资源利用率的方案之一,但是由于LVS负载均衡算法的权值设置不科学以及在分配连接请求时不能实时地平衡任务,导致云环境中的服务器负载失衡,降低了系统对外提供服务的能力.针对以上问题,本文将模拟退火算法和加权最小连接算法相结合,提出一个基于最佳负载因子的负载均衡策略.并通过实验证明,最佳负载因子策略能够使集群中节点负载更加均衡,极大程度上提高了集群资源利用率.     

供应中断情况下动态混合应急策略研究

动态刻画市场需求中断反应行为:自动留存订单、等待制造商应急采购延迟完成订单、由安全库存完成订单、取消订单。综合考虑应急采购的提前期及成本、安全库存储备量、企业恢复能力,构建以中断负面影响最小化为目标的最优控制模型。应用最大值原理,提出三种最优的制造商动态响应策略,包含一种纯库存与两种混合策略,决策如何基于库存量、中断持续时长等相关因素实时消耗库存,同时进行应急采购。