• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권2호
• /
• pp.186-200
• /
• 2006

분석 모델은 오직 시스템의 기능적 요구사항에 초점을 두며, 비 기능적인 요구사항과 구현과 관련된 이슈들은 이후의 설계 작업이 착수될 때까지 미루어진다. 설계 활동은 분석 모델을 상세화하고 명확하게 하는 방식으로 수행된다. 따라서, 분석 모델의 품질은 설계 모델에 지대한 영향을 미친다. 그러므로, 정확한 분석 모델을 구축하기 위하여 많은 노력을 기울여야 한다. 본 논문에서는 전형적인 객체지향 개발 방법론의 분석 모델이 항상 충족해야 하는 구조적 제약 사항을 제안한다. 제약 사항은 개별 클래스에 관한 제약사항, 클래스간의 관계에 대한 제약 사항과 클래스의 사용에 대한 제약사항으로 분류된다. 각 제약사항 변로 정형적인 정의와 OCL을 이용한 기술이 제공된다. 또한, 2개의 산업체 프로젝트를 대상으로 수행된 사례 연구를 통하여 제안된 기법이 객체지향 분석 모델에 존재하는 심각한 오류를 발견하고 이를 수정하는 데 도움을 줄 수 있음을 보여 준다.

• 한국안전학회지
• /
• 제27권5호
• /
• pp.219-223
• /
• 2012

For an off-site consequence analysis at nuclear power plant, MELCOR Accident Consequence Code System(MACCS) II code is widely used as a software tool. In this study, the algorithm of web-based off-site consequence analysis program(OSCAP) using the MACCS II code was developed for an Integrated Leak Rate Test (ILRT) interval extension and Level 3 probabilistic safety assessment(PSA), and verification and validation(V&V) of the program was performed. The main input data for the MACCS II code are meteorological, population distribution and source term information. However, it requires lots of time and efforts to generate the main input data for an off-site consequence analysis using the MACCS II code. For example, the meteorological data are collected from each nuclear power site in real time, but the formats of the raw data collected are different from each site. To reduce the efforts and time for risk assessments, the web-based OSCAP has an automatic processing module which converts the format of the raw data collected from each site to the input data format of the MACCS II code. The program also provides an automatic function of converting the latest population data from Statistics Korea, the National Statistical Office, to the population distribution input data format of the MACCS II code. For the source term data, the program includes the release fraction of each source term category resulting from modular accident analysis program(MAAP) code analysis and the core inventory data from ORIGEN. These analysis results of each plant in Korea are stored in a database module of the web-based OSCAP, so the user can select the defaulted source term data of each plant without handling source term input data.

• 한국건설관리학회논문집
• /
• 제23권2호
• /
• pp.3-15
• /
• 2022

본 연구에서는 모듈러 공법 기반 강교 건설공사에 대해 공급사슬 관리를 위한 시뮬레이션 모형을 개발한다. 이를 위해, 우선 강교 건설에 대한 공장 제작/현장 시공 체계 자료를 수집한 후, 이를 바탕으로 공급사슬, 개체, 자원, 공정 등을 정의하였다. 이후, Arena 소프트웨어를 이용하여 데이터, 플로차트, 애니메이션 모듈을 작성함으로써 강교 공급사슬 시뮬레이션 모형을 개발하였다. 마지막으로, 개발된 모형의 논리성 검증과 유효성 확인을 위한 애니메이션 검증, 극한 조건 검증, 평균값 확인, 리틀의 법칙 확인, 사례 실적값 확인 등의 방법론을 이용하여 모형의 타당성을 검토하였다. 검토 결과, 개발된 시뮬레이션 모형은 논리적 오류 없이 강교 공급사슬의 공정과 특성을 적합하게 표현하며, 분석 대상 공급사슬에 대한 정확한 성능평가척도 예측치를 제공하였다. 향후, 본 연구에서 개발된 시뮬레이션 모형은 강교 공급사슬 체계를 최적으로 운영하기 위한 관리기법을 개발함에 있어 성능 평가 플랫폼으로서의 역할을 충실히 수행할 수 있을 것이다.

• 방송공학회논문지
• /
• 제16권3호
• /
• pp.542-551
• /
• 2011

최근 지상파 DMB 및 위성 DMB를 위한 국제 표준 파일 포맷인 DMB-AF(Digital Multimedia Broadcasting Application Format) 표준을 확장하여 2D 비디오와 2D 대화형 서비스 데이터, 즉 MPEG-4 BIFS(Binary Format for Scene) 데이터뿐만 아니라 스테레오스 코픽 비디오와 스테레오스코픽 BIFS 데이터를 함께 담는 방식이 제안되었으나, 검증을 위한 구현이 완료되지 않아 산업계에서 활용되기에는 미흡하였다. 이렇게 확장된 DMB-AF는 2D/3D 비디오 및 2D/3D BIFS 프레젠테이션이 시간적으로 혼용될 수 있게 한다. 본 논문에서는 [1]에서 제안된 방식들을 지원하는 DMB-AF 플레이어 소프트웨어를 개발하고, 그 기능을 시험하기 위해 이렇게 확장된 DMB-AF에 따라 시험 파일들을 제작하였다. 그 결과로서 [1]에서 제안된 방식 중 3D 미디어 트랙 간의 의존성을 나타내는 방법을 개선하였으며, 이렇게 개선된 형태로 [1]에서 제안된 방식이 기술적으로 정확히 동작함을 검증하였다.

