• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.11
• /
• pp.1117-1123
• /
• 2008

This paper implements dual-kernel system using standard Linux and real-time embedded Linux for the real-time control of intelligent robot systems. Such system provides more useful services including standard Linux thread that is easy to implement complicated tasks and real-time tasks for the deterministic response to velocity control. Here, an open source real-time embedded Linux, XENOMAI, is ported on embedded target board. And for interfacing with motor controller we adopted a real-time serial device driver. The real-time task was implemented with a priority to keep the cyclic control command for trajectory control. In order to validate deterministic response of the proposed system, the performance measurement of the delay in performing trajectory control with feedback loop is evaluated with non real-time standard Linux. The proposed software architecture is anticipated to take advantage of features in both standard Linux and real-time operating systems for the intelligent robot systems.

• Environmental Sciences Bulletin of The Korean Environmental Sciences Society
• /
• v.3 no.2
• /
• pp.81-89
• /
• 1999

This study estimates the correlation dimensions of the land-sea breeze phenomenon, that has a clear diurnal cycle, in order to gain a more detailed understanding of this phenomenon. The data adopted include north-south wind velocity component(v) and temperature(T) time series that were observed at Kimhae Airport and Inje University over a period of 5 days, from the 4th to the 8th of August, 1994. The embedding phase space of the time series were reconstructed from 2 to 14 dimensions, and the correlation dimensions of the attractors were then estimated. The results show that the land-sea breeze phenomenon exhibits a deterministic chaos with non-integer correlation dimension values between 2 and 3. Accordingly, 3 is the minimum number of independent variables required to model the dynamics of the landsea breeze phenomenon in the Kimhae area. Since the saturated embedding dimension, when the correlation dimension remains unchanged, is larger for the wind velocity v-component than for temperature, this indicates that wind velocity is susceptible to topology.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.715-718
• /
• 2000

Although shared memory parallel programs are designed to be deterministic both in their final results and intermediate states, the races that occur when different processes access a common memory location in an order not guaranteed by synchronization could result in unintended non-deterministic executions of the program. So, Detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. It is possible that all data races reported by other on-the-fly algorithms would disappear once the first races were removed. To detect races parallel programs with nested loops and inter-thread coordination, it must guarantee the order of synchronization operations in an execution instance. In this paper, we propose an improved restructuring method that guarantee ordering execution instance and preserve the semantics of original program. This method requires O(np) time and (s + up) space, where n is the number of total operations, s is the number of synchronization operations and p is the number of parallelism in the execution. Also, this method makes on-the-fly detection of parallel program with nested loops and inter-thread coordination more easily in space and time complexity.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.6
• /
• pp.1514-1525
• /
• 1998

Two main characteristics of VBR MPEG video traffic are different statistics according to different picture types and the periodic traffic pattern due to GOP structure. Especially, the I-pictures at the beginning of each GOP generate $$\mu$h more traffic than other pictures. When several VBR Mpeg video sources are superposed, the I-picture starting times of these sources may significantly affect the cell loss characteristics of ATM $$\mu$tiplexers. In this paper, we propse a performance model for ATM $$\mu$tiplexers with VBR MPEG video sources whose starting times are arbitrary given. For analysis, both single and superposed source traffic are modeled as NDPPs (non-deterministic periodic processes), and the ATM $$\mu$tiplexer is modeled as a U-state NDPPD/D/1/B queueing system. It is hown that the numerical results are very close to the si$$\mu$ation results. From the relationships between the starting tiem distributions and the corresponding $$\mu$tiplexer performances, some considerations for designing a scheduling policy in order to obtain the maxi$$\mu$ $$\mu$tiplexing gain are presented.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.1
• /
• pp.1-13
• /
• 2002

In Distributed Batch-processing Systems (DBSs), CPU-intensive jobs are automatically transferred and executed using idle computers across a network, there by increasing the resource usage and throughput. To be successful, the systems must guarantee the scalablility, fault-tolerance, and flexibility of dynamic configurations. In practice, however, it is very difficult to provide such capabilities in a non-deterministic environment in which the available set of resources is unpredictable because of network failures, computer failures, or voluntary withdrawal from a pool by a machine owner. In this paper, we present the design and implementation of the J-JDBS (Jini-based Java Distributed Batch-processing System) system which is based on the core Jini services like Discovery service, Lookup service, Lease service and etc. We show that the Jini core services can be very effectively used to build reliable, scalallle, fault-tolerant, and flexible DBS systems with little effort.

• Korean Journal of Construction Engineering and Management
• /
• v.1 no.1 s.1
• /
• pp.63-71
• /
• 2000

