• Title/Summary/Keyword: Automated Program

Search Result 452, Processing Time 0.023 seconds

Automated Test Data Generation based on Executable Object Codes (실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성)

  • Chung, In-Sang
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.12 no.2
    • /
    • pp.189-197
    • /
    • 2012
  • It is usual for test data generation to be performed using either high-level specifications or source codes written in high-level programming languages. In certain circumstances, however, such information is not always available. This paper presents a technique that generates test data based on executable object codes. The proposed technique makes use of a very simple function minimization technique without sophisticated object code analysis and produces test data dynamically. We have conducted a simple experiment to evaluate the effectiveness of the proposed test data generation technique with a triangle classification program to show that branch coverage can be easily achieved.

A Study on Certification Method of Health and Barrier Free Environment by the BIM for Aged Person - With Sanitary Facilities of Elderly Housing Facility - (노인 주거시설의 위생공간을 중심으로 고령자의 건강과 무장애 생활환경을 위한 인증 방법에 관한 연구 - BIM기반 설계 및 응용을 통한 방법을 중심으로 -)

  • Hong, Sa-Chul;Paik, Jin-Kyung;Kim, Suk-Tae
    • Korean Institute of Interior Design Journal
    • /
    • v.26 no.3
    • /
    • pp.13-24
    • /
    • 2017
  • Promoting barrier-free living environments is necessary in residential facilities on which senior citizens rely most of their lives. Safety of elder people can be reassured by a certification system based on the existing barrier-free certification program in public facilities. The range of certification does not cover all living area, but is limited to the bathroom, which is a sanitary space. Given the nature of BIM modeling, an existing multi-family building was selected and modeled, as the certification process requires all the necessary information and various viewport. BIM modeling of the bathroom was conducted in accordance with the requirements of the certification for barrier-free living environment. The results suggested that there is a need for a removal of thresholds, larger doors, better selection of finishing materials, sufficient room for a wheelchair, larger space next to the toilet, and the availability of an emergency bell and grab bars. Such information supports the potentials of BIM modeling, and it is expected that an automated certification system would be established in the foreseeable future.

Analysis of Driver Injuries Caused by Frontal Impact during Abnormal Driver Position (비정상 상태 운전 시 정면충돌에서의 상해 분석)

  • Park, Jiyang;Youn, Younghan;Kwak, Youngchan;Son, Changki
    • Journal of Auto-vehicle Safety Association
    • /
    • v.10 no.3
    • /
    • pp.32-37
    • /
    • 2018
  • Recently, the driver can be assisted by the advanced active safety devices such as ADAS from road traffic risks. With this system, driver and passenger may freed from can driving tasks or kept eyes on forward direction while on the road. Help from adoptive cruise control, auto parking and newly develped automated driving vehicles technologies, the driver positions will vary significantly from the current standard driver position during the travel time. On this hypothesis, the objective of this study is analyze the behavior and injuries of drivers in the event of frontal impact under these abnormal driver position. Based on the KNCAP frontal impact testing method, this simulation matrix was set-up with dummies of 5 th tile female Hybrid III dummy and 50 th tile male Hybrid III dummy. The small sedan type passenger car was modeled in this simulation. The series of simulation was performed to compare the injuries and behaviour of each dummy, varying the seating status and seat position of each dummy.

A Study on the Automated Design System for Gear (기어설계 자동화 시스템에 관한 연구)

  • Jo, Hae-Yong;Nam, Gi-Jeong;O, Byeong-Gi
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.26 no.8
    • /
    • pp.1506-1511
    • /
    • 2002
  • A computer aided expert system fur spur, helical, bevel and worm gears was newly developed by using AutoiCAD system and its AutoLISP computer language in the present study. Two methods are available for a designer to draw a gear. The first method needs the gear design parameters such as pressure, module, number of tooth, shaft angle, velocity, materials, etc. When the gear design parameters are inputted, a gear is drawn in AutoCAD system and maximum allowable power and shaft diameter are calculated additionally. The second method calculates all dimensions and gear design parameters to draw a gear when the information such as transmission, reduction ratio, nm, materials and pressure are inputted. The system includes four programs. Each program is composed of a data input module, a database module, a strength calculation module, a drawing module, a text module and a drawing edit module. In conclusion, the CAD system would be widely used in companies to find the geometric data and manufacturing course.

Study on Development of Automation System for Non-Contact Counting of ID Card (비접촉 ID카드 계수를 위한 자동화 시스템 개발)

  • Kang, Dae-Hwa;Hong, Jun-Hee;Guo, Yang-Yang;Lee, Hyok-Won
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.22 no.4
    • /
    • pp.652-657
    • /
    • 2013
  • In this study, we developed a counting method for non-contact ID cards using an optical fiber displacement sensor instead of the traditionally used friction counting method. The proposed method has the advantage of high speed and automated measurement. For counting non-contact ID cards, an H-type optical fiber sensor, jig part, and counting program are developed separately to build the system and adjust it. Through the experimental test results, it was confirmed that counting is possible with one type of international ID card and one type of financial security card based on ISO7810. Furthermore, by applying the proposed method to 100 ID cards 100 times repeatedly, it was confirmed that it has high accuracy and an error ratio of 0%. We experimentally demonstrated that the proposed counting method for non-contact ID cards using an optical fiber displacement sensor can perform measurements with high accuracy and high speed.

