• 인터넷정보학회논문지
• /
• 제8권2호
• /
• pp.1-13
• /
• 2007

GPS/GIS와 RFID는 유비쿼터스 시대로 가는 우리 사회의 패러다임을 변화시켰다. 특히, 이러한 환경에서 지리적으로 분산되어 있고 운송해야 할 대상이 있는 이동 에이전트들은 자동으로 인식하고 추적할 수 있어야 한다. 그렇게 하기 위해서, 지리적 공간에서 에이전트들의 공간적/시간적 행위들을 명세하고 검증하기 위한 기본적인 이론과 기술들이 필요하다. 본 논문은 이를 위해 CaRDMI라는 새로운 정형기법을 제안한다. 명세를 위해 CaRDMI는 지도와 운송대상을 가지는 이동 에이전트들을 정의한다. 에이전트의 이동은 지도상의 경로로 표현되고 이들은 공간적/시간적 제약이 있는 노드와 에지들의 리스트들로 구성된다. 에이전트들 사이에서의 운송 대상에 관한 상호작용은 동기화 모드들에 의해 표현된다. 이들이 CaRDMI의 두드러진 특징이다. 특히, 시간 속성을 가진 다대다 동기화는 주목할만하다. CaRDMI는 분석과 검증을 위해 공간적, 시간적 그리고 상호작용을 위한 추론 규칙과 공간적/시간적 동일성 관계들을 제안한다.

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

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

• 한국항공우주학회지
• /
• 제37권3호
• /
• pp.232-239
• /
• 2009

군용항공기에 탑재된 외부무장은 필요시 투하되기 위해서는 무엇보다도 먼저 안전한 분리가 이루어져야한다. 따라서 이러한 외부 장착물의 안전한 분리는 여러 가지 실험을 통해 사전에 반드시 검증이 이루어져야 한다. 본 논문은 전투기에 장착한 외부 장착물이 전투기로부터 분리 될 때 안전한 분리가 이루어지는가를 풍동실험을 통해 검증하기 위한 연구를 수행하였다. 이러한 무장분리문제와 관련된 풍동실험 기법으로 널리 활용되고 있는 자유낙하실험과 Grid test 기법을 사용되었다. 본 논문에서는 이러한 각 풍동실험 기법의 수행절차를 기술하고 각 기법의 실험결과로써 얻어진 데이터를 통해 무장투하가 사출기의 작동 여부와 관계없이 안전하게 분리됨을 확인하였으며, 각 기법에서 얻어진 결과가 모두 안전 제한치 내에 있음을 확인할 수 있었다.

• 시큐리티연구
• /
• 제27호
• /
• pp.31-49
• /
• 2011

본 연구는 서울지역 S경호업체에서 경호업무를 수행하는 경호원을 대상으로 근무유형의 하위요인인 직위와 근무형태에 따른 체력과 심혈관질환 위험인자의 차이를 규명하는데 그 목적이 있었다. 모든 연구대상자는 심폐질환, 정형외과적 질환, 그리고 대사성질환이 없는 건강한 남자 60명이었다. 본 연구의 자료처리 방법은 SPSS Version 12.0 program을 이용하여 모든 자료의 평균과 표준편차를 산출하였으며, 경호원의 근무유형에 따른 체력과 심혈관질환 위험인자의 차이를 검증하기 위하여 일원변량분석을 실시하였다. 각 변인들의 분석 후 통계적 유의성이 나타난 경우 사후검증을 실시하였다. 결과에 따르면, 첫째, 경호원의 직위에 따라서는 직위가 낮을수록 체력수준이 높았고, 직위가 높을수록 체지방률과 심혈관질환 위험도가 높았다. 둘째, 경호원의 근무형태에 따라서는 현장직 경호원의 체력수준이 높고, 체지방률과 심혈관질환 위험도가 낮았다. 셋째, 경호원의 체력수준이 높을수록 체지방률과 심혈관질환 위험도는 감소되었다. 결론적으로, 경호원의 과체중 또는 비만감소, 심혈관질환 위험도 감소의 긍정적 변화를 가져오기 위해서는 간부급 경호원의 유산소성 운동을 기반으로 한 신체활동이 요구되어진다.

• 대한의용생체공학회:의공학회지
• /
• 제22권1호
• /
• pp.69-80
• /
• 2001

