• 제목/요약/키워드: 모델 검사

검색결과 1,156건 처리시간 0.033초

BIM 지원을 위한 IFC모델 호환성 검사 방법에 관한 기초 연구 (A Framework for the IFC Interoperability Test Method to Support BIM)

  • 강훈식;이강;신윤아
    • 한국건설관리학회:학술대회논문집
    • /
    • 한국건설관리학회 2008년도 정기학술발표대회 논문집
    • /
    • pp.674-677
    • /
    • 2008
  • 거대해지고 복잡해진 건설프로젝트에서 건설 생애주기 동안 필요한 모든 정보를 효과적으로 관리하기 위한 BIM에 대한 관심이 증가하고 있다. BIM을 이용한 협업에서 정보의 교환과 공유는 이윤을 극대화할 수 있는 중요한 요소이다. IAI에서는 건설프로젝트의 모든 참여자가 사용할 수 있는 표준 파일포맷으로 STEP기반의 IFC모델을 제시하고 있고 현재 $2{\times}3$버젼이 게시되어 있어서 이를 지원하는 BIM소프트웨어에서 IFC포맷으로 내보내거나 들여올 수 있다. 하지만 실험결과 IAI로부터 IFC호환성 인증을 받은 BIM소프트웨어들이라도 IFC포맷의 파일을 내보내거나 들여올 때 정보가 손실되거나 변형되는 오류가 발생하였다. BIM소프트웨어 사용자들은 정보공유를 위해 IFC파일을 사용했을 때 자신도 모르게 에러가 발생해서 프로젝트에 큰 손실을 입을 수도 있다. 본 연구에서는 호환성 검사에 대한 기존의 연구를 살펴본 후 IAI의 검사 과정을 조사하고 문제점을 도출한 후 문제점에 대한 해결방안을 제시하고자 한다.

  • PDF

PBL 기반 프로그래밍 수업에서 학습양식에 따른 학습동기 차이분석을 통한 시사점 도출 (Analysing Differences of Learning Motivation According to Learning Styles in Project-Based Programming Learning)

  • 김병욱;김한성;이원규
    • 컴퓨터교육학회논문지
    • /
    • 제13권5호
    • /
    • pp.15-27
    • /
    • 2010
  • PBL(Project Based Learning)은 학업성취도 및 문제해결력 향상에 효과적인 교수-학습방법으로 프로그래밍 교육에 널리 적용되고 있다. 하지만 학습 초기의 진입장벽이 높은 프로그래밍 학습에서 PBL의 장점이 발휘되기 위해서는 수업설계시에 학습동기 유발전략이 요구된다. 이러한 학습동기 유발전략은 학습자의 학습양식을 고려하여 적용하였을 때에 효과적이지만, 아직까지 PBL 기반의 프로그래밍 수업에서 학습동기 향상을 위해 학습양식에 따라 고려해야 할 요소에 대한 연구는 부족한 실정이다. 이에 본 연구는 PBL 기반의 프로그래밍 수업에서 학습양식에 따라 학습동기에 어떠한 차이가 있는지를 분석하고, 이를 토대로 수업설계시 고려해야 할 요소에 대한 시사점을 도출하는 것을 목적으로 수행되었다. 이를 위해, ARCS 모델을 중심으로 설계된 시뮬레이션을 제작해보는 PBL 프로그래밍 수업을 실시하였다. 사전에 학습동기검사, 학습양식검사를 실시하였고 실험조치 후 사후 학습동기를 검사한 결과, 학습자의 학습동기에 유의미한 차이가 나타났다. 끝으로, 학습양식에 따른 ARCS 모델의 하위 요소별 차이를 비교 분석하여 PBL 기반의 프로그래밍 수업설계에 있어서의 시사점을 제시하였다.

  • PDF

초음파와 탄성 구조 모델을 이용한 캘빈 폼 재료의 탄성계수 평가 (Characterization of Elastic Modulus of Kelvin Foam Using Elastic Structural Model and Ultrasound)

  • 김우찬;김노유
    • 비파괴검사학회지
    • /
    • 제36권6호
    • /
    • pp.474-482
    • /
    • 2016
  • 가벼운 다공성 구조재로서 널리 사용되는 캘빈 폼(foam) 재료의 탄성특성을 초음파를 이용하여 조사하였다. 캘빈 폼의 구조는 tetrakaidecahedron의 단위 셀(unit cell)이 규칙적으로 3차원 배열된 구조를 갖고 있는데 본 연구에서는 SoildWorks 프로그램에서 캘빈 단위 셀을 설계하고 ABS 플라스틱 재료를 이용하여 3차원 프린터로 제작한 후 초음파시험을 수행하였다. 캘빈 구조체는 기공이 많은 재료이기 때문에 초음파가 투과할 수 없어서 빈 공간을 모두 파라핀 왁스로 충진하여 초음파가 투과할 수 있도록 하였다. 파라핀을 충진한 캘빈 구조체는 초음파의 비행시간(TOF)을 이용하여 초음파 속도를 계산한 후, 이 복합 구조체에 대한 탄성 구조 모델을 기반으로 캘빈 구조체만의 탄성계수를 계산하였다. 측정된 캘빈 구조체의 탄성계수 값은 모재(ABS 플라스틱) 탄성계수의 약 3.4%가 되는 것으로 나타났는데 이 평가 결과는 선행된 연구 결과들에서 나타난 실험값이나 이론 해석 결과와 잘 일치하는 것을 확인할 수 있었다.

