• Bulletin of the Korean Chemical Society
• /
• 제21권5호
• /
• pp.493-496
• /
• 2000

By use of the rotational distribution expression previously derived based on the collisional time correlation function formalism, the rotational distributions of $CO_2$ vibrational ground state (00°0) after collisions with hot H, D, or Cl atom have been constructed. Energy and rotational quantum number parameters which can characterize the rotational distributions are also calculated and compared with those deduced from the experimental distribution. The results from this work would be very useful in predicting the rotational distributions in the lower J region for which experimental data are not available due to the interference from the ambient $CO_2$.

• Bulletin of the Korean Chemical Society
• /
• 제4권5호
• /
• pp.197-200
• /
• 1983

The Diels-Alder cycloaddition reactions between dienes and allenic ketones were studied theoretically using CNDO/2 method. It was found that the reaction is a neutral electron demand type with matrix element control and the reactivity, the regio- and stereo-selectivities can be correctly predicted based on interaction energies calculated with the 4-center FMO formalism.

• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.109-118
• /
• 2013

전통적으로 신뢰도 분석에 사용되는 Fault Tree Analysis의 경우 관련 분야의 전문가가 필요하고 작성자의 판단에 따라 신뢰도 분석 결과가 달라진다. 반면, Reliability Block Diagram의 경우 시스템 구성도나 Process Flow Diagram (PFD), Piping and Instrument Diagram (P&ID)을 기반으로 하기에 작성에 필요한 비용과 시간이 절감되는 장점이 있다. 본 논문에서는 Dynamic Reliability Block Diagram과 이산 사건 시뮬레이션에 널리 사용되는 DEVS 형식론을 이용하는 신뢰도 분석 방법을 제안한다. 또한 시스템 모델링 방법론 중 하나인 System Entity Structure/Model Base의 개념을 도입함으로써 다양한 설계 대안에 대한 신뢰도 분석 모델을 자동으로 생성할 수 있도록 하였다. 그리고 Reliability Block Diagram을 이용한 신뢰도 분석 시 오래 소요되는 계산 시간을 단축시키기 위해 GPU 가속 기술을 신뢰도 분석 시뮬레이션에 접목하였다.

• 한국항행학회논문지
• /
• 제24권3호
• /
• pp.184-191
• /
• 2020

항공용 SIL은 항공전자시스템의 통합 및 검증에 사용되는 통합시험환경이다. 항공용 SIL에는 여러 가지 제약으로 인해 항공기에 탑재되는 장비를 직접 연동할 수 없을 때 장비의 소프트웨어 모델이 필요하다. 지금까지 항공기 개발에 적용한 항공용 SIL의 소프트웨어 모델은 표준화된 방법 없이 일반적인 소프트웨어 개발 방법의 적용으로 재사용이 어려워 소프트웨어 모델 재사용을 위한 프레임워크의 필요성이 제기되었다. 이러한 항공용 SIL 모델의 표준화된 모델링 방법을 위해 DEVS (discrete event system specification) 형식론을 채용하였다. DEVS 형식론은 이벤트 구동(event-driven) 알고리즘이며 이는 기존의 항공용 SIL에 적용되는 절차적이고 반복적인 알고리즘과 어울려 동작하기 힘들다. 이에 본 논문에서는 항공용 SIL 모델의 특징과 기존 방식이 가지는 한계를 보완하고 모델의 재사용성을 극대화할 수 있는 이벤트 기반의 모델링 방법과 실시간 시뮬레이션 방법을 제안한다.

• 대한방사선기술학회지:방사선기술과학
• /
• 제30권1호
• /
• pp.33-38
• /
• 2007

이 연구는 플라토 치료계획시스템의 치료계획에서 Ir-192 선원에 대한 처방점의 처방선량과 선원 주위의 선량분포상의 선량점들의 선량이 정확하게 계산되는지를 확인하는데 그 목적이 있다. 선원의 중심축의 전후방향에서의 평면의 직교좌표계와 측면방향에서의 평면의 직교좌표계 및 선원을 A4 용지 위에 그려서 치료계획시스템에 입력하였다. 처방선량은 선원중심으로부터 극각 $90^{\circ}, $270^{\circ}의 방향으로 반경 1 cm인 두 지점에 400 cGy를 처방하였다. 처방점과 선량점들의 선량은 치료계획시스템에서 출력된 선량과 파울 킹 등이 유도한 기하학 함수식으로 계산된 선량을 분석하였다. 본 실험의 분석에서 처방 점의 선량은 오차 없이 정확하게 일치하였고, 선량 점들의 선량은 1.85% 이내의 오차를 얻었다. 그리고 플라토 치료계획시스템의 선량계산은 허용오차 ${\pm}2%$ 범위 이내의 정확성으로 분석되었다. 파울 킹 등이 유도한 기하학 함수식을 사용하여 손으로 계산한 선량은 높은 정확성의 품질보증과 편리성에 기인하여, 임상에서 사용하는데 유용할 것으로 생각된다.

• 한국전자거래학회지
• /
• 제11권2호
• /
• pp.93-110
• /
• 2006