• 한국항공우주학회지
• /
• 제33권1호
• /
• pp.104-109
• /
• 2005

항공기용 가스터빈엔진에 사용되고 있는 전자식 엔진제어장치는 연료 절약 및 성능 향상을 목적으로 개발되어, 최근에는 엔진의 신뢰성 향상을 위한 고장진단 기능을 갖춘 전자동디지털식 엔진제어장치로 발전하였다. 이와 같은 기술의 발전으로 과거와는 다른 새로운 개념의 엔진제어장치에 대한 인증기술 개발의 필요성이 증대되고 있다. 전자식 엔진제어장치에 대한 설계 및 인증에서 고려되어야 하는 사항으로 전원 공급, 입력 데이터, 고장 모드, 소프트웨어 확인 및 검증, 그리고 낙뢰의 영향 등을 들 수 있다. 본 연구에서는 전자식 엔진제어장치에 대한 설계 고려사항과 인증 기법을 분석하였고, 이를 바탕으로 국내 감항기술기준의 관련 요구조건을 정립할 수 있도록 하였다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1789-1804
• /
• 1999

본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.

• 한국컴퓨터정보학회논문지
• /
• 제29권1호
• /
• pp.121-130
• /
• 2024

본 논문에서는 함정 전투체계 소프트웨어 설치 시 발생 가능한 데이터 이상을 확인하는 설치 방안을 제안한다. 최근 저궤도 위성 통신과 같은 무선 통신을 이용한 정보교환 방법이 대중화되며, 함정 전투체계에서도 무선망을 이용한 여러 활용 방안이 논의되고 있다. 활용 방안 중 하나로서 무선망 통신을 이용한 설치를 함정 전투체계에 적용함으로써 실시간으로 전투체계 성능을 향상시킬 수 있는 방법이 가능해질 것으로 기대한다. 하지만 무선망의 경우 유선망보다 상대적으로 보안상 취약하므로 더 많은 보안 대책이 강구된다. 본 논문에서는 암호화 방식을 통해 다수의 노드에 파일을 전송하고 파일 설치 이후 유효성 검사를 수행함으로써, 전송 도중 위/변조 여부를 판단하여 정상적으로 설치됨을 확인한다. 제안한 방법의 함정 전투체계 적용 가능성을 보이기 위하여 전송 성능 및 보안성, 안정성 등을 평가하였으며, 이를 바탕으로 함정 전투체계에 적용하기 충분한 수준의 결과물을 도출하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권12호
• /
• pp.943-947
• /
• 2009

소프트웨어의 결함을 예측하고 검증과 확인 활동을 통하여 효율적인 자원을 관리하기 위하여 많은 연구에서 결함 예측 모형을 제안하고 있다. 하지만 기존의 연구는 예측율이 최대 효과를 보이는 임계치에 결함 예측 모형의 예측율을 평가하고 있다. 이는 측정 시스템의 결함 정보를 알고 있는 가정하에서 평가가 이루어지는 것이기 때문에 실제 결함 정보를 알 수 없는 시스템에서는 최적의 임계치를 결정할 수 없다. 그러므로 임계치 선정의 중요성을 확인하기 위하여 본 연구에서는 결함 예측 모형으로 타 시스템의 결함을 예측하는 비교 실험을 하였다. 실험은 기존에 제안된 3개의 결함 예측 모형과 4개의 시스템을 대상으로 하였고 결함 예측 모형의 임계치별 예측의 정확성을 비교하였다. 실험결과에서 임계치는 모형의 예측율과 높은 관련이 있었지만 실제 결함 정보가 확인 안 되는 시스템에 대하여 결함을 예측하는 경우에는 임계치를 선정할 수 없음을 확인하였다. 따라서 결함 예측 모형을 타 시스템에 적용하기 위하석 임계치 선정에 관한 추후 연구가 필요함을 확인하였다.

• 해양환경안전학회지
• /
• 제20권1호
• /
• pp.86-95
• /
• 2014

