• 한국콘텐츠학회논문지
• /
• 제16권3호
• /
• pp.546-552
• /
• 2016

컴퓨터게임이 새로운 인기 레저활동으로 변화되고, 기능성게임에 대한 활용도가 높아짐에 따라서 이에 대한 효과성 검증이 요구되고 있다. 기존의 많은 연구들이 기능성게임의 효과 평가, 종류, 개발 등에 국한되어진 반면, 게임 활용이후 효과성을 실증적으로 검증하기 위한 연구는 미흡한 실정이다. 이에 기능성 게임 효과에 대한 실증적 검증을 위하여 기존의 문헌연구에 사용된 효과성 검증에 사용된 성과 변수들을 분석하고, 특히 교육용 기능성게임의 효율적인 효과성검증을 위해 필요한 성과지표들은 어떠한 것들이 있는지에 대하여 알아보고자 한다. 이는 향후 게임사용 이 후 변화된 학습효과, 인지 효과 등을 검증하기 위한 성과지표로써 활용도가 높을 것으로 예상한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 춘계학술대회 논문요약집
• /
• pp.114-114
• /
• 2004

주)태양금속에서 고속화차 용접구조형 대차를 채택하여 화차론 제작하였는데 한국철도기술연구원에서는 대차의 구조강도론 검증하기 위해 구조해석을 시행한 후 스트레인게이지를 실재 대차에 장착하여 정하중 시험을 시행하였고 또한 진동가속도계를 차체 및 대차프레임에 장착하여 주행안전성과 관련된 진동성능시험을 시행하였다. 본 논문은 새로 개발된 용접구조형 대차 및 이를 장착한 화차에 대해 대차프레임의 강도 검증과 화차의 안정성 여부를 판단하기 위한 시험을 시행한 결과에 대한 내용이다.(중략)

• 마이크로전자및패키징학회지
• /
• 제20권3호
• /
• pp.59-62
• /
• 2013

Plastic ball grid array (PBGA)에 대한 강력한 임의 진동에서의 신뢰성을 실험적으로 검증하였다. 실험시편을 만들기 위해 데이지 체인이 형성된 PCB에 칩을 실장시킨 후 그중 절반은 underfill 공정을 거쳤다. 임의 진동 프로파일은 인공위성 전자장비의 신뢰성 검증에서 사용되는 두 종류의 진동 수준, 즉 판정시험 (acceptance level) 및 합격시험(qualification level)을 사용하였으며 각각의 power spectrum density는 22.7 Grms와 32.1 Grms였다. 실험후 underfill과 관계없이 모든 샘플에서 솔더의 균열이 발생되지 않았으며, 차후 항공 및 우주용 전자장비를 대치할 수 있는 패키징 구조의 가능성을 보여 줬다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2011년도 제37회 추계학술대회논문집
• /
• pp.481-487
• /
• 2011

본 논문은 파열판 시험결과와 유한요소해석 결과를 비교하기 위한 것이다. 파열판은 고압장치에서 안전장치로 사용하고 있으며, 추진기관에서는 파열을 임의로 제어하기 위한 장치로서 사용한다. 탄소성 물성치를 이용하여 재해석을 수행한 이유는 탄소성 해석을 사용하여 압력용기 파열판의 한계하중 계산결과를 검증하고 임의의 형상에 대한 파열판의 한계하중을 계산하기 위한 것이다. 본 논문에서는 내식성이 우수한 고연성 소재인 AISI 316L을 이용하여 제작한 파열판의 파열시험을 수행하였다. 결과를 통하여 파열판의 크기에 대한 파열압력의 변화를 확인하고 유한요소해석 결과를 비교하여 탄소성 물성의 수정을 통해 정확성을 향상시켰으며, 임의의 형상에 대한 파열판 해석을 수행함으로써 계산 결과를 검증하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권7호
• /
• pp.476-481
• /
• 2015

NIST통계적 난수 검증 모음에 속한 누적 합(CUSUM) 검증을 CUDA 환경에서 병렬화하였다. 배열 사유화를 적용하여 스칼라 변수에 저장하던 랜덤 워크(random walk) 값을 배열 변수에 저장하여 데이터 의존성을 제거하였다. 자료 구조 변경에 따라 알고리즘 각 단계에 병렬 스캔, 스캐터 및 병렬 축약 적용이 가능하게 되었다. 또한 CPU를 사용하여 진행되던 부분을 GPU가 담당하게 하여 두 프로세서 사이의 데이터 이동으로 인해 발생하는 직렬화를 해소하였다. 마지막으로 전역 메모리 접근을 최적화하여 전체적으로 순차적 구현 대비 약 23배에 달하는 성능 향상을 달성하였다. 이 결과는 검증 모음의 실행시간 단축과 더불어 암호 키 보안 향상을 위한 난수 연구에 기여할 것으로 예상된다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1999년도 학술발표대회 논문집 제18권 2호
• /
• pp.397-400
• /
• 1999

