ctl

    0열

    1답변

    Java7에서 Emma가 [ctl] 명령을 인식하지 못함

    최신 버전의 Emma ie 2.0.5312와 Java 7을 사용하고 있습니다. 다음 명령을 실행하여 해당 coverage.ec을 실행하면 오류가 발생합니다 . 자바 엠마 CTL -connect 로컬 호스트 : coverage.ec 47653 - 명령 coverage.get, 엠마의 이전 버전을 사용하지만 5312는 최신 빌드입니다 구축 믿는 경우이 오류는
    code-coverage instrumentation emma ctl 2013-03-08

    1열

    2답변

    Sqlldr은 1 형식의 날짜 형식을 사용합니다.

    동적으로 제어 파일을 생성하는 SQL 스크립트 파일이 있습니다. mm/dd/yyyy의 날짜 형식으로 된 날짜 필드를 허용합니다. sqlldr은 csv 파일에서 날짜를로드하지만 "mm \ dd \ yyyy"또는 "mm.dd.yyyy"와 같은 날짜 형식도 허용합니다. 어떻게하면 MM/DD/YYYY 만 수락 할 수 있습니까? set echo off ver off
    sql date unix sql-loader ctl 2016-06-21

    4열

    2답변

    내 모델의 모델링을위한 LTL, CTL 또는 TLA (내부 설명)?

    현재 나는 석사 학위 논문을 쓰고 있으며 일시적인 논리에서 나의 접근 방식을 지정하고 검증하는 것에 직면 해 있습니다. 곧 기본적인 시나리오를 설명 하겠지만, 세부 사항을 묻는 데 자유롭게 생각해 봅니다 ;-) 기본적으로 어떤 상황적인 논리가 내 상황에서 사용하기에 가장 좋을지 궁금합니다. 또한 내 접근 방식과 진행 방법에 대한 피드백을 정말 좋아할 것입니
    logic model-checking ctl tla+ 2014-03-03

    1열

    1답변

    단일 ctl 파일을 사용하여 여러 데이터 파일의 데이터를 여러 테이블로로드

    3 개의 데이터 파일과 3 개의 스테이징 테이블이 있습니다. 매개 변수를 사용하는 단일 제어 파일을 사용하여 데이터 파일에서 해당 스테이징 테이블로 데이터를 입력하는 방법이 있습니까? 시나리오를 자세히 설명하기 위해 A_Stg, B_Stg, C_Stg 스테이징 테이블에 각각 데이터가 입력되는 A.dat, B.dat, C.dat의 세 가지 데이터 파일이 있습
    sql-loader ctl 2012-12-13

    2열

    1답변

    CSV를 SQLLDR로로드 (거부 됨)

    CSV 파일이 있습니다. 나는 내 loader.ctl가 @echo off sqlldr [email protected]/password data=D:\csv\data.csv control=D:\ctl\loader.ctl log=D:\ctl \loader.log bad=D:\ctl\loader.bad pause 입니다 oracle database wit
    oracle csv load sql-loader ctl 2013-08-21

    0열

    1답변

    SQL 로더 제어 파일의 절은

    내가 제어 파일에있는 절, 제어 파일이이 내 코드 경우에 OR 조건을 사용하려고 할 때를 사용 또는 컨디셔닝 방법 : load data INFILE 'router.txt' INTO TABLE ROUTER_ATTLAS_TABLENAME APPEND **WHEN ((1) = 'J' or (1) = 'D2' or (1) = 'vJ' or (1) = 'VJ
    sql-server sql-loader ctl controlfile 2016-10-12

    2열

    1답변

    유효한 CTL 또는 LTL 식 구성 (NuSMV)

    NuSMV에서 모델 검사를위한 유효한 CTL 또는 LTL 식을 만들려고합니다. 나는 게임에서 서로를 잡으려고하는 배우가있는 변수가 있습니다. 변수는 State_Of_Game : {Win, Lose, Playing} 이며, 모든 시작 상태에서 게임이 승리하거나 손실 될 수 있음을 표현하고 싶습니다. 그래서 어떻게 이것을 CTL 또는 LTL로 구현할 수 있습니
    logic ctl nusmv 2013-12-12

    3열

    1답변

    pgloader - PostgreSQL에 대한 빠른 데이터로드

    PostgreSQL에 데이터를 빠르게로드하려고합니다. pgloader https://github.com/dimitri/pgloader을 사용하기 시작했고 병렬 로딩을 사용하려고했습니다. 나는 다른 매개 변수로 땜질하고 있었지만 32 대가있는 내 컴퓨터에서 2 개 이상의 코어를 활성화 할 수 없었습니다. 설명서 https://github.com/dimitri
    postgresql settings loader postgresql-9.3 ctl 2015-01-14

    1열

    2답변

    NuSMV 적어도 5 시간 걸려 승리하려면

    나는 NuSMV 프로그램을 가지고 있으며 CTL 또는 LTL에서 프로그램 (게임)을 5 단계 미만으로 획득 할 수 없다고 명시해야합니다. 또는 더 형식적 : 게임을 승리하기 위해 적어도 5 단계의 단계가 필요합니다. 나는 명시적인 시간 변수가 없으므로 확인을 위해 만들고 싶지 않습니다. 이미 만들어진 전환 양을 계산할 수있는 방법이 있습니까? 방문한 국가의
    logic ctl nusmv 2013-12-17

    1열

    1답변

    NuSMV에서 간단한 Kripke 모델을 만드는 방법은 무엇입니까?

    저는 현재 LTL (Linear-time Temporal Logic)과 CTL (Computation Tree Logic)에 대한 이론적 연구를하고 있습니다. 나는 NuSMV를 처음 사용하고 있으며 간단한 Kripke 구조를 만드는 데 어려움이 있습니다. 내 구조는 다음과 같습니다. S = {s0, s1, s2}는 가능한 상태 집합, R은 다음과 같은 전이
    logic ctl nusmv 2014-04-05
최근 질문