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

검색결과 569건 처리시간 0.025초

교통모형에서의 지리정보시스템 활용방안에 관한 연구 (A Study on the Applications of a Geographic Information Systems To A Transportation Planning Model)

  • 김대호;박진우
    • 대한공간정보학회지
    • /
    • 제1권2호
    • /
    • pp.167-175
    • /
    • 1993
  • 본 연구에서는 교통모형의 기술적인 단점을 보완하기 위하여 교통모형과 지리정보시스템을 결합하는데 있어서 교통모형의 입력자료를 지리정보시스템의 위상구조에서 추출하여 교통모형의 단점을 극복해 보는데 있다. 또한, 그래픽 기능을 이용하여 교통모형의 결과치를 화면상에서 직접 보여줌으로서 의사결정과정에 효율적으로 대처할 수 있을 것으로 보인다. 이 시스템은 특정도시나 지역에 쓰여질 수 있고, 하드웨어 발달에 따른 컴퓨터 사용시간 및 자료 입력시의 오류의 절감과 지리정보시스템의 교통에로의 응용을 가능케 할 것이며, 여행자 정보시스템(ATIS: Advanced Traveler Information Systems)에 활용할 수 있는 주행안내시스템(Route Guidence System) 또는 차량항법시스템(Vehicle Navigation System)의 기초적 자료 및 시스템 개발에 기여할 것이다.

  • PDF

타력 증대가 저속 운항 선박의 조종성능에 미치는 영향에 관한 수치적 연구 (A Numerical Study on the Effects of Maneuverability of Ship with Low Forward Speed by Increasing Rudder Force)

  • 김현준;김상현;김동영;김인태;한지수
    • 대한조선학회논문집
    • /
    • 제53권3호
    • /
    • pp.217-227
    • /
    • 2016
  • Recent accidents of crude oil tankers have resulted in sinking, grounding of vessels and significant levels of marine pollution. Therefore, International Maritime Organization (IMO) has been strengthening the regulations of ship maneuvering performance in MSC 137. The evaluation of maneuvering performance can be made at the early design stage; it can be investigated numerically or experimentally. The main objective of this paper was to investigate the maneuvering performance of a VLCC due to the increase of rudder force at an early design stage for low speed in shallow water conditions. It was simulated in various operating condition such as deep sea, shallow water, design speed and low speed by using the numerical maneuvering simulation model, developed using MMG maneuvering motion equation and KVLCC 2 (SIMMAN 2008 workshop). The effect of increasing the rudder force can be evaluated by using numerical simulation of turning test and ZIG-ZAG test. The research showed that, increasing the rudder force of a VLCC was more effective on improving the turning ability than improving the course changing ability especially. The improvement of turning ability by the rudder force increasing is most effective when the ship is sailing in shallow water at low forward speed.

스마트시티 거버넌스 특성 분석 (Analyzing Characteristics of the Smart City Governance)

  • 이상호;임윤택
    • 한국지리정보학회지
    • /
    • 제19권2호
    • /
    • pp.86-97
    • /
    • 2016
  • 본 연구의 목적은 스마트시티 거버넌스의 유형과 특성을 분석하는데 있다. 스마트시티 거버넌스는 스마트시티를 계획, 시행, 운영하기 위한 추진 프로세스로서, 행정-기술-글로벌 거버넌스로 이루어지는 다층형 거버넌스 모델(Multi Layer Governance Model)로 구성되었다. 연구 분석 방법은 다층형 거버넌스 모델이며, 추진프로세스와 유형별 거버넌스를 각 요소별로 교차 분석할 수 있도록 모델링 되었다. 분석 결과, 행정거버넌스는 정부 중심 통치 거버넌스에서 공공과 민간 그리고 시민의 협치모델인 PPPP(Public Private People Partnership)로 변화되었다. 기술거버넌스는 ICTs-EcoTs-공간기술 간의 융복합을 중심으로, 물리적 센터통합과 정보통합플랫폼 그리고 클라우드 데이터센터와 같은 가상화도 동시에 진행되고 있었다. 글로벌거버넌스는 스마트시티의 해외수출을 목표로 스마트시티 체험지구나 실증단지와 같은 킬러상품의 개발, 포럼과 해외 로드쇼 등의 해외수출 플랫폼이 추진되고 있다.

