大空间钢结构建筑消防安全评估研究

大空间钢结构建筑发生火灾时,火焰及火灾产生的高温羽流可能对钢构件构成一定威胁。采用经验公式计算和FDS模拟分析两种方法计算火灾环境中大空间建筑钢构件的温度,评估钢构件是否达到或超过其失效温度。     

混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

求解卷积公式的一种新方法

基于数形结合方法以及变量代换方法发现计算卷积公式存在某些不足之处,研究卷积公式的计算方法,给出一种新的确定积分限的方法.该方法直观明了、容易理解和掌握并且可操作性强,有效避免作图和分析图形的繁琐,并举例说明了该应用方法.     

The graph association problem: Mathematical models and a lagrangian heuristic

Graph association is the problem of merging many graphs that collectively describe a set of possibly repetitive entities and relationships into a single graph that contains unique entities and relationships. As a form of data association, graph association can be used to identify when two sensors are observing the same object so information from both sensors can be combined and analyzed in a meaningful and consistent way. Graph association between two graphs is related to the problem of graph matching, and between multiple graphs it is related to the common labeling of a graph set (also known as multiple graph matching) problem. This article contribution is to formulate graph association as a binary linear program and introduce a heuristic for solving multiple graph association using a Lagrangian relaxation approach to address issues with between‐graph transitivity requirements. The algorithms are tested on a representative dataset. The developed model formulation was found to accurately solve the graph association problem. Furthermore, the Lagrangian heuristic was found to solve the developed model within 3% of optimal on many problem instances, and found better solutions to large problems than is possible by directly using CPLEX. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

对光的半波损失的探讨

本文根据光的电磁波理论 ,对光的半波损失产生的条件及本质进行了深入的探讨 ,并对几个光学实验进行了分析。证明了光只有在特定的角度入射时才会发生半波损失 ,在一般斜入射时 ,反射光并没有半波损失 ,但有相位的突变     

爆扩桩抗拔承载力计算公式研究

目前关于扩底桩尤其是爆扩桩抗拔力计算公式很少。在有限的扩底桩计算公式中,普遍存在着对爆扩桩的承载机理不清楚,对扩大头作用的体现机理表达不准确等问题。首先介绍一些典型的抗拔计算公式,选出有代表性的且适用于爆扩桩的抗拔计算公式, 然后根据工程试桩的计算结果,结合理论分析对公式的合理性进行探讨,最后根据爆扩桩的抗拔机理和试验分析给出易于运用的软土中大直径爆扩桩的抗拔承载力计算公式,并给出相应的构造要求。     

基于装备演化规律的C4ISR需求生成模式研究

针对C4ISR需求生成的系统性问题,提出基于武器装备演化规律的C4ISR需求生成模式。根据武器装备在作战、系统、技术三个层面的演变规律,从任务模糊性、结构复杂性、技术不确定性三个维度划分目标武器装备,提出与演变规律对应的、逐层递进的C4ISR需求研究模式——复制、发现和创造,提供了解决C4ISR需求精确性问题、正确性问题和前瞻性问题的途径。实例表明,采用该模式能够系统地生成C4ISR需求。     

QF炮膛擦拭剂的研制

介绍了QF炮膛擦拭剂的研制原理、配方、制备工艺、性能及应用情况。实验室理化性能测定和实际使用结果表明,该剂具有清洁能力强、防锈性好、使用方便等特点,对火炮射击结束后残留在炮膛内的火药残渣和尼龙残渣具有良好的去除作用,是一种应用前景广泛的武器装备维护保养新材料。     

破片侵彻多层间隔铝靶的试验及数值模拟研究

对破片侵彻多层间隔铝靶进行了试验和数值模拟研究,获得了破片在不同速度、不同侵彻角时破片的侵彻深度,在此基础上利用拟合的方式建立了计算公式,并将数值模拟结果和计算公式的计算结果进行了对比,结果表明两者吻合较好,所建立的计算公式可靠。