• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.17 no.1
• /
• pp.31-37
• /
• 2024

In this study, we propose a machine vision-based pedestrian signal detection algorithm that operates efficiently even in computing resource-constrained environments. This algorithm demonstrates high efficiency within limited resources and is designed to minimize the impact of ambient lighting by sequentially applying HSV color space-based image processing, binarization, morphological operations, labeling, and other steps to address issues such as light glare. Particularly, this algorithm is structured in a relatively simple form to ensure smooth operation within embedded system environments, considering the limitations of computing resources. Consequently, it possesses a structure that operates reliably even in environments with low computing resources. Moreover, the proposed pedestrian signal system not only includes pedestrian signal detection capabilities but also incorporates IoT functionality, allowing wireless integration with a web server. This integration enables users to conveniently monitor and control the status of the signal system through the web server. Additionally, successful implementation has been achieved for effectively controlling 50W LED pedestrian signals. This proposed system aims to provide a rapid and efficient pedestrian signal detection and control system within resource-constrained environments, contemplating its potential applicability in real-world road scenarios. Anticipated contributions include fostering the establishment of safer and more intelligent traffic systems.

• Journal of Korea Multimedia Society
• /
• v.15 no.9
• /
• pp.1086-1092
• /
• 2012

In this paper, we propose the rate control scheme reducing frame skipping at low bit-rate. As the method considering lossy parts in the compressing process at the existing scheme, the proposed scheme is improved by subtracting the converted bits from the target bit-rate of the current frame. The converted bits are the value resulted from multiplying the ratio of the current frame MAD to the previous frame MAD by the compressed bits changed from the remaining values after compressing the previous frame.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.5 no.3
• /
• pp.1-12
• /
• 1985

The linear tracking theory has a great merit that its solution can be analytically obtained under the quadratic performance measure. However, this theory has not been applied to reservoir system operation yet, because the tracking assumes no boundness of the control and state vectors. This paper presents deriving the optimal control law and solving the Riccati equations for the discrete time horizon, and its application to the real system. And the additional necessary conditions for the saturated vectors of the control and/or state are also derived using the concept of the Pontryagin's minimum principle. The logic and its algorithm in this work are not so positive to give a general solution. In fact, it is a matter of modeling in terms of relative magnitude of disturbance and time-step size. However its application to the real environment of the Han river, which comprises six major reservoirs in series/parallel, demonstrated satisfactory results over 36 monthly stages.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.4
• /
• pp.1854-1868
• /
• 2018

A wireless body-sensor network (WBSN) refers to a network-configured environment in which sensors are placed on both the inside and outside of the human body. The sensors are much smaller and the energy is more constrained when compared to traditional wireless sensor network (WSN) environments. The critical nature of the energy-constraint issue in WBSN environments has led to numerous studies on the reduction of energy consumption of WBSN sensors. The transmission-power-control (TPC) technique adjusts the transmission-power level (TPL) of sensors in the WBSN and reduces the energy consumption that occurs during communications. To elaborate, when transmission sensors and reception sensors are placed in various parts of the human body, the transmission sensors regularly send sensor data to the reception sensors. As the reception sensors receive data from the transmission sensors, real-time measurements of the received signal-strength indication (RSSI), which is the value that indicates the channel status, are taken to determine the TPL that suits the current-channel status. This TPL information is then sent back to the transmission sensors. The transmission sensors adjust their current TPL based on the TPL that they receive from the reception sensors. The initial TPC algorithm made linear or binary adjustments using only the information of the current-channel status. However, because various data in the WBSN environment can be utilized to create a more efficient TPC algorithm, many different types of TPC algorithms that combine human movements or fuse TPC with other algorithms have emerged. This paper defines and discusses the design and development process of an efficient TPC algorithm for WBSNs. We will describe the WBSN characteristics, model, and closed-loop mechanism, followed by an examination of recent TPC studies.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.5
• /
• pp.101-106
• /
• 2011

In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.

• Journal of Navigation and Port Research
• /
• v.33 no.6
• /
• pp.437-442
• /
• 2009

The PID controller type autopilot is applied to support shipmaneuvering for course-keeping and heading control. A control constants of autopilot system should be evaluated by promoting energy loss (fuel consumption) from the view point of economic efficiency of the ship. This paper is obtained control constants of autopilot system from the RCGA pursued the minimum energy loss. In addition, the controller which is designed involves a constrained optimization problem. The performance of the proposed method is demonstrated through a set of simulation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1057-1069
• /
• 2017

The applications of Wireless Sensor Networks (WSN) are progressively adopting for various smart home services such as home automation, controlling smart home household appliances, constrained application services in a smart home, etc. However, enabling a seamless and ubiquitous WSN communication between the smart home appliances is still a challenging job. Therefore, in this paper, we propose a smart home control system using an Actuator based ZigBee networking (AZNET). The working of the proposed system is further divided into three phases, 1) an interference avoidance system is adopted to mitigate the effect of interference caused due to the co-existence of IEEE 802.11x based wireless local area networks (WLAN) and WSN, 2) a sensor-based smart light control system is used to fulfill the light requirement in the smart home using the sunlight with light source, and 3) an autonomous home management system is used to regulate the usage time of the electronic appliances in the smart home. The smart is tested in real time environment to use the sunlight with light sources in a various time of the day. Similarly, the performance of the proposed smart home is verified through simulation using C# programming language. The results and analysis revealed that the proposed smart home is less affected by the interference and efficient in reducing the energy consumption of the appliances available in the smart home scenario.

• Journal of the Korea Society for Simulation
• /
• v.25 no.1
• /
• pp.1-9
• /
• 2016

This study focuses on the air to air missile control fin planform optimization for the minimizing hinge moment with the considering phenomena of fluid and structure simultaneously. The fluid-structure interaction method is applied for the fluid and structure phenomena simulation of the control fins. A transient-loosely coupled method is used for the fluid-structure interaction simulation because it is suited for using each fluid and structure dedicated simulation software. Searching global optimization point is required many re-calculation therefore in this study, a mathematical model is applied for rapidly calculation. The face centered central composite method is used for generating design points and the 2nd polynomial response surface is sued for generating mathematical model. Global optimization is performed by using the generic algorithm. An objective function is the minimizing travel distance of the center of pressure between Mach 0.7 and 2.0 condition. Finally, the objective function of optimized planform is reduced 7.5% than the baseline planform with satisfying constrained conditions.

• The Journal of the Acoustical Society of Korea
• /
• v.15 no.2
• /
• pp.21-32
• /
• 1996

The performance of the energy density control algorithm for controlling a broadband noise is evaluated in a one-dimensional enclosure. To avoid noncausality problem of a control filter, which often happens in a frequency domain optimization, analyses presented in this paper are undertaken in the time domain. This approach provides the form of the causally constrained optimal controller. Numerical results are presented to predict the performance of the active noise control system, and indicate that imp개ved global attenuation of the broadband noise can be achieved by minimizing the energy density, rather than the squared pressure. It is shown that minimizing the energy density at a single location yields global attenuation results that are comparable to minimizing the potential energy. Furthermore, unlike the squared pressure control, the energy density control does not demonstrate any dependence on the error sensor location for this one-dimensional field. A practical implementation of the energy-based control algorithm is presented. Results show that the energy density control can be implemented using the two sensor technique with a tolerable margin of performance degradation.