웹 서비스를 기반으로 하는 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 이를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 트랜잭션 관리 시스템간의 상호 호환을 저해한다. 본 연구에서는 시맨틱스를 기반으로 비즈니스 트랜잭션 프로토콜을 정의한다. 제안된 시맨틱스에 기반한 비즈니스 트랜잭션은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스( Operational Semantics)를 기반으로 정의된다. 정적 시맨틱스는 상태와 메시지에 대한 의미들을 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의함으로써 비즈니스 트랜잭션 프로토콜의 개념들에 대한 표현의 이질성을 해결한다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)을 통해 정의함으로써 트랜잭션 운용에 대한 정형성(Formalism)을 얻을 수 있다. 또한 정적 시맨틱스에서 정의한 상태와 메시지를 동작 시맨틱스에서 참조하여 사용함으로써 트랜잭션 운용에 대한 이해도 높일 수 있다. 이를 통해 기존의 트랜잭션 프로토콜들간의 상호 호환성을 높이고 트랜잭션 프로토콜에 대한 상호 이해도를 높이며, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 수 있을 것으로 기대된다.

• 한국의학물리학회지:의학물리
• /
• 제14권3호
• /
• pp.175-183
• /
• 2003

최근 선량측정의 정확성을 향상시키기 위하여 기존의 공기커마 교정인수에 기반한 표준측정법에서 물 흡수선량 교정인수에 기반한 표준측정법으로 변환하고 있는 추세이다. 본 연구에서는 미국의학물리학회의 AAPM TG-51과 국제원자력기구의 IAEA TRS-398 표준측정법에 대한 선량교정 프로그램을 개발하였다. 이 프로그램은 윈도우 환경에서 사용이 용이하도록 비쥬얼 C++언어를 사용하여 각각의 표준측정법에서 권고하고 있는 방법 및 절차에 따라 사용자의 편의성을 고려하여 개발하였다. 이 프로그램은 이온함에 대한 정보와 물리적인 자료에 대한 표와 그래프 값들을 수식화하여 데이터베이스화함으로써 수작업으로 인해 발생할 수 있는 실수 및 오차를 줄일 수 있다. 개발된 프로그램의 활용을 통하여 국내 실정에 적합한 물 흡수선량 표준에 기반한 표준측정법 개발에 토대를 마련하는데 있어 기여할 것으로 사료된다.

• 한국컴퓨터산업학회논문지
• /
• 제5권7호
• /
• pp.721-728
• /
• 2004

공개키 기반 구조 (PKI; Public Key Infrastructure)에 필수적인 요소인 인증서의 상태 검증에 있어서 인증서 상태 검증 서버인 OCSP (Online Certificate Status Protocol) 서버는 실시간 상태 검증을 제공한다. 그러나 서버와 클라이언트의 메시지 인증을 위해 전자 서명을 수행해야 하며, 이때 사용되는 공개 암호 연산 과정의 복잡성은 동시에 많은 클라이언트의 요청이 발생할 경우에 응답 시간을 크게 지연시킨다는 단점을 가지고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 인증서 상태 검증 서버의 시뮬레이션 모델을 DEVS (Disvrete EVent system Specification) 방법론을 이용하여 설계하였다. 이 모델은 인증서의 상태 검증을 요청하는 영역에 위치하여 해쉬함수를 적용한 인증을 수행하도록 구성되었으며, 시뮬레이션 결과는 제시한 방법이 인증서 상태 검증 속도를 증대시켜 결과적으로 사용자의 응답 시간이 감소되는 것을 보여준다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.440-443
• /
• 2001

As inter-network traffics grows rapidly, the router systems as a network component becomes to be capable of not only wire-speed packet processing but also plentiful programmability for quality services. A network processor technology is widely used to achieve such capabilities in the high-end router. Although providing two such capabilities, the network processor can't support a deep packet processing at nominal wire-speed. Considering QoS may result in performance degradation of processing packet. In order to achieve foster processing, one chipset of network processor is occasionally not enough. Using more than one urges to consider a problem that is, for instance, an out-of-order delivery of packets. This problem can be serious in some applications such as voice over IP and video services, which assume that packets arrive in order. It is required to develop an effective packet processing mechanism leer using more than one network processors in parallel in one linecard unit of the router system. Simulation analysis is also needed for verifying the mechanism. We propose the packet processing mechanism consisting of more than two NPs in parallel. In this mechanism, we use a load-balancing algorithm that distributes the packet traffic load evenly and keeps the sequence, and then verify the algorithm with simulation analysis. As a simulation tool, we use DEVSim++, which is a DEVS formalism-based hierarchical discrete-event simulation environment developed by KAIST. In this paper, we are going to show not only applicability of the DEVS formalism to hardware modeling and simulation but also predictability of performance of the load balancer when implemented with FPGA.

• 정보처리학회논문지A
• /
• 제19A권2호
• /
• pp.93-100
• /
• 2012

LLRP(Low-Level Reader Protocol)는 RFID 리더(LLRP 서버)와 RFID 어플리케이션들(LLRP 클라이언트)간의 인터페이스를 기술하고 있다. LLRP 서버는 여러 기능들을 동시에 수행해야 한다. 본 논문에서는 LLRP 서버를 멀티 쓰레드 구조로 설계한다. 이를 위하여 (i) LLRP 서버와 클라이언트들 간의 동작 절차를 분석하고, (ii) LLRP 서버가 만족해야 할 기능적인 요구조건들을 제시하고, (iii) 그 요구조건들을 만족할 수 있도록 LLRP 서버의 역할을 여러 쓰레드로 나누고, (iv) 쓰레드 수준에서 LLRP 동작 절차를 세분하였다. 설계된 구조를 검증하기 위하여 이산사건 시스템을 계층적이고 모듈화된 방식으로 기술하는 언어인 DEVS 형식론을 이용하여 설계된 내용을 모델링하고 시뮬레이션 하였다. 시뮬레이션 결과, 제안된 구조는 LLRP 표준과 주어진 모든 기능적 요구 조건들을 만족함을 알 수 있었다.