• Publications of The Korean Astronomical Society
• /
• v.8 no.1
• /
• pp.67-82
• /
• 1993

We developed a real-time CCD photometric program for IBM PC compatibles. This program can perform several functions necessary for CCD photometry such as telescope control. filter rotation, CCD camera control and data acquisition, two-dimensional image processing, simple aperture photometry and automatic differential photometry. The image processing of a spiral galaxy M51 observed with the SNU 61cm reflector shows a well developed spiral structure. Simple aperture photometric results of 14 stars in open cluster NGC 6871 almost accorded with those from IRAF/APPHOT. And we could confirm the light variation of eclipsing binary EM Cep by simultaneous automatic differential photometry of 7stars in NGC 7160. Due to the excellence in the precision and efficiency of automatic differential photometry using CCD. this program is very useful for the study of small amplitude ${\delta}$ Sct type variables and of the photometric stability of B ${\sim}$ F type stars.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2392-2394
• /
• 2000

In this research a real time control system was developed without program codings during control system designing procedures. On the Simulink window control system is designed in the form of block diagrams, program codes are produced automatically with the real time workshop package(RTW), then c compiler compiles the program codes. With this automatic real time program producing mechanism rapid prototyping is realized. To show effectiveness of the proposed designing scheme a DSP-based induction motor vector control system was constructed and implemented

• Journal of Information Processing Systems
• /
• v.18 no.5
• /
• pp.628-636
• /
• 2022

Automatic program repair (APR) techniques focus on automatically repairing bugs in programs and providing correct patches for developers, which have been investigated for decades. However, most studies have limitations in repairing complex bugs. To overcome these limitations, we developed an approach that augments datasets by utilizing token tagging and applying machine learning techniques for APR. First, to alleviate the data insufficiency problem, we augmented datasets by extracting all the methods (buggy and non-buggy methods) in the program source code and conducting token tagging on non-buggy methods. Second, we fed the preprocessed code into the model as an input for training. Finally, we evaluated the performance of the proposed approach by comparing it with the baselines. The results show that the proposed approach is efficient for augmenting datasets using token tagging and is promising for APR.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2009.10a
• /
• pp.123-124
• /
• 2009

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.13 no.1
• /
• pp.48-54
• /
• 2004

This paper describes the development of automatic shape design program for spur gear. It produces automatically third-dimensional surface and solid model used in CAD/CAM system with inputting simple measurements. This program can maximize user's convenience and get surface and solid model quickly as accepting GUI(graphic user interface). Automatic shape design program for spur gear was developed by Visual LISP, a developer program. Besides, a geometrical method and a mathematical algerian are used in this program. Use frequency of a fine spur gear is on the increase recently and manufacture process of this gear is heat treatment after press processing with molding. In this press processing, the upper punch portion of a fine spur gear shape is drafted by CAM. Therefore, estimated that surface and solid model of spur gear used to CAM are needed in this research. In this research, after 2 ㎜ gear was modeled by auto shape design program, the upper punch portion of a fine spur gear was manufactured as giving third-dimensional model to CAM software and then, displayed the result as applying to press process.

• Applied Microscopy
• /
• v.47 no.1
• /
• pp.3-7
• /
• 2017

The automatic equipment for three-dimensional electron microscopy (3DEM) can acquire serial sections of a large sample in a relatively short time, and is especially suitable for the connectomics, which is a field related to understanding the brain structure as a whole. As many results obtained through 3DEM using automatic serial sections have been published in the field of brain research, many researchers continue to apply this technique to various samples. We reviewed the equipment for automatic serial sectioning, the block preparation method, the limitations of 3DEM, and future directions.

• Journal of Biosystems Engineering
• /
• v.19 no.2
• /
• pp.99-111
• /
• 1994

Automatic control system using microcomputer that have been studied in greenhouse, however, it was very difficult operation with success due to handicap for a various conditions and cultivated plants. This study was performed in order to develop of the basic program and hardware system for automatic control in greenhouse, such as automatic supplying of water, liquefied fertilizer solution and chemical solution. The results were summarized as follows. 1. The program for soil moisture control used by the switch type tensiometer was well operated. 2. The proximity switch was applied as well to water level control but it was very expensive, so low-priced sensor has to be developed. 3. The water meter was not excellent for mixing control of liquefied fertilizer, chemical and water, so water meter for only agricalture has to be developed. 4. Interface system for this study was suited to the developed controller. 5. Automatic control system to supply for water, liquefied fertilizer and chemical solution that was well operated as a fundamental study for product of controller.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.1081-1087
• /
• 2009

An automatic construction system in Korea is now at the stage of the full automation like in Japan, and an actual pilot project is going to be built in 2009. However, in developing a new construction system that has never been implemented before, there is a need to assess the performance and to consider the uncertainty of the system. The program evaluation and review technique (PERT) allows dealing with this uncertainty. Thus, this paper implements an analysis of the process of steel fabrication and makes suggestions for time-related problems arising from the analysis. The time required for steel erection by the automatic system was compared with that in the traditional method. In the result, finding out another construction process and improving robot performance were proposed to resolve the problems. The results will contribute to promoting the development of an efficient system for the new automatic construction system.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.5
• /
• pp.743-749
• /
• 2010

The primary object of this study was to develop the control algorithm and program for automatic submersible buoy which is free to move vertically within the water column by adjusting weight and buoyancy forces by air control. The experiment was performed to validate the usefulness of the program in the indoor water tank. In the experiment, the automatic submerging and surfacing of the buoy were controlled by water-pressure gauge and air control system. The buoy is raised by injecting compressed air from a compressor and then is lowered by releasing the air. The submerging and surfacing characteristics of the buoy calculated with the numerical model were similar to measurements obtained with the experiment. It was concluded that the algorithm and program could be useful in analyzing various parameters and submerging mechanisms required to design new type of automatic submersible fish cage system.

• Proceedings of the SAREK Conference
• /
• 2009.06a
• /
• pp.1209-1214
• /
• 2009

Various automatic temperature control systems have been used widely in Korea for the conservation of heating energy and the enhancement of thermal comfort in residential buildings. But the heating control performance for automatic temperature control systems extensively vary with the design and operational conditions of the heating system, the climate condition and others. It was introduced in this study a numerical calculation program package to analyze heating control characteristics of the automatic temperature control system. This package is able to analyze the room air temperature, return water temperature, supplied heating flux and flow rate, and so on. One the other hand, the simulation results were verified by comparing with the field test results.