搜索资源列表
mops-0.9.1.tar
- Mops 模型检测工具 用来对C程序进行检测-model checking c programs
EvolutionaryAlgorithmsforSolvingMulti-ObjectivePro
- 《Evolutionary Algorithms for Solving Multi-Objective Problems》这是一本有关多目标进化的非常值得一看的书，里面有测试标准，测试函数等内容-The solving of multi-objective problems (MOPs) has been a continuing effort by humans in many diverse areas, including co
MOPS
- Documentación sobre image stitching
1090-WP-9-14.pdf
- ADS-B MOPS Angle Table
roboter-mops
- Roboter "MOPS" build up using LTSpice Network Simulator
2
- 提升复杂系统的定量决策支持，将成本作为独立变量（CAIV）寻求“最佳”点设计，是一个约束的非线性优化问题，其目标函数是最优有效性度量（MOE）表示，由基于性能的成本模型、二阶约束MOEs、系统性能指标的界限（MOPs）构成。算法采用的是同时扰动随机逼近方法（SPSA）。附件中是二阶约束MOEs模型的仿真程序。附：仿真流程图-Ascend the quantitative decision support of complex syste
4.-Case-Study-2---MOPS
- Security analysis and verification by model checking tools