상호 작용 중심 시스템의 품질 확보를 위한 LTL 분산 명세 (Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System)

  • 권령구;권기현
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제3권5호
    • /
    • pp.169-178
    • /
    • 2014
  • 본 논문에서는 상호 작용 중심 시스템의 품질을 확보하기 위하여 LTL 분산 명세를 활용하는 연구를 소개한다. 이러한 시스템의 품질확보를 위해서는 모듈 간의 상호 작용을 확인하여 기대하는 요구 사항을 달성하고 있는지를 검사해야 한다. 이 작업은 어렵고 노동 집약적이며 전문가를 필요로 한다. 따라서 본 논문에서는 이 검사에 도움을 주기 위한 방법을 제안한다. 먼저, 시스템의 기대하는 요구 사항은 각 모듈별로 분리해서 명세한다. 그리고 모듈 사이의 상호 작용은 다른 모듈이 수행하는 행위가 특정 모듈의 행위와 관련 있음을 의미한다. 여기서는 GR(1) 합성을 이용하여 명세를 만족하는 오토마타 모델이 생성되고 이것들은 소프트웨어 에이전트 기반의 시뮬레이터를 통해 모델의 행위를 확인하여 시스템이 요구 사항을 달성하고 있는지를 검사한다.

적응필터를 이용한 적층 복합재료에서의 역산란 X-Ray 신호처리 및 복원 (Reconstruction and Deconvolution of X-Ray Backscatter Data Using Adaptive Filter)

  • 김노유
    • 비파괴검사학회지
    • /
    • 제20권6호
    • /
    • pp.545-554
    • /
    • 2000
  • 충격에 의해 복합 재료 내에 발생하는 층간 박리를 정량적으로 평가하기 위한 비파괴 방법중에서 Compton X-ray 역산란 기술은 초음파에 비해 비접촉식이며 박리 층간의 상호간섭이 없어 복합재료 판면의 박리 층의 위치와 크기를 검사하는데 효과적인 방법으로 사용되어 왔다. 그러나 X-ray역산란 기술에 있어서 복합재료의 박리 층과 같은 미세한 결함의 측정을 위해 측정 정도를 높이면 역산란 양의 감소로 인해 신호 대 잡음 비(SNR)가 급격히 감소하여 결함검출 가능성이 크게 저하된다. 본 논문에서는 복합재료의 특성을 고려한 X-ray 역산란 모델을 기초로 적응필터를 사용하여 결함신호를 비선형 감쇄, 빔 경화(X-ray hardening), 비균질 특성과 같은 잡음 신호로부터 분리, 추출하는 방법을 제시하였다. 이렇게 분리된 결함신호로부터 정량적인 결함(박리)의 위치와 크기를 수학적 산란 모델과의 비교를 통해 최소 자승법을 이용하여 결정하였다.

  • PDF

