推 victoret:感謝教授！！！ 01/16 23:09
: 以下的問題感覺有點零碎...
:
: 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