一种PUFFIN类SPN型分组密码的积分攻击

PUFFIN是一个具有64bit分组长度、128bit密钥的SPN型分组密码,为评估其安全性,从比特的层面分析其平衡性,构造了PUFFIN的5轮积分区分器,并利用高阶积分的思想将5轮区分器扩展为6轮,然后对8轮PUFFIN密码进行攻击。8轮攻击的数据复杂度为221,时间复杂度为234,空间复杂度为220。结果表明,8轮PUFFIN密码对于给出的攻击是不免疫的。对于线性层为置换的PUFFIN类SPN型分组密码,证明了至少存在3轮积分区分器,并给出了寻找该区分器的方法。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

着眼非战争军事行动 合理确定国防经济发展

随着军队遂行非战争军事行动不断增多,必须把非战争军事行动和国防经济发展作为一个有机整体进行系统考察。国防经济发展必须根据国家安全需要和非战争军事行动特点,搞好总体设计,着重从革新体制机制、优化资源配置、提升经济动员水平上不断推动自身发展。     

“烈火金刚”这样炼成——湖北省阳新县人武部开展非战争军事行动心理防护能力教育训练纪实

位于幕阜山脉的湖北省阳新县,森林覆盖率高达50%,是华中地区防火防灾的重点区域。阳春三月,阳新县人武部结合使命任务,抽调民兵应急分队100余人,集中6天时间,开展了一次扑灭山火行动心理防护能力教育训练。实施过程中,他们从练＂心＂、练＂胆＂、练＂气＂着手,炼出了一个个＂烈火金刚＂……     

快速反应 全面靠前 统筹兼顾 军地联动——遂行非战争军事行动后勤保障应把握的几个问题

当前,非战争军事行动已成为我国军事力量运用的重要方式。组织非战争军事行动后勤保障,是赢得应急作战胜利的重要保证,也是立足战略全局做好应急作战准备需要研究解决的重大课题。     

兰州读者张程设计的“旅太”Ⅱ级多功能驱逐舰

旅太Ⅱ级多功能驱逐舰由旅太级直升机驱逐舰发展而来,使命改变为:反潜、反舰、防空、对陆攻击、武力威慑和人道主义救援。为了更好地利用舰体空间和提高适航性,增加了武器装备并对舰体进行了一些改进。     

“石首鱼”号潜艇东海历险记

1944年1月底至2月,美海军潜艇"石首鱼"号到中国东海执行作战巡逻任务。其间,"石首鱼"号先后遭遇两支庞大的日军水面护航编队。在对日军编队实施近距离袭击时,遭到敌方的疯狂反扑。日军护航军舰将"石首鱼"号长时间困于水下,投下了大量的深水炸弹,并企图炸沉"石首鱼"号,但日军的阴谋最终没有得逞。虽然"石首鱼"号遭到了重创,但却成功地死里逃生。"石首鱼"号是二战期间遭受惨烈的深弹攻击却得以生还的一艘美国潜艇。     

非战争军事行动政治工作之“要”

新世纪新阶段,我军使命任务已向非战争军事行动领域拓展,给军队政治工作带来新的影响和挑战。要充分发挥政治工作强大的服务保证作用,彰显“生命线”的强大威力,就必须适应新的要求,创新工作方式,努力做到“六要”。     

任意多边形的非结构网格快速生成算法研究

对于包含大尺度运动边界的CFD数值模拟,网格重构是其中的关键,快速稳定的网格生成技术是其中的重要组成部分。建立了基于有向边的适用于任意多边形的快速三角初始化算法;证明了最长边剖分网格细化算法在一定条件下发散,并结合Delaunay边交换技术使细化算法封闭;建立了基于顶点弹簧理论的网格优化方法,以提高网格生成的质量。结果表明,算法具有较好的鲁棒性和高效性。     

装备效能与费用优化性评估方法探讨

有效实施装备效能与费用优化性评估应从提出效能需求和设计备选建设方案开始,实施评审测算,优化渐进式决策,实施结果反馈验证,建立配套措施,达成科学评估目标。同时,应优化体制结构,组建专家团队,完善法规制度和激励约束机制。