• Title/Summary/Keyword: model checking

Search Result 569, Processing Time 0.029 seconds

Reliability Analysis for Train Control System by Software Fault Tolerance Techniques (소프트웨어 결함허용 기법에 의한 열차제어시스템 신뢰도 분석)

  • Suh, Seog-Chul;Lee, Jong-Woo
    • Journal of the Korean Society for Railway
    • /
    • v.12 no.6
    • /
    • pp.1043-1048
    • /
    • 2009
  • PES (Programmable Electronic System) is used by software development for the train control system. PES has been widely used in real world and consists of hardware, firmware and application software. The PES are easily apply to many applications because its implementation has high flexibility. Many safety critical functions are realized through software in safety critical system. Normally, it is difficult to detect failures for PES system because the PES is too sophisticated to identify sources of the failure. So, the reliability analysis is needed by using software fault tolerance techniques. Currently, there are the recovery block, distributed recovery block, N-version programming, N self-checking programming in fault tolerance techniques. In this paper, the models of recovery block and N-version programming in software fault tolerance techniques are suggested by using the Markov model. Also, the reliability in the train control system is analyzed through changing time. The fault occupancy rates of the program, adjustment test and voter are stationary. So, the relation between time and reliability is presented by using Matlab program. In the result of reliability, the reliability of recovery block is more high than N-version programming in case of the same number of substitution block.

A Study on Safety Inspection Model for Small Scale Construction Field (중.소규모 건설현장 안전점검 모질 연구)

  • 안병수;양광모;강경식
    • Journal of the Korea Safety Management & Science
    • /
    • v.3 no.3
    • /
    • pp.11-21
    • /
    • 2001
  • Domestic construction industry has considerable level of construction performance and technology thanks to the economic development and as the result of performing diverse oversea construction project. However, construction disasters have been steadily increasing, and do severe disasters at faster pace. Most of such disasters happen at small and small medium-sized construction fields, which contract size is less than 10 billion won. small and medium-sized construction fields are not obliged to designate a safety manager, and have limitations in engaging self-regulating disaster prevention activities due to reduced budget for safety facilities. For the small and medium-sized construction sites with less than 10 billion won, the Ministry of Labor has been carrying out mobile inspections of construction safety. However, the effect so far is insignificant and an improvement plan is required. Therefore, in the present thesis, we derive problems appearing in the current construction safety mobile inspection system, investigate and study systems in foreign countries, and suggest an efficient and effective plan to operate safety technology inspections. First of all, we establish a standard to select sites to be inspected that are high in construction risk and disaster occurrence probability In addition, we suggest a plan to take administrative and judiciary measures based on the total score for disaster factors considering the disaster occurrence probability and the illegal practices. Furthermore, a scheme to maximize the effect of disaster prevention is sought by building an organic cooperative system between the Ministry of Labor, Korea Occupational Safety & Health Agency and other organizations specialized in instruction of construction disaster prevention. Finally, we induce a research conclusion that leads to self-regulating safety management through checking and instructing systematic management on mobile inspections.

  • PDF

Fatigue Characteristics of Engine Rubber Mount for Automotive (자동차용 엔진 마운트의 피로거동에 관한 연구)

  • Suh, Chang-Min;Oh, Sang-Yeob;Park, Dae-Kyu;Jang, Ju-Ho
    • Journal of Ocean Engineering and Technology
    • /
    • v.23 no.5
    • /
    • pp.45-53
    • /
    • 2009
  • In this study, Finite Element Analysis (FEA) was used to decide three kinds of material property of vibration proof rubber with the unique characteristic of non-linear and large deformation. As well, three types of hardness (Hs 50, 55, 60) were compared with the result of fatigue tests, fatigue life was able to be predicted. The request for fatigue life becomes strict more and more as increasing stress under conditions like a compaction, high load and high temperature for parts because it is main characteristics of rubber mount for automotive. Regarding to the fatigue life under dynamic deformation condition, it can be predicted as checking forced deformation extends and its frequency and its strain-life curve. As for material property tests of uniaxial tension test, uniaxial compression test, pure shear test, Ogden model was used for FEA by observing relations between stress and strain's rate as curve fitting. As a result of FEA, fatigue life for rubber mount was predicted and accorded well with the experimental data of fatigue test with hourglass specimens. In addition, its property of the predictable fatigue life method suggested in this study was accorded well with the experimental data by comparing the predicted fatigue life of FEA with the result of fatigue test for rubber component of engine rubber mount.

