• Journal of the Korean Society of Clothing and Textiles
• /
• v.45 no.6
• /
• pp.965-977
• /
• 2021

The study aimed to analyze the functional differences in 3D virtual garment programs and compare body scan data with the corresponding 3D virtual models. We selected 3D virtual garment programs, formed virtual models in a representative size for high-school male cyclists, and analyzed them using the Design-X program. The results were as follows. In the 3D virtual garment programs, the anthropometric items for virtual model forming differed significantly from the standard anthropometric items suggested by Size Korea. Comparing the lower body scan data and virtual models formed by the 3D virtual garment programs, the biggest difference was in the shapes of the waist and hips, i.e., the flatness values of the waist and hips were different for each program in the cross-section view. In the lower body, a data-input-based program was needed for changing the exact measurement position of the waist circumference and hips' shape in detail. If a 3D virtual garment program provides functions for the virtual model's joint angle input and free motion transformation, it is expected to be widely used in the sportswear industry.

• Journal of The Geomorphological Association of Korea
• /
• v.26 no.1
• /
• pp.121-131
• /
• 2019

The coast of BiIn Bay, Seocheon, is the potential site for the field-trip learning program. This article is written in the viewpoint of geographical and environmental education. In this study, it is tried to describe geomorphological landscapes of BiIn Bay Seocheon-gun relating with it's physiognomy, based on the Dasa-ri and Songrim-ri coastal sanddunes and the like. Although landforms like tidal flats and rock cliff constitute prominent landscape features in this area, other features such as beaches, coastal dunes, and coastal plains have various ramifications for human communities. Tidal flats, beaches and coastal dunes are formed by the combined actions of longshore current, tidal flows, waves and winds. To some extent, the erosion of sandy coast has been a global phenomenon. Anthropogenic impacts are involved in the transformation of landform. Most favorable field-trip course of BiIn Bay is from Songrim-ri through Dasa-ri and Shinhap-ri to Maryang-ri. This program about coastal landforms in BiIn Bay will contribute not only for educational meanings but also for satisfying the student' curiosity and interest. Also, this field-trip learning program will be suitable for over 4th grade elementary school students and middle school students.

• Fourth Industrial Review
• /
• v.4 no.1
• /
• pp.19-27
• /
• 2024

Purpose: This study is based on the results of the National Information Society Agency's the Report on the Digital Divide in 2022. This study sought to develop digital literacy education programs for senior citizens, a digitally disadvantaged group, and to utilize smart devices to enhance their digital capabilities. Research design, data and methodology: Based on Gagné's nine events of instruction, a total of 7-session educational programs using smart devices were developed, and teaching-learning goals were set at a level that older learners can realistically perform. In preparation for the era of digital transformation, AI utilization methods are introduced and utilized in some sessions of the educational program. Results: Among a total of 7 sessions of the educational program, 5 sessions using KakaoTalk and Naver App, and 2 sessions using other apps were developed. There are a total of three sessions using AI. Conclusions: This study presented a digital literacy education program that combined AI, addressing the insufficiency of AI-based education programs targeting senior citizens. It is expected that this educational program will be able to improve the digital literacy skills and provide a basis for fulfilling their responsibilities as digital citizens by suggesting a direction for AI utilization education for senior citizens.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.2
• /
• pp.43.2-43.2
• /
• 2015

The RGB Bayer filter system consists of a mosaic of R, G, and B filters on the grid of the photo sensors which typical commercial DSLR (Digital Single Lens Reflex) cameras and CCD cameras are equipped with. Lot of unique astronomical data obtained using an RGB Bayer filter system are available, including transient objects, e.g. supernovae, variable stars, and solar system bodies. The utilization of such data in scientific research requires that reliable photometric transformation methods are available between the systems. In this work, we develop a series of equations to convert the observed magnitudes in the RGB Bayer filter system (RB, GB, and BB) into the Johnson-Cousins BVR filter system (BJ, VJ, and RC). The new transformation equations derive the calculated magnitudes in the Johnson-Cousins filters (BJcal, VJcal, and RCcal) as functions of RGB magnitudes and colors. The mean differences between the transformed magnitudes and original magnitudes, i.e. the residuals, are (BJ - BJcal) = 0.064 mag, (VJ - VJcal) = 0.041 mag, and (RC - RCcal) = 0.039 mag. The calculated Johnson-Cousins magnitudes from the transformation equations show a good linear correlation with the observed Johnson-Cousins magnitudes.

