• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.659-661
• /
• 2000

폰 노이만 모델의 지역성과 데이터플로우 모델의 병렬성을 결합하여 등장한 모델이 다중 스레드 모델이다. 다중스레드 모델의 목적은 통신시간과 계산 시간을 겹침으로써 프로세서의 활용도를 높이고자 하는 것이다. 기존의 대부분의 다중 스레드 모델의 스레드 스케쥴링 기법은 FIFO 혹은 FILO 방식을 사용하고 있다. 본 논문에서는 프로세서의 활용도를 높이고 프로세서의 휴지 시간을 줄이기 위해서 원격 함수 호출 혹은 원격 메모리 참조 기능의 스레드(이후로는 원격 스레드라 부름)와 계산 기능의 스레드가 동시에 활성화되었을 때 원격 스레드들을 먼저 수행하는 것이 프로세서의 지연 시간을 줄이고 병렬성을 높이는 데 효과적임을 제안한다. 이것을 구현하기 위해서 프레임 내부의 지속 벡터(CV)를 CCV(call continuation vector)와 LCV(local continuation vector) 둘로 구분하였다. 스레드가 활성화될 때 CCV에는 원격 스레드들을, LCV에는 계산 스레드들을 저장한 후, CCV에 저장된 스레드들을 먼저 수행하고 LCV를 나중에 수행한다.

• Journal of KIISE:Databases
• /
• v.28 no.2
• /
• pp.266-278
• /
• 2001

사용자가 질의와 문서 사이의 유사도를 효과적으로 계산하는 정보 검색 모델에 대한 많은 연구가 수행되어 왔다. 이러한 연구들에 의해 개발된 정보 검색 모델들은 우수한 검색 효과를 제공한다고 알려져 있다. 그러나 이들에 대한 분석 및 검색 효과에 대한 비교 평가가 수행되지 않았기 때문에, 정보 검색시스템의 개발시 어떠한 정보 검색 모델을 사용할 것인가에 대한 결정이 매우 어려운 실정이다. 본 연구에서는 최신정보 검색 모델인 피벗 문서 길이 정규화, 추론 네트워크 모델, 2-포아송 모델을 분석하고, 실험을 통하여 검색 효과에 대한 비교 평가를 수행한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2004.03a
• /
• pp.63-69
• /
• 2004

본 연구에서는 시설물분야 기본지리정보 데이터모델 표준 개발을 위해 시설물분야 기본지리정보와 관련된 국내ㆍ외 사례분석과 사용자요구사항 및 시설물분야 전문가의 의견수렴을 통해 시설물분야 기본지리정보의 항목 선정을 수행하였으며, 선정된 범위에 대해 개념설계와 정보구조설계를 통한 데이터모델 설계를 수행하고, 최종적으로 설계된 데이터모델의 표준안을 제시하였다. 시설물분야 기본지리정보의 데이터모델 설계는 주제 및 부 주제를 정의하고 항목리스트를 작성하는 개념설계와 지형지물 Class 및 Type정의, 속성 및 도메인리스트정의, 관계정의 및 Class 다이어그램을 작성하는 정보구조 데이터모델 설계를 수행하고 설계된 내용은 데이터모델 통합설계서로 작성하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1973-1976
• /
• 2003

기존의 WAP 게이트웨이 모델에서의 게이트웨이는 많은 기능을 수행하였다. 이에 따른 게이트웨이 오버헤드가 증가하는 문제를 지니고 있기 때문에 이러한 문제를 해결하기 위해 상대적으로 수행 기능이 적고 각 content 제공자에 따라 나누어있는 Web 서버에 게이트웨이의 일부 기능을 이식하여 설계한 e-WAP 모델을 제시하였다. 하지만 e-WAP 의 보안 모델은 이전 WAP 게이트웨이 모델에서 사용되는 보안 방식을 사용하였기 때문에 종단간 보안 (end-to-end Securir)을 보장하지 못하는 기존 WAP의 보안 문제를 그대로 가지고 있다. 이에 본 논문은 기존의 SSL 과 WTLS 를 이용한 암호화 통신 프로토콜을 이용한 보안 모델에 서버와 무선 단말기 사이에 전송되는 데이터에 대해 암호화 한번 더 수행하여 종단간 보안을 보장하는 새로운 e-WAP 보안 모델을 제안하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.751-753
• /
• 2002

본 논문에서는 여러 시간대에 걸쳐 획득한 영상 데이터 집합에 대하여 동적 모델을 이용한 데이터들의 동시 가시화를 수행하고, 각 모델들 간의 변이를 분석하여 객관적인 영상 분석결과를 가시화해주는 연구를 수행하였다. 먼저 동적 모델의 동시 가시화를 위하여 동적 모델 데이터의 저장 및 로딩 모듈을 설계하였고, 동적 모델들간의 변이 분석은 체적, 속도를 비교 가시화함으로써 이루어졌다. 이를 한 환자에대하여 치료기간 중 일정 시간대별로 획득된 심장영상 집합들에 적용함으로써 기존의 영상분석의 한계점을 극복하고 심장 질환의 진단을 효율적으로 도울 수 있도록 하였다.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.1019-1024
• /
• 2006

