나는 automaton을 실행하고 eps 파일을 내 보냈다. 그러나 eps 파일에서 정보를 더 자세히 분석하고 얻는 방법은 무엇입니까? 변수 값을 외부 로그 파일에 쓸 수 있습니까? 미리 감사드립니다.UPPAAL 시뮬레이터 eps 파일의 데이터를 어떻게 분석 할 수 있습니까?
답변
eps를 분석하는 요점은 없습니다 (보고서에 포함되어야 함). 데이터 분석은 같이 simulate
(Uppaal 4.1) 쿼리를 사용하여 검증의 다음 시도 : T(i)
는 프로세스 및 Ready
, Computing
, Release
및 Error
가 위치되어있다
simulate 1 [<=300] {
(T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8,
(T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4,
(T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0
}
.)
B : - : 그런 다음, 쿼리를 모델-확인 마우스 오른쪽 버튼으로 클릭 한 다음 그래프 참조>comma separated values
,
또는
이A) Export
를 플롯을 마우스 오른쪽 버튼으로 클릭하고 선택을 위의 쿼리를 검증 할 때 verifyta (명령 행 도구)의 표준 출력에서 플롯 값을 구문 분석하십시오.
예. 고맙습니다. 나는 이것을 시도 할 수있다. UPPAAL에서 자동화를 실행하면서 로그를 작성하거나 변수 값을 외부 파일로 업데이트하는 방법이 있습니까? – user3559706
아니요, 거기에 대한 API가 있습니다 : http://people.cs.aau.dk/~marius/modeldoc/ – mariusm
감사합니다. 나는 또한 나의 연구를 위해 uppaal과 인터페이스하는 matlab을보고있다. – user3559706
- 1. .swf 파일의 데이터를 어떻게 파싱 할 수 있습니까?
- 2. 어떻게 MATLAB에서 .fig 파일의 데이터를 추출 할 수 있습니까?
- 3. 어떻게 텍스트 파일의 데이터를 mysql에 삽입 할 수 있습니까?
- 4. XIB 파일의 XML 데이터를 읽을 수 있습니까?
- 5. 저장된 eps 파일의 해상도 향상
- 6. 어떻게 이런 예외를 분석 할 수 있습니까?
- 7. 새 프로젝트를 어떻게 분석 할 수 있습니까?
- 8. iPhone 시뮬레이터/장치와 대화 할 수 있습니까?
- 9. iOS 시뮬레이터 메뉴에서 "디버그"섹션을 어떻게 활성화 할 수 있습니까?
- 10. iOS 시뮬레이터 응용 프로그램 디렉토리를 어떻게 구성 할 수 있습니까?
- 11. 어떻게 서버 측에서 .unity3d 파일을 구문 분석 할 수 있습니까?
- 12. javamail을 사용한 eps 첨부 구문 분석
- 13. UPPAAL 모듈로 예
- 14. NSView에서 EPS 데이터를 그리는 방법
- 15. 파이썬에서 C 파일의 #define을 어떻게 참조 할 수 있습니까?
- 16. ffmpeg 파일의 특정 위치에서 구문 분석 할 수 있습니까?
- 17. Tikz 간단한 순서도에 어떻게 .eps 그림을 포함시킬 수 있습니까?
- 18. Guice : 어떻게 데이터를 캐시 할 수 있습니까?
- 19. 어떻게 QtCreator에 데이터를 게시 할 수 있습니까?
- 20. 데이터를 어떻게 구조화 할 수 있습니까?
- 21. 메이플의 데이터를 어떻게 부드럽게 할 수 있습니까?
- 22. 어떻게 세션 데이터를 직렬화 할 수 있습니까?
- 23. 어떻게 스레드간에 데이터를 공유 할 수 있습니까?
- 24. json 데이터를 어떻게 재구성 할 수 있습니까?
- 25. * .tiff 및 * .eps 파일의 태그 읽기
- 26. .bat 일괄 파일의 데이터를 어떻게 바꿀 수 있습니까?
- 27. 교착 상태 검사 Uppaal
- 28. 어떻게 안드로이드 앱용 .XML 파일의 데이터를 사용할 수 있습니까?
- 29. 온라인 SQL Server 데이터베이스 압력을 어떻게 분석 할 수 있습니까?
- 30. 정규 표현식을 사용하여이 데이터를 긁거나 분석 할 수 있습니까?
1) 플롯을 마우스 오른쪽 버튼으로 클릭 할 때 "내보내기 -> 쉼표로 구분 된 값"메뉴 옵션이 있습니다. 2) 궤적이 verifyta (명령 행 도구)의 표준 출력에 인쇄됩니다. – mariusm