• Journal of the Korea Society for Simulation
• /
• v.10 no.4
• /
• pp.65-75
• /
• 2001

This study presents a heuristic algorithm for buffer allocation in FMS(Flexible Manufacturing System). The buffers, which are finite resources in FMS, are responsible for improvement of an overall system utilization. But, until now, the study for buffer allocation in FMS are rarely conducted because of the complexity in FMS. Most studies for buffer allocation had been addressed to the simple production line system. The presented algorithm uses a simulation for the description of system complexity and uses a genetic algorithm for finding better buffer allocation. Lastly, we compare performance of the presented algorithm with that of a simple heuristic, and analyze the experiment results.

• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.13-24
• /
• 2003

In this study, we propose a scheduling analysis method of the Flexible management system using the transitive matrix. The Scheduling problem is a combination-optimization problem basically, and a complexity is increased exponentially for a size of the problem. To reduce an increase of a complexity, we define that the basic unit of concurrency (short BUC) is a set of control flows based on behavioral properties in the net. And we propose an algorithm to divide original system into some BUC. To sum up, we divide a petri net model of the Flexible management system Into the basic unit of concurrency through the division algorithm using the transitive matrix. Then we apply it to the division-scheduling algorithm to find an efficient scheduling. Finally, we verify its efficiency with an example.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1736-1739
• /
• 2002

The advanced in semiconductor, hardware, and software technologies enables the integration of more com- plex systems and the increasing design complexity. As system design complexity becomes more complicated, System-level design based on the If block and processor model is more needed in most of the RTL level or low level. In this paper, we present a novel approach fur the system-level design, which satisfies the various required constraints and an optimization method of image encoder based on codesign of function, algorithm, and architecture. In addition, we show an MPEG-4 encoder as a design case study. The best tradeoffs between algorithm and architecture are necessary to deliver the design with satisfying performance and area constraints. The evaluations provide the effective optimization of motion estimation, which is in charge of an amount of performance in the MPEG-4 encoder module.

• Journal of Mechanical Science and Technology
• /
• v.20 no.10
• /
• pp.1527-1533
• /
• 2006

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.

• 한국정보통신설비학회:학술대회논문집
• /
• 2008.08a
• /
• pp.12-16
• /
• 2008

In this paper, we study precoding techniques for co-channel interference suppression in multiuser MIMO systems. DPC is optimal techniques to achieve the system capacity of multiuser MIMO downlink channels. DPC is not proper in practical wireless systems because complexity is very high. So block diagonal precoding for multiuser MIMO downlink channel is studied. The block diagonal precoding is used to suppress co-channel interference between multiuser. Block diagonal precoding method, whose complexity is reduced by modified null space operation, change multiuser MIMO channel to multiple single-user MIMO channel. We also use V-BLAST decoder in receiver. V-BLAST decoder can achieve increased system capacity in proportion to the number of users. We show improved system performance by using computer simulation.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.4
• /
• pp.107-112
• /
• 2019

Failure testing is a test that verifies that the system is operating in accordance with failure response requirements. A typical failure test approaches the operating system by identifying and testing system problems caused by unexpected errors during the operational phase. In this paper, we study how to evaluate these Failure at the software development stage. Evaluate the probability of failure due to code changes through the complexity and duplication of the code, and evaluate the probability of failure due to exceptional situations with bugs and test coverage extracted from static analysis. This paper studies the possibility of failure based on the code quality of software development stage.

• Journal of Aerospace System Engineering
• /
• v.6 no.3
• /
• pp.7-12
• /
• 2012

The contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. If the system safety assessment is to substantiate that the developed products are 'safe enough' to be taken into use, then the system safety assessment should be planned and managed to provide the necessary assurance that all relevant hazards and failure conditions have been identified and that all significant combinations of hazards and failures which could cause those conditions have been considered. The assessment must assist the designer and management in making decisions. It must make clear what the critical features of each system are and upon which special manufacturing techniques, inspection, testing, crew drills and maintenance practice they are critically dependent. This paper has prepared to study on promoting the efficiency of aircraft system safety assessment and to present how to compile system safety assessment strategy.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.2
• /
• pp.65-72
• /
• 2007

As embedded system has strict cost and space constraints, it is impossible to apply conventional fault-tolerant techniques directly for increasing the dependability of embedded system. In this paper, we propose software fault-tolerant mechanism which requires only minimum redundancy of system component. We define an utility metric that reflects the dependability of each embedded system component, and then measure the defined utility of each reconfiguration combinations to provide fault tolerance. The proposed utility evaluation process shows exponential complexity. However we reduce the complexity by hierachical subgrouping at the software level of each component. When some components of embedded system are tailed, reconfiguration operation changes the system state from current faulty state to pre-calculated one which has maximum utility combination.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2002.05a
• /
• pp.117-120
• /
• 2002

Electrical power system has very complexity problem that it is plan measurement system to achieve Harmonic State Estimation (HSE). This complexity problem depends on discord of necessary accuracy, certainty of noise that exist in data communication damage and converter, adaptability of network modification and minimum of expense size of system, estimated monitering. Also, quantity of available measurement equipment for harmonic measurement has been limited. Therefore, systematic method that choose measurement location for harmonic state estimation. This paper is that see proposed HSE that use Observability Analysis(OA) for harmonic state estimation of electrical power system. OA depends on measurement number, measurement location and measurement form here, it is analysis method that depend on network form and admittance of the system. OA used achieve harmonic state estimation that it is Applied to New Zealand electrical power system to prove validity of HSE algorithm that propose. This study result about harmonic state estimation of electrical power system displayed very economical and effective method by OA.

• Journal of KIISE
• /
• v.44 no.11
• /
• pp.1178-1193
• /
• 2017

It is very important to understand system behaviors in collective pattern for each knowledge domain. However, there are structural limitations to represent collective behaviors because of the size of system components and the complexity of their interactions, causing the state explosion problem. Further composition with other systems is mostly impractical because of exponential growth of their size and complexity. This paper presents a practical method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Firstly, the ontology defines each collective behavior of a system from active ontology. Secondly, the behaviors are formed in a quantifiably abstract lattice, called common regular expression. Thirdly, a lattice can be composed with other lattices based on quantifiably common elements. The method can be one of the most innovative approaches in representing system behaviors in collective pattern, as well as in minimization of system states to reduce system complexity. For implementation, a prototype tool, called PRISM, has been developed on ADOxx Meta-Modelling Platform.