다중 프로세스 기반 웹 로봇의 수행동작 분석 (Analysis of Execution Behavior for Multprocess-based Web Robots)

  • 김희철;이용두
    • 디지털콘텐츠학회 논문지
    • /
    • 제2권1호
    • /
    • pp.9-19
    • /
    • 2001
  • 웹 로봇은 인터넷 검색엔진을 포함한 다양한 웹 응용프로그램에 활용되는 중요한 인터넷 소프트웨어 기술이다. 인터넷의 급격한 성장에 따라 고성능 웹 로봇의 구현이 시급히 요구되고 있다. 이를 위해서는 웹 로봇에 대한 성능확장성에 초점을 둔 연구가 수행되어야 한다. 하지만 기존의 웹 로봇에 대한 연구개발은 주로 구현에 초점을 두고 수행되어 왔으며 따라서 성능확장성에 대한 체계적인 연구 결과는 발표되고 있지 않다. 본 연구에서는 이러한 성능확장성에 관한 선행연구로서 기존 웹 로봇 모델의 수행동작(Execution Behavior)을 성능 측면에서 이해하고자 웹 로봇의 수행동작에 대한 분석 결과를 제공한다. 본 연구에서는 Fork-join을 기반으로 하는 다중프로세스 기반의 웹 로봇 모델에서 웹 로봇이 웹 서버에게로 전송하는 접속요청, 문서헤드요청, 문서본문요청 시에 설정하는 타임아웃(Timeout) 값이 성능에 미치는 영향을 분석하였다. 또한 전체 컴퓨팅 소요시간에서 URL추출 및 유일성 검사 등이 점유하는 비율을 산출하여 웹 로봇의 동작을 분석하였다. 이러한 분석 결과를 기반으로 하여 향후 웹 로봇의 성능향상을 위한 설계 방향을 제시한다.

  • PDF

국내 모바일 애플리케이션 소셜 데이팅 서비스에 대한 사용자 경험 연구 -이음과 정오의 데이트를 중심으로- (Evaluation for User Experience about Social Dating Mobile Application Service in Korea -Focusing on I-um and Noondate-)

  • 안효진;김승인
    • 디지털융복합연구
    • /
    • 제15권3호
    • /
    • pp.335-341
    • /
    • 2017
  • 본 연구는 국내 대표 소셜 데이팅 애플리케이션인 이음과 정오의 데이트를 사용자 관점에서 비교 분석하고, 사용자 만족도 향상을 위한 개선 방향을 제안하는데, 그 목적이 있다. 1차로 문헌 연구를 통해 현재 제공되고 있는 서비스의 유형 분석과 이론적 배경을 고찰하고, 서비스 현황에 대해 비교 분석하였다. 2차로 피터 모빌(Peter Morville)의 허니콤 모델(Honey comb model)을 6가지 사용성 원칙으로 재구성하여 설문을 설계한 뒤 심층 인터뷰를 진행하였다. 그 결과, 이음의 경우 사용자의 관심사나 취미에 기초한 프로필을 추가로 도입하여 매칭의 정확도 개선이 필요하였다. 정오의 데이트 경우 사용자 스스로가 체계적으로 관리 할 수 있는 카드 분류 서비스 개발의 필요성이 발견되었다. 본 연구를 바탕으로 앞으로 소셜 데이팅 애플리케이션 사용자 경험 개선 방안을 위한 참고 자료로 사용될 수 있을 것을 기대하며, 이후 진행될 다른 분야의 사용자 경험 연구에도 도움이 되기를 바란다.

