Location:
Search - MOPS
Search list
Description: Mops 模型检测工具 用来对C程序进行检测-model checking c programs
Platform: |
Size: 613376 |
Author: gavin |
Hits:
Description: 《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 computer science, engineering, economics, finance, industry, physics, chemistry, and ecology, among others. Many powerful and deterministic and stochastic techniques for solving these large dimensional optimization problems have risen out of operations research, decision science, engineering, computer science and other related disciplines. The explosion in computing power continues to arouse extraordinary interest in stochastic search algorithms that require high computational speed and very large memories. A generic stochastic approach is that of evolutionary algorithms (EA). Such algorithms have been demonstrated to be very powerful and generally applicable for solving different single objective problems. Their fundamental algorithmic structures can also be applied to solving many multi-objective problems. In this book, the various features of multi-objective evoluti
Platform: |
Size: 12280832 |
Author: 海 |
Hits:
Description: Documentación sobre image stitching
Platform: |
Size: 898048 |
Author: andrew_84 |
Hits:
Description: ADS-B MOPS Angle Table
Platform: |
Size: 41984 |
Author: toChiep5 |
Hits:
Description: Roboter "MOPS" build up using LTSpice Network Simulator
Platform: |
Size: 12288 |
Author: Elektro88 |
Hits:
Description: 提升复杂系统的定量决策支持，将成本作为独立变量（CAIV）寻求“最佳”点设计，是一个约束的非线性优化问题，其目标函数是最优有效性度量（MOE）表示，由基于性能的成本模型、二阶约束MOEs、系统性能指标的界限（MOPs）构成。算法采用的是同时扰动随机逼近方法（SPSA）。附件中是二阶约束MOEs模型的仿真程序。附：仿真流程图-Ascend the quantitative decision support of complex systems, will cost as an independent variable (CAIV), look for the \"best\" design is a constrained nonlinear optimization problem, the objective function is the optimal effectiveness measures (MOE), said by a cost model based on performance, second-order constraints, the boundaries of MOEs, system performance index (MOPs). Algorithm USES a method perturbation stochastic approximation (SPSA) at the same time. Attached is a quadratic constraint MOEs simulation program of the model.
Platform: |
Size: 57344 |
Author: a |
Hits:
Description: Security analysis and verification by model checking tools
Platform: |
Size: 284672 |
Author: Jal |
Hits: