• Journal of IKEEE
• /
• v.25 no.3
• /
• pp.571-577
• /
• 2021

This paper describes ISO/TR 4804, an international standard to describe how to design and verify autonomous cars to ensure safety and cybersecurity. Goals of ISO/TR 4804 are (1) positive risk balance and (2) avoidance of unreasonable risk. It also 12 principles of safety and cybersecurity to achieve these goals. In the design procedures, it describes (1) 13 capabilities to achieve these safety and cybersecurity principles, (2) hardware and software elements to achieve these capabilities, and (3) a generic logical architecture to combine these elements. In the verification procedures, it describes (1) 5 challenges to ensure safety and cybersecurity, (2) test goals, platforms, and solutions to achieve these challenges, (3) simulation and field operation methods, and (4) verification methods for hardware and software elements. Especially, it regards deep neural network as a software component and it describe design and verification methods of autonomous cars.

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.197-202
• /
• 2006

본 연구에서는 휴대폰에서의 효과적인 사진 검색을 지원하기 위해 사진 정보를 이용한 검색 기능을 개발하고, 이의 사용성 평가 실험을 수행함으로써 개발된 검색기능의 효용성을 검증하였다. 본 연구에서 개발한 사진 검색 기능은 크게 날짜 검색기능과 키워드 검색 기능의 두 가지로 구분된다. 날짜 검색 기능은 입력한 날짜에 해당하는 사진이 포함된 화면을 사용자에게 제시하는 방식이며, 키워드 검색 기능은 사용자가 입력한 키워드가 포함된 파일 이름을 갖는 사진을 검색하여 그 결과를 제시하는 방식이다. 개발된 검색 방식과 기존의 사용자 조작에 따른 화면 네비게이션을 통한 검색 방식을 대상으로 사용성 평가 실험을 수행하였다. 또한, 휴대폰에 저장된 사진 장수에 따른 작업의 수행도 및 주관적 만족도를 비교 분석하기 위하여, 120, 240, 360 장의 사진을 저장하고 있는 프로토타입을 개발하여 사용성 평가 실험에 활용하였다. 사용성 평가 실험 결과, 사진 장수가 120, 240 장일 경우는 날짜 검색과 키워드 검색의 두 방식이 검색 편의성, 기능의 적합성, 전반적 만족도 등의 주관적 만족도 측면에서 기존 검색 방식에 비하여 우수한 사용성 수준을 갖는 것으로 분석되었다. 사진 장수가 360 장인 경우, 날짜 검색과 키워드 검색의 활용시 검색 편의성, 기능의 적합성, 전반적 만족도가 기존 검색 방식에 비하여 우수한 성능을 갖는 것으로 분석되었고, 특히, 키워드 검색을 활용한 경우 검색 시간이 기존 검색과 날짜 검색을 활용한 경우에 비하여 우수한 성능을 갖는 것으로 확인되었다. 본 연구는 화면 크기가 작고 입력 방식이 제한된 휴대폰 인터페이스 환경에서 효과적인 사진 검색방식을 제안하고 검증하였다는 데 의의를 가진다. 본 연구 결과는 휴대폰 메뉴 검색, 일반 파일 검색 뿐만아니라 디지털 카메라의 사진 관리 기능에도 응용될 수 있을 것으로 기대된다.

• Korean Journal of Construction Engineering and Management
• /
• v.5 no.6 s.22
• /
• pp.191-202
• /
• 2004

In this study, the project manager-oriented organization model has been verified by analysing it with forming a clear definition of detailed unitary duty entity to develop current non-efficient CM system constituted by functional organization with the decentralized responsibility and apply the model As a result from verification that the model provides valid solutions by comparing it with the existing, the model is better than the existing in cost savings, target profit sales rate, total rate of new on sales. Moreover, various activities in cost savings and cases where improvement is feasible are executed. However, the model caused some problems in organizational operation, project management and in division of duties so this study proposed improving management method

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1996.11a
• /
• pp.147-153
• /
• 1996

발사관의 밀폐 및 분리성능을 위해 앞, 뒤 덮개의 재질을 내열성이 높고, 수분흡수성이 낮은 Noryl Plastic 재질로 선정하여 기계적 물성을 확인하였으며 덮개의 형상설계를 하였다. 유한요소 구조해석을 수행하여 분포하중 및 집중하중에 의한 응력상태를 고찰하고 분리성능을 검증하기 위해 공압 및 유도탄 충돌시험을 수행하였다. 이상의 과정를 통하여 개발된 덮개는 여러 가지 체계요구조건을 만족시켜 주는 것을 알 수 있다.

• Journal of Korea Spatial Information System Society
• /
• v.9 no.1
• /
• pp.15-30
• /
• 2007

