• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.1
• /
• pp.26-35
• /
• 2005

Generally, we employ FSMs for the design of controllers in digital systems. FSMs are Implemented with state diagrams generated from control flow. With HDL, we design and verify FSMs based on state diagrams. As the number of states in the system increases, the verification or modification processes become complicated, error prone and time consuming. In this paper, we propose a control flow oriented hardware description language at the register transfer level called Cycle-C. Cycle-C describes FSMs with timing information and control How intensive algorithms. The Cycle-C description is automatically converted into FSMs in the form of synthesizable RTL VHDL. In experiments, we design FSMs for control intensive interface circuits. There is little area difference between Cycle-C design and manual design. In addition, Cycle-C design needs only 10~50% of the number lines of manual RTL VHDL designs.

• Journal of Korean Neurosurgical Society
• /
• v.54 no.3
• /
• pp.159-163
• /
• 2013

Objective : Cerebral hyperperfusion syndrome (CHS) is a serious complication after carotid endarterectomy (CEA). However, the prevalence of CHS has decreased as techniques have improved. This study evaluates the role of strict blood pressure (BP) control for the prevention of CHS. Methods : All 18 patients who received CEA from February 2009 through November 2012 were retrospectively reviewed. All patients were routinely managed in an intensive care unit by a same protocol. The cerebral perfusion state was evaluated on the basis of the regional cerebral blood flow (rCBF) study by perfusion computed tomography (pCT) and mean velocity by transcranial doppler (TCD). BP was strictly controlled (<140/90 mm Hg) for 7 days. When either post-CEA hyperperfusion (>100% increase in the rCBF by pCT or in the mean velocity by TCD compared with preoperative values) or CHS was detected, BP was maintained below 120/80 mm Hg. Results : TCD and pCT data on the patients were analyzed. Ipsilateral rCBF was significantly increased after CEA in the pCT (p=0.049). Post-CEA hyperperfusion was observed in 3 patients (18.7%) in the pCT and 2 patients (12.5%) in the TCD study. No patients developed clinical CHS for one month after CEA. Furthermore, no patients developed additional neurological deficits related to postoperative cerebrovascular complications. Conclusion : Intensive care with strict BP control (<140/90 mm Hg) achieved a low prevalence of post-CEA hyperperfusion and prevented CHS. This study suggests that intensive care with strict BP control can prevent the prevalence of post-CEA CHS.

• KIEE International Transactions on Power Engineering
• /
• v.12A no.1
• /
• pp.31-35
• /
• 2002

This paper presents a new operation scheme of UPFC to minimize both generation costs and active power losses in a normal operation state of power system. In a normal operation, cost minimization is a matter of primary concern among operating objectives. This paper considers two kinds of costs, generation costs and transmission losses. The total generation cost of active powers can be minimized by optimal power flow, and active power losses in the transmission system can be also minimized by power flow control of UPFC incorporated with minimization of generation costs. In order to determine amounts of active power reference of each UPFC required for the cost minimization, an iterative optimization algorithm based on the power flow calculation using the decoupled UPFC model is proposed. For verification of the proposed method, intensive studies have been performed on a 3-unit 6-bus system equipped with a UPFC.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• ETRI Journal
• /
• v.39 no.4
• /
• pp.525-534
• /
• 2017

A hardware-acceleration architecture that separates virtual network functions (VNFs) and network control (called HSN) is proposed to solve the mismatch between the simple flow steering requirements and strong packet processing abilities of software-defined networking (SDN) forwarding elements (FEs) in SDN/network function virtualization (NFV) architecture, while improving the efficiency of NFV infrastructure and the performance of network-intensive functions. HSN makes full use of FEs and accelerates VNFs through two mechanisms: (1) separation of traffic steering and packet processing in the FEs; (2) separation of SDN and NFV control in the FEs. Our HSN prototype, built on NetFPGA-10G, demonstrates that the processing performance can be greatly improved with only a small modification of the traditional SDN/NFV architecture.

• Particle and aerosol research
• /
• v.12 no.1
• /
• pp.21-26
• /
• 2016