조선소의 생산성은 제한된 자원을 얼마나 효율적이고 체계적으로 관리하고 사용하는가에 달려있다. 최근 들어 조선소에서는 생산관리 시스템을 고도화하기 위해 시뮬레이션 기법을 적용한 연구가 활발히 진행되고 있다. 본 논문에서는 시뮬레이션 기법을 생산관리에 적용한 조선소의 시뮬레이션 기반 생산 개념을 연구하였다. 이는 조선소 현장에서 경험과 직관에 의한 의사결정을 지양하고, 정량적이고 구체적인 데이터에 기반을 둔 개선방안을 확립할 수 있게 한다. 본 논문에서는 조선소의 생산 계획 중 선표 계획 영역에 대한 시뮬레이션 적용 연구를 수행하였으며, 이를 위해 조선소의 생산 계획 프로세스와 시스템을 분석하고 상용 시뮬레이션 소프트웨어를 이용한 시뮬레이션 시스템의 설계를 수행하였다. 이러한 시뮬레이션 시스템은 현재 조선소 생산관리 시스템의 운용환경을 고려하여 웹 환경에서 운용가능한 구조를 갖고 있으며, 이를 통해 조선소에서는 보다 손쉽게 생산 계획을 시뮬레이션하고 결과를 분석함으로써 보다 신뢰도 높은 생산 계획을 수립할 수 있을 것으로 기대한다.

• Radiation Oncology Journal
• /
• 제21권3호
• /
• pp.238-244
• /
• 2003

목적: 개별화되어 가는 고선량률 근접치료계획의 추세에 따라, 고성량률 근접치료계획의 절대적 선량과 상대적인 선량분포를 독립적으로 계산하여 환자의 해부영상 위에 겹쳐 표시할 수 있는 품질보증용 컴퓨터 프로그램을 개발한다. 대상 및 방법: 컴퓨터 프로그램은 먼저, 환자의 치료계획에서 계산된 선원의 위치, 각 위치에서의 조사시간, reference point에서의 선량, 치료계획이 실시된 날짜 등의 자료 입력을 필요로 한다. ICWG 권고 수식과 선원의 비등방성 표를 이용하여 $10\times12\times10\;(Cm^3)$의 공간에서 선량분포가 계산된 후 reference point에서의 선량이 자동적으로 치료계획의 결과와 비교된다. 모의치료의 영상이나 자기공명(Magnetic Resonance) 영상을 입력하고 사용자가 선택한 점을 수직으로 교차하는 3개의 평면에서 등선량곡선을 겹쳐서 보여준다. Gamma Med사의 Gam-madot (MDS Nordion, Germany)에서 표준 치료계획을 실행하여 정확성을 확인하였으며, Plato (Nucletron Cor-poration, The Netherlands)에서 실행된 9명의 환자치료계획과 비교하였다. 결과: 3개의 표준 치료계획에서 절대선량은 $2.8\%$ 내에서 일치하였으며 등 선량분포도 좋은 일치를 보였다. 9명의 환자에 대하여 시행된 치료계획과의 비교에서는 평균 $3.4\%$의 오차를 보였다. 결론: 개발된 컴퓨터 프로그램은 정확하고 신속하게 고선량률 치료환자의 치료계획의 정확성을 확인할 수 있게 해주며, 등선량 곡선을 환자의 해부적 영상에 결합할 수 있는 기능은 치료계획의 질을 높이는데 기여할 수 있을 것으로 기대된다.$39\%$), 복회음부 절제수술시 32건($97\%$), 측연의 경우 32건($97\%$), 후연의 경우 32건($97\%$), 그리고 전연의 경우 16건($45\%$)에서 부합되는 것으로 나타났다. 결론: 직장암의 수술 후 방사선치료 시 적절한 방사선치료 조사영역의 결정을 위하여 표준적인 조사영역을 제시 하였으나 개별 환자의 병변 위치와 진행상태, 수술 소견 등에 따라 적절한 변형은 필수적이라 하겠다. 이 권고안의 임상적 타당성은 향후 시행될 Patterns of Care 연구를 통하여 증명하는 것이 필요하겠다.정가능하고, 폐에 조사되는 방사선 양도 줄일 수 있었다.저부까지 거리 차이는 종양 크기가 4 cm 미만인 경우는 5.3 mm였으나 4 cm 이상일 때는 19.4 mm로 현저한 변화를 보였다. 자궁경관 굴곡각은 60세 미만인 경우 60세 이상보다 8$^{\circ}$ 정도 더 변화가 있었고, 종양 크기가 4 cm 이상일 때 미만일 때보다 2배 이상 굴곡 변화가 있었다. 결론: 자궁경부암 환자에서 근치적 방사선치료 시 치료에 따른 자궁 크기 및 위치 변화가 다양하고 개별적으로 예측하기 쉽지 않으므로, 특히, 60세 미만이거나 종양 크기가 4 cm 이상인 경우, 삼차원입체조형치료나 강도변조 방사선치료를 이용한 근치적 방사선치료 시 치료 중 개별환자의 계획용표적체적의 변화를 반드시 고려해야 한다고 생각한다.량체적히스토그램, Lymankutcher 모델에 의한 정상조직합병증발생률 및 기타 선량통계값 등 모든 면에 있어서 우월성을 확인할 수 있었다. 향후 이러한 결과가 임상에서 실질적인 합병증 발생률 감소와 잘 연계되는지 계속적인 추적관찰 및