• 한국콘텐츠학회논문지
• /
• 제7권8호
• /
• pp.245-254
• /
• 2007

본 연구의 목적은 전략적 판매원 관리에 요구되는 판매원의 라이프스타일 및 판매행동을 분석하는 것이다. 따라서 본 연구는 판매원의 라이프스타일 인구통계적 특성에 따른 판매원의 라이프스타일과 판매행동, 직무만족도 차이를 검증하며, 판매원의 라이프스타일 및 판매행동이 직무만족도에 미치는 영향관계를 검증한다. 분석결과를 하면 다음과 같다. 첫째, 인구통계학적 변수에 따른 판매원의 라이프스타일의 차이를 검증한 결과 성별, 연령, 학력, 소득에서는 통계적인 유의성이 없는 것으로 나타났다. 둘째 인구통계학적 변수에 따른 판매원의 판매행동 차이 검증한 분석결과 연령, 학력, 소득, 근무유형, 점포유형을 제외한 성별, 결혼여부에 따른 차이만을 보이고 있다. 셋째, 인구통계학적 변수에 따른 판매원의 직무만족도에 대한 차이를 분석한 결과 점포유형 중 전속점이 직무만족도가 가장 높은 것으로 나타났다. 넷째 라이프스타일과 판매행동의 관계에 대한 검증한 결과는 사회지향형 라이프스타일은 판매지향성과의 관련성만을 보여 주고 있어, 사회지향형 라이프스타일을 가진 판매원일수록 판매지향성이 높아진다는 것을 알 수 있다. 마지막으로 판매원의 판매행동과 직무만족도의 관계를 검증하기 위해 실시한 회귀분석 결과 친절지향성만이 직무만족도와 통계적으로 유의한 관련이 있는 것으로 나타났다.

• 직업교육연구
• /
• 제29권3호
• /
• pp.107-132
• /
• 2010

이 연구의 목적은 초등학교 실과 5학년 '꽃과 채소 가꾸기' 단원에 프로젝트법을 적용한 집단과 전통적인 학습법을 적용한 집단을 비교하여 학업성취도에 미치는 효과를 알아보는데 있다. 이 연구의 목적을 달성하기 위하여 경기도 S초등학교 5학년 실험집단30명과 통제집단33명을 연구 대상으로 실험집단과 통제집단으로 선정하였다. 실험집단에 적용한 프로젝트법은 정성봉(1999)이 실과 가꾸기 단원에 적용한 모형을 일부 수정하여 사용하였고, 통제집단에는 전통적인 학습을 실시하였다. 실험 처치는 10차시에 걸쳐 실시하였으며, 실험 설계의 방법으로는 준실험 설계 중 이질집단 사후검사 설계 모형이 적용되었다. 자료는 SPSSWIN(ver 12.0.1) 한글 프로그램을 사용하였으며, 신뢰성 검증과 t검증 등을 실시하여 유의도 수준 5%(p<.05)에서 분석하였다. 이 연구의 결과를 통해 실과 '꽃과 채소 가꾸기' 단원은 전통적 학습법 보다 프로젝트법이 학습자의 인지적 영역의 학업성취도의 효과를 종합하여 검증한 결과 지식은 효과가 없었으며, 지적기능과 지적능력에서는 효과가 있는 것으로 검증되었다. 기능적 영역의 학업성취도의 효과를 종합하여 검증한 결과 식물 심기를 측정하는 요소기능은 차이가 없었으나 식물 관리하기를 측정하는 기본기능과 식물 가꾸기 능력을 종합적으로 측정하는 통합기능의 하위변인에서는 차이가 있는 것으로 분석되었다. 정의적 영역의 학업성취도의 효과를 종합하여 검증한 결과 관심은 차이가 없었으나 수용, 가치, 신념, 행동화의 하위 변인에서는 차이가 있는 것으로 분석되었다. 이 연구의 결과를 통해 실과 '꽃과 채소 가꾸기' 단원은 전통적 학습법 보다 프로젝트법이 학습자의 인지적, 기능적, 정의적 영역의 학업성취도가 높게 나타났다.

• 융합신호처리학회논문지
• /
• 제16권3호
• /
• pp.96-101
• /
• 2015

본 논문에서는 한방 의료의 설진에 있어서 객관적인 진단 지표의 생성을 위해 자외선 혀 영상 채널 분석과 설태 검출에 의한 WTCI(Winkel Tongue Coating Index) 설태 평가 방법을 제안한다. 제안한 방법은 설태 영역 검출을 위하여 자외선 광원에 의해 생성된 혀 영상의 칼라 모델별 각 색상 채널의 히스토그램을 분석한다. 그리고 선택된 혀 영상 채널을 이용하여 설태 검출에서의 성능 검증 실험을 수행한다. 또한 WTCI 설태 지표 생성을 위한 테스트 샘플과 실영상 검증 실험을 실시하여 설진 지표의 객관성을 검증한다. 제안한 컴퓨터 지원 WTCI 설태 평가 방법의 성능 평가를 위해서 샘플 영상을 이용하여 계산의 정확성을 검증하고, 다양한 실제 피실험자의 혀 영상에 적용한 결과 성공적인 결과를 보였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.537-537
• /
• 2012

