• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 추계종합학술대회
• /
• pp.355-358
• /
• 2007

무선 이동통신 시스템은 음성 위주의 서비스에서 고속의 데이터 전송 및 멀티미디어 서비스로 다양화되고 서비스 수요도 증가되고 있다. 이러한 환경에서 다양화된 서비스에 대한 Qos를 보장하는 호수락 제어 기법에 대한 연구가 진행되고 있다. SRN(Stochastic Reward Net)은 페트리 네트의 확장형으로 성능분석을 위한 다양한 기능을 가진 모델링 도구이다. 본 논문에서는 4세대 이동통신 기술로 기대되고 있는 IEEE 802.16e에서 정의하고 있는 4가지 서비스 클래스를 고려한 호 수락 제어 기법에 대한 모델을 SRN을 이용하여 개발한다.

• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• 로봇학회논문지
• /
• 제12권1호
• /
• pp.94-106
• /
• 2017

Unmanned military vehicles (UMVs) will be increasingly applied to the various military operations. These UMVs are most commonly characterized as dealing with "4D" task - dull, dirty, dangerous and difficult with automations. Although most of the UMVs are designed to a high degree of autonomy, the human operator will still intervene in the robots operation, and tele-operate them to achieve his or her mission. Thus, operator capacity, along with robot autonomy and user interface, is one of the important design factors in the research and development of the UMVs. In this paper, we propose the method to assess the operator capacity of the UMVs. The method is comprised of the 6 steps (problem, assumption, goal function identification, operator task analysis, task modeling & simulation, results and assessment), and herein colored Petri-nets are used for the modeling and simulation. Further, an illustrative example is described at the end of this paper.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2091-2101
• /
• 1998

상호운용성은 정보기술 및 통신분야에서 가장 중요한 요소의 하나이다. 본 논문에서는 상호운용성에 관한 시험방법 및 시험 스위트의 생산에 대하여 논의하고 있다. 적합성시험을 비롯하여 정형적인 검즈에서 가장 먼저 고려되는 치명적인 문제점은 상태공간의 폭발에 관한 사항이며 이는 상호운용성의 시험방법 및 시험 스위트의 개발에 있어서도 가장 먼저 해결되어야 할 문제이다. 본 논문에서는 페트리네트를 이용한 상운용성 시험을 지원하기 위해 새로운 상태 공간 축약 방법을 제시하며 이를 이용한 상호운용성의 시험방법 및 시험 스위트 생성 방안을 IOSM, Quasi stable state 등을 이용하여 HOSS에 기반한 상태축약 결과를 보임으로써 상호운용성시험을 효율적으로 지원하는 방안을 제시한다.

• 전자공학회논문지
• /
• 제49권9호
• /
• pp.205-214
• /
• 2012

시스템의 장애와 재해로부터 기업의 자산을 보호하는 것은 IT 운영 관리자들이 가장 고려해야 할 사항들 중 하나이다. 그러므로 본 연구는 이러한 재해 복구를 위한 백업 시스템을 제안하였다. 기존의 백업 방식이 데이터베이스의 업데이트가 발생하면 그 이력이 개장 기록(redo log) 파일에 저장이 되고 이 기록파일이 예정된 파일의 크기를 넘어서면 순차적으로 기록보관소 기록(archive log) 파일들로 저장된다. 그러므로 데이터베이스의 변경이 생기는 동안 실시간 변경되는 데이터를 백업받는 과정에 데이터 손실의 오류가 발생할 수 있다. 제안한 백업 시스템은 온라인 개장 기록을 처리기록(transaction log) 데이터베이스로 실시간 백업하고, 기존 백업방법에서 누락 될 수 있는 자료보관소 기록(archive log)으로 백업된다. 그러므로 데이터의 복구 시 온라인으로 개장 기록까지 실시간 복구가 가능하여 데이터의 손실을 최소화 할 수 있을 뿐만 아니라, 멀티스레드 처리방법으로 데이터 복제가 수행되어 시스템의 성능도 향상 시킬 수 있도록 설계하였다. 설계된 백업 시스템의 안정성을 검증하기 위하여 CPN(Coloured Petri Nets)을 도입 하였으며, 백업시스템의 각 수행 단계는 CPN의 그래픽으로 도식화 하고, CPN의 정의와 정리를 기반으로 안정성을 검증하였다.

• 정보처리학회논문지B
• /
• 제9B권6호
• /
• pp.827-834
• /
• 2002