In order to realize In-line and convenient measurement for solid-gas two phase flows, Light Transmission Fluctuation (LTF) based on the random variation of transmitted light intensity, light scattering theory and cross-correlation method was presented for online measurement of particle size, concentration and velocity. The statistical relationship among transmitted light intensity, particle size and particle number in measurement zone was described by Beer-Lambert Law. Accordingly, the particle size and concentration were determined from the fluctuation signal of transmitted light intensity. Simultaneously, the particle velocity was calculated by cross-correlation analysis of two neighboring light beams. By considering the influence of concentration variation in industrial applications, the improved algorithm based on spectral analysis of transmitted light intensity was proposed to improve measurement accuracy and stability. Therefore, the online measurement system based on LTF was developed and applied to measure pulverized coal in power station and raw material in cement plant. The particle size, concentration and velocity of powder were monitored in real-time. It can provide important references for optimal control, energy saving and emission reduction of energy-intensive industries.

• Journal of Life Science
• /
• v.21 no.7
• /
• pp.1039-1045
• /
• 2011

The effects of duration and time-dependent, high-intensity exercise on hematological properties and inflammation-related parameters in rats were studied. 20, 60, and 120 min of high-intensive exercise were performed daily for 8 weeks. None of the complete blood count (CBC) factors were affected by the exercise, except for the leukocyte concentration which, in the 20 min group, showed an increase of 47% compared to the control, but this was decreased after 60 min by 30% compared to the control. As exercise was performed for 60 min or longer, serum concentrations of $Fe^{++}$, unsaturated iron biding capacity (UIBC), and total iron biding capacity (TIBC) were significantly elevated in comparison to the control, where 20 min of exercise did not show any change. Both levels of interleukin-6 (IL-6), a pro-inflammatory cytokine, and interleukin-10 (IL-10), an anti-inflammatory cytokine in the serum, were elevated in response to the high-intensity exercise, however the rate of IL-6 increase was higher than the rate of exercise intensity increase, thus the offset of inflammation might be suggested. The concentration of nitric oxide (NO) in the serum became high in response to the exercise. Overall, the current observation suggests that inflammation-like responses to high-intensity exercise might be due to high circulation of blood flow and high oxygen requirement, resulting in systemic damages. However, under the current high-intensity exercise conditions, more than 20 min of exercise might not be suggested for health care purposes.

• Proceedings of the KIPE Conference
• /
• 2001.10a
• /
• pp.497-501
• /
• 2001

Unbundled power quality service is paid much attention under the circumstances of deregulation and diversification of needs of customers for quality and price of electric power. Moreover, distributed generators (DGs) such as photovoltaic generations and wind turbines will be introduced to distribution system more and more, and reverse flow of active power has possibility to cause new problems in the distribution system such as voltage rise of distribution line and protection problem. Flexible, Reliable and Intelligent Electrical eNergy Delivery System, which is called FRIENDS, has been proposed as one of promising distribution system for such requirements, and intensive studies are under way. One of features of the system is introducing Quality Control Center (QCC) into the system for unbundled power quality service and easy installation of DGs. Two types of QCCs for such purposes are proposed, and simulation results are shown in this paper.

• Journal of Korean Society on Water Environment
• /
• v.21 no.4
• /
• pp.385-392
• /
• 2005

The control of nonpoint source pollution is essentially needed to successfully perform the Total Maximum Daily Load program. Of the various land uses in the nonpoint source, the paved areas such as a parking lot and a bridge are stormwater intensive land uses because of high imperviousness and high pollutant mass emissions. This research was performed to understand the magnitude and nature of the stormwater emissions with the purposes of quantifying stormwater pollutant concentrations and mass emission rates from a parking lot and a bridge. Two monitoring sites in Kongju city were equipped with an automatic rainfall gages and an automatic flow meter for accumulating the data such as rainfall, water quality and runoff flow rates. This paper will summarize the metal concentration changes during the storm duration and metal EMCs to characterize the concentration profiles in a parking lot and a bridge. Also a new concept, dynamic EMC, will be proposed to find the relationship between EMC and first flush effect. It can be used to determine the economical treatment criteria in best management practices.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.269-273
• /
• 2001

Semiconductor wafer fabrication is a business of high capital investment and fast changing nature. To be competitive, the production in a fab needs to be effectively planned and scheduled starting from the ramping up phase, so that the business goals such as on-time delivery, high output volume and effective use of capital intensive equipment can be achieved. In this paper, we propose Stand Alone layout and In-Line layout are analyzed and compared while varying number of device variable changes. The comparison is performed through simulation using ProSys; a window 98 based discrete system simulation software, as a tool for comparing performance of two proposed layouts. The comparison demonstrates that when the number of device variable change is small, In-Line layout is more efficient in terms of production quantity. However, as the number of device variable change is more than 14 titles, Stand Alone layout prevails over In-Line layout.