소형 유도무기 날개 작동기용 보이스 코일 모터의 최적 설계 (Optimization of Voice Coil Motors for a Small Guided Missile Fin Actuator)

  • 이충희;김광태;이병호;조영기
    • 한국항공우주학회지
    • /
    • 제47권1호
    • /
    • pp.59-65
    • /
    • 2019
  • 본 연구에서는 직구동방식의 보이스 코일 모터를 이용한 유도무기 날개 작동기의 최적 설계를 진행하였다. ANSYS Maxwell 상용프로그램으로 전자기장 해석을 수행하여 토크 성능 및 보이스 코일 모터의 특성을 예측하였으며, 운용 각도 범위에서 날개에 작용하는 공력부하가 가장 큰 구간인 양끝단에 해당되는 각도에서 최적화 설계를 수행하였다. 또한, 작동기의 주요 설계 변수를 선정하고, 최적화 설계를 위하여 반응면 기법(Response Surface Method)을 사용하였다. 반응면은 2차 함수로 구성하였고 2차 반응면 구성에 널리 쓰이는 중심합성법을 바탕으로 수치실험점들을 선정하였다. 구성된 반응면의 적합성은 수정결정계수로 판단하였으며, 최종적으로 최적화로 구해진 토크값은 전자기장 해석을 통한 토크값과 거의 동일함을 확인하였다.

다중 검색엔진을 활용한 보안관제 모델 개선방안 (Improvement Mechanism of Security Monitoring and Control Model Using Multiple Search Engines)

  • 이제국;조인준
    • 한국콘텐츠학회논문지
    • /
    • 제21권1호
    • /
    • pp.284-291
    • /
    • 2021
  • 현재 보안관제 시스템은 공격자의 공격 후 대응만을 위한 수동적인 시스템으로 운용됨에 따라 공격 발생 이후 침해사고 대응이 일반적이다. 특히, 신규 자산 추가 및 실제 서비스가 이루어지는 경우 실제 해커의 관점에서 취약점 테스트 및 사전 방어에 한계가 있다. 본 논문에서는 해킹 관련 다중 검색엔진을 활용하여 보호 자산의 사전 취약점 대응 기능을 추가한 보안관제 모델을 새롭게 제안하였다. 즉, 범용 또는 특수한 목적을 지닌 다중의 검색엔진을 이용하여 보호 대상 자산의 특수한 취약점을 사전에 점검하고, 점검결과로 나타난 자산의 취약점을 사전에 제거하도록 하였다. 그리고 실제 해커의 입장에서 인지되는 보호 자산의 객관적인 공격 취약점을 미리 점검하는 기능, IP 대역에 위치한 광범위한 시스템 관련 취약점을 사전에 발굴하여 제거하는 기능 등을 추가로 제시하였다.

Quality Driven Approach for Product Line Architecture Customization in Patient Navigation Program Software Product Line

  • Ashari, Afifah M.;Abd Halim, Shahliza;Jawawi, Dayang N.A.;Suvelayutnan, Ushananthiny;Isa, Mohd Adham
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제15권7호
    • /
    • pp.2455-2475
    • /
    • 2021
  • Patient Navigation Program (PNP) is considered as an important implementation of health care systems that can assist in patient's treatment. Due to the feasibility of PNP implementation, a systematic reuse is needed for a wide adoption of PNP computerized system. SPL is one of the promising systematic reuse approaches for creating a reusable architecture to enabled reuse in several similar applications of PNP systems which has its own variations with other applications. However, stakeholder decision making which result from the imprecise, uncertain, and subjective nature of architecture selection based on quality attributes (QA) further hinders the development of the product line architecture. Therefore, this study aims to propose a quality-driven approach using Multi-Criteria Decision Analysis (MCDA) techniques for Software Product Line Architecture (SPLA) to have an objective selection based on the QA of stakeholders in the domain of PNP. There are two steps proposed to this approach. First, a clear representation of quality is proposed by extending feature model (FM) with QA feature to determine the QA in the early phase of architecture selection. Second, MCDA techniques were applied for architecture selection based on objective preference for certain QA in the domain of PNP. The result of the proposed approach is the implementation of the PNP system with SPLA that had been selected using MCDA techniques. Evaluation for the approach is done by checking the approach's applicability in a case study and stakeholder validation. Evaluation on ease of use and usefulness of the approach with selected stakeholders have shown positive responses. The evaluation results proved that the proposed approach assisted in the implementation of PNP systems.