본 연구에서는 기존의 모드적합법의 단점을 개선하여 각 관에 임의의 모드갯수를 선택할 수 있고, 동심관형 단순확장관의 음향특성뿐만 아니라 입$\cdot$출구가 임의의 위치에 있는 경우에도 모드적합법을 적용할 수 있는 방안을 제시한다. 그리고 제시한 방안으로 프로그램을 작성하여, 각각 임의의 모드와 임의의 입$\cdot$출구의 위치를 가지는 원형 소음기의 4단자 정수를 구하고, 이로부터 임의의 입$\cdot$출구 위치에 따른 소음기의 음향특성을 구하여 유한요소법과 비교하여 제안하는 방법의 유용성을 검증하고 고차모드의 영향을 조사하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2012년도 제46차 하계학술발표논문집 20권2호
• /
• pp.111-112
• /
• 2012

게임의 순기능을 이용해 교육, 훈련, 치료 등의 목적으로 개발된 기능성 게임은 이용자들의 게임 선택을 위해 게임의 품질과 관련된 정확한 정보가 제공되는 것이 중요하다. 기능성게임의 품질을 평가하기 위한 기술적, 비기술적 영역 가운데 비기술적 영역은 기능성게임의 종류를 반영한 요소들로 구성된다. 본 연구는 교육용 기능성 게임의 비기술적 품질 평가 영역을 추출하고 이를 검증하였다. 본 연구를 위해 사용된 방법론은 다른 종류의 기능성 게임의 품질평가 요소 추출을 위한 가이드 역할을 할 것으로 기대된다. 향 후 본 연구의 결과를 이용하여 교육용 기능성 게임의 품질 평가 메트릭을 개발할 예정이다.

• 대한지리학회지
• /
• 제33권2호
• /
• pp.325-338
• /
• 1998

본 연구에서는 시.공 복합적인 선형 점 자료를 대상으로 시간과 공간을 함께 고려했을 때 자료 내에 군집(cluster)-시.공 복합 군집(space-time cluster)-이 존재하는 가를 검증하는 방법에 대해 논의하고, 실제 교통사고지점의 분포자료를 분석하여 군집의 유무를 통계적으로 검증하였다. 통계 분석의 결과 다음과 같은 사실이 확인되었다. 첫째, Knox의 분할표 방법과 Mantel의 역수 변환을 이용한 일반화된 회귀분석방법 모두 임계 거리 및 임계 시간 간격의 선택이 분석결과에 영향을 미친다. 둘째, 이러한 임의성을 극복하기 위해 다양한 임계 거리 및 임계 시간 간격(혹은 부가 상수)에 대해 반복 실험한 결과, 일부 임계값의 조합에서 시간과 공간이 서로 독립적이라는 귀무가설을 기각할 수 있는 증거가 발견되었다. 셋째, 시.공 복합 군집의 파악에 가장 적합한 임계 거리와 임계 시간 간격은 공간적으로는 7000m, 시간적으로는 14일 혹은 21일이다. 마지막으로, 통계 분석과정에서 자료에 존재하는 중복 기록 사고들의 존재가 밝혀짐으로써 시.공 복합군집 검증이 탐험적 자료 분석(exploratory data analysis)의 도구로서 가지는 가치를 확인할 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.280-282
• /
• 2010

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• KDI Journal of Economic Policy
• /
• 제15권1호
• /
• pp.185-205
• /
• 1993

Shiller에 의하여 개발된 분산한계검증모형(分散限界檢證模型)은 간결하고 명쾌한 모형유도(模型誘導)와 강력한 검증결과(檢證結果)에 의해 주목받아 왔으나 비현실적(非現實的)인 가정(假定)들을 통한 모형설계와 검증통계량(檢證統計量)의 통계적 오류로 검증결과의 신뢰성이 의문시되어 왔다. 이러한 문제점을 제거하기 위한 Mankiw-Romer-Shapiro(MRS)모형(模型) 역시 임의변수(任意變數)의 도입으로 인한 검증력(檢證力) 저하(低下)와 고정기대수익율가정(固定期待收益率假定)의 채택으로 결합가설검증(結合假說檢證) 형태를 취하게 되는 문제점을 드러냈다. 본고(本稿)는 MRS모형(模型)의 문제점을 제거하기 위하여 먼저 Lucas의 균형자산가격모형(均衡資産價格模型)을 이용하여 고정기대수익율가정(固定期待收益率假定)을 완화하였고, 이에 의하여 구해진 변수들을 사용하여 합리적(合理的) 기대이론(期待理論)의 일반관계식(一般關係式)으로부터 새로운 검증모형(檢證模型)을 유도하였다. 1982~92년까지의 종합주가지수(綜合株價指數)와 대응하는 배당액(配當額)의 연도별(年度別) 시계열자료(時系列資料)를 가지고 검증실험을 행하여 본 결과 한국(韓國) 주식시장(株式市場)에서 효율적 시장가설은 기각되었고, 이를 통하여 관련정보(關聯情報)가 시장가격(市場價格)에 제대로 반영되지 않고 있으며, 정보(情報)의 비대칭성(非對稱性)으로 인하여 주식시장은 금융자원(金融資源)의 중개기능(仲介機能)을 효율적으로 수행하지 못하고 있음을 알 수 있었다. 따라서 한국 주식시장의 효율성을 제고하기 위하여 먼저 시장의 비효율성을 야기하는 요인(要因)들에 대한 분석(分析)과 이 분석을 통한 효율성(效率性) 장애요인(障碍要因)을 제거하는 것이 주식시장에 대한 정부정책(政府政策)의 우선순위(優先順位)가 되어야 할 것이다.