함초 첨가 설기떡의 재료 혼합비율의 최적화 (Optimization of Ingredient Mixing Ratio for Preparation of Sulgidduk with Saltwort (Salicornia herbacea L.))

  • 장명숙;박정은
    • 한국식품영양과학회지
    • /
    • 제35권5호
    • /
    • pp.641-648
    • /
    • 2006
  • 본 연구는 함초가루를 이용한 설기떡을 개발하기 위하여 재료의 최적 혼합비율을 찾는데 목적이 있다. 설기떡의 품질에 가장 영향을 미치는 수분, 함초가루, 설탕첨가율을 독립 변수로 설정하였고, 예비실험을 거쳐 수분 $13{\sim}18%$, 함초가루 $2{\sim}6%$, 설탕 $8{\sim}13%$의 범위에서 혼합물 실험계획법(mixture design) 중 D-optimal design을 이용하여 최적 재료 혼합비율을 찾고자 하였다. 각 설정된 범위를 입력하였을 때 10개의 실험점이 형성되었고, 4개의 반복점이 선택되어 실험점은 모두 14개가 설정되었다. 각 조건별 실험결과를 모델링화 하여 F-test를 통해 유의성을 검증한 결과 색도의 명도, 적색도, 황색도, 텍스쳐의 검성과 씹힘성, 관능검사 항목인 맛과 부드러운 정도는 linear 모델로 결정되었고, 텍스쳐의 경도, 관능검사의 색, 냄새, 촉촉한 정도, 전반적인 기호도는 quadratic 모델로 결정되었다. 모델의 적합성을 분석한 결과 모든 항목에서 probability가 모두 0.05% 이내에서 유의성을 보여 모델로서 적합함이 인정되었다. 반응표면과 trace plot의 결과 수분과 설탕첨가율이 높을수록, 함초가루 첨가량율이 낮을수록 명도는 높고, 적색도와 황색도는 낮았다. 텍스쳐의 경우 함초 첨가율이 증가할수록 경도, 검성, 씹힘성이 증가하여 함초가루의 첨가율이 높을 경우 설기떡의 부드러움을 저하하는 원인이 되었다. 관능검사 결과에서도 수분, 함초가루, 설탕을 많이 첨가할 경우에는 오히려 낮은 점수를 받았고, 특히 수분과 함초가루에 의하여 많은 영향을 받았다. 함초가루를 첨가한 설기떡의 최적 재료 혼합비율은 수치 최적화에서는 수분 15.2%, 함초가루 3.0%, 설탕 9.8%이었고, 모형적 최적화에서는 desirability가 0.620에 해당하는 수분 15.2%, 함초가루 3.1%, 설탕 9.7%로 수치 최적화점과 유사하게 나타났다.

허혈성 뇌손상 모델 당뇨쥐의 복합운동프로그램의 효과 (The Effect of Complex Exercise Program of Diabetic Rats with Ischemic Brain Injury Model)

  • 김동현;방현수
    • 대한지역사회작업치료학회지
    • /
    • 제6권1호
    • /
    • pp.41-48
    • /
    • 2016
  • 목적 : 본 연구의 목적은 허혈성 뇌손상시 회복의 지연을 초래하는 당뇨에 복합운동프로그램을 적용하였을 때, 신경학적 효과와 당뇨의 개선효과를 확인하고자 하였다. 연구방법 : 본 연구는 경상북도 소재의 동물실험 연구실에서 실시하였고 허혈성 뇌손상 모델의 흰쥐에게 STZ(streptozotocin)를 투여하고 당뇨를 유발한 흰쥐 10마리를 사용하였다. 흰쥐에게는 4주간 복합운동프로그램을 실시하여 뇌기능회복을 확인하기 위해 미로검사(maze test)를 실시하였고, 당뇨의 개선효과를 보기위해서 혈당을 확인하였다. 결과 : 허혈성 뇌손상 모델 당뇨쥐에게 복합운동프로그램을 적용한 결과, 뇌기능회복을 확인하기 위한 미로검사에서는 실패횟수(error)가 3주 후부터 유의하게 감소하였고(p<.05) 탈출시간은 1주 후부터 유의하게 감소하였다(p<.05). 그리고 당뇨의 개선효과를 확인하기 위한 혈당 검사에서는 대조군에서는 유의한 변화가 없었고 복합운동프로그램을 적용한 실험군에서는 4주 후부터 유의한 효과가 있음을 알 수 있었다(p<.05). 결론 : 뇌졸중, 당뇨 등의 성인, 노인성 질환이 증가되고 있는 현 시점에서 환자들에게 재활은 여명수명동안 삶의 질 개선에 매우 중요하다. 본 연구는 허혈성 뇌졸중과 당뇨를 모두 가지고 있는 동물모델에게 치료사가 쉽게 시행할 수 있는 복합운동프로그램 적용을 통하여 뇌기능회복과 당뇨 개선효과를 확인할 수 있었다.

