• Transactions of the Korean Society of Automotive Engineers
• /
• v.1 no.1
• /
• pp.59-65
• /
• 1993

In a spark ignition engine, in order to make research on flame propagation, attentive concentration should be paid on initial combustion stage about the formation and development of flame. In addition, the initial stage of combustion governs overall combustion period in a spark ignition engine. With the increase of the size of flame kernel, it could reach initial flame stage easily, and the mixture could proceed to the combustion of stabilized state. Therefore, we must study the theoretical calculation of minimum flame kernel radius which effects on the formation and development of kernel. To calculate the minimum flame kernel radius, we must know the thermal conductivity, flame temperature, laminar burning velocity and etc. The thermal conductivity is derived from the molecular kinetic theory, the flame temperature from the chemical reaction equations and the laminar burning velocity from the D.K.Kuehl's formula. In order to estimate the correctness of the theoretically calculated minimum flame kernel radius, the researcheres compared it with the RMaly's experimental values.

• Journal of the Korean Society for information Management
• /
• v.21 no.2
• /
• pp.235-248
• /
• 2004

For the users of information retrieval systems, natural language query is the more ideal interface, compared with keyword and boolean expressions. This paper proposes a retrieval technique with expanded keyword from syntactically-analyzed structures of natural language query as user input. Through the steps combining or splitting the compound nouns based on syntactic tree traversal of the query, and expanding the other-formed or shorten-formed into multiple keyword, it can enhance the precision and correctness of the retrieval system.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.4
• /
• pp.597-601
• /
• 2009

Green car such as a hybrid electrical vehicle and fuel cell vehicle is developed as a commercial target. UN/ECE/WP29 is developing GTR of HFCV and establishing the regulation and standard of electrical safety by ELSA. The regulation and standard about Electrical safety of vehicle are prescribed in ISO, UN/ECE, FMVSS, Japanese Attachment and so on, in case of insulation resistance is referred to keep more than 100/Vdc, 500/Vac. However, accurate method to measure insulation resistance agreeable to structure of vehicle does not exist now, it is actually that correctness of measurement drops according to the feature of battery and fuel cell stack. In this paper, the method to measure insulation resistance for protection against electrical shock by direct contact or indirect contact in Green Car will be indicated by making a comparison between the insulation measurement in standard of electrical safety and the experiment results for HEV and HFCV.

• Journal of Korean Institute of Industrial Engineers
• /
• v.22 no.2
• /
• pp.179-188
• /
• 1996

We study n-class-based storage policy for an automated storage/retrieval system (AS/RS) and derive the closed form expressions of expected travel times under single command cycle. In order to confirm the correctness of the derivations, we consider both discrete and continuous storage racks, and show that the expressions for expected travel times of discrete rack converge to those of continuous one. We also derive the expected travel times when the coordinate locations for storages or retrievals are triangularly distributed and we try to solve class layout problem using the obtained results. Numerical examples are given in case of 3-class-based storage policy.

• Steel and Composite Structures
• /
• v.9 no.1
• /
• pp.1-17
• /
• 2009

This paper is focused on the buckling and post buckling behaviour of rectangular corrugated board panels simply supported and subjected to compression load. The aim of the work is to understand the failure mechanism of investigated structure in order to quantify the effect of design parameters on the strength of a panel of given geometry. Two numerical models were developed adopting the finite element method. In the first one the corrugated board is represented by means of shell elements adopting an equivalent material, in the second the local structure is described in full detail modelling both straight and corrugated layers by means of shell elements and representing the connection between layers by special interface elements. The model correctness was checked by the comparison between out of plane central displacement predicted by the models and the experimental values found in literature. For the same case the effect of panel planarity error was evaluated. Finally a parametric analysis to investigate the effect of design parameters was carried out.

• Proceedings of the Korea Contents Association Conference
• /
• 2004.11a
• /
• pp.389-394
• /
• 2004

In this paper, we classified design patterns with special quality of pattern structure. Classification by clustering had expressed higher correctness degree than classification by facet. Therefore, can do that it is effective that classify design patterns using clustering algorithms that is automatic classification method. When we are searching design patterns, classification of design patterns can compare and analyze similar patterns because similar patterns is saved to same category. Also we can manage repository efficiently because of using and storing link information of patterns.

• Steel and Composite Structures
• /
• v.28 no.4
• /
• pp.403-414
• /
• 2018

In this paper, the lateral-torsional buckling of axially-transversally functionally graded tapered beam is investigated. The structure cross-section is assumed to be symmetric I-section, and it is continuously laterally supported by torsional springs through the length. In addition, the height of cross-section varies linearly throughout the length of structure. The proposed formulation is obtained for the case that the elastic and shear modulus change as a power function along the beam length and section height. This structure carries two concentrated moments at the ends. In this study, the lateral displacement and twisting angle relation of the beam are defined by sinusoidal series. After establishing the eigenvalue equation of unknown constants, the beam critical bending moment is found. To validate the accuracy and correctness of results, several numerical examples are solved.

• Journal of Biomedical Engineering Research
• /
• v.28 no.5
• /
• pp.585-589
• /
• 2007

This study proposes an automated pegboard utilizing the RFID system with multiple reader antennas for the rehabilitation services and the occupational therapy. The system automates the scoring by detecting the plugging correctness as well as the plugging status. It also aims to increase the patient's interest and the functional intelligence. The system was prototyped and tested for the automatic capability of the scoring the session time and success rate. The proposed system will be served as the typical example for the ubiquitous rehabilitation devices.

• Journal of Information Technology Services
• /
• v.12 no.3
• /
• pp.379-387
• /
• 2013

This paper describes a scheme of motor control for Quadcopter with Android phone instead of a dedicated controller. Basically, user's requests (channel and speed) are inquired and transferred to the Quadcopter with Android phone, then the embedded Linux system receives them and controls the motor speed of corresponding channel. We have designed and implemented an App. for user interface and the modules of device driver and timer ISR for the motor control. Finally, we have up-loaded the App. and the modules to an Android (ver.4.0) phone and ARM processor (S3C6410)-based embedded board respectively, and reviewed the functional correctness by testing the motor control of Quadcopter.

• Journal of KIISE:Information Networking
• /
• v.29 no.5
• /
• pp.510-523
• /
• 2002

The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.