본 연구에서는 환자의 골다공증 유무에 따른 내고정 장치 시술 직후 및 융합 후의 안정성을 평가하기 위해 다양한 하중 모드에서 C5-C6 운동분절의 생체역학적 거동을 분석하였다. 이러한 목적으로 먼저, C5-C6 경추부의 유한요소 모델을 구현하여 검증하였다. 모델의 결과는 기존 실험치와 유사하여 신뢰성이 부여되었다. 검증된 모델은 Smith-Robinson 방식으로 골이식물을 삽입한 후 전방 내고정 장치를 적용한 시술 상황을 재현하기 위해 수정되었다. 수정된 모델은 두 종류로 구현되었다. (1) 첫 번째 모델에서는, 시술 직후의 상황을 재현하기 위해 골이식물과 종판의 경계면에 접촉요소를 사용하였다. (2)두 번째 모델에서는 완전히 융합된 상황을 나타내기 위해 골이식물을 종판에 고정하였다. 골다공증의 효과를 예측하기 위하여 두 모델의 해면골에 대한 탄성계수를 변화시켰다(정상: 100MPa, 골다공증: 40MPa). 각 모델의 C5 주체의 상위면에 73.6N의 압축 하중을 가한 후에 108Nm의 굴곡/신전, 굽힘, 비틀림 하중을 가하였으며, C6 추체의 하단면은 모든 방향에 대하여 구속하였다. 전체적인 결과에 있어서 상대적 회전운동, 미끄럼운동, 골이식물 내에서의 von Mises 응력의 경우 정상 모델에 비해 골다공증 모델에서 증가함을 보였으며, 특히 시술 직후의 모델에서 비틀림 하중이 가해진 경우, 상대적 회전운동 및 미끄럼 운동이 가장 높게 예측되었다. 이는 골다공증환자에게 전방 내고정 장치를 시술한 경우 골이식물의 파단 및 유합의 실패가 비틀림 하중에서 발생할 수 있음을 나타낸다. 해면골의 von Mises 응력은 시술 직후에 골다공증 모델의 모든 하중 모드에서, 유합 후에는 굽힘 하중 외의 모든 하중에서 ultimate strength를 초과하는 것으로 나타나 골다공증 환자에게 screw의 해리가 발생할 가능성이 높은 것으로 예측되었다. 따라서 골다공증 환자에게 과도한 운동이 발생하지 않도록 하기 위해서 시술 후 세심한 주의와 halo 같은 견고한 정형술이 필요할 것으로 사료된다.

• 한국전자통신학회논문지
• /
• 제15권1호
• /
• pp.79-84
• /
• 2020

무선 전력 전송은 유선 전력 전송 보다 편리하지만 전송거리가 짧고 효율이 낮다. 또한, 여러 장치를 동시에 충전하기 어렵다. 본 논문에서는 무선 전력 전송의 전송 거리를 증가시키고 효율을 향상시키기 위해 다수의 송신코일을 이용해서 Magnetic Beam을 형성하는 방법을 제안한다. 이를 위해 송신코일 전류와 수신코일 중심에서의 자속밀도 사이의 관계를 모델링하고, 의사역행렬(Pseudoinverse)의 특성을 이용해 최적의 송신코일 전류를 계산한다. 마지막으로 Simulation을 통해 제안한 방법의 타당성을 검증한다.

• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.

• 대한원격탐사학회지
• /
• 제30권1호
• /
• pp.1-12
• /
• 2014

본 연구의 목적은 최신 상용 소프트웨어에서 지원하고 있는 영상 모자이크 기법을 비교 분석하고, 제작된 모자이크 영상들의 정량적인 품질평가 방법을 제시하는 것이다. 상대적으로 뛰어난 성능을 나타내는 것으로 알려져 있는 모자이크 기법을 계절적 특성이 서로 다른 7장의 KOMPSAT-2 위성영상에 적용하였고, 각각의 결과를 시각적으로 비교 분석하였다. 또한, 제작된 모자이크 영상의 성능을 비교 할 수 있는 정량적 평가지수를 제안하고, 시각적 결과와 비교 검증을 수행함으로써 제안된 품질평가 지수의 적용 가능성을 제시하였다.

• 한국터널지하공간학회 논문집
• /
• 제6권1호
• /
• pp.3-16
• /
• 2004

기존의 터널 라이닝으로서 주를 이루고 있는 콘크리트 라이닝은 여러 문제점들이 발생하고 있으며 콘크리트 라이닝의 대제 재료에 대한 관심이 증대되고 있다. 본 논문에서는 파형강판을 개착식 터널 라이닝으로 도입하기 위한 초기 단계에 있어서 파형강판 라이닝의 유한요소 해석을 수행하고 CHBDC (Canadian Highway Bridge Design Code, 2000) 규정에 의해 안정성을 검토한 후 몇 가지 조건에 의해 발생되는 단면력의 경향을 분석함으로서 터널 라이닝으로서의 새로운 재료의 거동 특성을 규명하고자 하였다. 또한 현장에서의 시공 단계를 모사한 1/40 scale의 모형토조 실험과 동일한 scale의 수치해석을 수행하여 본 연구에서 사용한 수치해석 기법의 적정성을 검증하였다.

• 대한물리치료과학회지
• /
• 제7권2호
• /
• pp.427-437
• /
• 2000

편마비 환자의 물리치료는 장애 결과를 완화시키는 것에 초점을 두고 있다. 본 연구는 신경생리학적 개념을 기초로 한 중재 접근 방법 중 편마비 환자에게 신경 발달 치료와 신경근 균형 접근 기법의 중재 효과를 비교 하였다. 연구 대상은 서울특별시와 전라북도에 소재한 종합병원 및 정형외과 의원에 입원 및 통원하고 있는 47-71세의 연령 범위에 있는 편마비 환자 30명 이다. 중재 집단의 기능적 능력 향상을 평가하기 위해 편마비 환자를 위한 운동 평가 척도와 수정된 바델 척도를 평가도구로 사용하였다. 편마비 환자의 기능적 능력 향성을 평가도구에 의해 측정된 결과를 분석한 바 운동평가 척도 항목중 바로누운 자세에서 옆으로 눕기와 앉아서 균형 취하기 영역에서, 수정된 바델 척도 항목 중 식사하기 영역에서 통계적으로 유의한 차이를 보였다(P<.05). 편마비 환자의 손상 부위, 손상 형태, 마비 부위 등의 손상의 본질에 따른 대상의 선정과 운동 조절 형태에 관한 지식 그리고 신경학적 결함 정도를 심도있게 다루어 기능적 능력 향상의 임상적 효과를 검증하는 것이 중요하다.