The purpose of this study is to explore essential factors of influencing user's usage intentions on telematics services and to find relationships among factors. This study derives several variables and hypotheses through literature reviews on the extended research model based on Davis's Technology Acceptance Model. With the objective of statistical verification, derived variables were sorted into meaningful categories through various statistical packages. These were included multiple regression analysis to improve the reliability of survey data. The demand analysis was conducted by targeting on users who have previously experienced telematics services. Indicated analyzed results which 'suitability', 'localization', and 'instant connectivity' variables were positively related to the user's usage intentions, especially accuracy of information variable. The factors of influencing the usage intention on telematics services can be useful empirical data in order to analyze the market trends and to suggest industrial or political guideline of telematics services.

• The Journal of Korean Association of Computer Education
• /
• v.14 no.4
• /
• pp.33-41
• /
• 2011

This study was conducted to identify factors that influenced teachers' adoption of digital textbooks and causal relationships among the factors identified. Chasm theory was used in developing strategies for adoption of digital textbooks that consider teachers' innovativeness. This study also employed the information technology adoption model of Davis (1989) that illustrates decision making processes for the adoption of instructional media such as digital textbooks. Based on these two theories, a measurement instrument measuring teachers' innovativeness, perceived usefulness, perceived ease of use, and intention of use was developed and validated through a series of reliability and validity tests. Causal relationships among the factors were examined using structural equation modeling. The result indicated that: a) perceived ease of use had a directional effect on perceived usefulness and an indirect effect on intention of use; and b) perceived usefulness had a direct effect on intention of use. Implications of this finding are discussed especially for the efforts in developing strategies for teachers' adoption of digital textbook. For example, when digital textbooks are introduced into public schools, teachers' perception of the usefulness of digital textbooks, beyond just ease of use, should be considered.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.412.2-412.2
• /
• 2003

• Journal of Korean Society of Transportation
• /
• v.20 no.6
• /
• pp.81-98
• /
• 2002

본 연구는 Wilcoxon Rank Sum Test 기법을 이용한 자동 돌발상황 검지 모형을 개발하는 것이다. 본 연구의 수행을 위하여 고속도로에 설치된 루프 차량 검지기(Loop Vehicle Detection System)에서 수집된 점유율 데이터를 사용하였다. 기존의 검지모형은 산정하기가 까다로운 임계치에 의하여 돌발상황을 검지하는 방식이었다. 반면 본 연구 모델은 위치와 시간대 교통 패턴에 관계없이 모형을 일정하게 적용하며, 지속적으로 돌발상황 지점과 상·하류의 교통패턴을 비교 검정 기법인 Wilcoxon Rank Sum Test 기법을 사용하여 돌발상황 검지를 수행하도록 하였다. 연구모형의 검증을 위한 테스트 결과 시간과 위치에 관계없이 정확하고 빠른 검지시간(돌발 상황 발생 후 2∼3분)을 가짐을 알 수 있었다. 또한 기존의 모형인 APID, DES, DELOS모형과 비교검증을 위하여 검지율 및 오보율 테스트를 수행한 결과 향상된 검지 능력(검지율 : 89.01%, 오보율 : 0.97%)을 나타남을 알 수 있었다. 그러나 압축파와 같은 유사 돌발상황이 발생되면 제대로 검지를 하지 못하는 단점을 가지고 있으며 향후 이에 대한 연구가 추가된다면 더욱 신뢰성 있는 검지모형으로 발전할 것이다.

• Journal of KIISE:Databases
• /
• v.36 no.6
• /
• pp.422-433
• /
• 2009

As an effort to secure Semantic Web, in this paper, we introduce an RDF access authorization model based on an ontology hierarchy and an RDF triple pattern. In addition, we apply the authorization model to RDF query validation for approved access authorizations. A subscribed SPARQL or RQL query, which has RDF triple patterns, can be denied or granted according to the corresponding access authorizations which have an RDF triple pattern. In order to efficiently perform the query validation process, we first analyze some primary authorization conflict conditions under RDF subsumption inference, and then we introduce an efficient query validation algorithm using the conflict conditions and Dewey graph labeling technique. Through experiments, we also show that the proposed validation algorithm provides a reasonable validation time and when data and authorizations increase it has scalability.

• Journal of the Korean Institute of Gas
• /
• v.24 no.4
• /
• pp.62-72
• /
• 2020

This study presents a methodology of history matching to evaluate the productivity of shale gas reservoir with high reliability and predict future production rate in the Horn-River basin, Canada. Sensitivity analysis was performed to analyze the effect of physical properties of shale gas reservoir on productivity. Based on the results, reservoir properties were classified into 4 cases and history matching were performed considering the classified 4 cases as objective function. The blind test was conducted using additional field production data for 3 years after the history matching period. The error of gas production rate in Case 1(all reservoir parameters), Case 2(influenced parameters for productivity), Case 3(controllable parameters), and Case 4(uncontrollable parameters) were 7.67%, 7.13%, 17.54%, and 10.04%, respectively. This means that it seems to be effective to consider all reservoir parameters in early period for 4 years but Case 2 which considered influenced parameters for productivity shows the highest reliability in predicting future production. The estimated ultimate recovery (EUR) of production well predicted using the Case 2 model was estimated to be 17.24 Bcf by December 2030 and the recovery factor compared to original gas in place (OGIP) was 32.2%.