• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• 한국정보통신학회논문지
• /
• 제24권1호
• /
• pp.28-36
• /
• 2020

조선소에서 이루어지는 선박 건조는 용접에 의해 수행되고 있으며, 친환경선박에 대한 국제적인 요구에 따라 용접물량은 증가하고 있다. 용접부는 비파괴검사를 통하여 품질을 보증하고 있으며, 검사 정보를 나타내는 리포트는 인력이 설계된 도면을 확인하여 수작업으로 용접검사 리포트가 작성된다. 이 과정에서 소요되는 많은 공수와 인적오류로 인하여 손실이 발생하고 있다. 이러한 문제 해결을 위해 본 논문에서는 조선 전용 CAD 소프트웨어를 기반으로 설계된 데이터를 입력하여 용접검사에 관한 리포트가 자동으로 생성되는 시스템에 대하여 다룬다. 개발하는 시스템은 모델링의 도면으로부터 형상 데이터를 분석하여 부재 면의 확장을 통해 용접부를 판단 및 태그 넘버를 생성하고, 용접길이, 두께, 재질 등 검사에 필요한 정보를 자동으로 추출하는 기능을 제공한다. 시스템의 유용성을 검증하기 위해 시스템을 통해 추출된 검사 정보와 모델링 도면을 비교하여 일치하는 것을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.214-216
• /
• 2006

검사점 및 복구 도구는 사용자 응용 프로그램의 상태를 주기적으로 안정된 저장소에 저장을 하고, 결함이 발생하였을 경우 가장 최근의 검사점으로부터 효율적으로 복구하게 하는 도구이다. 특히 검사점 및 복구 도구는 장시간 수행되는 프로세스를 위해서는 아주 중요한 의미를 지니며, 결함으로 인해 장시간 수행되는 프로세스에 의해 생성된 중간 결과를 잃어버리지 않게 한다. 본 논문에서는 일반 범용 컴퓨터시스템 상에서 구현된 검사점 및 복구들을 리눅스 기반의 임베디드 시스템에 적용시켜 보고, 그 결과를 통해 임베디드 시스템상에서의 검사정 적용의 가능성을 알아본다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.868-870
• /
• 2016

균형 조절 능력 저하를 진단하고 치료하기 위해서는 자세 조절 능력을 객관적으로 평가하는 것이 매우 중요하다. 임상에서 사용하는 자세검사기는 고감도 압력센서를 사용하기 때문에 종래의 임상적 검사보다 객관적이고 정량적으로 자세 불안정성을 평가할 수 있다. 하지만 일반적으로 사용하는 자세검사기는 차지하는 공간이 크고 비싼 가격 때문에 소규모 병원이나 개인이 사용하기에는 어려움이 있다. 이에 본 논문에서는 키넥트와 위 밸런스 보드에서 획득한 정보를 이용하여 자세 불안정성을 평가하는 저비용 자세검사 시스템을 제안한다. 본 논문에서 제안한 자세검사 시스템을 실제 임상 환경에 적용한다면 간편하고 정량적으로 자세 조절 능력을 평가할 수 있는 환경을 제공할 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
• /
• pp.403-405
• /
• 2006

Java 2에서는 자원의 접근관리를 위하여 정책파일에 근거한 스택 인스펙션(stack Inspection)기법을 제공하고 있다. 본 논문에서는 스택 인스펙션에 자연스럽게 접근하여 불필요한 권한검사 집합을 구하기 위해 역방향 흐름분석(backward flow analysis) 기법을 사용한 권한검사 시스템을 구현하였다. 이를 통해 정책파일의 내용에 근거하여 각 메소드에서 항상 성공하거나 실패하는 권한검사를 결정하여 보여준다. 또한 권한검사에 대해서 스택 인스펙션하는 과정을 추적해볼 수 있다. 본 시스템을 이용하는 사용자는 불필요한 권한검사를 제거하여 스택 인스펙션을 최적화하거나, 자신의 프로그램에 적절한 보안정책을 세우기 위해 정책파일을 수정하는데 이 분석결과를 활용할 수 있다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2010년도 제39회 하계학술대회 초록집
• /
• pp.47-47
• /
• 2010

