: 以下的问题感觉有点零碎... : : 1. cirsim -r 的部分，想斗胆请问一下，教授的 MAX FAIL 是如何决定的？？？ : : 因为自己实际去跑的时候...有些会跑到 xx 万个 pattern... : : （好像是 sim09 还 sim12 忘了，sim13 不敢测 XD） : : 感觉起来实在是太多了...可是又很担心说 sim 的太少等一下 fraig 会崩溃... : 这部分就是要请你们自己调，把可能会影响的因素加入 MAX_FAIL 的因素里。 当然，还有呼叫 SAT 的顺序与方法 (虽然与 MAX_FAIL 无关) 也是可以调一下。 : 2. fraig 的部分... : : 在投影片里面看到几个惊悚的东西... : : (1) 好像有说假如有些 case 证太久的话就要放弃... : : 请问这个部分要用 SAT 里的哪些指令才能做到呢？？？ : 这部分要自己去改一下呼叫 SAT 的介面。 我是没有做啦! : (2) 假如 SAT 的话，要把这个 SAT 的 input pattern 记下来去做 simulation : : 请问这个意思是说... : : 在 fraig 到一半的时候，假如出现 SAT : : 就要把那个 pattern 直接拿去 simulate : : 然後产生新的 FECGroup 然後再继续 fraig 吗？？？ : 嗯，当然是收集到一些 patterns 之後再去 simulate。 : 还请各位帮忙，谢谢！！！ : : -- : ◆ From: 123.192.136.173 : 推 kickpp:1.自己定义一个threshold func. 我也很好奇教授的是甚麽XD 01/16 00:49 : → kickpp:2.之前问老师的结果好像ref也没做这个 老师口中的进步空间 01/16 00:50 : → kickpp:2.(2) 对 你可以收集一些在一起做... 01/16 00:50 : → victoret:所以 2. 的部分都是 feature 而已...吗？ 01/16 00:56 : → victoret:总觉得真的做起来又是十几二十小时的以上的东西了... 01/16 00:56 其实你 sim 的 code 如果有做好 modulize 的话，其实还算简单啦! : → victoret:那，fraig 只需要把 FEC Group （尽可能）消灭掉...是吗? 01/16 00:57 : 推 kickpp:(1)不是一定要做 (2)的话...只能说NP problem後来会很可怕 01/16 01:03 : → kickpp:应该fraig完 cirp -fec理论上要全空的 01/16 01:04 是的，fraig 之後 cirp -fec 应该要全空哦! : 推 wmin0:man alarm, 不过我也没做...太麻烦了= = 01/16 03:17 : → wmin0:附上http://dl.dropbox.com/u/19808353/alarm.cpp 01/16 03:47 : 推 takua624:那决定了，(2)的解决方式就是：不爽就多SIM-FRAIG几次!! 01/16 07:59 哈哈! 注意一下效能啦! 虽然效能的占分很小。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.36.61.155