基于有限状态机的作战实体模型行为规则可视化建模

为提升仿真模型开发效率,降低仿真模型的维护成本,从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。     

TiO_2/ACF复合光催化材料的制备及性能

用适宜载体将粉体材料固定是提高光催化材料稳定性的关键。采用溶胶-凝胶法,以钛酸丁酯为原料,选取活性炭纤维(ACF)为载体,制备了TiO2/ACF复合光催化材料。利用X射线衍射仪(XRD)、热分析仪(DSC-TG)和扫描电子显微镜(SEM)等测试技术对复合光催化材料的结构进行了表征分析。在紫外光照射下,通过对甲醛气体的光催化降解,考察了煅烧温度、煅烧时间、负载次数和负载时间等不同制备条件对复合光催化材料结构和性能的影响,结果表明:当煅烧温度为400℃,煅烧时间为2h,负载3次,负载时间为6min制备的TiO2/ACF光催化性能最佳。     

Single batch machine scheduling with deliveries

We consider the problem of scheduling a set of n jobs on a single batch machine, where several jobs can be processed simultaneously. Each job j has a processing time p_j and a size s_j. All jobs are available for processing at time 0. The batch machine has a capacity D. Several jobs can be batched together and processed simultaneously, provided that the total size of the jobs in the batch does not exceed D. The processing time of a batch is the largest processing time among all jobs in the batch. There is a single vehicle available for delivery of the finished products to the customer, and the vehicle has capacity K. We assume that K = rD, where and r is an integer. The travel time of the vehicle is T; that is, T is the time from the manufacturer to the customer. Our goal is to find a schedule of the jobs and a delivery plan so that the service span is minimized, where the service span is the time that the last job is delivered to the customer. We show that if the jobs have identical sizes, then we can find a schedule and delivery plan in time such that the service span is minimum. If the jobs have identical processing times, then we can find a schedule and delivery plan in time such that the service span is asymptotically at most 11/9 times the optimal service span. When the jobs have arbitrary processing times and arbitrary sizes, then we can find a schedule and delivery plan in time such that the service span is asymptotically at most twice the optimal service span. We also derive upper bounds of the absolute worst‐case ratios in both cases. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 470–482, 2015     

伪谱法及其在飞行器轨迹优化设计领域的应用综述

采用伪谱法进行飞行器轨迹优化设计是近年来的热点研究方向,然而较全面地对各种方法进行综合分析的文献却很少。在对国内外相关文献进行系统研究的基础上,阐述了航空航天领域应用较为广泛的几种伪谱法的基本原理;归纳了伪谱法将连续最优控制问题转化为非线性规划问题的思路和具体步骤;总结了伪谱法在飞行器轨迹优化设计领域的应用情况;对伪谱法及其在飞行器轨迹优化设计领域应用的未来研究方向进行了分析。     

面向应急管理计算实验的模型构建和模型管理

基于人工社会的计算实验使应急管理的定量分析与研究成为可能。然而,应急管理模型涉及多个学科与领域,具有多层次、非线性和多粒度等特点,需要一套规范的流程来指导人工社会的模型建立和模型管理。论文梳理了面向应急管理的模型体系,提出了基于领域特定建模的人工社会建模方法,解决了多领域建模问题;研究了模型的形式化描述与编码问题,并实现了模型的有效管理;结合"甲型H1N1"病程模型,详细论述了模型的构建方法与管理问题,为面向应急管理的计算实验提供一体化的模型服务。     

二次检测立方攻击改进与实现

对二次检测立方攻击预处理阶段的提取二次表达式的算法进行了改进以优化攻击效率。将秘密变量的变化引入攻击中,使得攻击模型更加灵活;同时,利用时空折中的思想,通过存储常数项和一次项的计算结果,有效降低二次项的计算量。将改进的方法应用于简化版的PRESENT算法和Trivium算法上,攻击效率有显著提高。     

一种考虑主观偏好的武器装备采购决策方法

针对只有部分权重信息且决策属性值以区间数形式给出的武器装备采购方案决策问题,提出了一种基于区间数相离度和可能度的偏差最小化决策方法,将决策者对待选方案的主观偏好融合到计算模型当中,并详细给出了该决策方法的计算步骤和算法。研究表明,该方法能够有效解决武器装备采购决策过程中的主观偏好问题,使得决策结果更为客观合理,最后通过一个示例来验证方法的可行性和有效性。     

气液同轴双离心式喷嘴喷雾特性

采用流体体积方法分析涡流器离心式喷嘴内部流动过程,采用单反相机和相位多普勒测速仪测量离心式喷嘴、气液同轴双离心式喷嘴的喷雾特性。发现涡流器离心式喷嘴内部流动的总压损失主要发生在涡流器槽道入口、收敛段和等直段。等直段使液膜厚度减小,喷雾锥角减小。离心式喷嘴喷雾粒径分布范围沿径向逐渐增加,轴向速度分布范围沿径向先减小后逐渐增加。气液同轴双离心式喷嘴喷雾特性受气液比影响很大,气液比小时旋流空气使喷雾锥角增加,粒径分布范围减小;气液比大时,气体膨胀压缩喷雾,使大液滴能够到达喷雾中心,喷雾外侧为二次雾化成的细小液滴。     

航天器调度中的资源约束推理方法

资源水平边界的估计是构建资源利用可行计划中的一个基础问题。通过分析航天器资源约束的共享与分离并存、累积与瞬时消耗并存、过度订阅与区间调度并存等特点,提出了资源时间网络、时间约束网络和约束网络相结合的资源约束描述方法;构建了增量式基于包络的资源约束算法和最早开始时间链展开资源约束算法,以快速获取资源一致的柔性解。实例证明,该方法较好地解决了航天器调度的资源约束推理问题。     

反舰导弹靶场试验精度评定方法

为了对小子样条件下反舰导弹靶场试验精度作出合理的评定,研究了自助法和随机加权法的原理。针对自助法和随机加权法存在的不足,研究了一种改进的方法,仿真结果表明新方法获得了更加稳健、精确的评定。最后,给出一些有益的工程应用建议。