“常用公式”在线计算,“设计手册”在线查询
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
收藏收藏 分享分享 分享淘帖 支持支持 反对反对

共 1 个关于本帖的回复 最后回复于 2013-6-7 16:21

沙发
王琦 十品草民 发表于 2013-6-7 16:21:08 | 只看该作者
研发埠培训中心
在使用优化功能之前我们必须要知道我们要实现的目的是什么,然后根据目的定义函数,在设置一些边界条件,然后witness就可以自动优化出不同的结果
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

关注我们

360网站安全检测平台