A Survey on the Machanization for Beef Cattle Farm in West Chung-Nam (충남 서부지역의 육우 축산 기계화 실태조사)

  • 이승기;권순홍
    • Journal of Animal Environmental Science
    • /
    • v.4 no.2
    • /
    • pp.97-104
    • /
    • 1998
  • In order to advise how to solve the problems and suggest on the mechanization of beef farm, the facilities and equipment for feeding and supplying water to the animals and transporting manure, and farm machineries of sixty-seven beef cattle farms in western Chungnam Province were surveyed. The results are as follows; 1. The proportions of number of heads per farm for above 70, 50∼70, 30∼50, 10∼30 and below 10 heads were 26, 18, 29, 13 and 13, respectively. The farms with the annual income more than 30 million won are consisted of 67.6% of the farms surveyed which showed to be higher than national average. 2. Only 19% of farms had automatic feeding system. Water was supplied by water cup(45%), opening and shutting water tab(27.6%) and bucket. 3. Cattle manure was transported by manpower (46%) by loader (34%) and by gravitational flow (14%). Most of manure(97%) was composted after treatment of drying or piling up outside. 4. More instruction and education were required because of the insufficient routine checking and fixing for farming machines, and unsystematic education for learning skills. 5. 65% of farms felt unsatisfied about after service(A/S) for their machinery. The main reason why the farmers were not satisfied was that it took too much time to be repaired. 6. When the farms purchased facilities, equipment and machinery, they did not analyze economic value of them and keep a diary. To make effective use of machines, the most available model for purchasing and managing of machines must be developed and applied to various scales of management.

  • PDF

A study of tunnelling equipment development in a model test (터널굴착 시뮬레이션을 위한 터널굴착장비의 개발에 대한 연구)

  • Kim, Sang-Hwan
    • Journal of Korean Tunnelling and Underground Space Association
    • /
    • v.5 no.2
    • /
    • pp.199-207
    • /
    • 2003
  • Tunnel modelling in the field of geotechnical engineering essentially requires models of tunnelling machines and the simulation of tunnelling processes to clarify the detailed behaviour of tunnel construction. Modern advanced mechatronics, including construction processes, machinining and control technologies, are making it possible to fabricate such models. These technologies, however, are essentially developed in a gravity field condition and are needed to examine in a 1g or cenrifuge field condition. This paper presents the simulation method for tunnelling processes and the design method for tunnelling machines with special reference to the problem of earth pressure acting on the lining of a shield tunnel. The paper then introduces and verifies the design method for tunnelling machines in the 1g field by means of checking the reproduceability of experiment data and their comparison with data in the field.

  • PDF

Knowledge Distribution Status of the Korean SMC's Technology Commercialization Process Using a Knowledge Map (지식지도를 이용한 중소기업 기술사업화 프로세스의 지식 유통 현황 분석)

  • Yoo, Keedong
    • The Journal of Society for e-Business Studies
    • /
    • v.23 no.2
    • /
    • pp.67-81
    • /
    • 2018
  • Technology commercialization is a reward process for companies' various trials and investment to develop technologies, which can be regarded as a way to figure out company's business performance. To successfully attain companies' purpose via technology commercialization, a variety of knowledge which triggers and completes business activities are needed. This paper suggests a methodology to analyze problems and solutions around the technology commercialization process in terms of knowledge distribution status, especially focused on Korean SMC cases. The knowledge map of this paper is constructed from the knowledge networks and identifies problems and solutions of the target process. A case study for applying proposed concepts to SMC's cases is also performed by checking knowledge distribution status and extracting practical implications. This paper's ideas can be regarded as one of references for SMCs to prepare technology commercialization with guaranteeing facilitated knowledge distribution and utilization.

