• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.305-312
• /
• 2014

IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

• Journal of IKEEE
• /
• v.15 no.1
• /
• pp.43-48
• /
• 2011

Decision problem called an optimal release policies, after testing a software system in development phase and transfer it to the user, is studied. The infinite failure non-homogeneous Poisson process models presented and propose an optimal release policies of the life distribution applied extreme distribution which used to find the minimum (or the maximum) of a number of samples of various distributions. In this paper, discuss optimal software release policies which minimize a total average software cost of development and maintenance under the constraint of satisfying a software reliability requirement. In a numerical example, extreme value distribution as another alternative of existing the Poisson execution time model and the log power model can be verified using inter-failure time data.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.4
• /
• pp.45-50
• /
• 2014

In this paper, we proposed a method using the user mobile device to overcome the interference constraint without building a cooperative communication system. In addition, in order to mitigate interference, we apply the user mobile device selection method, and then exploit power allocation scheme in the user mobile device. The proposed protocol is analyzed in the Rayleigh fading environment, and the performance system is evaluated in terms of the bit error rate and the outage probability. The simulation results showed that when the proposed transmission algorithm is applied, the interference can be mitigated. Further, network overload problems can be solved in the weak channel interference. Therefore, we can increase the network capacity without additional relay.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.5
• /
• pp.998-1013
• /
• 2013

Wireless wearable sensor networks have emerged as a promising technique for human motion tracking due to the flexibility and scalability. In such system several wireless sensor nodes being attached to human limb construct a wearable sensor network, where each sensor node including MEMS sensors (such as 3-axis accelerometer, 3-axis magnetometer and 3-axis gyroscope) monitors the limb orientation and transmits these information to the base station for reconstruction via low-power wireless communication technique. Due to the energy constraint, the high fidelity requirement for real time rendering of human motion and tiny operating system embedded in each sensor node adds more challenges for the system implementation. In this paper, we discuss such challenges and experiences in detail during the implementation of such system with wireless wearable sensor network which includes COTS wireless sensor nodes (Imote 2) and uses TinyOS 1.x in each sensor node. Since our system uses the COTS sensor nodes and popular tiny operating system, it might be helpful for further exploration in such field.

• Journal of Communications and Networks
• /
• v.17 no.1
• /
• pp.1-11
• /
• 2015

In this paper, the transmission of an improper-complex second-order stationary data sequence is considered over a strictly band-limited frequency-selective channel. It is assumed that the transmitter employs linear modulation and that the channel output is corrupted by additive proper-complex cyclostationary noise. Under the average transmit power constraint, the problem of minimizing the mean-squared error at the output of a widely linear receiver is formulated in the time domain to find the optimal transmit and receive waveforms. The optimization problem is converted into a frequency-domain problem by using the vectorized Fourier transform technique and put into the form of a double minimization. First, the widely linear receiver is optimized that requires, unlike the linear receiver design with only one waveform, the design of two receive waveforms. Then, the optimal transmit waveform for the linear modulator is derived by introducing the notion of the impropriety frequency function of a discrete-time random process and by performing a line search combined with an iterative algorithm. The optimal solution shows that both the periodic spectral correlation due to the cyclostationarity and the symmetric spectral correlation about the origin due to the impropriety are well exploited.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2008.11a
• /
• pp.31-34
• /
• 2008

양방향 중계 채널(two-way relay channel)은 2명의 사용자가 중계기(relay)의 도움을 받아 서로 정보를 주고받는 통신 채널이다. 중계기에서는 각각의 사용자로부터 독립적으로 수신한 두 데이터 패킷에 네트워크 코딩 기법을 적용하고, 이를 통해 만든 패킷을 두 사용자에게 동시에 전송한다. 따라서 양방향 중계 채널에서는 기존의 협력 통신에 비해 보다 효율적인 자원의 사용이 가능하다. 한편, 다중 중계기 환경에서의 중계기 선택 기반 전송 방식은 시스템의 전력 제한(power constraint), 전송 패킷의 동기화(synchronization) 문제 등을 고려할 때 다중 중계기 기반 전송 방식보다 우수한 성능을 얻을 수 있다. 본 논문에서는 양방향 다중 중계기 채널에서 중계기 선택 기법을 제안한다. 양방향 중계 채널에서는 수신한 두 신호의 결합을 위해 중계기에서 네트워크 코딩 기법을 적용함으로써 중계기의 부담이 보다 증가하는 특징이 있다. 또한, 중계기는 신호 전송 시 두 사용자 모두에게 전송하게 되고 이로 인해 두 수신지와의 채널 조건을 모두 고려하여야 한다. 따라서 중계기 선택은 데이터 패킷의 전송이 시작되기 전에 분산된 방식(distributed method)으로 이루어지며, 각각의 사용자와 중계기 간 일시적(instantaneous) 채널 이득을 바탕으로 사용자-사용자 간(end-to-end) 경로 조건의 최대값을 계산하는 메트릭(metric)을 중계기 선택 기준으로 사용한다. 모의실험을 통해 제안된 중계기 선택 기법이 중계기의 개수에 해당하는 다이버시티 이득을 얻을수 있음을 보여준다.

