• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.5
• /
• pp.232-242
• /
• 2005

This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in BFG represents a coarse grain block such as FIR and DCT and a port in a block may consume multiple data samples per invocation, which distinguishes our approach from behavioral synthesis and complicates the problem. In the presented design methodology, a dataflow graph with specified algorithm can be mapped to various hardware structures according to the resource allocation and schedule information. This simplifies the management of the area/performance tradeoff in hardware design and widens the design space of hardware implementation of a dataflow graph compared with the previous approaches. Through experiments with some examples, the usefulness of the proposed technique is demonstrated.

• The Korean Journal of Nuclear Medicine Technology
• /
• v.16 no.1
• /
• pp.8-11
• /
• 2012

Purpose : Among quality control items, the radiochemical impurity must be below 10% of total radioactivity. In this regard, as the recently commercialized automatic synthesis module produces a large amount of 18F-FDG, radiolysis of radiopharmaceuticals is very likely to occur. Thus, this study compared the changes in radiochemical purity regarding radiolysis of $^{18}F$-FDG according to automatic synthesis module. Materials and methods : Cyclotron (PETtrace, GE Healthcare) was used to produce $^{18}F$ and automatic synthesis module (FASTlab, Tracerlab MX, GE Healthcare) was used to achieve synthesis into FDG. For radiochemical purity, Radio-TLC Scanner (AR 2000, Bioscan), GC (Gas Chromatograph, Agilent 7890A) was used to measure the content of ethanol included in $^{18}F$-FDG. Glass board applied with silica gel ($1{\times}10cm$) was used for stationary phase while a mixed liquid formed of acetonitrile and water (ratio 19:1) was used for mobile phase. High-concentration and low-concentration $^{18}F$-FDG were produced in each synthesis module and the radiochemical purity was measured every 2 hours. Results : The purity in low-concentration (below 2.59 GBq/mL) was measured as 99.26%, 98.69%, 98.25%, 98.09% in Tracerlab MX and as 99.09%, 97.83%, 96.89%, 96.62% in FASTlab according to 0, 2, 4, 6 hours changes, respectively. The purity in high-concentration (above 3.7 GBq/mL) was measured as 99.54%, 96.08%, 93.77%, 92.54% in Tracerlab MX and as 99.53%, 95.65%, 92.39%, 89.82% in FASTlab according to 0, 2, 4, 6 hours changes, respectively. Also, ethanol was not detected in GC of $^{18}F$-FDG produced in FASTlab, while 100~300 ppm ethanol was detected in Tracerlab MX. Conclusion : Whereas the change of radiochemical purity was only 3% in low-concentration $^{18}F$-FDG, the change was rapidly increased to 10% in high-concentration. Also, higher radiolysis were observed in $^{18}F$-FDG produced in FASTlab than Tracerlab MX. This is because ethanol is included in the synthesis stage of Tracerlab MX but not in the synthesis stage of FASTlab. Thus, radiolysis is influenced by radioactivity concentration than the inclusion of ethanol, which is the radioprotector. Therefore, after producing high-concentration $^{18}F$-FDG, the content must be diluted through saline to lower concentration.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.9
• /
• pp.53-60
• /
• 2001

This paper presents a position control of a platform at the seaport cargo handling system. After brief description of the operating principles of the cargo handling system, the governing equation of the moving platform is derived. The equation is described in the state space model, and a robust H$_{\infty}$ controller to achieve position tracking of the moving platform. which can carry 200ton of containers, is formulated. In the synthesis of the controller, the weight of the container is treated as uncertain parameter. Both regulating and tracking control responses are analyzed for the loading and unloading procedures of the proposed automatic cargo handling system.

• Proceedings of the KSME Conference
• /
• 2005.11a
• /
• pp.181.1-181.1
• /
• 2005

• 한국가스학회:학술대회논문집
• /
• 1997.09a
• /
• pp.133-137
• /
• 1997

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.10
• /
• pp.832-835
• /
• 2003

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1870-1873
• /
• 2004

The objective of this study is to investigate the possibility of chemical process synthesis purely based on mathematical programming when given an objective, feed conditions, product specifications, and model equations for available process units. A method based on a state space approach is proposed, and applied to an example problem with a reactor, a heat exchanger, and a separator. The results indicate that a computer can automatically synthesize an optimal process without any heuristics or expertise in process design provided that global optimization techniques are improved to be suitable for large problems.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.433-437
• /
• 2003

Quantitative Feedback Theory (QFT) is one of effective methods of robust controller design. In QFT design we can considers the phase information of the perturbed plant so it is less conservative than $H_{\infty}$ and ${\mu}$-synthesis methods and as be shown, it is more transparent than the sensitivity reduction methods mentioned . In this paper we want to overcome the major drawback of QFT method which is lack of an automatic method for loop-shaping step of the method so we focus on the following problem: Given a nominal plant and QFT bounds, synthesize a controller that achieves closed-loop stability and satisfies the QFT boundaries. The usual approach to this problem involves loop-shaping in the frequency domain by manipulating the poles and zeros of the nominal loop transfer function. This process now aided by recently developed computer aided design tools proceeds by trial and error and its success often depends heavily on the experience of the loop-shaper. Thus for the novice and First time QFT user, there is a genuine need for an automatic loop-shaping tool to generate a first-cut solution. Clearly such an automatic process must involve some sort of optimization, and while recent results on convex optimization have found fruitful applications in other areas of control theory we have tried to use LMI theory for automating the loop-shaping step of QFT design.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.4
• /
• pp.193-200
• /
• 2014

In this paper, the prototype of one-channel gamma-ray spectroscope for automatic radiopharmaceutical systhesis system was designed and characterized. The prototype employed CZT (CdZnTe) spear detector for gamma-ray detection and employed analog-type signal processing method. A radioactive sample Co-60 was used for measuring performance of the gamma-ray spectroscope and energy spectrum is gained with bandwidth of 1173keV. The analog board is made up of SF (shaping filter) and PHA (peak and hold amplifier) for shaping CZT output signal appropriately and ADC (analog to digital converter) and FPGA (field programmable gate array) for drawing gamma-ray spectrum by counting the digitalized gamma-ray signal data.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.1
• /
• pp.51-64
• /
• 1988

A new approach to the logical design of 4NF database shceme, which can be easily automated, is proposed. The main features of the approach are : introduction of a single attribute right hand side, extension of the concept of independent relations, semantic analysis, and adaoption of dependency matrix. The underlying viewpoints of functional relationships of the approach are different from Fagin's in that we distinguish functional and multivalued dependency in terms of cardinality. An algorithm for automatic generation of fourth normal form is presented and implemented.