• 한국시뮬레이션학회논문지
• /
• 제10권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.

• 한국시뮬레이션학회논문지
• /
• 제12권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• 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
• /
• 제20권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년도 정보통신설비 학술대회
• /
• 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.

• 한국컴퓨터정보학회논문지
• /
• 제24권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.

• 항공우주시스템공학회지
• /
• 제6권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.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권2호
• /
• pp.65-72
• /
• 2007

임베디드 시스템의 신인도(Dependability)를 높이기 위해 기존 컴퓨터시스템에서 주로 사용되는 결함허용(Fault-tolerant) 기법을 그대로 적용시키는 것은 임베디드 시스템의 엄격한 비용 제약과 설치공간 부족 등을 고려할 때 적합하지 않다. 본 논문에서는 각 시스템 구성요소(Component)들의 여분(Redundancy)을 최소한도로 사용하는 임베디드 시스템에 적합한 소프트웨어 결함허용 기법을 제안한다. 이를 위하여 임베디드 시스템의 신인도를 반영하기 위한 기준인 유용도(Utility) 척도를 정의하고, 실제 시스템의 결함허용을 위해 각각의 시스템 구성요소들의 재구성(Reconfiguration) 조합에 대한 유용도 평가를 수행하였다. 이러한 유용도 평가는 일반적으로는 지수복잡성(Exponential Complexity)을 가지게 되나, 본 논문에서는 각각의 구성요소에 대한 소프트웨어 수준의 계층적 그룹화 개념을 이용하여 복잡도를 크게 감소시켰다. 이를 통해 임베디드 시스템의 일부 부품에 결함이 발생했을 시, 시스템의 고장(Failure)을 방지 할 수 있도록 전체 시스템 단계에서 가능한 최대 유용도를 제공하는 구성조합으로의 재구성 작업을 가능하게 하였다.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2002년도 춘계합동학술대회 논문집
• /
• 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.

• 정보과학회 논문지
• /
• 제44권11호
• /
• pp.1178-1193
• /
• 2017

지식 도메인에 대한 집단적인 패턴에서 시스템의 행위를 이해하는 것은 중요하다. 그러나 시스템의 크기, 상호작용의 복잡성으로 집단 행위를 표현하는데 구조적인 어려움이 있으며, 상태 폭발 문제가 발생한다. 또한, 다른 시스템과의 합성은 시스템의 크기와 복잡성이 기하급수적으로 증가하기 때문에 현실적으로 어렵다. 본 논문은 도메인 공학의 새로운 개념인 행위 온톨로지를 이용하여, 집단 행위를 모델링하는 실용적인 방법을 제시한다. 첫째, 액티브 온톨로지를 통해 시스템의 행위를 정의한다. 둘째, 행위는 일반 정규 표현식이라고 불리는 정량화된 추상 격자 구조로 표현된다. 셋째, 격자는 공통된 요소를 기반으로 다른 격자와 합성할 수 있다. 이 방법은 시스템 복잡성을 줄이기 위해, 시스템 상태를 최소화하는 것뿐만 아니라 집단 패턴에서 시스템 동작을 표현하는 혁신적인 방법 중 하나일 수 있다. 이 방법을 구현하기 위해, PRISM 프로토타입 도구를 ADOxx 메타 모델링 플랫폼으로 개발하였다.