천수방정식의 수치모형은 하천의 유량예측, 홍수범람해석, 해일 모의 등에 널리 사용되고 있고, 그 결과는 수자원 관리, 재난 대책 등 정책적인 의사결정에 있어 유용한 자료로 활용되고 있다. 이처럼 천수방정식의 수치모형은 연구목적뿐만 아니라 실생활에 있어서도 큰 영향을 미치고 있으며, 이에 보다 정확하고 효율적인 수치모형의 구축이 수리/수자원/방재분야에서 중요한 영역이 되고 있다. 본 연구는 정확하고 안정적인 수치모의를 위해 천수방정식의 수치모형에 MLP(Multi dimensional Limiting Process)기법을 적용한 후 다차원 모의 시 MLP의 수치 진동 제어 성능을 검증하고자 하였다. MLP기법은 다차원에서 수치진동을 억제할 수 있도록 개발된 기법으로, 기존 TVD 제어자(limiter)과 MLP의 차이점은 기존 제어자들이 흐름이 발생하는 셀 경계면에서 재구성된 값이 Maximum Principle을 만족시키도록 제어자를 유도하는데 반해, MLP는 셀 절점에서 Maximum Principle을 만족시키도록 제어자를 유도한다는데 있다. MLP기법은 압축성 유체를 표현하는 2, 3차원 오일러 방정식에 적용되어 기존의 제어자들에 비해 안정적이며 정확한 수치모의를 가능하게 하는 것이 검증되었다. 하지만 천수방정식에 적용된 예는 없으며, 이에 본 연구는 천수방정식에 MLP를 적용하고 천수방정식 수치모형 검증에 주로 사용되는 수치모의를 통해 MLP의 수치 진동 제어 성능을 검증하였다. 모의 결과, MLP는 2차원 천수방정식에 있어서도 기존의 제어자들과 비교하여 수치진동을 보다 잘 제어하는 것으로 판단된다. MLP의 사용으로 인해 불연속면 근처에서 정확도가 향상되었고 수치진동이 발생하지 않아 보다 안정적인 모의가 가능하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.180-180
• /
• 2022

최근 하천 횡단구조물로 형성된 호소 및 저수지에는 오랜 시간동안 다양한 유기 퇴적물이 유입되고 오염되어 호소환경 및 호소 생태계에 악영향을 미칠 수 있으며, 환경 여건에 따라 메탄과 온실가스를 유발할 수도 있다. 이러한 온실가스를 검출하고 그 원인을 파악하여 감축하는 일련의 기술이 국가적인 온실가스 감축 정책과 맞물려 새로운 이슈로 등장하였다. 일반적으로 메탄가스를 측정하는 실험은 BMP(Biochemical Methane Potential)-Test이며, 수치모의에 비해 BMP-Test는 수심이 깊은 지역이나 유속이 빠른 구역에는 적용이 어려운 한계가 존재한다. 이러한 BMP-Test의 한계점을 보완하는 차원에서 사전검증된 수치모형 COMSOL Multiphysics 소프트웨어를 이용하여 메탄가스 발생기작을 재현 및 도출하고 실내 실험결과와 비교 분석하였다. 첫째, COMSOL Multiphysics가 호소에서 발생하는 메탄가스 발생기작의 재현 타당성을 입증하기 위해 동일한 조건의 인공합성된 유기물을 이용한 실내 실험에서 수행된 BMP-Test와 비교·분석을 수행하였다. 둘째, COMSOL Multiphysics에 TOC(총유기탄소), TP(총 인)에 따른 유기물 조건과 메탄 발생 화학식을 설정하여 온도에 따른 메탄 생성량과 반응상수를 산출하였고, 이를 BMP-Test 결과와 비교하였다. BMP-Test의 비교·분석 결과를 바탕으로 하천 및 호소에서 발생하는 메탄가스 발생에 대한 COMSOL Multiphysics의 활용가능성을 검증하였다. 향후 하천 및 호소로부터의 발생가능한 온실가스 감축 목표를 달성하기 위한 하천 유기물 환경의 평가 또는 최적화 조성에 유사한 검증과정을 거친 COMSOL Multiphysics를 활용할 수 있을 거라 기대된다.

