• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.829-840
• /
• 2013

This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.14 no.4
• /
• pp.915-922
• /
• 1994

This paper presents a new method of soil improvement by using semi-flexible vertical reinforcing elements which shows promise for future work. Load tests were conducted on two model footings in a sand box using unreinforced sand and also by reinforcing the sand with vertical reinforcing elements. The ultimate bearing capacity for the unreinforced and reinforced sand has been compared. The effect of length, spacing, lateral extent of the reinforcement, and the initial relative density of sand in increasing the ultimate bearing capacity have been evaluated. The effect of roughness of the reinforcing elements has also been investigated. Based on the results of these model footing tests, it appears that significant improvement in the ultimate bearing capacity of loose and medium sands can be achieved by reinforcing with vertical elements.

• Current Research on Agriculture and Life Sciences
• /
• v.18
• /
• pp.43-51
• /
• 2000

Eleven inbred lines of silkworm, Bombyx mori L. were exposed to two main different temperature (23C and 25C) during the larval period in order to elucidate the effect of the temperature differences on their main characters under the, prevailing in Egyptial agro-climactic conditions. The results show that the temperature differences did not affect significantly the pupation ratio and cocoon shell ratio. However, they affected their larval duration to become shorter with the high temperature treatment ($27^{\circ}C$) and their cocoon shell weight and cocoon yield per box of silkworm eggs to be higher in the lower temperature($23^{\circ}C$). It was recommended that some inbred lines should be bred at the 23C throughout the whole larval period, particularly in being reared with high nutritional leaves in order to maximize the hybridization of cocoon yields.

• Journal of Korean Society of Steel Construction
• /
• v.24 no.5
• /
• pp.595-603
• /
• 2012

This study applied elastic supports in order to evaluate load carrying capacity using measurement data obtained from load tests actively and utilizing various evaluation methods. In order to confirm the adequacy of structural analysis based on elastic supports and to improve the reliability of experiment results, we conducted a deflection test with flexural beams prepared as overhanging beams and, based on the results, performed precision safety diagnosis for real bridges under public service for improving the load carrying capacity evaluation method for bridges under public service. In the results of the bending test, compared to deflection calculated by the existing method, deflection obtained by applying elastic supports was closer to the actually measured deflection. In the results of evaluating load carrying capacity for a 3 span continuous steel box girder bridge just after its completion, load carrying capacity by elastic supports was smaller by up to 39% than that by the existing method. When the load carrying capacity of bridges is evaluated by the existing method the results vary among engineers due to lack of guidelines for evaluation such as the application of stress modification factor. This study was conducted as an effort to solve this problem through active research.

• Physical Therapy Rehabilitation Science
• /
• v.2 no.2
• /
• pp.99-103
• /
• 2013

Objective: Clinical measures that quantify upper extremity function are needed for the accurate evaluation of patients and to plan an intervention strategy. The purpose of this study was to examine the relationship between the Unified Parkinson's Disease Rating Scale (UPDRS)-Motor Exam and upper extremity performance as a quantifying clinical tool of upper extremity function in persons with Parkinson's disease. Design: Cross-sectional study. Methods: Thirty-two idiopathic Parkinson's Disease persons participated in this study. To investigate the relationship between the UPDRS-motor exam, Box and Block test (BBT), and Action Research Arm Test (ARAT) by two physical therapists. The examination took up to 1 hour, and the participants were invited to rest between each clinical measure in order to minimize the effects of fatigue. Clinical measures were assessed while the subjects were in the "on" phase of their medication cycle, generally 1-3 hour after taking their anti-Parkinson's medications. Results: In more affected side, the UPDRS-motor exam was significantly negative correlated with the BBT (p<0.05) but it was not significantly correlated with the ARAT. In less affected side, only positively correlation was significantly shown between BBT and ARAT (p<0.05). On the other hand, between BBT and ARAT were not significantly correlated with the UPDRS-motor exam. Conclusions: The UPDRS-motor exam is effective tool which was significantly correlated with manual dexterity in more affected upper extremity. But The UPDRS-motor exam is not effective tool in less affected upper extremity.

• Journal of Aerospace System Engineering
• /
• v.13 no.6
• /
• pp.52-59
• /
• 2019

The rotor blade is a key component that generates the lift, thrust, and control forces required for helicopter flight by the torque transmitted through the hub and the blade pitch angle control, and should be designed to factor vibration characteristics so that there is no risk of resonance with structural safety. In this study, the structural design of the main rotor blade for MPUH(Multi-Purpose Unmanned Helicopter) was conducted and the sectional stiffness measurement of the fabricated blade was performed. The evaluation of the vibration characteristics of the main rotor system was then conducted factoring the measured stiffness distribution. The interior of the rotor blade comprised of the skin, spar, and torsion box, and carbon and glass fiber composites were applied. The Ksec2D program was applied to predict the stiffness of blade, and the results were compared to the measured data. CAMRADII, a comprehensive rotorcraft analysis program, was applied to investigate the natural frequency trends and resonance risks due to the rotor rotation.