Inter-device Mutual Authentication and Formal Verification in Vehicular Security System (자동차 보안시스템에서 장치간 상호인증 및 정형검증)

  • Lee, Sang-Jun;Bae, Woo-Sik
    • Journal of Digital Convergence
    • /
    • v.13 no.4
    • /
    • pp.205-210
    • /
    • 2015
  • The auto industry has significantly evolved to the extent that much attention is paid to M2M (Machine-to-Machine) communication. In M2M communication which was first used in meteorology, environment, logistics, national defense, agriculture and stockbreeding, devices automatically communicate and operate in accordance with varying situations. M2M system is applied to vehicles, specifically to device-to-device communication inside cars, vehicle-to-vehicle communication, communication between vehicles and traffic facilities and that between vehicles and surroundings. However, communication systems are characterized by potential intruders' attacks in transmission sections, which may cause serious safety problems if vehicles' operating system, control system and engine control parts are attacked. Thus, device-to-device secure communication has been actively researched. With a view to secure communication between vehicular devices, the present study drew on hash functions and complex mathematical formulae to design a protocol, which was then tested with Casper/FDR, a tool for formal verification of protocols. In brief, the proposed protocol proved to operate safely against a range of attacks and be effective in practical application.

Reduction of the Number of Power States for High-level Power Models based on Clock Gating Enable Signals (클럭 게이팅 구동신호 기반 상위수준 전력모델의 전력 상태 수 감소)

  • Choi, Hosuk;Yi, Joonhwan
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.52 no.9
    • /
    • pp.28-35
    • /
    • 2015
  • In this paper, we propose to identify redundant power states of high-level power model based on clock gating enable signals(CGENs) using dependencies of Boolean functions and structural dependencies of clock gating cells. Three functional dependencies between two CGENs, namely equvalence, inversion, and inclusion, are used. Functions of CGENs in a circuit are represented by binary decision diagrams (BDDs) and the functional relations are used to reduce the number of power states. The structural dependency appears when a clock gating cell drives another clock gating cells in a circuit. Automatic dependency checking algorithm has been proposed. The experimental results show the average number of power state is reduced by 59%.

Design of CFRP-Metal Hybrid Pantograph Upper-arm (탄소섬유 복합재료-금속 하이브리드 팬터그래프 상부암 설계)

  • Jeon, Seung-Woo;Han, Min-Gu;Chang, Seung-Hwan;Cho, Yong-Hyeon;Park, Chul-min
    • Composites Research
    • /
    • v.28 no.5
    • /
    • pp.327-332
    • /
    • 2015
  • In this research, a parametric study was carried out to design a metal-carbon fiber reinforced plastics (CFRP) hybrid pantograph for weight reduction of high speed train (KTX). To design a light-weight and high-stiffness pantograph, some parts of the original steel upper arm was replaced by CFRPs with appropriate stacking sequences. For the parametric study, steel was replaced by aluminium considering structure stiffness and weight of hybrid upperarm of a pantograph. Finite element analysis (FEA) was performed for checking the structure stiffness with varying design parameters. Static vertical load stiffness and weight changing ratio were derived from real CX-PG pantograph model analyses. From the FEA results, the geometries of high-stiffness, light-weight pantograph have been suggested.

Determinants of Accountants' Loyalty Underlying Investment Management: Evidence from FDI Firms in Thanglong Industrial Park

  • NGUYEN, Dang Huy;HA, Son Tung;TRAN, Manh Linh;NGUYEN, Duc Thang;NGUYEN, Thi Xuan Hong;NGUYEN, Dieu Linh;DO, Duc Tai
    • The Journal of Asian Finance, Economics and Business
    • /
    • v.7 no.4
    • /
    • pp.287-297
    • /
    • 2020
  • The research aims to investigate the impact levels of determinants on the loyalty of accountants to FDI firms underlying investment management in Thanglong Industrial Park in Hanoi, Vietnam. We conducted a questionnaire consisting of 31 observation variables with a 5-point Likert scale. Independent variables were measured from 1 "without effect" to 5 "strongly". The method of data collection was done through the survey and subjects are accountants in FDI firms doing business in Thanglong Industrial Park in Hanoi. After checking the information on the votes, there are 120 questionnaires with full information for data entry and analysis, This study employs Cronbach's Alpha test, and regression model. The results show that seven determinants including Working environment, The characteristics of working; Training, promotion prospects and development; Income, Personal characteristic, Collective work together and The method of leading had positive relationships with the loyalty of accountants. Based on the findings, some recommendations are given related to such determinants to improve the loyalty of accountants of FDI firms in general and FDI firms in Thanglong Industrial Park in Hanoi in particular. With which, those firms can enhance performance, reduce financial strain, saving on investment in the recruiting process of new staff, increase profitability to ensure investment management.