• Title/Summary/Keyword: Automated software

Search Result 532, Processing Time 0.028 seconds

Design and Implementation of Automatic Scoring Software to improve the Efficiency of Driving License Test (운전면허시험 효율성 향상을 위한 자동채점 소프트웨어 설계 및 구현에 관한 연구)

  • Kim, Cheol Woo;Yang, Jaesoo;Na, Wonshik
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.16 no.2
    • /
    • pp.180-189
    • /
    • 2017
  • Some people who take a driver's license test retake it again because of license cancellation, but most of them take the test for the first time to drive the car. Driving a car is directly linked to life, and the initial correct driving habits are more important than anything else. In particular, it is very important to obtain a license by evaluating the correct driving ability based on objective and fair standards when learning the first driving, because many people acquire a driving license while entering the society for the first time. In this paper, we propose the S / W design and its main functions that can emit high quality drivers through efficient, fair and accurate automated scoring. Through this, it is proposed to improve the automatic grading driver's license system, to prevent traffic accidents, and to reduce traffic accidents through proper driving.

Hardware Interlocking Security System with Secure Key Update Mechanisms In IoT Environments (IoT 환경에서의 안전한 키 업데이트를 위한 하드웨어 연동 보안 시스템)

  • Saidov, Jamshid;Kim, Bong-Keun;Lee, Jong-Hyup;Lee, Gwang
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.12 no.4
    • /
    • pp.671-678
    • /
    • 2017
  • Recent advances in Internet of Things (IoT) encourage us to use IoT devices in daily living areas. However, as IoT devices are being ubiquitously used, concerns onsecurity and privacy of IoT devices are getting grown. Key management is an important and fundamental task to provide security services. For better security, we should restrict reusing a same key in sequential authentication sessions, but it is difficult to manually update and memorize keys. In this paper, we propose a hardware security module(HSM) for automated key management in IoT devices. Our HSM is attached to an IoT device and communicates with the device. It provides an automated, secure key update process without any user intervention. The secure keys provided by our HSM can be used in the user and device authentications for any internet services.

Identifying a Shape of Input Data Structure for Automated Program Testing (자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별)

  • Insang, Chung
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.10
    • /
    • pp.1304-1319
    • /
    • 2004
  • We can significantly reduce the cost o# program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.

The Design of Automated System for Ubiquitous Healthcare Examination (유비쿼터스 기반의 건강진단 자동화 시스템의 설계)

  • Kung, Sang-Hwan
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.8 no.3
    • /
    • pp.541-548
    • /
    • 2007
  • The workflow, one of core features for modern business operation, models common elements and their relationships in business processes. The research is focused on how to adapt the workflow model to the healthcare examination which becomes popular these days. Especially, we intend to have fully automated process for healthcare examination by providing customers with PDA with RFTD chip. In order to realize this goal, this paper proposes the design of software architectures the class structures, and the definition of messages used for the system interactions. In other word, the paper shows the analysis of healthcare application in terms of service scenario and the design of workflow engine ant ubiquitous healthcare application under the Object-Oriented programming environment. the The result of the study may also enable the unmanned healthcare examination as well as ubiquitous based healcare examination sooner or later.

  • PDF

Normal data on axonal excitability in Koreans

  • Lee, Ju Young;Yu, Jin Hyeok;Pyun, So Young;Ryu, Sanghyo;Bae, Jong Seok
    • Annals of Clinical Neurophysiology
    • /
    • v.19 no.1
    • /
    • pp.34-39
    • /
    • 2017
  • Background: Automated nerve excitability testing is used to assess various peripheral neuropathies and motor neuron diseases. Comparing these excitability parameters with normal data provides information regarding the axonal excitability properties and ion biophysics in diseased axons. This study measured and compared normal values of axonal excitability parameters in both the distal motor and sensory axons of normal Koreans. Methods: The axonal excitability properties of 50 distal median motor axons and 30 distal median sensory axons were measured. An automated nerve excitability test was performed using the QTRACW threshold-tracking software (Institute of Neurology, University College London, London, UK) with the TRONDF multiple excitability recording protocol. Each parameter of stimulus-response curves, threshold electrotonus, current-voltage relationship, and recovery cycle was measured and calculated. Results: Our Korean normal data on axonal excitability showed ranges of values and characteristics similar to previous reports from other countries. We also reaffirmed that there exist characteristic differences in excitability properties between motor and sensory axons: compared to motor axons, sensory axons showed an increased strength-duration time constant, more prominent changes in threshold to hyperpolarizing threshold electrotonus (TE) and less prominent changes in threshold to depolarizing TE, and more prominent refractoriness and less prominent subexcitability and superexcitability. Conclusions: We report normal data on axonal excitability in Koreans. These data can be used to compare various pathological conditions in peripheral nerve axons such as peripheral neuropathies and motor neuron disease.

Establishing Automated Mapping/Facilities Management System Using PC-CAD (PC용 CAD를 이용한 단지기반시설 정보화)

  • 이규석;안승만;탁형렬
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.15 no.2
    • /
    • pp.141-148
    • /
    • 1997
  • Continuous development of Personal Computer(PC) combined with the decrease of price and the expansion of operating system in PC like Windows 95, and Windows N/T makes it possible for the user to consider PC-bas-ed Automated Happing/Facilities Management (AM/FM) system. Therefore, the purpose of this study is to establish a PC-based data automation system of pipe infrastructures-water, sewer, and drainage-and road in Korea Land Corporation. In order to achieve this goal, relevant literature survey was done first. Secondly, the study site was determined by discussion with Korea Land Institute. Thirdly, PC-based CAD software for AM/FM in the world market were surveyed, and AutoCAD Map was selected because KLC had been using hundreds of AutoCAD copies already. After that user needs assessment was done to visit on-site office, local branch office, and the corresponding city office for the system design and database design. After the graphic data were digitized and the attribute data were entered into the batabase, the data automation system was established, and tested for application. Finally, the guidelines and problems for PC-based data automation in AM/FM was discussed.

  • PDF

