ctl

1зной

1ответ

Является ли эта формула CTL эквивалентной и что ее удерживает?

Мне интересно, эквивалентны ли формулы CTL ниже, и если да, можете ли вы помочь мне убедить себя, что они есть? A (p U (A (q U r))) = A (A (p U q) U r) Я не могу придумать какие-либо модели, которые п

logic ctl transitivity 2015-10-13

---

0зной

1ответ

Получение ошибки времени компиляции для этого кода, помогите мне

Я получаю ошибку времени компиляции для этого кода. Не понимаю, о чем идет речь, пожалуйста, помогите. Это какой-то практический вопрос о кодеке. Пытался найти в Интернете, но не смог найти похожие от

java arrays ctl 2016-05-01

---

1зной

2ответ

Sqlldr принять 1 тип формата даты

У меня есть файл сценария sql, который динамически генерирует файл управления. Он принимает поля даты в форматах даты для mm/dd/yyyy. Sqlldr загружает даты из файла csv, но также принимает форматы дат

sql date unix sql-loader ctl 2016-06-21

---

0зной

1ответ

NuSMV Realtime CTL

Я использую NuSMV, и я пытаюсь написать свойство CTL в реальном времени. Я хотел бы знать, если есть способ, чтобы установить шаги от государства, как: ((s.state = on) ABG (0..5 s.state = off)) читает

ctl nusmv 2016-11-29

---

1зной

1ответ

Проверка модели NuSMV: создать простую модель игры

Я новичок в NuSMV и попытаюсь смоделировать эту простую пошаговую игру. В куче 10 кирпичей, каждый игрок может взять 1-3 кирпича за ход, тот, кто берет последний кирпич, выигрывает игру. Предположим,

logic model-checking ctl nusmv 2016-03-28

---

1зной

1ответ

выход kubectl отличается от удаленного API

Я использую kubernetes для контейнера оркестровки, я не получаю никакого вывода во время работы kubectl get rc на главном узле, пока я получаю список контроллеров репликации при использовании их REST

rest kubernetes ctl 2015-11-03

---