• 한국인터넷방송통신학회논문지
• /
• 제23권5호
• /
• pp.115-121
• /
• 2023

RISC-V는 오픈소스 명령어집합 아키텍처로, 누구나 자유롭게 RISC-V 마이크로프로세서를 설계하고 구현할 수 있다. 본 논문에서는 RISC-V 아키텍처를 설계하고 시뮬레이션한 후, FPGA에 구현 및 합성하고 로직아날라이저(ILA)를 이용하여 검증하였다. RISC-V 코어는 SystemVerilog로 작성되어 효율적인 설계와 높은 재사용성을 나타내며, 다양한 응용 분야에서 사용 가능하다. Vivado를 사용하여 Ultra96-V2 FPGA보드에 합성함으로써 RISC-V 코어를 하드웨어로 구현하였고, 통합로직아날라이저(ILA)를 통해 설계의 정확성과 동작을 검증하였다. 실험 결과, 설계된 RISC-V 코어는 기대한 동작을 수행함을 확인하였으며, 이러한 연구 결과는 RISC-V 기반 시스템 설계와 검증에 중요한 기여를 할 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.41-47
• /
• 2019

국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방 시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과 확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를 위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는 AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적 검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증 결과를 분석한다.

• 대한전자공학회논문지SD
• /
• 제43권7호
• /
• pp.38-49
• /
• 2006

본 논문에서는 SoC를 검증 및 테스트하기 위한 새로운 개념의 칩을 제안하고 이를 SwToC(System with Test on a Chip)라 명명한다. SwToC는 SoC의 임베디드 프로세서에 재구성 가능한 로직을 추가하여 칩의 물리적인 결함을 테스트할 수 있을 뿐만 아니라 기존의 기법으로는 수행이 어려웠던 테스트 단계에서의 디자인 검증이 가능하도록 한 칩을 말한다. 제안한 개념의 칩은 고속 검증이 가능하며 테스트를 위해 많은 비용이 소모되는 ATE 가 불필요한 장점을 갖고 있다. 제안한 칩의 디자인 검증 및 테스트 기능을 평가하기 위하여 임베디드 프로세서가 내장된 상용 FPGA를 이용하여 SwToC를 구현하였으며, 구현 결과 제안한 칩의 실현 가능성을 확인하였고 적은 비용의 단말기를 통한 테스트가 가능함은 물론 기존의 검증기법에 비해 고속 검증이 가능함을 확인하였다.

• 한국컴퓨터산업학회논문지
• /
• 제5권7호
• /
• pp.721-728
• /
• 2004

공개키 기반 구조 (PKI; Public Key Infrastructure)에 필수적인 요소인 인증서의 상태 검증에 있어서 인증서 상태 검증 서버인 OCSP (Online Certificate Status Protocol) 서버는 실시간 상태 검증을 제공한다. 그러나 서버와 클라이언트의 메시지 인증을 위해 전자 서명을 수행해야 하며, 이때 사용되는 공개 암호 연산 과정의 복잡성은 동시에 많은 클라이언트의 요청이 발생할 경우에 응답 시간을 크게 지연시킨다는 단점을 가지고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 인증서 상태 검증 서버의 시뮬레이션 모델을 DEVS (Disvrete EVent system Specification) 방법론을 이용하여 설계하였다. 이 모델은 인증서의 상태 검증을 요청하는 영역에 위치하여 해쉬함수를 적용한 인증을 수행하도록 구성되었으며, 시뮬레이션 결과는 제시한 방법이 인증서 상태 검증 속도를 증대시켜 결과적으로 사용자의 응답 시간이 감소되는 것을 보여준다.

• 플랜트 저널
• /
• 제13권2호
• /
• pp.39-45
• /
• 2017

본 논문은 시스템엔지니어링기법을 이용하여 해양플랜트 산업의 소형 유틸리티 장비의 입찰단계에서 사용가능한 FEED 검증 수행모델에 대한 연구이다. 현재 국내 해양플랜트 기자재산업계는 해양플랜트에 진출하면서 프로젝트 수행에 따른 재정적 위험에 직면한 상태이며, 그 주요한 원인으로 기자재업체의 발주처(COMPANY 또는 EPC: Engineering, Procurement and Construction) 로부터 제공받은 FEED 결과물에 대한 검증능력부족으로 조사되었다. 이에 요구사항 분석, 기능, 성능분석 및 물리적아키텍처 구축프로세스를 순차적으로 적용하는 시스템 엔지니어링 기법을 간략화 한 FEED 설계 검증방법을 제안하고 이를 소형 유틸리티 장비(Air Compressor)를 대상으로 기존의 경험에 의존한 검증방법과 개발한 FEED 검증 모델을 적용한 결과를 비교함으로써 개발된 모델의 사용적정성을 검증하였다.