Procedure Development and Qualification of the Phased Array Ultrasonic Testing for the Nuclear Power Plant Piping Weld (원자력발전소 배관 용접부 위상배열 초음파검사 절차서 개발 및 기량검증)

  • Yoon, Byung-Sik;Yang, Seung-Han;Kim, Yong-Sik;Lee, Hee-Jong
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.30 no.4
    • /
    • pp.317-323
    • /
    • 2010
  • The manual ultrasonic examination for the nuclear power plant piping welds has been demonstrated by using KPD(Korean Performance Demonstration) generic procedure. For automated ultrasonic examination, there is no generic procedure and it should be qualified by using applicable automated equipment. Until now, most of qualified procedures used pulse-echo technique and there is no qualified procedure using phased array technique. In this study, data acquisition and analysis software were developed and phased-array transducer and wedge were designed to implement phased array technique for nuclear power plant in-service inspection. The developed procedure are qualified for performance demonstration for the flaw detection, length sizing and depth sizing. The qualified procedure will be applied for the field examination in the nuclear power plant piping weld inspection.

An optimization framework to tackle challenging cargo accommodation tasks in space engineering

  • Fasano, Giorgio;Gastaldi, Cristina;Piras, Annamaria;Saia, Dario
    • Advances in aircraft and spacecraft science
    • /
    • v.1 no.2
    • /
    • pp.197-218
    • /
    • 2014
  • Quite a demanding task frequently arises in space engineering, when dealing with the cargo accommodation of modules and vehicles. The objective of this effort usually aims at maximizing the loaded cargo, or, at least, at meeting the logistic requirements posed by the space agencies. Complex accommodation rules are supposed to be taken into account, in compliance with strict balancing conditions and very tight operational restrictions. The context of the International Space Station (ISS) has paved the way for a relevant research and development activity, providing the company with a remarkable expertise in the field. CAST (Cargo Accommodation Support Tool) is a dedicated in-house software package (funded by the European Space Agency, ESA, and achieved by Thales Alenia Space), to carry out the whole loading of the Automated Transfer Vehicle (ATV). An ad hoc version, tailored to the Columbus (ISS attached laboratory) on-board stowage issue, has been further implemented and is to be used from now on. This article surveys the overall approach followed, highlighting the advantages of the methodology put forward, both in terms of solution quality and time saving, through an overview of the outcomes obtained to date. Insights on possible extensions to further space applications, especially in the perspective of the paramount challenges of the near future, are, in addition, presented.

A Study on Development of the 3D Modeling System for Earthwork Environment (토공 작업환경의 3차원 모델링 시스템 개발에 관한 연구)

  • Yoo, Hyun-Seok;Chae, Myung-Jin;Kim, Jung-Yeol;Cho, Moon-Young
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • 2007.11a
    • /
    • pp.977-982
    • /
    • 2007
  • There have been many efforts in automatic object recognition using computing technologies. Especially in the development of automated construction equipment, automatic object recognition is very important issue for the proper equipment maneuvering. 3D laser scanning, which uses (time-of-flight) method to construct the 3-dimensional information, is applied to the civil earth work environment for its high accuracy, quick data collection, and object recognition capability that will be developed by the authors in the future. The 3D earth model is also used as a fundamental information for intelligent earth work task planning. This paper presents the analysis of the 3D laser scanner market and selection of the most optimum 3D scanner for the intelligent earth work planning. As well as the hardware configuration for the automated 3D earth modeling is developed but also the software structure and detailed user interface are designed in this research. In addition, it is presented in this paper that the accuracy comparison test between TotalStation(R) which is a traditional survey tool and ScanStation(R). The accuracy test is done by relative distance measurement using known targets.

  • PDF

A HARMS-based heterogeneous human-robot team for gathering and collecting

  • Kim, Miae;Koh, Inseok;Jeon, Hyewon;Choi, Jiyeong;Min, Byung Cheol;Matson, Eric T.;Gallagher, John
    • Advances in robotics research
    • /
    • v.2 no.3
    • /
    • pp.201-217
    • /
    • 2018
  • Agriculture production is a critical human intensive task, which takes place in all regions of the world. The process to grow and harvest crops is labor intensive in many countries due to the lack of automation and advanced technology. Much of the difficult, dangerous and dirty labor of crop production can be automated with intelligent and robotic platforms. We propose an intelligent, agent-oriented robotic team, which can enable the process of harvesting, gathering and collecting crops and fruits, of many types, from agricultural fields. This paper describes a novel robotic organization enabling humans, robots and agents to work together for automation of gathering and collection functions. The focus of the research is a model, called HARMS, which can enable Humans, software Agents, Robots, Machines and Sensors to work together indistinguishably. With this model, any capability-based human-like organization can be conceived and modeled, such as in manufacturing or agriculture. In this research, we model, design and implement a technology application of knowledge-based robot-to-robot and human-to-robot collaboration for an agricultural gathering and collection function. The gathering and collection functions were chosen as they are some of the most labor intensive and least automated processes in the process acquisition of agricultural products. The use of robotic organizations can reduce human labor and increase efficiency allowing people to focus on higher level tasks and minimizing the backbreaking tasks of agricultural production in the future. In this work, the HARMS model was applied to three different robotic instances and an integrated test was completed with satisfactory results that show the basic promise of this research.