OKRC 회의록

(Form 6 v2.0 18. 01. 05)

날 짜: 2018-10-22 (월)

참여자: MK, YB, SH, JS, HH

기록자: JS

주 제: OKRC 10월 4주 PLAN 회의

I. 신규 업무 확인

1. N/A

II. 기존 업무 확인

## ##### : 비활성화 업무

## ##### : “대기” 또는 “중지” 업무

## : 종료 예정 업무

 

1. [18-001-RD-01] SAVE 3.0

2. [18-002-RD-02] PRISM 2.0

3. [18-003-RD-03] SRRE 1.0/2.0

4. [18-004-RD-04] 우주기초 과제

5. [18-009-PP-03] [J] Choice/d-Calculus/SAVE/상태감소

6. [18-010-PP-04] [J] BO/PRISM/상태감소

7. [18-012-PP-06] [B] ADOxx/Manual/K [Private]

8. [18-016-PP-10] [J] GTS/Analysis/Coding

9. [18-018-PP-12] [C] ICServ2018/Certification

10. [18-019-PP-13] [C] PoEM2018/dTP-calculus

11. [18-032-BZ-06] BZEN Patent-I: Transfer

12. [18-036-RD-07] NGV/IP-I/SAVE/TCG [Classified]

13. [18-039-PP-15] MS/Thesis/MR

14. [18-044-RC-11] BOOK Project

15. [18-045-RD-10] CMS v1.0

16. [18-046-RC-12] OKRC HP v3.0

17. [18-047-BZ-07] BZEN HP v3.0

18. [18-048-LC-01] 2018 2학기 소프트웨어 공학 (SE)

19. [18-049-LC-02] 2018 2학기 멀티미디어 (MM)

20. [18-050-RC-13] 2018 OKRC 하반기 R&D 업무체계 (ADONIS)

21. [18-051-RD-11] NGV/CPS/Proposal

22. [18-052-PP-16] dTP-calculus 논문 번역

23. [18-053-PP-17] PrOse Workshop

24. [18-054-PP-18] PoEM2018-PRISM

25. [18-055-BZ-08] ADONIS/K 판매 절차 확인 및 수행

III. 종료 업무 확인

## ##### : 종료 업무

 

1. [18-030-RC-04] OKRC HP/Map+…

2. [18-035-RC-06] 2018 OKRC 다이어리 및 명함 제작

3. [18-034-PP-14] MS/Thesis/JS

4. [18-006-RD-06] NGV 과제 [Classified]

5. [18-029-BZ-04] ADONIS/Admin [Classified]

6. [18-023-NPO-01] HQ/Opening/G/B [Classified]

7. [18-024-NPO-02] Tokyo/Japan/Prof. K/SM(1) [Classified]

8. [18-025-NPO-03] OMiLAB/Vienna/Austria/SM(2) [Classified]

9. [18-026-BZ-01] BOC/Vienna/Austria/SM(1) [Classified]

10. [18-038-RC-08] 실험실 기자재 구매

11. [18-007-PP-01] [J] InTech/dT-Calculus

12. [18-008-PP-02] [J] SoSS/ADONIS/Certification

13. [18-020-RC-01] 제 3차 ADOxx 교육

14. [18-028-BZ-03] KTC/TMS 2.0 [Classified]

15. [18-005-RD-05] SAVE 과제

16. [18-042-RD-08] 학제간 융합연구

17. [18-031-BZ-05] BZEN HP/Map/Marketing/Print

18. [18-040-RC-09] SWD/ADOxx Project

19. [18-043-RD-09] 보호 학문 제안서

20. [18-011-PP-05] [B] FM/E/Springer [Private]

21. [18-013-PP-07] [B] ADOxx/Manual/E/Springer [Private]

22. [18-017-PP-11] [C] ER2018/PRISM/Composition

23. [18-021-RC-02] NEMO2018/L

24. [18-022-RC-03] NEMO2018/P+O

25. [18-027-BZ-02] BOC/Vienna/Austria/SM(2) [Classified]

26. [18-033-RC-05] OMiLAB Global License Fee Transfer

27. [18-037-RC-07] 3L-CPS

28. [18-041-RC-10] OMiLAB Korea/Design Room

IV. 폐기 업무

## ##### : 폐기 업무

 

1. [18-014-PP-08] [B] ADOxx/Library/K [Private]

2. [18-015-PP-09] [B] ADOxx/Library/E/Springer [Private]

V. 주요 업무 논의

1. [18-001-RD-01] SAVE 3.0

2. [18-003-RD-03] SRRE 1.0/2.0

3. [18-009-PP-03] [J] Choice/d-Calculus/SAVE/상태감소

4. [18-018-PP-12] [C] ICServ2018/Certification

5. [18-036-RD-07] NGV/IP-I/SAVE/TCG [Classified]

6. [18-047-BZ-07] BZEN HP v3.0

7. [18-048-LC-01] 2018 2학기 소프트웨어 공학 (SE)

8. [18-049-LC-02] 2018 2학기 멀티미디어 (MM)

9. [18-050-RC-13] 2018 OKRC 하반기 R&D 업무체계 (ADONIS)

10. [18-053-PP-17] PrOse Workshop

11. [18-054-PP-18] PoEM2018-PRISM

VI. PLAN

1. [18-001-RD-01] SAVE 3.0

