需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

面向WWW业务的移动台状态转移算法研究

文章以下一代移动通信系统中的 WWW 业务为应用场景,提出了一种动态控制移动台状态转移行为的算法。算法的目的是有效地均衡 WWW 会话过程中的控制开销和信令连接占用效率两方面性能。文章采用Pareto 分布建立 WWW 业务模型。算法同时考虑了状态转移和移动性管理对总的控制开销的影响。仿真结果表明,该算法对信令连接重建概率和信令连接占用效率两方面性能提供了良好的平衡机制,并使控制开销总量维持在较低水平。     

装备寿命周期备件供应网络优化方法

针对现有备件供应优化方法未从寿命周期角度考虑备件供应优化问题,将寿命周期不同阶段的备件需求特征融入备件供应网络设计中,实施动态需求特征下的寿命周期整体优化。深入分析寿命周期不同阶段的备件需求特征;建立备件供应响应时间转移方程,在此基础上,构建使寿命周期备件保障效益最大的多目标混合整数规划模型。通过仿真案例证明了多种备件保障模式的组合能够显著提高寿命周期保障效益,寿命周期整体优化可以实施更高效的备件供应。     

一种基于导航点的航天器相对运动轨迹生成策略

针对圆(近圆)轨道航天器相对运动的固定时间状态转移问题,提出了一种基于导航点的多脉冲优化轨迹生成策略.从相对运动动力学出发,应用最优控制理论给出了基于连续推力的最优转移轨线,将引入的导航点限定在最优转移轨线上得到其位置参数;然后利用导航点位置参数建立了脉冲约束下的基于脉冲的优化轨迹生成模型,采用二次规划算法求解,通过改变导航点位置和脉冲间隔优化轨迹.仿真算例验证了策略的有效性.     

指挥信息系统需求体系框架

需求工程是指挥信息系统整个开发周期中的第一步,正确且全面地确认系统的需求是成功开发指控系统的关键.指挥信息系统需求体系框架是从需求开发的内容上规范需求工程技术在指挥信息系统需求开发中的应用.从需求的本义出发,在分析总结IEEE、INCOSE以及OMG等研究机构关于需求内涵与分类的研究基础上,本着与C4ISR/DOD AF一致的原则,结合近年我军指挥信息系统需求开发的实践经验,提出了指挥信息系统需求体系框架.     

作战视图的陆战平台电子信息系统作战需求分析

作战体系结构方法是获取作战需求的有效途径;介绍了体系结构的适用原则、作战视图的研究内容及逻辑关系,运用指挥关系模型、作战活动模型、逻辑数据模型、作战活动顺序与时间模型、作战节点连接能力模型、作战信息交换矩阵对指挥关系、作战活动、作战节点连接能力和作战信息交换进行分析,获得陆战平台电子信息系统的作战需求,为陆战平台电子信息系统作战需求分析提供了一种新的方法。     

考虑摩擦时环状流的空泡份额求解

在熵增模型的基础上,考虑壁面摩擦对空泡份额的影响,推导出了空泡份额应满足的方程,求得其解析解和数值解,并进行了讨论.分析表明,其结果包含了有关文献的结果,具有更大的适用范围.     

深度视觉语音生成研究进展与展望

为了进一步推进深度学习技术驱动的视觉语音生成相关科学问题的研究进展,阐述了视觉语音生成的研究意义与基本定义,并深入剖析了该领域面临的难点与挑战;在此基础上,介绍了目前视觉语音生成研究的现状与发展水平,基于生成框架的区别对近期主流方法进行了梳理、归类和评述;最后探讨视觉语音生成研究潜在的问题和可能的研究方向。     

数字化部队保障装备能力需求满足度评价模型

针对数字化部队保障装备不能较好的执行战时装备保障任务,依据部队作战和保障的特点和实际,运用IDEF 3方法形式化描述了作战和保障任务基本流程。为了提高指标体系的全面性和适用性,从满足装备执行作战和保障任务需求角度出发,按照"保障活动-保障能力-保障效果"逻辑关系逐步分析,在依据相关原则和进行重要度、稳定度判定的基础上,确立了数字化部队保障装备能力需求满足度评价指标体系。为提供指标权重的客观性和准确性,采用改进的群体层次分析法(IGAHP)对评价指标赋权。针对评价过程中的模糊性和随机性,运用云理论实现指标聚合和综合评价。最后,以某部队保障装备为对象进行示例评价,验证了模型的合理性和适用性。