게이트 밸브는 진공 시스템 구성에 있어서 빠질 수 없는 중요한 부품 중 하나로 공간을 구획하여 필요에 따라 자유롭게 진공 상태와 대기 개방 상태가 공존하도록 만들어 주며 진공펌프와 같은 주요 기기들의 탈착 및 교체를 용이하게 해 준다. 게이트 밸브는 열린 상태에서는 저항이 최소화되는 반면 닫힌 상태에서는 마치 마구리 플랜지로 막은 것처럼 완벽한 차단이 요구된다. 일반적으로 게이트 밸브 상용제품은 개스킷이 닿는 밸브 시트가 한쪽에만 마련되어 있으므로 디스크 기계구조가 충분한 압력을 발휘하지 못한다면 어느 쪽이 대기압인가에 따라 디스크를 미는 힘의 크기가 변하여 기밀특성이 달라질 수 있다. 따라서 게이트 밸브의 누설검사는 순방향과 역방향 모두에 대해 시행해야 한다. 양방향 누설검사를 위해 한쪽 밸브 공간을 배기하고 반대쪽 공간에 헬륨을 뿌리는 작업을 교대로 하려면 배기시간의 단축과 신속한 잔류 헬륨기체 제거가 필수적이다. 게이트 밸브 제조 공장에서 상품을 출하하기 위한 시험검사라는 것을 전제로 합리적인 시간 내에 정확한 누설검사를 일관성 있게 할 수 있는 적절한 누설검사 시스템을 설계하고 측정절차를 상용 게이트 밸브에 대해 적용해 보았다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
• /
• pp.333-335
• /
• 2019

본 논문에서는 많은 개체와의 충돌검사를 요구하는 입자 기반 시스템에서 부채꼴 영역의 동적인 변화를 이용하여 효율적으로 충돌검사를 가속화시킬 수 있는 프레임워크를 제안한다. 부채꼴 영역의 동적인 변화를 계산하기 위해 입자의 위치와 속도를 이용하여 부채꼴의 영역을 결정하였으며, 이 영역 내에 있는 입자들만을 이용하여 충돌 검사를 빠르게 수행한다. 본 연구에서 제안하는 가속화 방법은 트리 자료구조를 명시적으로 만들지 않고, 닫힌 형태 방정식(Closed form equation)으로 실행되기 때문에 간단하게 구현되며 모든 결과에서 충돌검사 성능이 3배 정도 개선되었다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2009년도 춘계학술발표논문집
• /
• pp.587-590
• /
• 2009

천식환자의 폐활량 측정 및 관리는 정기적으로 검사되어 관리될 필요가 있는 매우 중요한 관리 항목이다. 본 연구는 천식환자의 폐활량을 정기적으로 관리할 수 있도록 PC-기반 폐활량기를 이용한 천식환자의 폐활량 측정 및 관리 시스템의 설계 및 구현에 관한 연구이다. 폐활량 검사는 크게 3종류 구성되며, 본 연구는 노력성 폐활량 검사(Forced Vital Capacity Test)를 1차적으로 설계 및 구현 방법을 제안하였다. FVC 검사의 목적은 폐질환의 진단, 중증도 그리고 치료효과 판정, 기관지 천식의 진단 및 관리, 수술시 마취방식의 결정 등으로 무엇보다 정확한 검사와 정기적인 검사를 필요로 하는 중요한 검사이다. FVC 검사는 검사과정에서 천식환자에게 많은 노력을 필요로 하는 힘든 검사로서 검사자의 도움이 필수적이므로 폐활량 검사 프로그램 개발에 있어 고려되어 알고리즘이 효율적으로 개발되어야 한다. 본 시스템은 휴대형 폐활량기(Spirometer)를 PC에 연결하고, 폐활량을 측정할 수 있도록 구성되었고, 검사 내용은 PC의 DB에 저장하고, 추후에 정기적으로 서버의 DB로 전송함으로서 보다 더 폭넓은 관리를 가능하도록 하며 천식환자는 서버가 제공하는 웹 사이트를 이용함으로서 자신의 건강관리를 가능하도록 구성된다. FVC 검사 프로그램은 정확한 검사와 편리한 사용자 인터페이스를 제공하도록 설계 및 구현하였고 따라서 자체 개발된 폐활량기를 PC-기반 프로그램으로 제어 가능함으로서 추후 다양한 임상실험의 데이터 확보, 기능의 확장과 성능의 개선을 할 수 있고, 좀 더 편리하고, 정확한 폐활량측정이 가능 할 것이다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 추계학술대회 논문요약집
• /
• pp.146-146
• /
• 2003

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 추계종합학술대회 논문집
• /
• pp.53-59
• /
• 2003

최근 e-러닝시스템에 대한 사회적 관심이 증대되고있다. 그러나 효율적인 e-러닝시스템이 되기 위해서는 온라인상에서 제출된 과제들에 대한 표절 검사가 가장 중요한 사항이 된다. 본 논문에서는 효율적인 e-러닝시스템 구축을 위해 과제물의 표절 검사를 행하기 위한 방법론과 관련 소프트웨어 툴에 대한 비교, 분석을 행하고자 한다.