• 한국의류학회지
• /
• 제45권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.

• 한국지형학회지
• /
• 제26권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.

• 4차산업연구
• /
• 제4권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.

• 천문학회보
• /
• 제40권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
• /
• 제19권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권3호
• /
• pp.244-251
• /
• 2009

다단계 프로그래밍이란 매크로 프로그래밍, 부분 계산(partial evaluation), 실행시간 코드 생성(runtime code generation)등을 포섭하는 일반적인 방법론으로, 계산을 여러 단계로 나누어 각 단계에 주어진 부분 입력을 통해 다음 단계를 전문화(specialize)함으로써 효율적인 계산을 수행하게 해 준다. 다단계 프로그램은 일반적인 계산 외에 코드(다음 단계의 프로그램)를 생성, 조림 및 실행시킬 수 있다. 본 논문은 코드에 자유변수를 허용하는 다단계 프로그램을 코드에 자유변수가 없는 다단계 프로그램으로 변환하는 방법을 제안한다. 코드에 존재하는 자유변수는 동적으로 바인딩(binding)되기 때문에 이를 구현하기 어려운 문제가 있다. 자유변수가 있는 코드는 환경을 입력으로 받는 함수의 코드로 변환하고, 필요한 환경은 코드를 조립하는 시점에 넘겨줌으로써 코드에서 자유변수를 제거할 수 있다. 이렇게 자유변수가 제거된 다단계 프로그램은 Davies와 Pfenning이 제안한 방법에 의해 단계가 없는 람다 계산(lambda-calculus)으로 변환된 후 람다 계산법에 의해 실행되어질 수 있다.

• 대한안전경영과학회지
• /
• 제17권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
• /
• 제17권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
• /
• 제9권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.