• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.655-659
• /
• 2003

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권2호
• /
• pp.91-102
• /
• 2017

많은 웨어러블 스마트 피트니스 장치들이 심박수와 관련된 서비스를 제공한다. 이러한 서비스는 통계를 기반으로 사전 결정한 고정 수치를 기준으로 이용한다. 그러나 사람들의 신체조건은 개개인마다 다르기 때문에, 모든 개개인을 같은 기준으로 적용하는 서비스는 신뢰성이 낮다. 본 논문에서는 사용자의 운동 능력에 맞추어 심박수의 기준이 변동하는 피드백-RFC 모델과, 모델을 구현하는 방법을 제안한다. 그리고 12명의 실험참가자들로부터 심장박동 데이터를 수집하여 모델을 평가함으로써 제안 모델의 효용성을 보인다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2000년도 추계정기학술대회:지능형기술과 CRM
• /
• pp.455-465
• /
• 2000

새로운 기술의 도입으로 바라보았을 때 인터넷이라는 기술은 기존에 가능하기 못하였던 다양한 비즈니스 모델의 출현을 가능하게 하여 주었다. 향후에는 지능형 에이전트라는 새로운 기술로 인하여 현재의 비즈니스 모델이 어떻게 새로운 기회를 찾게 될 수 있는지 파악하는 것은 관련 사업담당자들에게 의미 있는 일이라 사료된다. 본 논문에서는 지능형 에이전트 기술을 기존의 속성 기준의 분류를 지양하고 비즈니스 모델 관점에서 핵심역량, 사용주체, 사용공간, 수익원천의 기준으로 분류하고 대표적인 비즈니스 모델인 경매모델, P2P 모델, 전자몰 모델등에서의 구매자 혹은 판매자가 이러한 지능형 에이전트 기술을 보유하였을 경우에 가능한 시나리오와 도식화된 모델을 제시하고자 한다.

• Journal of Radiation Protection and Research
• /
• 제27권2호
• /
• pp.111-120
• /
• 2002

IAEA가 제시한 중 저준위 방사성폐기물 천층처분시설 기준 안전성평가 사례에 대해 MASCOT 프로그램을 이용하여 안전성평가를 수행하였다. 이를 위해 기준시나리오에 대한 개념 모델을 개발하였다. 지질계와 생태계의 연결매체인 우물을 동한 지하수 이동경로에 대한 평가를 수행하였고 생태계 모델에서는 구획모델을 적용하여 인간활동을 통한 최종 방사선적 영향을 평가하였으며, 다른 평가 결과와의 비교를 통해 기준시나리오에 대한 개념모델의 적합성을 조사하였다. 본 연구 결과는 구획모델을 이용한 지하수 유동경로에 대한 대표적인 개념모델을 총체적인 처분시스템의 안전성평가에 만족스럽게 이용할 수 있다는 것을 보여주었다. 또한 MASCOT 프로그램을 이용하여 복잡하고 다양한 이동경로를 통한 천층처분시설의 방사선적 안전성평가가 가능함을 보였다.

• 한국철도학회논문집
• /
• 제14권4호
• /
• pp.333-340
• /
• 2011

본 논문은 유럽 TSI와 국내철도차량안전기준에 정의된 건널목 충돌사고시나리오에서 요구하는 성능의 대형 변형체 장애물의 유한요소 모델에 대하여 2가지 종류의 모델을 개발하여 한국형 분산형 고속철도 차량에 적용하고 평가하였다. 규정에서 요구하는 대형 장애물은 기존 강체모델에서 현재의 변형체모델로 변경되었으며 규정에 정의된 방법으로 변형체 강성 값이 검증되어야 한다. 여러 번의 시뮬레이션을 통해 기준을 만족하는 균일한 밀도와 강성의 솔리드 형 장애물 모델과 균일하지 않은 셸 형 장애물 모델 등 2가지를 개발하였다. 본 연구에서 개발된 대형장애물을 사용하여 분산형 고속열차를 대상으로 규정의 대형장애물 충돌시뮬레이션을 수행하였고 그 결과를 평가하였다. 셸 형과 솔리드 형 장애물은 열차와 충돌 후 거동에 상당한 차이가 있었고, 셸 모델이 더 가혹한 결과를 나타내었다.

• 한국측량학회지
• /
• 제21권1호
• /
• pp.61-69
• /
• 2003

입체위성영상을 사용하여 생성된 수치표고모델과 정사영상의 위치정확도에 영향을 미치는 여러 가지 요인이 있다. 특히 지상기준점의 수량이 영상모델링과 수치표고모델, 정사영상의 위치정확도에 주는 영향에 대한 연구가 선행되어야 할 것이다. 따라서 본 연구에서는 수치영상처리 방법으로 공간해상도가 10m 인 SPOT 흑백영상을 사용하여, 지상기준점 수량을 10∼30개까지 5개 단위로 증가하여 각각의 모델링과 수치표고모델, 정사영상을 생성하였다. 정확도평가는 20개의 검사점을 사용하여 정사영상상에서 이루어졌다. 그 결과 지상기준점 수가 10∼30개 사이에서 모델링의 표준오차는 1화소 미만으로 나타났다. 정사영상을 사용한 수평ㆍ수직오차는 기준점수가 증가할수록 줄어드는 경향을 보였으며, 지상기준점 10∼15개가 가장 경제적인 것으로 나타났다. 또한 지상기준점 개수와 정사영상 위치정확도의 상관관계를 분석하고 향후 개선방안과 연구과제를 제시하였다.

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제12권1호
• /
• pp.44-52
• /
• 2007