• Journal of Acupuncture Research
• /
• v.26 no.6
• /
• pp.187-203
• /
• 2009

Objectives : Korean director Bong Joon-ho's movie 'Mother' is a story about a woman who struggles to save her son from an indictment of murder. This movie premiered at the 2009 Cannes film festival. The present study aimed to investigate the various roles of acupuncture in the plot from the perspective of movie professionals, including critics, writers and producers. Methods : We investigated the meaning of acupuncture as a subject matter in this movie. Participants who work in the film industry or are studying film were included. Survey questions were organized in a two part open-ended questionnaire and in multiple-choice form. The questionnaires were distributed via e-mail or the subjects were contacted directly. Results: In this movie, acupuncture serves at least three roles. The first role it serves is as a symbol of the mother role in her son's life and in her community. Acupuncture also works as a conduit for communication and a means of earning a living for the mother. She strives to clear her son's name by discovering the real murderer through performing acupuncture. Finally, the acupuncture box is crucial in the son's understanding of the mother's role in the crime. Seventy-nine percent of those surveyed responded that acupuncture was an important motif in this movie. Conclusions : These findings, in addition to those of previous studies, suggest that acupuncture can serve as a useful context for mass communication in media. The understanding of the meaning of acupuncture in the movie provides useful information on the perception of acupuncture modality today.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.5
• /
• pp.1279-1284
• /
• 2014

The binding of TATA-binding protein (TBP) to the TATA-box containing promoter region is aided by many other transcriptional factors including TFIIA and TFIIB. The mechanistic insight into the assembly of RNA polymerase II preinitation complex (PIC) has been gained by either directly altering a function of target protein or perturbing molecular interactions using drugs, RNAi, or aptamers. Aptamers have been found particularly useful for studying a role of a subset of PIC on transcription for their ability to inhibit specific molecular interactions. One major hurdle to the wide use of aptamers as specific inhibitors arises from the difficulty with traditional assays to validate and determine specificity, affinity, and binding epitopes for aptamers against targets. Here, using a technique called the bio-layer interferometry (BLI) designed for a label-free, real-time, and multiplexed detection of molecular interactions, we studied the assembly of a subset of PIC, TBP binding to TATA DNA, and two distinct classes of aptamers against TPB in regard to their ability to inhibit TBP binding to TFIIA or TATA DNA. Using BLI, we measured not only equilibrium binding constants ($K_D$), which were overall in close agreement with those obtained by electrophoretic mobility shift assay, but also kinetic constants of binding ($k_{on}$ and $k_{off}$), differentiating aptamers of comparable KDs by their difference in binding kinetics. The assay developed in this study can readily be adopted for high throughput validation of candidate aptamers for specificity, affinity, and epitopes, providing both equilibrium and kinetic information for aptamer interaction with targets.

• Journal of the Korean Chemical Society
• /
• v.63 no.6
• /
• pp.440-445
• /
• 2019

It has developed a method that can recover efficiently the reproducible resources from the vehicle waste lithium second battery module. Module cell consists of copper thin film, aluminum thin film and diaphragm made with polymer between these thin films. Cell was disassembled completely without any damage in glove box and through several steps. Preferentially, cathode active material was separated from aluminum thin film at heat treatment of 400 ℃. The retrieved cathode active material was then obtained as high purity after calcining at 800 ℃ to remove residual carbon. Based on this study, it was found that rare metals such as Co, Ni, Mn and Li made up of cathode active material could recover above 80% from aluminum thin film.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.16 no.2
• /
• pp.141-151
• /
• 2003

Railway bridges are subject to dynamic loads generated by the interaction between moving vehicles and the bridge structures. These dynamic loads result in response fluctuations in bridge members. To investigate the real dynamic behavior of the bridge, therefore, a number of analytical and experimental Investigations should be carried out. In this paper, a train/track/bridge interaction analysis program for evaluating the dynamic characteristics of bridges due to KTX operation in terms of structural safety, operational safety and passenger comfort is developed. To build a practical model of train/track/bridge, Hertzian spring for wheel/rail contact modeling and Winkler element for ballast are applied. This program also used torsional degree of freedom and constraint equation based on geometrical relationship in order to take into consideration three-dimensional eccentricity effect due to the operation on double track through quasi-three dimensional analysis. To verify the developed Program, comparison has been made between the measured results and those of simulation of the typical PSC box bridge(2@40m=80m) of the KHSR bridges.