• The Plant Pathology Journal
• /
• v.19 no.3
• /
• pp.162-165
• /
• 2003

Transformation of Fuji apple (Malus domestica 'Fuji') was performed using Agrobacterium tumefaciens harboring a coat protein (CP) gene of Cucumber mosaic virus (CMV). A plasmid DNA containing the virus CP and NPT II genes was introduced into the loaves of apple by th e Agrobacterium - mediated transformation procedure. Regenerated transformants of the apple were obtained by kanamycin resistance conferred by the introduced NPT II gene. PCR analysis showed that 3 out of 20 putatively selected R0 plant lines contain the CMV-CP gene. Nine putative transgenic lines out of 20 lines were investigated with the PCR analysis; 5 regenerants produced a 450 bp DNA band and 3 regenerants showed a 671 bp DNA band for the NPT II and CMV-CP genes, respectively. Southern hybyidization results demonstrate the successful integration of the CMV-CP gene into the genome of the apple. This is the first report on the generation of useful vius resistance source of transgenic apple for molecular breeding program.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of KIISE:Software and Applications
• /
• v.36 no.3
• /
• pp.244-251
• /
• 2009

We present a transformation which converts open-code multi-staged programs into closed ones. Staged computation, which explicitly divides a computation into separate stages, is a unifying framework for existing program generation systems. Because a multi-staged program generates another program, which can also generate a third program and on, the implementation of a multi-staged language is not straightforward. Dynamic binding of (lexically free) variables in code also makes the implementation of a multi-staged language hard. By converting each code into code of function which takes environment for free variables as its argument and giving an actual environment at the code-composition site, we can transform a open-code program into a closed-code one. Combining with Davies and Pfenning's method, our closed-code-conversion enables the implementation of the unstaged language to be useful for executing multi-staged programs. We also prove the correctness of our conversion: the converted program is equivalent to the original program, and the converted program does not have open code.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.1
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• Food Science and Biotechnology
• /
• v.17 no.6
• /
• pp.1372-1375
• /
• 2008

The aprE2 gene from Bacillus subtilis CH3-5 was expressed in Bacillus licheniformis ATCC 10716 using a Bacillus-Escherichai coli shuttle vector, pHY300PLK. The fibrinolytic activity of transformant (TF) increased significantly compared to B. licheniformis 10716 control cell. During the 100 hr incubation in Luria-Bertaini broth at $37^{\circ}C$, fibrinolytic activity of B. licheniformis TF increased rapidly at the late growth stage, after 52 hr of incubation, which was confirmed by zymography using a fibrin gel. pHY3-5 was stably maintained in B. licheniformis without tetracycline (Tc) in the media, 60.9% of cells still maintained pHY3-5 after 100 hr of cultivation.

• Membrane and Water Treatment
• /
• v.9 no.2
• /
• pp.123-128
• /
• 2018

Common aquaculture practices include the use of certain pharmaceuticals such as antibiotics in avoiding diseases and promoting a healthier growth of the culture. The aim of this study is to monitor and assess the influence of different low oxytetracycline concentrations on the transformation of nitrogen compounds under aeration condition in a lab-scale recirculating aquaculture system (RAS). Over $1mg\;L^{-1}$ dose of oxytetracycline to aquaculture had induced ammonia($NH_4-N$), nitrate($NO_3-N$), soluble COD accumulation in RAS. In addition, nitrous oxide ($N_2O$) emission from RAS was significantly reduced during the oxytetracycline dose periods. After ceasing the dose of oxytetracycline, ammonia oxidation and nitrous oxide re-emission were observed. This observation indicated that low concentrations of oxytetracycline could affect the nitrogen species in RAS. Also, the emission mechanisms of $N_2O$ may not be only dependent on nitrification process but also dependent on denitrification process in our RAS system.