Oral administration of Grifola frondosa affect lipid metabolism and insulin signaling pathway on BKS. Cg-+Leprdb/+Leprdb/OlaHsd mouse

  • Yun, Seong-Bo;Kim, Dae-Young
    • 한국동물생명공학회지
    • /
    • 제36권4호
    • /
    • pp.203-211
    • /
    • 2021
  • Diabetic mellitus (DM) is a carbohydrate metabolic disorder that involves high blood sugar because insulin works abnormally. Type 2 diabetes accounts for most of them. However, diabetes treatments such as GLP-1 and DPP-4 inhibitors commonly caused side effects including gastrointestinal disorders. Grifola frondosa (G. frondosa) revealed various pharmacological effects in recent studies. It has a variety of anti-cancer polysaccharides through host-mediated mechanisms. D-fraction in G. frondosa has apoptotic effects, promoting myeloid cell proliferation and differentiation into granulocytes-macrophages. It has also been shown to reduce the survival rate of breast cancer cells. Though, no further study has been conducted on the specific effects of G. frondosa in the db/db mouse. Therefore, we would like to research the blood glucose improving effect of G. frondosa, a natural material, in type 2 diabetes model mouse, in this study. G. frondosa was administered to the disease model mouse (BKS.Cg-+Leprdb/+Leprdb/OlaHsd) for 8 weeks to monitor weight and blood glucose changes every week. And we evaluated anti-diabetes effects by checking biomarker changes shown through blood. Experiment did not show statistically significant weight differences, but control groups showed significantly higher weight gain than G. frondosa administered groups. We collected blood from the tail veins of the db/db mouse each week. As a result, the lowest blood sugar level was shown in the 500 mg/kg group of G. frondosa. Glucose in the blood was examined with HBA1c, and 7.8% was shown in the 500 mg/kg administration group, lower than in other groups. These results suggest the potential improvements of diabetes in G. frondosa.

OHDSI OMOP-CDM 데이터베이스 보안 취약점 및 대응방안 (OHDSI OMOP-CDM Database Security Weakness and Countermeasures)

  • 이경환;장성용
    • 한국IT서비스학회지
    • /
    • 제21권4호
    • /
    • pp.63-74
    • /
    • 2022
  • Globally researchers at medical institutions are actively sharing COHORT data of patients to develop vaccines and treatments to overcome the COVID-19 crisis. OMOP-CDM, a common data model that efficiently shares medical data research independently operated by individual medical institutions has patient personal information (e.g. PII, PHI). Although PII and PHI are managed and shared indistinguishably through de-identification or anonymization in medical institutions they could not be guaranteed at 100% by complete de-identification and anonymization. For this reason the security of the OMOP-CDM database is important but there is no detailed and specific OMOP-CDM security inspection tool so risk mitigation measures are being taken with a general security inspection tool. This study intends to study and present a model for implementing a tool to check the security vulnerability of OMOP-CDM by analyzing the security guidelines for the US database and security controls of the personal information protection of the NIST. Additionally it intends to verify the implementation feasibility by real field demonstration in an actual 3 hospitals environment. As a result of checking the security status of the test server and the CDM database of the three hospitals in operation, most of the database audit and encryption functions were found to be insufficient. Based on these inspection results it was applied to the optimization study of the complex and time-consuming CDM CSF developed in the "Development of Security Framework Required for CDM-based Distributed Research" task of the Korea Health Industry Promotion Agency. According to several recent newspaper articles, Ramsomware attacks on financially large hospitals are intensifying. Organizations that are currently operating or will operate CDM databases need to install database audits(proofing) and encryption (data protection) that are not provided by the OMOP-CDM database template to prevent attackers from compromising.