본 연구에서는 위해성평가 과정의 중요한 부분으로서 수행되는 오염물질의 지중(subsurface) 거동 모델의 이용에 관한 전반적인 내용을 고찰하였다. 모델의 종류, 그리고 모델을 선택하고 이용하기 위하여 선행되어야 할 부지조사 및 개념적 모델 수립에 대해서 살펴보았다. 모델 선택의 기준을 정리하였고 대표적 모델과 각 모델의 모의 가능한 부지 조건들을 소개하였다. 모델의 보정, 검증, 민감도 분석 등 모델 이용에 필요한 일련의 과정과 각 과정에서 유의하거나 고려하여야 할 점을 살펴보았다. 본 연구에서 검토한 바에 의하면, 모델 선택의 주요 기준은 모델링의 목표와 수준, 그리고 모델이 오염부지의 주요 현상을 모의할 수 있는지 여부지만, 모델이 실제 시스템을 적절히 모의할 수 있는지는 이러한 기준으로 판단할 수 없으며 모델 입력변수 등 부지 자료의 가용성 및 질적 수준에 따라 결정된다. 한편, 추정된 입력변수에 대하여 높은 민감도를 보인다거나 선택한 모델의 보정 및 검증이 만족스럽지 않은 경우 자료 측정으로 대신하거나 다른 모델로 전환하는 등 전략 수정을 할 필요가 있다.

• 콘크리트학회논문집
• /
• 제21권3호
• /
• pp.377-386
• /
• 2009

ACI life-365 기준확산계수 모델은 NT build 443 방법에 의한 시험 결과들로부터 만들어졌다. 이 방법은 침지기간 동안의 시간평균 확산계수를 구하는 방법이므로 ACI에서는 침지기간 동안의 시간평균 확산계수를 기준확산계수로 정의한 것이다. ACI 모델에서는 재령에 따른 감소효과를 지수함수 형태로 표현하고 있으므로 이를 고려한 ACI 기준확산계수 모델의 수정이 필요하다. 이를 위해 본 연구에서는 염소이온 노출개시기를 고려한 확산방정식의 해석해를 유도하고, 이를 사용하여 NT build 443 방법의 시간평균 확산계수를 기준재령의 확산계수로 변환하였다. 연구결과 life-365 기준확산계수 모델은 기존 값 보다 10% 정도 증가되고 수정되어야 함을 밝혔으며, 이에 따라 NT build 443 방법과 NT build 492 방법의 기존관계를 수정하여 내구수명 평가에 이용할 수 있도록 하였다. JCI 확산계수모델과 ACI 확산계수모델의 직접적인 비교를 위하여 JCI 확산계수모델에 대응하는 기준확산계수를 유도하였으며, 이를 통해 JCI 모델보다 ACI 모델이 더 보수적인 결과를 나타내는 것을 확인하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.33-36
• /
• 1998

시뮬레이션을 이용한 위게임 체계는 실 기동훈련체계를 효과적으로 보완할 수 있는 육군의 부대훈련체계로서 정착되어 있으며, 이를 위하여 실시간에 전장상황을 처리하고 필요시 진행시간 조정, 상황 재현 등의 임의 통제가 가능한 워게임 모델 개발에 대한 요구가 증가하고 있다. 본 연구에서는 다기능, 다제대 동시훈련이 가능한 분산형 워게임 시뮬레이션 모델 개발을 수행한 내용으로, 연대전투모델에서 분산 처리가 가능한 분야를 도출하고, 이를 실시간 처리 기준에 맞도록 모델링에서 분산 처리가 가능한 분야를 도출하고, 이를 실시간 처리 기준에 맞도록 모델링에 반영하였다. 분산 워게임 모델 구현을 위하여 실시간 분산객체 기술의 한 분야인 TMO(Time Triggered Message Triggered Object) 모델을 기반으로 nstks처리 모델을 설계하였고, 논문에서는 현재까지 분산형 워게임 모델 개발에 대한 연구 결과와 향후 연구 방향을 제시하고자 한다.

• 한국문헌정보학회지
• /
• 제42권3호
• /
• pp.233-257
• /
• 2008

다양한 해외 디지털 지식정보의 통합 및 협력 네트워크를 구축하기 위해서 디지털 정보자원의 통합 개방, 참여, 기술이 핵심적인 부분이라고 할 수 있다. 해외 협력망인 WDL, IPL, TEL의 사례를 첫째 장서의 규모, 협력, 주제화범위의 내용적인 측면, 둘째 협력의 목적 등의 정책적인 측면, 셋째 표준화, 수집 및 선정, 검색, 메타데이터 관리의 기술적인 측면, 넷째 운영 조직 및 자금 수준의 운영적인 측면으로 분석하였다 분석된 내용 및 결과는 다양한 장서분석 기준과 접목하여 해외 협력을 위한 장서 분석 기준을 도출에 활용하였다. 분석된 기준은 디지털 정보자원의 핵심 부분인 디지털 정보자원에 대한 통함 체계를 지원하는 통합 모델, 협력 및 공유를 위한 자원 및 시스템 공유의 개방 모델 이용자 참여를 통한 지식정보의 창출, 지식정보자원의 공유할 수 있는 기술 모델 등 네 가지 모델로 구분하여 각 세부 평가 기준을 노출하는 데 활용하였다. 도출된 기준은 실제 장서분석 평가를 통하여 해외 협력망 구축을 위한 발전 전략 및 방향을 설정하기 위한 현재 장서에 대한 평가와 장서 관리를 위한 원칙과 모델을 제안하였다.