ctl

2зной

1ответ

CTL fomula до содержит импликации

, когда я использую инструменты NuSMV для проверки правильности моего CTL, я сталкиваюсь с проблемой, которая меня так запутала. Моя модель и вот NuSMV код: MODULE main VAR state : {ROOT, A1, B1

model-checking ctl nusmv 2015-04-23

---

2зной

1ответ

создание правильного выражения CTL или LTL (в NuSMV)

Я пытаюсь создать допустимое выражение CTL или LTL для проверки модели в NuSMV. У меня есть переменная в игре, с участием актеров, которые пытаются поймать друг друга. Переменная is, State_Of_Game: {W

logic ctl nusmv 2013-12-12

---

0зной

1ответ

Как я могу загрузить определенный массив полей в Oracle

У меня есть таблица, в которой указано больше полей, но не все. Таблица: id_service id_date_suscription id_date_unsuscription .. У меня есть CTL, с которой данные вставки id_date_suscription запо

sql database oracle sql-loader ctl 2013-11-12

---

2зной

3ответ

Вставка и обновление строки из файла в оракула

У меня есть файл в Linux, файл что-то вроде: (у меня есть миллионы строк) date number name id state 20131110 1089 name1 123 start 20131110 1080 name2 122 start 20131110 1082

sql oracle bash sql-loader ctl 2013-11-15

---

2зной

1ответ

Загрузить CSV с SQLLDR (отклонено)

У меня есть файл CSV. я хочу, чтобы загрузить содержимое файла CSV для oracle database with SQLLDR. Мой SQLLDR является @echo off sqlldr [email protected]/password data=D:\csv\data.csv control=D:\ctl

oracle csv load sql-loader ctl 2013-08-21

---