본 논문에서는 개정된 로마자 표기법에 일치하는 한글의 로마자 표기 생성을 위한 한글-로마자 표기 변환표의 생성에 관한 연구를 수행하였다. 로마자 표기법의 근간이 되는 표준 발음법과 로마자 표기법을 수학적으로 분석하기 위하여 페트리넷 모델을 이용한 자연 언어의 수학적 분석 방법을 도입하였다. 페트리넷 모델을 이용한 분석의 방법으로 한글 로마자 표기 변환 표를 생성하기 위한 방안과 로마자 표기법의 페트리 넷 모델링을 통하여 그 실질적인 예를 보여 한국어의 수학적 모델링 방안과 적용방법을 제시한다. 생성된 한글-로마자 표기 변환표를 검증하기 위하여 윈도우 기반 응용 프로그램을 개발하고 로마자 표기 용례사전의 로마자 표기와 응용 프로그램의 결과를 비교하였다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1082-1092
• /
• 1996

현재, 과학, 기술 문서 등에 많은 사용되는 수식의 표기법이 TeX, EQN등과 같이 가특정 시스템에 의존하여 시스템간의 상호교환이 안되고 있다. 따라서 본 논문에서는 워드프로세서나 전자출판등에서 작성되는 수식 정보의 공유 및 시스템간 상호 교환성 을 확보하기 위하여, 국제 표준 SGML 표기법으로 수식을 표현할 수 있고, 또한 수식용 문서형 정의(Document Type Definition)에 따라 수식 구조의 오류 검사 기능을 갖는 대화형 수식 편집기의 설계 및 구원을 한다. 사용자 접속으로는 수식 심볼 아이콘에 대한 마우스 입력과 키보드 입력 등의 직접 조작 방식을 구현하였다. 구현 환경으로는 워크스테이션 상에서 UNIX를 운영 체제로 하는 X 윈도우 시스템과 그래픽컬 사용자 접속인 OSF Motif를 사용하였고 메뉴 및 화면 구성을 위하여 OSF UIL(User Interface Language)을 사용하였다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1103-1111
• /
• 1996

하드웨어와 통신 기술의 발달로 가능하게 된 분산처리 시스템은 수행 방식이 비결 정적이고 복잡하기 때문에 소프테웨어의 디자인이 비분산처리 시스템에 비해 복잡하고 또한 까다롭다. 따라서 하드웨어에 비해 상대적으로 뒤져있는 분산처리 시스템 소프 트웨어 개발을 위한 디자인 방법에 관한 연구에 대한 필요성이 높아지고 있다. 한편 객체향 시스템과 분산처리 시스템은 상호 유사한 점이 있어, 분산처리 시스템 개발에 객체지향 기술의 적용은 자연스럽게 이루어질 수가 있다. 본고에서는 분산에서는 분산처리 시스템 설계를 위한 객체지향 기술의 적용에 대하여 소개하고 있다. 제안된 설계방법은 다양한 그래픽 모델, 즉, 자료구조도, 상태전이도 그리고 패트리 네트의 정보를 조합하여 객체와 행위 그리고 이들 간의 관계에 대한 정보를 추출하여 분산 처리 시스템에 적합한 명세서를 산출하고자 한다. 지식베이스를 정보저장소로 이용 하여정보의 저장, 검색 뿐만 아니라, 정보의 오류 연구를 검증할 수가 있다. 본 방법의 최종 결과인 객체모델은 디자인 명세서로서 분산처리프로그램 개발에 사용된다.

• 한국시뮬레이션학회논문지
• /
• 제28권2호
• /
• pp.107-117
• /
• 2019

조선업은 한정된 자원을 사용하는 single-product production방식이며, 리소스를 효율적으로 관리하여 선박 공정의 생산성을 극대화 시킬 수 있는 생산관리기술이 중요하다. 때문에 많은 조선사에서는 모델링 및 시뮬레이션을 적용함으로써 현장 내 다양한 제약 조건이 고려된 선박 생산계획 및 공정에 대한 연구를 수행하고 있다. 하지만 기존 연구들은 갑작스런 일정 및 공정변경 시 정확한 생산계획을 제공하기 어려우며, 블록을 생산하는 각 공정 간의 상호연관성 파악이 어렵다. 뿐만 아니라, 블록의 세부 공정 및 일량을 고려하지 못하였기 때문에 생산계획과 현장계획에 많은 차이가 발생한다. 본 연구에서는 조선 내업공정 내 스케줄 된 전체 블록의 공정작업 순서 및 설계정보, 그리고 자원 제약을 고려하는 모델링 방법인 통합 프로세스 기반 모델 설계 방법을 제시한다. 통합 프로세스 기반 모델을 통해 사용자는 내업공정 내 블록 간의 조립관계, 정반정보 및 조립공정의 선후관계 파악이 용이하다. 또한 조선 내업공정에서 공유하는 리소스의 일량을 고려하여 부하 평준화를 진행하기 때문에 별도의 시뮬레이션 및 리소스의 모델링 절차 없이 리소스 효율을 최대화 할 수 있는 전체 생산계획을 얻을 수 있다.