각종 온라인 문화가 발달하는 가운데 원거리에서 의사 소통을 가능하게 하는 도구에 관한 관심도 커지게 되었다. 이러한 도구 중에서 2 차원 그림 저작을 지원하는 도구에 기인하여, 본 논문에서는 3 차원 모델을 만들어 내고 조작함으로써 원거리의 사용자와 의사 소통할 수 있는 시스템을 제안한다. 실시간에 수행되는 시스템의 특성상, 3 차원 모델링은 간편하고 직관적으로 수행될 수 있도록 하며, 병행 수행 제어를 고려하여 구현한다. 본 시스템에서의 모델링은 주어진 primitive를 이용하거나 사전에 제작된 mesh를 불러오는 것으로 수행할 수 있으며, 사용자가 직접 그려주는 간략한 외곽선 스케치를 기반으로 하여 3 차원 모델을 생성할 수도 있다. 본 시스템에서 모델의 생성, 제어 등의 모든 연산은 다양한 병행 수행 제어 전략을 이용하여 실시간에 수행된다.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.140-144
• /
• 2003

AGT 시스템은 복잡한 대규모 시스템이며 이 시스템에 도입된 무인운전의 운영 개념은 한국 철도 기술의 환경에서는 처음 시도되는 기술이다. 게다가 신호시스템을 무선 기술을 이용하여 구현해 한다는 요구사항이 추가되어 신호시스템 개발은 더욱 도전적인 문제가 되었다. 이와 같이 실천하기 어려운 요구사항이 많은 무선열차 제어시스템 개발의 위험을 줄이기 위해 시스템공학팀은 전산지원 시스템공학 도구를 사용한 재공학의 개발공정을 수행하도록 하였다. 본 연구에서는 기존의 정적인 데이터모텔에 추가하여 시나리오 기반으로 동적거동 분석을 수행하여 기능 모델을 구축하였고 기능 모델을 토대로 한 시스템 아키텍처를 구성하였다. 특히 기능 요구사항의 취약성을 보완하기 위해 CORE의 FFBD(Functional Flow Block Diagram)기능을 활용하여 열차 운행 중 발생할 수 있는 여러 가지 시나리오를 분석함으로써 기능 모델의 완전성의 기여하였다. 이는 정적인 데이터 흐름 다이아그램(DFD:Data Flow Diagram)이 가지는 한계를 모델 기반 시스템공학 도구에서 지원하는 동적인 기능 분석을 수행하여 보완함으로써 모델의 충실도를 높였음을 의미한다. 이를 통해 기능의 오류를 개념단계에서 최소화함으로써 기술 위험이 높은 제품을 개발할 수 있다는 것을 확인하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• 한국전산유체공학회:학술대회논문집
• /
• 1999.05a
• /
• pp.131-136
• /
• 1999

박리를 수반하는 진동하는 이차원 익형 주위의 비정상 유동장에 대해 SST 난류 모델을 이용하여 해석을 수행하였다. SST 모델은 정상 유동장 해석에서 기존의 난류 모델에 비해 우수한 성능을 보인다고 알려져 있으나 큰 박리영역에서 공력 계수의 진동 현상을 보이는 등 비정상 유동장 해석에 문제점을 보이고 있다. 본 논문에서는 이러한 공력 계수의 진동 현상이 SST 모델을 이차원으로 확장하는 과정에서 발생한 것임을 밝히고 이에 대한 보완을 통하여 수정된 SST 모델을 제시하고자 한다. SST 모델의 기본이 되었던 BSL 모델 및 SST 모델, 수정된 SST 모델을 사용하여 정상 유동장과 비정상 유동장 해석을 수행하여 각 모델의 난류 유동장 해석 특성을 비교하고 이를 통하여 수정된 SST 모델이 박리를 수반하는 비정상 유동장 해석에서 원래의 SST 모델에 비해 향상된 결과를 나타남을 알 수 있었다.

• Plant Journal
• /
• v.13 no.4
• /
• pp.41-47
• /
• 2017

This paper is a study on validation model that can verify the arrangement of equipment constituting offshore plant using system engineering approach in offshore plant tender stage. In order to design offshore plant topside maintenance equipment, topside layout verification should be preceded. However, there are many errors in the bidding stage due to the FEED results that are not perfect, the verification can not be performed sufficiently due to the limitation of the bidding period and others reasons. Therefore, we propose a validation model that can effectively verify the equipment layout within a limited condition by simplifying the main process in the system engineering process, which is a multidisciplinary approach, and confirmed through the Functional Deployment Model. Also, we verified the validation model for topside equipment deployment through case studies.