“常用公式”在线计算,“设计手册”在线查询
楼主
王琦 十品草民 发表于 2013-6-7 16:21:08 | 显示全部楼层
在使用优化功能之前我们必须要知道我们要实现的目的是什么,然后根据目的定义函数,在设置一些边界条件,然后witness就可以自动优化出不同的结果
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

关注我们

360网站安全检测平台