• 제목/요약/키워드: Model-based verification

검색결과 1,510건 처리시간 0.039초

고유진동수 조절이 가능한 액체댐퍼의 건물응답 제어실험 (Experimental Verification of a Liquid Damper with Changeable Natural Frequency for Building Response Control)

  • 김동익;민경원;박지훈;김재건;황규석;길용식
    • 한국전산구조공학회논문집
    • /
    • 제25권4호
    • /
    • pp.323-330
    • /
    • 2012
  • 본 연구진은 최근 U자 형태인 액체댐퍼의 수직관을 다수의 셀(사각 기둥)로 나누어 셀 상부를 개폐함에 따라 다양한 고유진동수를 쉽게 재현하는 새로운 멀티셀 액체댐퍼를 제시하였다. 이러한 댐퍼를 1층 건물 모형에 설치하여 진동대 실험을 수행하여 건물응답이 감소되는 것을 검증하였다. 64층의 풍응답인 가속도를 제어할 수 있도록 댐퍼를 설계하기 위하여 건물을 1자유도계로 축소하였다. 가속도 기반 상사비인 1/20를 적용하여 1층 건물 모형과 새로운 댐퍼를 제작하였다. 설계 진동수인 0.65Hz가 구현되도록 모형건물의 질량과 강성을 쉽게 조절할 수 있도록 탈부착식으로 제작하였다. 모형건물은 중량을 부담하는 질량부와 하부에 스프링과 LM guide가 설치된 구동부로 나누어서 제작되었다. 18개의 셀을 가지는 액체댐퍼를 제작하여 고유진동수 조절 범위가 0.65Hz~0.81Hz인 것을 파악하였다. 대형 진동대에 설치한 모형건물의 일방향 가진을 통하여 모형의 응답을 측정하고 모형상부에 멀티셀 액체댐퍼가 설치되었을 경우 모형의 응답을 측정하여 비교하였다. 진동대 가속도를 입력과 모형건물의 가속도를 출력으로 하는 전달함수를 통해 결과를 나타내었다. 예상한 바와 같이 멀티셀 액체댐퍼의 고유진동수를 건물의 진동수에 동조시켰을 경우 건물의 가속도 응답이 감소함을 알 수 있었다.