A Study on the Formalization of Maintenance Management Systems and the Cost Predictive Model (유지보수 관리 체계의 정형화 및 비용 예측 모델에 관한 연구)

  • Ryu, Seong-Yeol;Baek, In-Seop;Kim, Ha-Jin
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.4
    • /
    • pp.846-854
    • /
    • 1996
  • In this paper, we propose a solution to the software maintenance problem that is a primary factor of software crisis. We surveyed and analyzed the current software maintenance problems through questionnaires and interviews. As a result, we defined the software maintenance management life cycle and established a fundamental strategies to solve the software maintenance problems efficiently. We also designed a software maintenance management support systems to construct an automated software maintenance management tool. Furthermore, tp improve the formalization and reliability of the software maintenance management procedure, we defined acost predictive model using a fixed-single parameter based on comprehensive program size for the source code and delivered effort(person/month). We elaborated the model by considering an experience level of maintainer, a skill- level defined by the manager, and a reliability level required by the model of maintenance management.

  • PDF

A Study on the Software Development to Automate the Calculation for the Landscape Architecture Construction Cost Estimation. (조경 공사 내역서 계산 자동화를 위한 소프트웨어 개발에 관한 연구)

  • 이규석;황국웅
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.20 no.2
    • /
    • pp.106-118
    • /
    • 1992
  • The landscape architecture construction cost estimation includes the repeated calculation and updating. Thus, it is time-consuming, and one of the jobs which needs to be automated first. In Korea, the IBM compatible personal computer(PC) is the most widely used one in the landscape architecture firms. However, the software for landscape architecture construction cost estimation is not being used in the PC environment. Therefore, the purpose of this study is to develop the software which can be used to automate the calculation for the landscape architecture construction cost estimation, and runs in the IBM compatible personal computers(PC). The clipper '88 summer is one of the DBMS software packages, and it has many commands and functions and functions which reduces program lines and makes the programing efficient, especially in the programing work whose total source code lines do not exceed over 10,000 lines. So, it was used in this study. The software developed in the this study was tested using the real data, and it was found that it can be efficiently used in the following jobs. They are: (1) to calculate exactly and rapidly. (2) to use resources repeatedly. (3) to print out the results. (4) to store data files for the future use. The software, as discussed in this paper, reduces the time and efforts to be spent in the calculation for the landscape architecture construction cost estimation compared with the traditional approach using the pocket calculator.

  • PDF

A Study on the TQM and 6 Sigma Management - Primarily on service industry - (TQM과 6시그마 경영에 관한 고찰 - 서비스산업을 중심으로)

  • 김동훈;장영준
    • Journal of Korean Society for Quality Management
    • /
    • v.30 no.3
    • /
    • pp.120-138
    • /
    • 2002
  • In order to carry out TQM and 6 Sigma management, it is the key elements to make clear a goal and a mission. Above all, we can succeed In achieving a dramatic change and a great outcome only when we make clear the method, incentives, organization and plans under the clear objective. In order to secure the competitiveness against the external challenge, it is essential to keep the several crucial factors such as CEO's will, the systematic process to measure and manage, monitoring to satisfy customer's needs and an aggressive development of TQM activity to encourage the endeavour of the relentless enhancement, and also a positive effort Is to be made for evaluating all quality culture like training experts internally by an outstanding training program under CEO's firm leadership. This study is carried out to understand that which features and factors of success can exist in a company culture if a company accepts a theoretical basis and concept, the general of TQM and 6 Sigma which are one of a management strategy, and carries out TQM and 6 Sigma for achieving improvement of quality and customer's satisfaction.

Optimal Design of I-type Girders in 2-Span Continuous Steel Bridges by LRFD (LRFD에 의한 연속보 주부재의 조밀 및 비조밀 단면 최적화 설계)

  • Gook, Joong-Sik;Shin, Yung-Seok
    • Journal of Korean Society of Steel Construction
    • /
    • v.12 no.3 s.46
    • /
    • pp.329-337
    • /
    • 2000
  • The Load and Resistance Factor Design(LRFD) Specification defines two sets of limiting width-to-thickness ratios. On the basis of these limiting values, steel sections are subdivided into three categories: compact, noncompact, and slender sections. In this paper, I-Type girders of a 2 span continuous steel bridge are divided into compact and non-compact sections and analyzed. In the design process, an optimization formulation was adopted and ADS, a Fortran program for Automated Design Synthesis, was used. In this study, we studied about change of the section between compact and non-compact using optimization formulation.

  • PDF

An expert system approach for process planning of worsted spun yarns (전문가 시스템을 이용한 소모사의 공정계획)

  • 권영일;송서일
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1994.04a
    • /
    • pp.653-659
    • /
    • 1994
  • Human experts have the various own knowledges to be applied in specialized domains. The fact that knowledge itself becomes more critical in the context of textile knowledge with rapid development of new fibers, automated equipments, processes and applications. Diversity of worsted spun yarns, lack of human expertise, and inconsistency among manually generated process plans in consequency of adjustment machine parameters owing to change up raw materials frequently increase the necessity of developing computer aided process planning(CAPP) systems for spinning process. Expert systems offer one of techniques to develop CAPP systems which would behave in a knowledgeable manner. Expert systems are the problem-solving computer program that can reach a level of performance comparable to that of a human expert in some specialized problem domain. This paper is described as job justification module. The job justification module performs to consult with users on which worsted spun yarn manufacturing process planning under the various factors, e.g., raw materials, machine parameters and required yarn counts. Also, the developed module informs the various knowledges relevant process planning. The job justification module offers the control parameters at each process and includes the various standard process plans as database. These knowledges are generated by facts and rules within rule bases.