• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Journal of the Korean Ceramic Society
• /
• v.32 no.7
• /
• pp.777-782
• /
• 1995

The scale up production test for the hydrothermal synthesis of clay mineral from the anorthite, which is distributed in San Chung-District of Korea and called as the ground rock for halloysite-kaolin, has been investigated by using the gaitator type reactor. The automatic control system has been developed and applied for the more effective producibility and the reduction in the defect of this intermittent batch processing property, and finally for the feasibility of this system in actual use. It was observed that this agitator type reactor can reduce the synthesis reaction tme from 5 days to 3 days, only with the condition of 20rpm. The automatic control system could regulate the vessel temperature and pressure precisely at an optimum condition during the treatment. Therefore, from these test results the application-possibility for this system was found to be feasible in actual use.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.822-826
• /
• 2008

A linkage mechanism is a device to convert an input motion into a desired output motion. Traditional linkage mechanism designs are based on trial and error approaches so that size or shape changes of an original mechanism often result in improper results. In order to resolve these problems, an improved automatic mechanism synthesis method that determines the linkage type and dimensions by using an optimization method during the synthesis process has been proposed. For the synthesis, a planar linkage is modeled as a set of rigid blocks connected by zero-length translational springs with variable stiffness. In this study, the sizes of rigid blocks were also treated as design variables for more general linkage synthesis. The values of spring stiffness and the size of rigid block yielding a desired output motion at the end-effecter are found by using an optimization method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.613-618
• /
• 1986

In this study a s/w system(HENSPIN) for the automatic synthesis of HEN(heat exchanger network) was developed based on Pinch Design Method. The synthesized HEN by HENSPIN are satisfying performance targets such as minimum utility usage with as few as possible capital items. The invented network is near optimal in capital and operating cost. It will be used as initial structure for evolution to the structure which has optimal operability.

• IE interfaces
• /
• v.24 no.3
• /
• pp.187-195
• /
• 2011

The automatic radiopharmaceutical module consists of several 2-way valves, couple of syringes, gas supply unit, heating(cooling) unit and sensors to control the chemical reagents as well as to help the chemical reaction. In order to control the actuators of radiopharmaceutical module, the process is tabulated using spread sheet as like excel. Unlike the common program, a trivial error is too critical to allowed in the process because the error can lead to leak the radioactive reagent and to cause the synthesis equipment failure during synthesizing. Hence, the synthesis process has been validated using graphic simulation while the operator checks the whole process visually and undergoes trial and error. The verification of the synthesis process takes a long time and has a difficulty in finding the error. This study presents a methodology to verify the process algebraically while the radiopharmaceutical module is converted to the network model. The proposed method is validated using actual synthesis process.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.105-108
• /
• 2002

Although asynchronous designs have become a promising way to develop complex modern digital systems, there is a few complete design framework for VLSI designers who wish to use automatic CAD tools. Especially, high-level synthesis is not widely concerned until now. In this paper we Proposed a method for high-level synthesis of asynchronous systems as a part of an asynchronous design framework. Our method performs scheduling, allocation, and binding, which are three subtasks of high-level synthesis, in simultaneous using a transformational approach. To deal with complexity of high-level synthesis we use neighborhood search algorithm such as Tabu search.

• Journal of the Korean Institute of Gas
• /
• v.2 no.1
• /
• pp.53-58
• /
• 1998

By knowledge-based approach, the SDG(Signed Directed Graph) is automatically synthesized, which is commonly used to represent the causal effects between process variables. Automatic synthesis of SDG is progressed by two steps : (1)inference step uses knowledge base and (2)verification step uses Loop-Verifier. First, Topology and Knowledge Base are constructed by using the information on equipment. And then, Primary-SDG is synthesized by Character Pattern Matching between Variable-Relation-Representation generated by using Topology and Variable-Tendency-Data contained in Knowledge Base. Finally, a modified SDG is made after the Primary-SDG is verified by Loop-Verifier.

• Journal of Radiopharmaceuticals and Molecular Probes
• /
• v.8 no.2
• /
• pp.87-93
• /
• 2022

[¹⁸F]FDG is known as the most widely used radiopharmaceutical in the imaging field of nuclear medicine worldwide. With the introduction of PET equipment, the demand for [¹⁸F]FDG has increased and the production volume has also increased. However, in order to increase production, the use of ¹⁸F radioisotope must be increased or [¹⁸F]FDG must be synthesized in high yield. Therefore, in order to meet the high yield and purity of radiopharmaceuticals, a radiopharmaceutical automatic synthesizer was required. As the use of [¹⁸F]FDG increased, automated synthesizer manufacturers supplied various types of radiopharmaceutical automated synthesizers to the market. In this study, we developed a commercialized [¹⁸F]FDG radiopharmaceutical automatic synthesizer (sCUBE FDG) using a disposable cassette type that complies with GMP developed by FutureChem, a leading radiopharmaceutical company. We used sCUBE FDG to verify the production process, radiopharmaceutical's quality (radiochemical purity, etc.), and radiochemical yield of [¹⁸F]FDG. As a result of optimizing the automatic synthesis process and synthesizing a total of 30 times, the production time was 35 ± 3 minutes and the average production yield was 65.6%.

• MALSORI
• /
• no.43
• /
• pp.137-150
• /
• 2002

Speech segmentation at phoneme level is important for corpus-based text-to-speech synthesis. In this paper, we examine acoustic modeling methods to improve the performance of automatic speech segmentation system based on Hidden Markov Model (HMM). We compare monophone and triphone models, and evaluate several model training approaches. In addition, we employ an energy-based postprocessing scheme to make correction of frequent boundary location errors between silence and speech sounds. Experimental results show that our system provides 71.3% and 84.2% correct boundary locations given tolerance of 10 ms and 20 ms, respectively.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.991-994
• /
• 2002

Photon mapping is an efficient global illumination technique for realistic image synthesis that has been developed in computer graphics. In this paper, an adaptive photon mapping in the use of automatic differentiation is proposed. Since the automatic differentiation is used when photons emit from the light sources through the scene, we can check the variation of surrounding shape. Therefore, we can decrease the number of photons and generate an image in relatively low computational cost.