• 정보처리학회논문지B
• /
• 제10B권1호
• /
• pp.111-118
• /
• 2003

멀티미디어 내용을 웹에 전달해 주기 위해 W3C에서 제안한 SMIL은 현재 널리 사용되고 있으며, 이와 관련된 소프트웨어가 속속 등장하고 있다. 따라서, 본 연구는 시간의 흐름에 따른 상호작용 프로그래밍을 하기 위한 컴퓨터 애니메이션 툴 킷인 RASP의 시간 스크립트를 SMIL 문서 형태로 변환해 주는 알고리즘을 제안한다. 이것은 SMIL 문서의 활용가치가 높아짐에 따라 애니메이션 컴포넌트에 대해 재사용 성을 향상시키며, VML의 순서 다이어그램으로부터 SMIL 문서를 생성해 내므로 기존에 제안된 SMIL 문서의 동기화를 위해 생성된 순서 다이어그램을 검증해 주는데, 큰 의의를 갖는다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.129-134
• /
• 2013

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.448-454
• /
• 2010

Currently a KTX train of 20-car formation is 388m long and carries 931 passengers including one captain and three crews which is quite a few to cover the lengthy service area and many customers. On the other hand, if a passenger wants to talk to an attendant, he has to wait for an attendant passing by his/her seat or walk to an intercom which is placed at every other car. Any of these choices is inconvenient. So, in this paper, we presented a system design for developing an audio/visual communication system for a passenger and an attendant. The system was analyzed and designed according to the Object-Oriented methodology with UML (Unified Modeling Language). Based on a problem statement, a Use-case Diagram, Sequence Diagrams, Class Diagram, State Charts, collaboration Diagram were generated. The design will be used in system implementation to a HEMU-400X test train and to be tested.

• Nuclear Engineering and Technology
• /
• 제56권6호
• /
• pp.2092-2098
• /
• 2024

Probabilistic safety assessment (PSA) plays a critical role in ensuring the safe operation of nuclear power plants. In PSA, event trees are developed to identify accident sequences that could lead to core damage. These event trees are then transformed into a core-damage fault tree, wherein the accident sequences are represented by usual and complemented logic gates representing failed and successful operations of safety systems, respectively. The core damage frequency (CDF) is estimated by calculating the minimal cut sets (MCSs) of the core-damage fault tree. Delete-term approximation (DTA) is commonly employed to approximately solve MCSs representing accident sequence logics from noncoherent core-damage fault trees. However, DTA can lead to an overestimation of CDF, particularly when fault trees contain many nonrare events. To address this issue, the present study introduces a new zero-suppressed ternary decision diagram (ZTDD) algorithm that averts the CDF overestimation caused by DTA. This ZTDD algorithm can optionally calculate MCSs with DTA or prime implicants (PIs) without any approximation from the core-damage fault tree. By calculating PIs, accurate CDF can be calculated. The present study provides a comprehensive explanation of the ZTDD structure, formula of the ZTDD algorithm, ZTDD minimization, probability calculation from ZTDD, strength of the ZTDD algorithm, and ZTDD application results. Results reveal that the ZTDD algorithm is a powerful tool that can quickly and accurately calculate CDF and drastically improve the safety of nuclear power plants.

• 한국인터넷방송통신학회논문지
• /
• 제12권1호
• /
• pp.141-150
• /
• 2012