소셜 네트워크 서비스에서 SNS광고 구전 제약요인에 대한 연구 (A Study on the SNS Advertising's Word-of-Mouth Constraint Factors in the Social Network Service)

  • 윤대홍;강용수
    • 경영과정보연구
    • /
    • 제35권1호
    • /
    • pp.69-84
    • /
    • 2016
  • 본 연구는 목적인 소비자의 구전제약요인과 구전과의 관계를 여가제약 이론을 바탕으로 구전제약요인들과 이에 대한 협상노력이 몰입과 구전의도와 관계를 살펴보기 위한 연구모형을 설정하였으며, 변수들 간의 관계를 실증적으로 검증하였으며, 연구결과를 요약하면 다음과 같다. 가설을 검증한 결과 2개의 가설(가설 1, 가설 5)을 제외하고 모든 가설이 채택되었다. 이에 대한 구체적인 결과는 다음과 같다. 첫 번째, 내재적제약이 구전제약 요인이 구전제약 협상노력에 미치는 영향을 살펴보면 다음과 같다. 대인적제약과 구조적제약은 구전제약 협상노력에 정(+)의 영향을 미치고 있으며, 내재적 제약의 경우 음(-)의 영향을 미치는 것으로 나타나 가설검증에서는 기각하였지만, 통계적으로는 유의한 것으로 나타났다. 두 번째, 구전제약 협상노력과 몰입 그리고 구전과의 구조적인 관계를 살펴보면 다음과 같다. 구전제약 협상노력은 몰입에 정(+)의 영향을 미치고 있지만, 구전에는 통계적으로 유의하지 않는 것으로 나타났다. 마지막으로 몰입은 구전에 정(+)의 영향을 미치는 것으로 나타나 매개역할을 하고 있음을 알 수 있다. 본 연구의 결과는 구전제약요인과 소비자의 몰입과 구전에 대한 종합적인 이해와 함께 중요한 이론적, 실무적 시사점을 제공할 것으로 기대된다.

  • PDF

UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법 (Scenario-Driven Verification Method for Completeness and Consistency Checking of UML Object-Oriented Analysis Model)

  • 조진형;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권3호
    • /
    • pp.211-223
    • /
    • 2001
  • 본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

  • PDF

원어민과 한국인 영어교사의 협동수업에 대한 인식이 학습자의 정의적 요인에 미치는 영향 (The Effects of the Recognition of Collaborative Classes between Native English Speakers and Korean English Teachers on the Definition Factors of the Learner)

  • 이영은
    • 한국콘텐츠학회논문지
    • /
    • 제19권8호
    • /
    • pp.572-583
    • /
    • 2019
  • 본 연구는 우리나라 영어교육환경에서 가장 이상적이고 적합한 원어민-한국인 영어교사 협동수업 모형과 효과적인 협동수업을 구성하기 위한 정의적 요인들이 무엇인지를 찾고자 하였다. 이러한 연구목적을 달성하기 위해, 서울특별시에 위치한 5개 초등학교 6학년 학생 총 165명을 연구대상으로 하여, 2019년 4월 1일부터 4월 30일까지 약 한달 간 설문조사와 다중회귀분석, 상관관계분석, 교차분석, t/F검증 등 통계분석을 실시하였다. 연구결과를 요약하면 다음과 같다. 첫째, 원어민-한국인 영어교사 협동수업 인식 중 수업관련 기술, 과제지 향성, 교수-학습전략, 학습동기유발 순으로 정의적 요인에 영향을 미치는 것으로 나타났다. 둘째, 성별/수업형태에 따라, 원어민-한국인 영어교사의 협동수업에 대한 인식의 차이를 검증한 결과, 성별과 현재 참여하고 있는 영어 협동수업유형에 따라 원어민-한국인 영어교사 협동수업에 대한 인식에는 차이가 있었지만, 원하는 영어 협동수업유형에 따라 통계적으로 유의한 원어민-한국인 영어교사 협동수업에 대한 인식의 하위요인은 확인되지 않았다. 셋째, 성별/수업형태에 따라, 학습자의 정의적 요인의 차이를 검증한 결과, 성별에 따른 차이는 발생하였지만, 현재 영어 협동수업유형에 따른 학습자 정의적 요인은 차이가 발생하지 않았다. 또한, 원하는 영어 협동수업유형에 따른 학자 정의적 요인의 차이도 발생하지 않았다.

위성의 자세기동에 따른 진동특성에 관한 연구 (A Study on the Vibration Characteristics of Attitude Maneuvering of Satellite)

  • 편봉도;배재성;김종혁;박정선
    • 항공우주시스템공학회지
    • /
    • 제13권3호
    • /
    • pp.23-31
    • /
    • 2019
  • 현대의 위성들의 설계요구조건은 운용되는 목적에 따라 다양해진다. 기존 중/대형 위성과는 달리 저궤도에서 운용되는 소형위성의 경우 군사적인 목적을 나타내기도 한다. 그렇기 때문에 고해상도의 사진 및 영상 수요가 증가하며 다표적 관측이 중요하게 된다. 이에 다표적 관측을 하기 위해서 위성의 기동성은 중요한 설계변수이다. 기동성이 증가하기 위해서 소형화가 되면 전체 질량관성모멘트가 감소하기 때문에 위성의 강성을 높여야한다. 본체에 비해서 강성이 낮은 태양전지판의 경우 진동이 발생하기 때문에 영상획득에 큰 영향을 미친다. 이러한 진동특성을 확인하기 위하여 본 연구에서는 위성을 축소모델로 제작하여 자세기동을 모사하기 위한 실험 치구를 도입하였고, 위성의 강성을 모사하기 위한 모사장치를 제시하였다. 또한 실험방식은 스텝모터를 이용하여 와이어의 감는 길이에 따라 위성의 기동각을 모사하였으며, 기동실험 시 발생되는 위성의 본체 및 태양전지판에 대하여 진동특성을 실험적으로 검증하고자 한다.

해저지형 표면자료의 GNSS 보정방법에 따른 불확실도 연구 (Uncertainty Analysis of BAG by GNSS Correction)

  • 오치영;김호용;이윤식;최철웅
    • 한국지리정보학회지
    • /
    • 제22권3호
    • /
    • pp.1-9
    • /
    • 2019
  • 최근 해양분야에서는 해양공간정보의 발전을 위한 범용수로데이터모델 표준인 S-100에 관한 개발과 표준화가 진행되었고, S-100에서는 해도 제작 업무의 효율성과 수심자료의 다목적 활용을 위해 수심과 불확실도, 속성정보가 결합된 BAG 포맷의 S-102(Bathymetric Surface grid) 표준 개발 및 다양한 연구가 진행되고 있다. 선박의 운항에 중요한 수심 정보는 S-102 기반에서 제공됨으로 S-102 제작시 위치정보 보정방법은 수심결정에 중요한 요소이다. 본 연구에서는 국내에서 S-102 제작을 위한 표준화된 방법을 시범 적용하여 수로측량을 실시하였으며, 위치정보의 정확도 비교를 위해 GNSS 후처리 보정방법에 따른 수심 정보의 정확도를 비교하였다. 연구지역의 암반지형 2개소에서 수심을 비교한 결과 남무도 북측 수심은 DL 0.79~0.83m이며, 대호도 동측 수심은 DL 12.63~12.91m로 나타났고, 천소수심의 수평위치 오차는 1m 이내로 확인되었다. 결과적으로 BAG 제작시 위치보정방법에 따른 천소 수심의 오차는 선박의 안전항행에 사용가능한 범위에 있음을 확인하였다. 하지만 수로측량시 선박의 위치에 대한 정확도 검증은 지역특성 및 환경요소에 대한 다양한 추가 연구가 필요할 것으로 판단된다.

경복궁 경회루 권역의 식생경관원형과 개선에 관한 연구 (A Study on the Planting Improvement and Original Landscape of Gyeonghoeru Area in Gyongbokkung Palace)

  • 김충식;정슬기
    • 한국조경학회지
    • /
    • 제46권6호
    • /
    • pp.17-25
    • /
    • 2018
  • 본 연구는 경회루 권역의 경관개선을 위해 원형을 고찰하고, 수목 생장예측모델을 추정하여 개선방안을 제시하기 위해 실시하였다. 식재경관의 개선방안에 대한 검증을 위해 만세산에 식재된 수목에 대한 사진측량을 진행하였다. 만세산 송림의 생장율을 알아보기 위해 Pressler 공식을 이용하고, 시뮬레이션을 제작하여 분석하였다. 연구 결과는 다음과 같다. 첫째, 현장조사 및 경관분석 결과, 경회루 권역의 수목들은 수양벚나무와 감나무를 제외하고 흉고직경 30cm 이상의 대교목으로 특히 경관을 차폐하는 만세산의 송림과 북쪽 화계의 수목들에 대한 전정을 통해 관리하거나, 작은 수목으로 대체할 필요가 있다. 둘째, 수목생장율 측정 결과, 평균 10년을 기준으로 남측 만세산은 근원직경 14%, 수고 5%가 북측 만세산은 근원직경 7%, 수고 2.4% 만큼 생장하였다. 나아가 산출된 수목생장률을 바탕으로 시뮬레이션을 작성했을 때 20년 후에는 경회루 2층에서 경관 또한 만세산의 송림이 인왕산의 스카이라인을 차단함을 확인하였다. 셋째, 경관개선 시뮬레이션을 분석하여 경회루 권역의 경관을 조망하기 위한 수목관리방안을 제시하였다. 본 연구는 경회루 권역의 식재경관을 고증하고 효율적인 정비방안을 도출한 것에 의의가 있다.

지속적 활용이 가능한 산학협력 특허 특성 분석 (Investigating the Characteristics of Academia-Industrial Cooperation-based Patents for their Long-term Use)

  • 박상영;최영재;이성주
    • 한국산학기술학회논문지
    • /
    • 제22권3호
    • /
    • pp.568-578
    • /
    • 2021
  • 산학협력 성과물 중 하나인 특허는 혁신의 원천이자 기술이전 및 기술사업화를 통한 경제성장에 중요한 역할을 하고 매개체이다. 그러나 산학협력이 궁극적으로 기업이 원하는 결과를 창출하기 위해서는 산학협력의 성과물인 특허가 사업에 활용되어야 함에도 모든 특허가 사업에 활용되는 것은 아니다. 본 연구에서는 산학협력이 성공적으로 추진되어 그 성과물로 특허가 창출된 이후에도, 사업화로 연계되지 못하는 경우에 대해 그 원인을 파악하여 산학협력이 궁극적으로 성공적인 사업화로 연계될 수 있는 방안을 설계할 수 있도록 지원한다. 이를 위해 첫째 미국의 산학협력 등록특허를 수집하고, 둘째 머신러닝 기법으로 활용 특허와 미활용 특허를 분류할 수 있는 예측모형을 설계하였다. 최종적으로 식별된 특허들의 시장성과 기술성을 분석하여 두 유형의 특허에 있어 유의미한 차이점을 도출하고자 하였다. 본 연구는 학술적으로 활용 및 미활용 특허의 예측 연구의 기반이 될 것이며, 실무적으로는 산학협력을 기획하는 기업 및 대학 담당자가 기술협력을 위한 전략수립에 기여할 것으로 기대 된다.

The Effect of Service Qualities' Characteristics on Customer Satisfaction and Revisit Intention in Chinese Mid/Low-Priced Hotel

  • HAN, Sun;JUNG, Jin-Sup
    • 산경연구논집
    • /
    • 제12권6호
    • /
    • pp.57-74
    • /
    • 2021
  • Purpose: Before COVID-19 pandemic, Chinese mid/low-priced hotel industry has been steadily growing in recent years, and internal and external competition has been intensifying. Under these circumstances, this study started with a strategic objective to increase the quality of service, thus enabling customer satisfaction and revisit intention. For enhancing the competitiveness of Chinese mid/low-priced hotel business, we plan to establish a model using SERVQUAL, O2O platform, and identify their relationship through empirical analyses. Research design, data and methodology: Through the consideration of the existing literature, this study intended to identify the characteristics of service quality in Chinese mid/low-priced hotels and to consider their impact on customer satisfaction and revisit intention. We also wanted to examine the moderating effect of the O2O platform between the characteristics of service quality and customer satisfaction. A survey was carried out on customers using mid/low-priced hotels in China and empirical analyses were conducted using regression analyses. Results: First, in the hypothesis of service qualities' effects on customer satisfaction were identified with significant positive effects. Second, in the hypothesis of service qualities' effects on revisit intention, "tangibles, reliability, and empathy" have shown significant positive. Third, in the verification of the moderating effect of the O2O platform, there were "positive partial moderating effects" between service qualities and customer satisfaction. Finally, the effect of customer satisfaction on revisit intention was positive significant. Conclusions: In order to satisfy their customers, improvements in service quality should be made first. In addition, customer satisfaction had a positive impact on revisit intention. In order to revitalize Chinese mid/low-priced hotels, differentiation strategy is also needed for specialized customers such as college students, and basically, efforts should be made to optimize the O2O platform. O2O platforms should establish optimal platform construction strategies based on the customer's perspective. After all, in the case of Chinese mid/low-priced hotels, it is necessary to strengthen the construction of the latest hardware infrastructure and O2O platform of software infrastructure, and to improve customers' advanced online and offline experiences. Finally, regarding the hypothesis that was rejected among service qualities' characteristics, we tried to discuss the reason and find the implications of these.

Extra Tree와 ANN을 활용한 이상 탐지 및 공격 유형 분류 메커니즘 (Anomaly detection and attack type classification mechanism using Extra Tree and ANN)

  • 김민규;한명묵
    • 인터넷정보학회논문지
    • /
    • 제23권5호
    • /
    • pp.79-85
    • /
    • 2022
  • 이상 탐지는 일반적인 사용자들의 데이터 집합 속에서 비정상적인 데이터 흐름을 파악하여 미리 차단하는 방법이다. 기존에 알려진 방식은 이미 알려진 공격의 시그니처를 활용하여 시그니처 기반으로 공격을 탐지 및 방어하는 방식인데, 이는 오탐율이 낮다는 장점이 있지만 제로 데이 취약점 공격이나 변형된 공격에 대해서는 매우 취약하다는 점이 문제점이다. 하지만 이상 탐지의 경우엔 오탐율이 높다는 단점이 존재하지만 제로 데이 취약점 공격이나 변형된 공격에 대해서도 식별하여 탐지 및 차단할 수 있다는 장점이 있어 관련 연구들이 활발해지고 있는 중이다. 본 연구에서는 이 중 이상 탐지 메커니즘에 대해 다뤘다. 앞서 말한 단점인 높은 오탐율을 보완하며 그와 더불어 이상 탐지와 분류를 동시에 수행하는 새로운 메커니즘을 제안한다. 본 연구에서는 여러 알고리즘의 특성을 고려하여 5가지의 구성으로 실험을 진행하였다. 그 결과로 가장 우수한 정확도를 보이는 모델을 본 연구의 결과로 제안하였다. Extra Tree와 Three layer ANN을 동시에 적용하여 공격 여부를 탐지한 후 공격을 분류된 데이터에 대해서는 Extra Tree를 활용하여 공격 유형을 분류하게 된다. 본 연구에서는 NSL-KDD 데이터 세트에 대해서 검증을 진행하였으며, Accuracy는 Normal, Dos, Probe, U2R, R2L에 대하여 각각 99.8%, 99.1%, 98.9%, 98.7%, 97.9%의 결과를 보였다. 본 구성은 다른 모델에 비해 우수한 성능을 보였다.