ctl

    1熱度

    1回答

    NuSMV模型檢查：創建一個簡單的遊戲模型

    我是NuSMV的新手，並嘗試對這個簡單的回合制遊戲進行建模。一堆中有10塊磚，每個玩家每回合可以拿1-3塊磚，誰拿走最後一塊磚就贏得比賽。假設玩家A先去，這是我的嘗試。我想表達的是，「最終有一個勝利者」，但是我的代碼不起作用，因爲它不阻止玩家在磚塊= 0之後採取磚塊，所以最終玩家a，b都會成爲贏家。 這裏是我的代碼： MODULE main VAR bricks : 0..10; i :
    logic model-checking ctl nusmv 2016-03-28

    1熱度

    1回答

    kubectl產量比遠程API不同

    我使用容器編排kubernetes，我沒有得到任何輸出，而主節點上運行kubectl get rc，而我得到的複製控制器的列表，使用他們的REST API時 curl -X GET masterurl/api/v1/replicationcontrollers. 什麼我是否缺少
    rest kubernetes ctl 2015-11-03

    0熱度

    1回答

    如何在oracle中結束加載infile進程

    我想加載使用在ctl文件中的數據，但是我得到的語法錯誤，即：SQL * Loader-350：第15行的語法錯誤。 期待「，」或「）」，找到關鍵字。 COS「TRUNC（：COS/32）」，終止於WHITEES 以下代碼是我的嘗試。 load data INFILE 'rtd.txt' INTO TABLE RTD_ATTLAS_TMP APPEND FIELDS TERMINATED B
    oracle sql-loader ctl 2015-08-03

    0熱度

    1回答

    如何將這些變成NuSMV模型中的CTL SPEC？

    我需要幫助寫這些CTL。我不知道如何編寫NuSMV格式，希望我的代碼對你有意義，因爲它是不完整的atm。 2）如果一個進程正在等待，它將最終到達其臨界區 3）兩個進程必須「輪流」進入臨界部 4）是可能的一個過程連續兩次進入關鍵部分（在另一個進程之前）。 5）通過進程1連續進入臨界區的條目將被分隔至少n個循環，其中n是某個常數。你應該爲n選擇一個合適的值，並且應該驗證這個值（即，沒有反駁）。你的選擇
    model logic model-checking ctl nusmv 2016-05-30

    0熱度

    1回答

    如何在SQL加載程序的ctl文件中修整列數據的新行字符

    我的表數據包含從sql加載程序ctl文件加載的新行字符，名爲'IPADDRESS'的一列用新行字符加載： 我的CTL的文件： load data INFILE 'abc.txt' INTO TABLE TABLENAME APPEND FIELDS TERMINATED BY '\|' (MAKE, CUST_ID "UPPER(:CUST_ID)", IPADDRESS "REGE
    sql-server ctl 2016-04-21

    0熱度

    3回答

    操作數據並通過SQLLDR加載

    有人可以幫助我。 我需要將數據從.dat文件加載到表中。 .DAT文件有Col1中，col2的，COL3 表有Col1, Col4 我要的是 Table.Col4 = DAT File Col2*Col3 如何通過SQLLDR和CTL文件實現這一目標。 注意DAT文件中的列可以是可變長度的。 eg DAT File: 110000002 , 1 , 7500
    oracle sql-loader ctl 2015-06-29

    2熱度

    1回答

    你如何閱讀一組原子命題？

    我給出了原子命題{a，b，c}的上述系統。 然後，我打算說某些LTL公式是否成立（如♢☐c）。 我瞭解LTL公式的含義（最終永遠保持c），但我不知道如何閱讀該圖並將其與LTL關聯起來。 我假設它就像一個流程圖，我們從左上角開始，/{a}，可以通過不同的狀態。但是它們每個意思除以a？
    logic model-checking ctl 2017-05-27

    1熱度

    2回答

    Sqlldr接受1種日期格式

    我有一個動態生成控制文件的sql腳本文件。它接受日期格式的日期字段爲mm/dd/yyyy。 sqlldr正在從csv文件加載日期，但它也接受日期格式，如「mm \ dd \ yyyy」或「mm.dd.yyyy」。我如何讓它只接受MM/DD/YYYY？ set echo off ver off feed off pages 0 accept fname prompt 'Enter Name of
    sql date unix sql-loader ctl 2016-06-21

    2熱度

    1回答

    檢查SMV中的CTL規格

    當我試圖檢查SM中的「EG（！s11included &！s10included）」時，它被報告爲false，並給出如下反例，我認爲相反它支持此CTL規範。我的CTL規範有什麼問題嗎？ -- specification EG (!s11included & !s10included) is false -- as demonstrated by the following execution s
    model-checking ctl nusmv 2017-07-28

    0熱度

    1回答

    NuSMV實時CTL

    我正在使用NuSMV，我試圖寫一個實時CTL屬性。 我想知道是否有設置從一個狀態的步驟的方式，如： ((s.state = on) ABG (0..5 s.state = off)) 讀爲：if (s.state=on) is true，從該國和其他5個步驟物業(s.state= off) is true。 我試圖寫這樣的東西，但它不起作用。你可以幫我嗎？ 否則，是否可以檢查從不是第一個狀態開始的
    ctl nusmv 2016-11-29
最新問題