• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권1호
• /
• pp.26-35
• /
• 2005

일반적으로 디지털 시스템에서 시스템의 제어부 설계를 위해 FSM이 많이 사용된다. FSM은 제어흐름(Control Flow)으로부터 생성된 상태 다이어그램에 기반하여 구현된다. 설계자는 상태 다이어그램을 이용하여, HDL로 FSM을 설계하고 검증한다. FSM의 상태의 수가 증가할수록, FSM을 검증하거나 변경하는 작업은 매우 복잡해지고 오류가 많이 발생하며 많은 시간을 필요로 한다. 따라서 본 논문에서는 레지스터 전송 수준에서 제어흐름중심으로 하드웨어를 기술하는 언어인 Cycle-C를 제안한다. Cycle-C는 제어 흐름에 시간 정보를 더하여 FSM을 기술한다. Cycle-C로 표현된 FSM은 합성 가능한 VHDL 코드로 자동으로 변환된다. 실험에서는, 인터페이스 회로들에 대한 FSM을 비교 예제로 삼았다. Cycle-C를 이용한 설계와 설계자가 직접 RTL VHDL로 설계한 것은 비슷한 면적을 보였다. Cycle-C를 이용하면 설계자가 직접 기술한 RTL VHDL 행수의 약 10～50%만으로 동일한 동작에 대한 기술을 할 수 있었다.

• Journal of Korean Neurosurgical Society
• /
• 제54권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
• /
• 제12A권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
• /
• 제15권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
• /
• 제39권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.

• 한국입자에어로졸학회지
• /
• 제12권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.

• 생명과학회지
• /
• 제21권7호
• /
• pp.1039-1045
• /
• 2011

고강도운동 시간이 레트의 혈액학적 조성과 염증관련 인자의 변화에 미치는 영향을 연구하였다. 고강도운동을 매일 20, 60, 그리고 120분 동안 8주간 실시하였다. 거의 모든 혈액세포수의 측정에 있어서 고강도운동이 미치는 영향은 거의 찾아볼 수 없었으나 백혈구의 경우 대조군보다 47% 더 증가한 것으로 나타났고 60분 이후로는 대조군의 70% 수준까지 감소하였다. 60분 혹은 그 이상의 시간 동안 운동을 했을 경우 혈청 내 $Fe^{++}$, UIBC, 그리고 TIBC수준이 대조군에 비해 유의성 있게 증가한 반면 20분간의 운동에서는 이들의 변화를 볼 수 없었다. 염증촉진성 사이토카인인 IL-6와 항염증성 사이토카인인 IL-10 모두의 혈청 내 수준이 고강도운동에 의해 증가하였으나 운동시간 대비 IL-6의 증가폭이 훨씬 높은 것으로 보아 염증반응의 내재 가능성을 보여주었다. 혈청 내의 인터페론-감마는 20분과 60분의 고강도운동에서 증가하였으나 120분에서는 그 수준이 대조군보다 낮아졌다. 혈청내의 nitric oxide 농도는 고강도운동에 의해 높아졌다. 전반적으로, 본 연구에서 보여진 장시간의 고강도운동에 의한 유사염증 반응은 혈류의 상승과 산소요구량이 높아진 결과로 사료되며 본 연구의 조건하에서는 고강도의 운동은 단시간운동이 건강관리에는 도움이 되는 것으로 사료된다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2001년도 Proceedings ICPE 01 2001 International Conference on Power Electronics
• /
• 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.

• 한국물환경학회지
• /
• 제21권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• 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.