• ETRI Journal
• /
• v.39 no.1
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• Composites Research
• /
• v.18 no.4
• /
• pp.35-43
• /
• 2005

In resin transfer molding(RTM), race-track effects and non-uniform fiber volume fraction may cause undesirable resin flow patterns and thus result in dry spots, which affect the mechanical properties of the finished parts. In this study, a real time RTM control strategy to reduce these unfavorable effects is proposed. This control rule is accomplished by means of the permeability mapping and pressure regulation. Through numerical simulations, the validity of the proposed scheme is demonstrated.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2003.10a
• /
• pp.79-82
• /
• 2003

In case of performing resin transfer molding (RTM), race track effects and non-uniform fiber volume fraction may cause undesirable resin flow pattern and thus result in dry spots, which affect the mechanical properties of the finished parts. In this study, a real time RTM control strategy to reduce these unfavorable effects is proposed. Through numerical simulations and experiments, the validity of the proposed scheme is demonstrated.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.10
• /
• pp.851-857
• /
• 2014

This paper addresses the design of the auto race-track and figure-8 flight mode which can be applied to expand the loitering flight mode and increase the safety of UAV. To implement these flight modes, necessary waypoints and entry points can be calculated automatically from several information of the ground control system. The flight logic is proposed to pass the desired waypoints as well as entry points and transfer to the desired flight path by combining the light-of-sight and loitering guidance controller. The proposed algorithm and logic is verified using the 6-DOF UAV model and nonlinear simulation under the several flight conditions.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.19 no.3
• /
• pp.21-28
• /
• 2013

Purpose: General hospital in korea is getting large-scaled, specialized and upgraded. So, nursing unit of race track type has been advanced along with a spatial organization, building equipment and environmental approach. This study is to search the guidelines for renovation of nursing unit with race track type in the case of K university hospital in Daejeon. Methods: 9 cases of recently opened general hospital has been analyzed for spatial and environmental design solution. Questionnaires and interviews about user needs of nursing staff, patient and visitors, have been conducted for a nursing care system and facility of nursing units in K university hospital. Results: The user needs are represented as followings. Center core public zone in each floor plan and center core nursing station and supporting areas in nursing unit are good for an adjacency and separation of spatial organization. Toilet of group patient room is necessary to equip for easy, safe and infective aspects, and so toilet install will decrease the patient number and increase the nursing care service. Hall type of station front is good for visibility and observation. It is appropriate to renovate into south facing group patient room for privacy, enough space for nursing care facility and supporting area, enough width of door to move portable medical equipment, room for medical doctor and practical student, noise absorbing of day room. Implications: Upgrading the nursing care service and facility equipment is necessary to reflect the user needs and cooperate with hospital management.

• Proceedings of the Korea Institute of Applied Superconductivity and Cryogenics Conference
• /
• 2000.02a
• /
• pp.158-161
• /
• 2000

Generally superconducting generators(S. G.'s) will be classified into 2 types according to their field coil shape. The first one is race-trace type and the other is saddle type. Race-track type S.G.'s have almost the same structure with conventional salient pole generators which are being used as largely small scale machines with more than 4 poles. On the other hand saddle type S.G.'s correspond to conventional cylindrical generators with 2 poles used for large turbines in power plants. In this paper 1MVA S.G. with saddle type field coil is electromagnetically designed and based on the research results from development of 30kVA S.G. with race-track type field oils in our group. other parts such as cooling systems and power leads are presented.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.22 no.1
• /
• pp.112-118
• /
• 2013

Formula race car is generally recognized as a vehicle which is optimally designed for on-road race track with the regulations of race host bodies. Especially, the uprights of suspension system decisively have effects on the performance of cornering and stability of race car's driving performance, which are very important factors in the design of race car. This paper is a study of optimal upright design of F1800 grade formula race car which are normally used in professional race circuit in Korea. To design optimally the front upright of F1800 formula race car, Taguchi's orthogonal array, which is known for more useful method than full factorial design experimental method in cost and time, is used with CAE method such as FEM analysis. And the result of this paper shows that Taguchi's orthogonal array employed for this optimal design is very useful for designing the front upright of race car by minimizing its weight as well as keeping its safety factor as enough as designer wants in the view of quality, cost and delivery at the early design step.

• Proceedings of the KIEE Conference
• /
• 1998.07a
• /
• pp.232-234
• /
• 1998

Race-track type superconducting coils are used for wiggler magnets of accelerators and field coils of superconducting generators(S.C.G) and so on. The shape is different from ordinary solenoidal type magnet, so the manufacturing situation and conditions become different and moreover according to these results the output characteristics of magnet also becomes different. In this paper we are dealing with race-track type coil design that is inserted into 30(kVA) S.C.G which will be manufactured before we make l(MVA) S.C.G plant. The design procedure is based on two dimensional electromagnetic analysis including laplace equations in cylindrical coordinate.

• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.865-867
• /
• 2001

Generally large synchronous rotating machines with 2 poles have more merits than the others with more than 2 poles Superconducting synchronous rotating machines also have the same tendency, but they have different structure from conventional ones because of no magnetic core inside of the rotor. As the result, design approaches of the superconducting field coils are also different, which would be classified into 2 types according to their coil shapes. The first one is race-track type and the other is saddle type Race-track type machines have almost the same structure with conventional salient pole generators which are being used as largely small scale machines with more than 2 poles. On the other hand saddle type machines correspond to conventional cylindrical generators with 2 poles used for large turbine system in power plants. In this paper several types of superconducting field coils are introduced for 2 pole superconducting machine design and then the feasibility of each type is considered. Moreover, based on the consideration. 1MVA superconducting generator(S.G.) with saddle type field coil is designed electromagnetically.

• 한국초전도학회:학술대회논문집
• /
• v.10
• /
• pp.248-251
• /
• 2000

The fabrication and characteristics of HTS race-track type field coil for generators was carried out. Field coils are composed of 3 pancake coils wound by 37-filamental Bi-2223/Ag-alloy tapes. The winding machine is horizontal type. The critical currents (I$_c$) of the superconducting tapes were measured with variation of bending strain and external magnetic fields. I$_c$ of both whole field coils and 3 pancake coils were measured as a function of temperature. At 77K under the self-field, I$_c$ of whole field coils was 12A, while in the case of middle pancake coil, I$_c$ was 15A. The distribution of magnetic field B was obtained, using 3-D FEM. Our simulation showed that maximums of B${\bot}$A in x-y plane were locally distributed in both the upper and the lower coils. In addition, the fabrication processes and the characteristics of field coil are described.