邵飞
- 作品数：2 被引量：4H指数：1
- 供职机构：中南民族大学计算机科学学院更多>>
- 发文基金：国家自然科学基金武汉市科技型中小企业技术创新基金中南民族大学自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于JIT动态适应交货期要求的MRP优化算法
- 2009年
- 为了更好地利用企业资源,面向订单的单件小批量生产物料需求计划,对于企业建立一套有效的物料管理与生产计划机制,进而动态适应交货期有着十分重要的意义。它首先对物料需求计划系统进行研究,然后对基于JIT与OPT模式的MRP算法进行详细的分析,提出一个基于JIT动态适应交货期要求的MRP优化算法,该算法对项目工程时间进行精细化分解,更加充分利用工作时间碎片,并且实现了可视化,显著提高了企业生产率。
- 邵飞孟博
- 关键词：物料需求计划准时化生产递归算法
- 协议抗拒绝服务攻击性自动化证明被引量：4
- 2012年
- 首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,最后应用ProVerif分析与验证了JFK协议与IEEE 802.11四步握手协议抗拒绝服务攻击性,发现IEEE 802.11四步握手协议存在一个新的拒绝服务攻击,并且针对IEEE 802.11四步握手协议存在的拒绝服务攻击提出了改进方法。
- 孟博黄伟王德军邵飞
- 关键词：拒绝服务攻击形式化