머신러닝을 활용한 수도권 약수터 수질 예측 모델 개발 (Development of a water quality prediction model for mineral springs in the metropolitan area using machine learning)

  • 임영우;엄지연;곽기영
    • 지능정보연구
    • /
    • 제29권1호
    • /
    • pp.307-325
    • /
    • 2023
  • 코로나19 팬데믹의 장기화로 인해 실내 생활에 지쳐가는 사람들이 우울감, 무기력증 등을 해소하기 위해 근거리의 산과 국립공원을 찾는 빈도가 폭발적으로 증가하였다. 자연으로 나온 수많은 사람들이 오가는 걸음을 멈추고 숨을 돌리며 쉬어가는 장소가 있는데 바로 약수터이다. 산이나 국립공원이 아니더라도 근린공원 또는 산책로에서도 간간이 찾아볼 수 있는 약수터는 수도권에만 약 6백여개가 위치해 있다. 하지만 불규칙적이고 수작업으로 수행되는 수질검사로 인해 사람들은 실시간으로 검사 결과를 알 수 없는 상태에서 약수를 음용하게 된다. 따라서 본 연구에서는 약수터 수질에 영향을 미치는 요인을 탐색하고 다양한 곳에 흩어져 있는 데이터를 수집하여 실시간으로 약수터 수질을 예측할 수 있는 모델을 개발하고자 한다. 데이터 수집의 한계로 인해 서울과 경기로 지역을 한정한 후 데이터 관리가 잘 이루어지고 있는 18개 시의 약 300여개 약수터를 대상으로 2015~2020년의 수질 검사 데이터를 확보하였다. 약수터 수질 적합 여부에 영향을 미칠 것으로 여겨지는 다양한 요인들 중 두 차례의 검토를 거쳐 총 10개의 요인을 최종 선별하였다. 최근 주목받고 있는 자동화 머신러닝 기술인 AutoML 기법을 활용하여 20여가지의 머신러닝 기법들 중 예측 성능 기준 상위 5개의 모델을 도출하였으며 그 중 catboost 모델이 75.26%의 예측 분류 정확도로 가장 높은 성능을 가지고 있음을 확인하였다. 추가로 SHAP 기법을 통해 분석에 사용한 변인들이 예측에 미치는 절대적인 영향력을 살펴본 결과 직전 수질 검사에서 부적합 판정을 받았는지 여부가 가장 중요한 요인이었으며 그 외 평균 기온, 과거 연속 2번 수질 부적합 판정 기록 유무, 수질 검사 당일 기온, 약수터 고도 등이 수질 부적합 여부에 영향을 미치고 있음을 확인하였다.

저궤도 지구관측위성 비행모델 정현파 가진시험 결과 분석

  • 김경원;김창호;임재혁;김원석;김선원;황도순
    • 한국우주과학회:학술대회논문집(한국우주과학회보)
    • /
    • 한국우주과학회 2011년도 한국우주과학회보 제20권1호
    • /
    • pp.32.1-32.1
    • /
    • 2011
  • 이 논문에서는 저궤도 지구관측위성 비행모델의 정현파 가진시험 결과에 대하여 분석하였다. 정현파 가진시험은 발사환경시험중의 하나로서, 저주파 대역의 정현파 진동 환경하에서 인공위성의 안정성을 검증하는데 그 목적이 있다. 정현파 가진시험의 입력선도는 발사체로부터 선정되어진다. 발사체로부터 선정된 입력선도는 극한의 경우를 고려한 선도이므로 실제 정현파 가진시험시에는 입력선도에 적절한 노칭을 적용하여야 한다. 노칭은 주구조물의 대한 1차 노칭과 부가 구조물에 대한 2차 노칭으로 구분이 되어 적용되었다. 정현파 가진시험의 전후에는 저수준 정현파가진시험을 수행하였으며, 주파수 응답함수를 비교함으로서 구조적으로 문제가 없는지를 확인하였다. 시험 후, 육안검사를 통하여 구조 부재가 이상이 없는지를 최종 확인하였으며, 인공위성비행모델이 정현파 가진 환경하에서 충분히 안전함을 확인하였다.

  • PDF

다항지수 신뢰도 함수

  • 최규식
    • 한국정보기술응용학회:학술대회논문집
    • /
    • 한국정보기술응용학회 2007년도 춘계학술대회
    • /
    • pp.103-108
    • /
    • 2007
  • 다항지수 신뢰도 함수(multinomial-exponential reliability function ; MERF) 는 소프트웨어의 고장/수정 공정을 세밀하게 수행하는 중에 개발되는 관계에 있다. 후에 MERF는 좀더 매우 단순화한 지수 신뢰도 함수(exponential reliability function ; EARF)로 근사화되는 공정을 거치게 된다. 이는 MERF의 특성을 대부분 가지고 있어서 두 개의 함수가 하나의 신뢰도 함수로 단일화되도록 한다. 신뢰도 모델 MERF/EARF는 소프트웨어 고장 공정을 NHPP로, 수정공정을 다항분포로 고려한다. 이 모텔은 두 개의 공정 모두가 통계적 독립인 것으로 간주한다. 본 논문에서는 모델의 이론적인 기준, 수학적 특성, 소프트웨어 신뢰도에의 응용을 검토한다. 이는 물리적 인 시스템을 검사하고 유지보수하는 선도적인 모델응용이다. 본 논문에는 소프트웨어 신뢰도 분석에 응용하는 하나의 수치 예를 포함한다.

  • PDF