• Journal of computational fluids engineering
• /
• v.4 no.1
• /
• pp.8-18
• /
• 1999

In devising a numerical approximation for the convective spatial transport of a fluid mechanical quantity, it is noted that the convective motion of a scalar quantity occurs in one-way, or from upstream to downstream. This consideration leads to a new scheme termed a pure upwind difference scheme (PUDS) in which an estimated value for a fluid mechanical quantity at a control surface is not influenced from downstream values. The formal accuracy of the proposed scheme is third order accurate. Two typical benchmark problems of a wall-driven fluid flow in a square cavity and a buoyancy-driven natural convection in a tall cavity are computed to evaluate performance of the proposed method. for comparison, the widely used simple upwind scheme, power-law scheme, and QUICK methods are also considered. Computation results are encouraging: the proposed PUDS sensitized to the convection direction produces the least numerical diffusion among tested convection schemes, and, notable improvements in representing recirculation of fluid stream and spatial change of a scalar. Although the formal accuracy of PUDS and QUICK are the same, the accuracy difference of approximately a single order is observed from the revealed results.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10a
• /
• pp.124-140
• /
• 1995

The merit of fuzzy rule based systems stems from their capability of encoding qualitative knowledge of experts into quantitative rules. Recent advancement in automatic tuning or self-organization of fuzzy rules from experimental data further enhances their power, allowing the integration of the top-down encoding of knowledge with the bottom-up learning of rules. In this paper, methods of self-organizing fuzzy rules and of performing defuzzification and inference is presented based on a multi-resolution radial basis function network. The network learns an arbitrary input-output mapping from sample distribution as the union of hyper-ellipsoidal clusters of various locations, sizes and shapes. The hyper-ellipsoidal clusters, representing fuzzy rules, are self-organized based of global competition in such a way as to ensute uniform mapping errors. The cooperative interpolation among the multiple clusters associated with a mapping allows the network to perform a bidirectional many-to-many mapping, representing a particular from of defuzzification. Finally, an inference engine is constructed for the network to search for an optimal chain of rules or situation transitions under the constraint of transition feasibilities imposed by the learned mapping. Applications of the proposed network to skill acquisition are shown.

• Aerospace Engineering and Technology
• /
• v.6 no.1
• /
• pp.103-108
• /
• 2007

Eurostar 3000 AOCS is optimized for telecommunication mission with no strong requirement on attitude stability and has therefore to be upgraded to comply with COMS high stability requirements for the optical observations. This COMS configuration constraint induces specificities for the wheel. The aim of this analysis is to verify the electrical compatibility of the interfaces which exist between COMS wheels and external equipments. For each interface, this study checked the compatibility between equipments for the power links, commands, digital telemetry, analog telemetry, and failure condition or AIT errors. In addition with this interface compatibility verification, this study outputs electrical and manufacturing recommendations to be applied at harness level.

• Korean Journal of Social Welfare
• /
• v.41
• /
• pp.68-92
• /
• 2000

The purpose of this study is to analyze the determinants of social welfare expenditure in local government. The period of 1995 through 1998 data in Seoul, 6 other metropolitan areas, and 9 provinces (Do) were selected and pooled as unit of analysis and total 8 independent variables were selected based on the theoretical background and previous studies. The pooled cross-sectional time-series regression using SPSS program was adapted for the analysis. Among selected independent variables, the rate of economic expenditure to the local government expenditure, the rate of financial self-reliance, and the increase rate of social welfare expenditure to the previous year has been played a significant role in the rate of social welfare expenditure to the total expenditure. Both the rate of economic expenditure and rate of financial self-reliance have had a negative impacts on the rate of social welfare expenditure and the increase rate of social welfare expenditure have affected the rate of social welfare expenditure positively. Therefore, the variables based on the economic constraint theory as well as incrementalism perspective gives greater explanatory power of the social welfare expenditure than the variables on the political choice theory in Korean local government.