The paper considers two non-deterministic methods of analysing the risk exposure in a cost estimate The fist method(referred to as the 'conventional statistical' method) analyses cost data directly, to describe a probability distribution for total cost. The second method(referred to as the 'Monte Carlo simulation' method) interprets cost data directly, to generate a probability distribution for total costs from the descriptions of elemental cost distribution. The common practice of allowing for risk through an all-embracing contingency sum or percentage addition is challenged. Rather than excluding conventional, non-deterministic methods, they are here presented as possibly the only of effective foundation on which to risk management in cost estimating.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.1
• /
• pp.109-119
• /
• 2013

This paper presents the design of the Safety Programmable Logic Controller (SPLC) used in the Nuclear Power Plants, an analysis of a reliability for the SPLC using a markov model. The architecture of the SPLC is designed to have the multiple modular redundancy composed of the Dual Modular Redundancy(DMR) and the Triple Modular Redundancy(TMR). The operating system of the SPLC is designed to have the non-preemptive state based scheduler and the supervisory task managing the sequential scheduling, timing of tasks, diagnostic and security. The data communication of the SPLC is designed to have the deterministic state based protocol, and is designed to satisfy the effective transmission capacity of 20Mbps. Using Markov model, the reliability of SPLC is analyzed, and assessed. To have the reasonable reliability such as the mean time to failure (MTTF) more than 10,000 hours, the failure rate of each SPLC module should be less than $2{\times}10^{-5}$/hour. When the fault coverage factor (FCF) is increased by 0.1, the MTTF is improved by about 4 months, thus to enhance the MTTF effectively, it is needed that the diagnostic ability of each SPLC module should be strengthened. Also as the result of comparison the SPLC and the existing safety grade PLCs, the reliability and MTTF of SPLC is up to 1.6-times and up to 22,000 hours better than the existing PLCs.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.11 no.2
• /
• pp.96-115
• /
• 2007

Background and Purpose: Electroencephalogram(EEG) is a multi-scaled signal consisting of several components of time series with different origins. Recently, because of the absence of an identified metric which quantifies the complex amount of information, there are many limitations in using such a linear method. According to chaos theory, irregular signals of EEG can also result from low dimensional deterministic chaos. Chaotic nonlinear dynamics in the EEG can be studied by calculating the correlation dimension. The aim of this study is to analyze correlation between the correlation dimension of EEG and psychological Test (TCI). Methods: Before and after moxibustion treatment, EEG raw data were measured by moving windows during 15 minutes. The correlation dimension(D2) was calculated from stabilized 40 seconds in 15 minutes data. 8 channels EEG study on the Fp, F, T, P was carried out in 30 subjects. Results: Correlation analysis of TCI test is calculated with deterministic non-linear data and stochastic non-linear data. 1. Novelty seeking in temperament is positive correlated with D2 of EEG on Fp. 2. reward dependence in temperament is positive correlated with D2 of EEG on T3,T4 and negative correlated with D2 of EEG on P3,P4. 3. self directedness in character is positive correlated with D2 of EEG on F4, P3. 4. Harm avoidance is negative correlated with D2 of EEG on Fp2, T3, P3. Conclusion: These results suggest that nonlinear analysis of EEG can quantify dynamic state of brain abolut psychological Test (TCI).

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.17 no.1
• /
• pp.95-106
• /
• 2019

The decommissioning of nuclear power plants should be prepared by quantitative and qualitative risk assessment. Radiological and non-radiological hazards arising during decommissioning activities must be assessed to ensure the safety of decommissioning workers and the public. Decommissioning experiences by U.S. operators have mainly focused on deterministic risk assessment, which is standardized by the U.S. Nuclear Regulatory commission (NRC) and focuses only on the consequences of risk. However, the International Atomic Energy Agency (IAEA) has suggested an alternative to the deterministic approach, called the risk matrix technique. The risk matrix technique considers both the consequence and likelihood of risk. In this study, decommissioning stages, processes, and activities are organized under a work breakdown structure. Potential accidents in the decommissioning process of NPPs are analyzed using the composite risk matrix to assess both radiological and non-radiological hazards. The levels of risk for all potential accidents considered by U.S. NPP operators who have performed decommissioning were estimated based on their consequences and likelihood of events.

• ETRI Journal
• /
• v.31 no.1
• /
• pp.86-88
• /
• 2009

In this letter, we consider an m-node tandem queue (queues in series) with a Poisson arrival process and either deterministic or non-overlapping service times. With the assumption that each node has a finite buffer except for the first node, we show the non-increasing convex property of stationary waiting time with respect to the finite buffer capacities. We apply it to an optimization problem which determines the smallest buffer capacities subject to probabilistic constraints on stationary waiting times.