满毅
- 作品数：3 被引量：7H指数：1
- 供职机构：解放军电子工程学院网络工程系更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 形式描述技术在通信协议安全分析中的应用被引量：1
- 2008年
- 讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。
- 满毅单洪
- 关键词：PETRI网形式化验证
- 基于区域覆盖的协同干扰任务分配模型及算法被引量：5
- 2011年
- 针对保证目标区域干扰覆盖和最小能量消耗的优化目标,建立了小型干扰机区域分簇组网结构和基于多目标整数规划的协同干扰任务分配模型。在此基础上,研究了完全覆盖和不完全覆盖下的任务分配方案,针对其中的单目标覆盖和多目标覆盖问题分别建立多选择背包模型和多选择多维背包模型进行求解。结合遗传算法和启发式算法,设计了基于整数编码的混合遗传算法,用于求解复杂背包问题。最后,仿真结果表明了模型的合理性和算法的有效性。
- 黄郡单洪满毅
- 关键词：通信技术混合遗传算法
- 基于分布式优化的协同干扰任务分配研究被引量：1
- 2011年
- 为保证目标区域干扰覆盖和最小能量消耗的优化目标,建立协同干扰任务分配模型。在分布式协同优化框架下,将集中式任务分配问题,转换为各个虚任务区内小规模的分布式优化问题,采用分解-协调优化模式和启发式遗传算法相结合的方法,实现对各个子区域优化问题的二次迭代求解。仿真结果表明,分布式协同优化方法能够有效降低协同干扰任务分配问题的求解规模,避免"维数灾",具有可行性。
- 黄郡单洪满毅陈娟
- 关键词：启发式遗传算法