본 논문은 프로젝트 일정을 계획하고 관리하는 PERT/GANTT 차트를 쉽게 그릴 수 있는 임계경로 탐색 알고리즘을 제안하였다. 프로젝트 일정을 결정하는 임계경로를 계산하기 위해 일반적으로 CPM (Critical Path Method)이 적용되고 있다. 그러나 CPM은 프로젝트 수행 활동들의 수행 기간과 상호 의존 관계에 따라 초기에 작성된 네트워크 다이어그램에 대해 임계경로를 계산하는데 5 단계를 수행하며, $T_E$ (The Earliest Time)을 계산하는 노드 (활동)들의 순서를 결정하는 방법을 제시하지 않아 특정 노드의 $T_E$를 정확히 계산하지 못할 수도 있다. 또한, CPM으로 얻은 네트워크 다이어그램의 활동들의 수행 순서가 시각적으로 명확히 표현할 수 없어 Lucko는 9 단계를 거치는 알고리즘을 제안하였다. 반면에, 제안된 알고리즘은 먼저, 초기에 작성된 네트워크 다이어그램에 대해 너비우선 탐색으로 노드들을 레벨로 재배치하여 수행 순서를 사전에 결정한다. 다음으로, 각 레벨에 속한 노드들을 임의로 선택하여 $T_E$를 계산하는 단계만을 거쳐 임계경로를 즉시 결정한다. 마지막으로, 각 레벨에서 임계경로에 속한 노드들의 $T_E$를 기준으로 임계경로에 속하지 않은 노드들의 $T_E$에 따라 약간의 이동으로 프로젝트 활동들의 수행 순서를 시각적으로 명확히 표현하도록 하였다. 제안된 알고리즘은 10개의 실제 프로젝트 데이터에 대해 적용성을 검증하였다. 제안된 알고리즘은 모든 프로젝트에서 임계경로를 구할 수 있었으며, 활동들의 수행 순서를 시각적으로 명확히 표현하였다. 또한, 제안된 알고리즘은 CPM의 5단계를 1단계로 단축시키는 장점과 더불어 활동들의 수행순서를 명확히 표현하기 위한 Lucko의 9 단계 수행 과정을 2단계로 간단히 하였으며, PERT/GANTT 차트로 즉시 전환시킬 수 있는 장점도 갖고 있다.

• Kyungpook Mathematical Journal
• /
• 제46권3호
• /
• pp.449-461
• /
• 2006

Generalizing twist moves of classical knots, we introduce $t(a_1,{\cdots},a_m)$-moves of virtual knots for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers. In [4], M. Goussarov, M. Polyak and O. Viro introduced finite type invariants of virtual knots and Gauss diagram formulae giving combinatorial presentations of finite type invariants. By using the Gauss diagram formulae for the finite type invariants of degree 2, we give a necessary condition for a virtual long knot K to be transformed to a virtual long knot K' by a finite sequence of $t(a_1,{\cdots},a_m)$-moves for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers with the same sign.

• 산업공학
• /
• 제16권2호
• /
• pp.268-279
• /
• 2003

This paper presents critical steps in building client/server application with UML and Visual Basic, which are derived from the implementation case of a typical order processing system. To begin with, we briefly review the software architecture, the diagrams and the object-oriened building process in the UML. In the inception phase, it is critical to define the project charter, to draw use case diagrams, and to construct a preliminary architecture of the application. In the elaboration phase, it is critical to identify classes to be displayed in the class diagram, to develop user interface prototypes for each use case, to construct sequence diagram for each use case, and finally to design an implementation architecture. Steps to construct implementation architecture are given. In the construction phase, it is critical to design both the database and components. Steps to design these components are described in detail. Additionally the way to create the Internet interface is suggested.

• 천문학회지
• /
• 제31권1호
• /
• pp.39-50
• /
• 1998

We present UBV CCD photometry of Be 2, previously unstudied open cluster. Our photometry covers a field of $3'.2\times3'.8$ of the sky centered on the cluster, which is slightly smaller than the cluster diameter estimated to be about 260'. We have determined the reddening, distance, age and metallicity of the cluster by fitting the Pad ova isochrones to the observed stellar distributions in color-magnitude diagram as well as main sequence fitting: $E(B-V)=0.8\pm0.05,\;(m-M)_o=13.6\pm0.1,\;log(t) =8.9\pm0.1$, and Z=0.008. The present photometry shows that Be 2 is a distant open cluster of intermediate age. that it is a distant intermediate-age open duster.

• 천문학회지
• /
• 제16권1호
• /
• pp.23-30
• /
• 1983

About two hundred stars within 50 pc from the sun, whose tangential velocity larger than 100 km/sec, have been selected on the basis of their proper motions and trigonometric parallaxes. A list of them along with their photoelectric UBV data and spectral types is given. The criterion on the tangential velocity, $v_t$ > 132 km/sec, was adopted for selection of high-velocity stars. The H-R diagram of these nearby high-velocity stars resembles that of a globular cluster, with the turnoff around $B-V{\approx}0.35$ and $M_v{\approx}4.0$, and the subdwarfs among these high-velocity stars are fainter than the main-sequence stars of Hyades by the amount of $1^m.25{\pm}0^m.30$ in the region with B-V < 1.40 on the average.