• Land and Housing Review
• /
• v.11 no.3
• /
• pp.83-92
• /
• 2020

In South Korea, problems caused by material deterioration of time-worn concrete structures have been increased recently. Because severe material deterioration could damage the structure's safety, it's important to evaluate the old structure's condition and structural capacity regularly to keep its proper performance. The safety evaluation of concrete structures has been initiated and performed periodically since 1995 according to a guideline in accordance with a law in Korea. The guideline prescribes the evaluation types, intervals and methods of the target structure. A lot of cost and labor have been invested every year to carry out the regular safety evaluation. However, it's not clear that the current manual could inspect the old structure's condition and assess the structural capacity precisely. Thus, the verification study initiated to figure out the Korean safety evaluation manual's practicalness. First, the Korean manual was analyzed and then compared with that of other countries for concrete bridges which are representative concrete structure. After that, the previously written evaluation reports were collected and analyzed to find out how the safety evaluation has been carried out. Based on the study results, the parts requiring verification of the manual were drawn. A research program is in progress in order to verify the parts by performing tests with actual structural members from decommissioned concrete bridges.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.285-288
• /
• 1988

Despite of the low productivity, the manual programming for NC machining is still widly used because of it's economical reasons. In this study, the computer assisted manual programming system CAMP which assits the efficient verification of MCD(Machine Control Data) is presented. The system can detect sysntax errors, graphically display tool motions and eventually diagnose programming techniques. The case study is applied for the NC turning operations.

• MALSORI
• /
• no.51
• /
• pp.71-84
• /
• 2004

In this paper, we propose the automatic speech database verification method(or called automatic verification) based on confidence measure for a large speech database. This method verifies the consistency between given transcription and speech using the confidence measure. The automatic verification process consists of two stages : the word-level likelihood computation stage and multi-level likelihood ratio computation stage. In the word-level likelihood computation stage, we calculate the word-level likelihood using the viterbi decoding algorithm and make the segment information. In the multi-level likelihood ratio computation stage, we calculate the word-level and the phone-level likelihood ratio based on confidence measure with anti-phone model. By automatic verification, we have achieved about 61% error reduction. And also we can reduce the verification time from 1 month in manual to 1-2 days in automatic.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.21 no.2
• /
• pp.136-144
• /
• 2009

This paper focuses on the attempt to manual application for optimization structural scale of stone and Gabion at the closing gap of sea dike. The manual was developed through hydraulic model experiment that measured the critical velocity of sill-crest, bottom protection and dam-face at the final closure of Saemangeum sea dike, and through the comparison and verification of critical velocity for each scale calculated by existing empirical formula. Also, the critical velocity when rocks are used together with gabion is measured to add to the manual, which is an initial attempt that had not been executed before. The manual proposes the appropriate structural scale according to the measured critical velocity per day during the final closure period of Saemangeum sea dike, and its application was appraised highly after the completion of the final closing.

• Journal of Korean Institute of Industrial Engineers
• /
• v.42 no.3
• /
• pp.165-172
• /
• 2016

The purpose of this study is to investigate the ergonomic verification of suitability of the 4-wheeled hand cart to prevent musculoskeletal problems in the firing test range. Because of the increasing amount of firing test, the needs to develop a projectile transferring device such as 4-wheeled hand cart has been increased. For the 4-wheeled hand cart, the lifting and carrying activity in the manual handling method were transformed to pushing activity. The risk of low back pain for lifting and carrying the projectile by manual was estimated by NLE and 3D SSPP. On the other hand, the risk for pushing the 4-wheeled hand cart was estimated by psychophysical and biomechanical method such as Mital's equation, Snook's table and 3D SSPP. It was shown that the 4-wheeled hand cart reduced the risk of low back pain drastically with higher efficiency and design compatibility.

• Journal of Power System Engineering
• /
• v.17 no.5
• /
• pp.128-137
• /
• 2013

Modern transmission technologies such as automated manual transmission(AMT) and dual clutch transmission(DCT) are interested to all manufactures due to their fuel efficiency and driver's convenience, especially in a hybrid system. AMT has advantages in that they have a high efficiency of manual transmissions(MT) and offer operation convenience similar to automatic transmissions(AT), but it has some disadvantages in that they have torque gap during gear shift and shift time. To reduce disadvantages, it is necessary to evaluate errors and characteristics as a developing simulation model before experimental verification. The purpose of this study is to develop virtual components and simulate the transient response of AMT. A dynamic AMT model and a control logic for an integrated vehicle model have been developed using Matlab/Simulink as a simulation platform. In this paper, the clutch model to describe the stick-slip transition mode and the transmission model to describe the neutral gear shifting is introduced and compared with each other.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.2
• /
• pp.81-86
• /
• 2014

In this paper, we states the verification and validation methodology for the modular system of A-SMGCS which defined in the ICAO Manual on Advanced Surface Movement Guidance and Control Systems. Such systems aim to maintain the declared surface movement rate under all weather conditions while maintaining the required level of safety. With the complete concept of an A-SMGCS, air traffic controllers, vehicle drivers, flight crews, and are assisted with surface operations in terms of surveillance, control, routing/planning and guidance tasks. A-SMGCS verification and validation for the development of Real Time Simulation, shadow mode trials, operational trials are conducted through three methods. In this study, the characteristics and the need for such a verification method was examined.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.4
• /
• pp.1360-1388
• /
• 2021

Shipbuilding and repairing enterprise has the characteristics of many hazards and accidents. Therefore, the safety management ability of shipbuilding and repairing MIS (management information system) must be effectively guaranteed. The verification on safety management is the necessary measure to ensure and improve the safety management ability of MIS. Safety verification can not only increase the safety of MIS, but also make early warning of potential risks in management to avoid the accidents. Based on the authoritative standards in the field of safety in shipbuilding and repairing enterprise, this paper applied modeling and verification method based on ontology to safety verification of MIS, extracted the concepts and associations from related safety standards to construct axiom set to support safety verification on MIS of shipbuilding and repairing enterprise. Then, this paper developed the corresponding safety ontology modeling and verification tool-SOMVT. By the application and comparison of two examples, this paper effectively verified the safety of MIS to prove the modeling method and the SOMVT can improve the safety of MIS in a much more effective and stable way to traditional manual analysis.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.5
• /
• pp.1139-1144
• /
• 2008

In this paper, we propose an automatic generation method of transaction level(TL) model from algorithmic model to verify system specification fast and effectively using virtual platform. The TL virtual platform including structural properties such as timing, synchronization and real-time is one of the effective verification frameworks. However, whenever change system specification or HW/SW mapping, we must rebuild virtual platform and additional design/verification time is required. And the manual description is very time-consuming and error-prone process. To solve these problems, we build TL library which consists of basic components of virtual platform such as CPU, memory, timer. We developed a set of design/verification tools in order to generate a virtual platform automatically. Our tools generate a virtual platform which consists of embedded real-time operating system (RTOS) and hardware components from an algorithmic modeling. And for communication between HW and SW, memory map and device drivers are generated. The effectiveness of our proposed framework has been successfully verified with a Joint Photographic Expert Group (JPEG) and H.264 algorithm. We claim that our approach enables us to generate an application specific virtual platform $100x{\tims}1000x$ faster than manual designs. Also, we can refine an initial platform incrementally to find a better HW/SW mapping. Furthermore, application software can be concurrently designed and optimized as well as RTOS by the generated virtual platform