1) D-[18-001-RD-01]-[SAVE 3.0]-[2018-10-22][YB].hwp

2) D-[18-001-RD-01]-[SAVE 3.0]-[2018-10-22][SH].hwp

3) YB: dTP-Cal 확률 분석 관련 매뉴얼 추가

4) SH: Low-, High-Level Procedure 보강

a) NEMO 발표 자료 참고

b) 데이터 정리 후 DO 회의에서 논의 예정

2. [18-003-RD-03] SRRE 1.0/2.0

1) D-[18-003-RD-03]-[SRRE]-[2018-10-22][JS].hwp

2) exprNODE Parser 코드 추가

a) exprNODE 관련 코드 추가 및 테스팅

3) 코드 및 관련 데이터 정리 후 DO 회의에서 논의 예정

 

3. [18-009-PP-03] [J] Choice/d-Calculus/SAVE/상태감소

1) D-[18-009-PP-03]-[Choice]-[2018-10-22][YB].hwp

2) 비교 연구 수정

a) 비교 대상 확인 및 수정

3) 관련 연구 수정

a) Dual approach

b) dT-Calculus

i) 추가 논의 필요: 본문보다 내용이 길어길 우려가 있음

> 관련 연구: 상태 감소 이슈/필요성 부각 필요

 

4. [18-018-PP-12] [C] ICServ2018/Certification

1) D-[18-018-PP-12]-[ICServ2018-Certification]-[2018-10-22][SH].hwp

2) 3주 동안 발표 자료 구성 및 리허설 진행 예정

a) 금주 발표 논문 확인 및 발표 자료 작성 예정

 

5. [18-036-RD-07] NGV/IP-I/SAVE/TCG [Classified]

1) D-[18-036-RD-07]-[NGV]-[2018-10-22][YB].hwp

2) 지난주 업로드 된 추가 자료 분석 및 논의 예정

a) 각종 상태 전이 조건 확인 및 분석

b) 추가된 자료를 완전히 분해할 필요성이 있음

6. [18-047-BZ-07] BZEN HP v3.0

1) D-[18-047-BZ-07]-[BZEN HP v3.0]-[2018-10-22][HH].hwp

2) ADONIS 페이지 구성 진행 중

a) DO 회의에서 피드백 수령 후 수정 진행 예정

3) 일부 상세 내용 적용 예정

7. [18-048-LC-01] 2018 2학기 소프트웨어 공학 (SE)

1) D-[18-048-LC-01]-[SE]-[2018-10-22][SH].hwp

2) BEE-UP 강의 진행 예정

a) Petri net 위주로 진행

3) 디자인 룸 및 설계실 이용 시간 배정 완료

a) 실습 환경 구성 진행 중

 

8. [18-049-LC-02] 2018 2학기 멀티미디어 (MM)

1) D-[18-049-LC-02]-[MM]-[2018-10-22][HH].hwp

2) 금주 모임에서 변동사항 및 진행 사항 점검 예정

a) 개인별 파트 업무 진행

 

9. [18-050-RC-13] 2018 OKRC 하반기 R&D 업무체계 (ADONIS)

1) 윌프리드에게 다시 연락을 취할 예정

 

10. [18-053-PP-17] PrOse Workshop

1) D-[18-053-PP-17]-[PrOse Workshop]-[2018-10-22][YB].hwp

2) 리허설 일정 수립

a) 10/25 (목) 2차 리허설

3) 발표 자료 수정 및 스크립트 준비/연습

 

11. [18-054-PP-18] PoEM2018-PRISM

1) D-[18-054-PP-18]-[PoEM2018-PRISM]-[2018-10-22][JS].hwp

2) 리허설 일정 수립

a) 10/23 (화) 1차 리허설

b) 10/25 (목) 2차 리허설

c) 10/27 (토) 3차 리허설

MK : __________________

YB : __________________

SH : __________________

JS : __________________

HH : __________________

====================================================================================

Included: (17)

1) Minute: (1)

2) MK’s Agenda: (1)

3) YB's Weekly Plan: (1)

4) SH's: (1)

5) JS': (1)

6) HH’s:(1)

7) PLAN Reports: (11)

VI-1-1) D-[18-001-RD-01]-[SAVE 3.0]-[2018-10-22][YB].hwp

VI-1-2) D-[18-001-RD-01]-[SAVE 3.0]-[2018-10-22][SH].hwp

VI-2-1) D-[18-003-RD-03]-[SRRE]-[2018-10-22][JS].hwp

VI-3-1) D-[18-009-PP-03]-[Choice]-[2018-10-22][YB].hwp

VI-4-1) D-[18-018-PP-12]-[ICServ2018-Certification]-[2018-10-22][SH].hwp

VI-5-1) D-[18-036-RD-07]-[NGV]-[2018-10-22][YB].hwp [Classified]

VI-6-1) D-[18-047-BZ-07]-[BZEN HP v3.0]-[2018-10-22][HH].hwp

VI-7-1) D-[18-048-LC-01]-[SE]-[2018-10-22][SH].hwp

VI-8-1) D-[18-049-LC-02]-[MM]-[2018-10-22][HH].hwp

VI-10-1) D-[18-053-PP-17]-[PrOse Workshop]-[2018-10-22][YB].hwp

VI-11-1) D-[18-054-PP-18]-[PoEM2018-PRISM]-[2018-10-22][JS].hwp

=== The End ====