• 산업경영시스템학회지
• /
• 제22권51호
• /
• pp.231-240
• /
• 1999

A major concern in Concurrent Engineering is the control and management of workload in a period of process. As a general rule, leveling the peak of workload in certain period is difficult because concurrent processing is comprised of various processes, including overlapping, paralleling looping and so on. Therefore, the workload management with resource constraints is so beneficial that effective methods to analyze design process are momentous. This study presents the Timed Petri Nets approach of precedence logic networks, and provides an alternative for users to analyze constraint processes to resolve conflicts of resources. Another approach to Continuous Time Markov Chain using Stochastic Petri Nets is also proposed. These approaches are expected to facilitate resolving resource constrained scheduling problems more systematically in Concurrent Engineering environment.

• 대한산업공학회지
• /
• 제22권3호
• /
• pp.427-440
• /
• 1996

Constraint networks are a major approach to knowledge representation in Concurrent Engineering (CE) systems. The networks model various factors in CE as constraints linked by shared variables. Many systems have been developed to assist constraint network processing. While these systems can be useful, their underlying assumption that a solution must simultaneously satisfy all the constraints is often unrealistic and hard to achieve. Proposed in this paper is a hierarchical representation of constraint networks using priorities, namely Prioritized Constraint Network (PCN). A mechanism to propagate priorities is developed, and a new satisfiability definition taking into account the priorities is described. Strength of constraint supporters can be derived from the propagated priorities. Several properties useful for investigating PCN's and finding effective solving strategies ore developed.

• Industrial Engineering and Management Systems
• /
• 제3권1호
• /
• pp.1-11
• /
• 2004

This paper proposes a new algorithm for determining an optimal control input for production systems. In many production systems, completion time should be planned within the due dates by taking into account precedence constraints and processing times. To solve this problem, the max-plus algebra is an effective approach. The max-plus algebra is an algebraic system in which the max operation is addition and the plus operation is multiplication, and similar operation rules to conventional algebra are followed. Utilizing the max-plus algebra, constraints of the system are expressed in an analogous way to the state-space description in modern control theory. Nevertheless, the formulation of a system is currently performed manually, which is very inefficient when applied to practical systems. Hence, in this paper, we propose a new algorithm for deriving a state-space description and determining an optimal control input with several constraint matrices and parameter vectors. Furthermore, the effectiveness of this proposed algorithm is verified through execution examples.

• 한국통신학회논문지
• /
• 제22권3호
• /
• pp.454-468
• /
• 1997

This paper presents a bitwidth optimization algorithm for efficient hardware sharing in digital signal processing system. The proposed algorithm determines the fixed-point representation for each signal through bitwidth optimization to generate the hardware requiring less area. To reduce the operator area, the algorithm partitions the abstract operations in the design description into several groups, such that the operations in the same group can share an operator. The partitioning result are fed to a high-level synthesis system to generate the pipelined fixed-point datapaths. The proposed algorithm has been implemented in SODAS-DSP an automatic synthesis system for fixed-point DSP hardware. Accepting the models of DSP algorithms in schematics, the system automatically generates the fixed-point datapath and controller satisfying the design constraints in area, speed, and SNR(Signal-to-Noise Ratio). Experimental results show that the efficiency of the proposed algorithm by generates the area-efficient DSP hardwares satisfying performance constraints.

• 산업경영시스템학회지
• /
• 제18권33호
• /
• pp.1-10
• /
• 1995

The allocation of files is essential to the efficiency and effectiveness of a distributed system that must meet geographically dispersed data processing demands. In this paper, we address an optimization model that generates optimal file migration policies in distributed database systems. The proposed model is a more generalized model that includes system's capacity constraints - computing sites' storage capacity and communication networks' capacity - which have not taken into consideration in previous researches. Using this model, we can establish initial file allocation, file reallocation and file migration polices that minimize a system operating cost under system's capacity constraints at an initial system design or reorganization point The proposed model not only can be adopted by small-sized systems but also provides a foundation for effective and simple heuristics for adaptive file migration in large systems.

• 한국통신학회논문지
• /
• 제29권5B호
• /
• pp.482-490
• /
• 2004

최근 XML 문서가 인터넷 기반의 애플리케이션간의 자료 저장 및 교환을 위한 표준으로서 부상함에 따라 XML 문서의 저장 및 관리에 대한 연구가 활발히 이루어지고 있다. 하지만 대부분의 연구들은 인스턴스 및 DTD 기반의 매핑 기술에 관한 것으로 문서의 구조적 변환께만 초점이 맞추어져 있었다. 현재는 XML 스키마 기반의 XML 문서 이용이 보편화되고 있는 추세이며 구조적 변환 이외에도 의미의 보존이 아울러 요구되고 있다. 이에 본 논문에서는 XML 스키마에 기반 한 MPEG-21의 DIDL(Digital Item Declaration Language) 언어를 응용 도메인으로 설정하곡 의미적 제약조건을 확장하여 보존할 수 있는 매핑 모델을 제안하였다. 기존의 연구결과를 제시된 도메인에 적절하게 확장하여 전처리 단계에서 적용한 후, 의미 정보의 보존을 위한 다양한 후처리 과정을 설계단계에 적용하였다. 구현에 적용된 시스템의 구성 및 제안 알고리즘을 소개하고, 구현 환경 및 상세한 의미적 확장기법을 제시하였으며, 테이블과 질의 예제를 통한 질의처리 예제를 보였다.

• 한국정보전자통신기술학회논문지
• /
• 제15권5호
• /
• pp.343-348
• /
• 2022

STAP 시스템은 레이더 신호의 클러터와 재밍을 억제하지만 최적의 성능을 위해서는 많은 수의 샘플이 필요하다. 많은 수의 샘플은 처리 계산을 증가시키기 때문에 신호 랭크를 감소키기 위한 변환 방법이 필요하다. LCMV 빔형성 방식은 도달 방향에 대한 왜곡 없는 제약을 쉽게 설정할 수 있고 빔형성 스케일링이 우수하여 전체 랭크를 낮출 수 있다. 본 연구에서는 제안된 QPC(Quadratic Pattern Constraints) 및 LCMV 빔형성 방법을 사용하여 목표물의 정보를 추정한다. 제안 방법은 2차 패턴 구속 조건으로 구속 조건의 수에 따라 원하는 방향으로 빔 패턴 제어를 수행할 수 있다. 시뮬레이션을 통해 제안한 알고리즘으로 원하는 목표물 각도를 추정한다. 추정방향[10° 0° 10°], [-50° -10° 10° 50°], [-50° -10° 0° 10° 50°]에서는 각 목표뮬의 정보를 정확하게 추정하였다. 그러나 목표물[-50° -5° 10° 20°]는 정확하게 추정하지 못했다. 각도 분해능이 10°이상일 때 제안된 알고리즘에 의해서 원하는 목표물이 추정되었지만, 각도 분해능이 10°미만인 경우 원하는 목표물을 정확하게 추정할 수 없었다.

• 한국컴퓨터정보학회논문지
• /
• 제14권3호
• /
• pp.161-171
• /
• 2009

본 논문에서는 SOA(Service-Oriented Architecture)를 기반으로 서비스간에 상호 작용하는 데이터의 품질 관리를 위한 오류 정제 서비스를 대상으로 데이터 제약조건 설정 시 인간 개입을 최소화하기 위한 기법을 제안한다. 단, 실세계에서 통용되는 일반적인 데이터를 모두 다루는 것은 불가능하므로 비즈니스 도메인에서 자주 사용되는 CRM(Customer Relationship Management)과 ERP(Enterprise Resource Planning) 서비스와 같이 고객 주문 정보 및 처리에 관련된 데이터를 대상으로 한다. 이를 위해, 컴포지션 되는 서비스간의 상호 작용하는 데이터를 의미적으로 확장하여 확장-엘리먼트 벡터를 생성하고 이를 기반으로 의사결정 트리(decision tree) 학습 방법을 적용하여 제약조건 설정을 자동화하기 위한 규칙 기반 시스템을 구축한다. 이 시스템을 오류정제 서비스에 삽입한 결과, 비즈니스 분야의 공개된 서비스로부터 데이터 학습을 통해 제약조건 설정을 41% 넘게 자동화 할 수 있음을 보였다.

• 정보처리학회논문지B
• /
• 제11B권1호
• /
• pp.63-70
• /
• 2004

항만 운영은 크게 게이트부문, 야드 부문, 선석 부문으로 구분되며, 이들 부문에 대한 운영전략과 효율적인 자원할당이 항만의 생산성향상에 중요한 역할을 한다. 특히, 선석 부문에서의 자원할당 계획은 선석 계획으로서 선박의 작업시간과 직결되기 때문에 최적화를 필요로 한다. 선석 계획은 독립적인 자원할당이 아니라 야드 부문의 장치 공간 할당과 상호 관련성을 가지고 있다. 따라서 기존 연구들이 선석 계획에 대해 독립적인 자원할당을 연구한 것과 달리 야드의 장치 공간 할당과 상호 관련성에 중점을 두고 선석 계획의 최적화 모듈을 설계하였다. 선석 계획 최적화 모듈의 설계는 수리적 기법으로 표현된 기존의 제약조건에 야드의 장치공간 할당과 관련된 제약조건을 제안하여, 해를 탐색하고, 찾은 해를 최적화하는데, 타부탐색을 사용하여 선석 계획 최적화 모듈을 설계하였다. 그리고 선석 계획 최적화 모듈의 성능 실험에서는 야드의 장치공간 할당계획을 적용한 선석 계획이 그렇지 않은 경우에 비해 작업시간이 단축됨을 알 수 있었다.

• 방송공학회논문지
• /
• 제10권2호
• /
• pp.238-246
• /
• 2005

본 논문에서는 공간 적응적 제약조건과 정칙화 함수를 이용한 반복적 고해상도 영상보간 기법을 제안한다. 제안된 정칙화 영상보간 알고리듬은 에지 방향에 따라 제약조건들을 적응적으로 적용하고, 각각의 반복 연산 단계에서 에지 방향별 정칙화에 적합한 정칙화 함수를 최적화하여 고해상도 영상보간을 구현한다. 제안한 알고리즘은 기존의 비적응적 정칙화 보간 방법뿐만 아니라 적응적 보간 방법보다도 방향성 고주파 성분을 적절히 보존하는 동시에 잡음과 같은 바람직하지 못한 효과들을 억제할 수 있다. 마지막으로 본 논문에서 제안한 알고리듬의 성능평가를 위해서 기존에 제안된 여러 가지의 고해상도 영상보간 알고리듬과의 다양한 비교실험을 수행하였고, 이를 통하여 제안한 고해상도 영상보간 기법이 주관적으로나 객관적으로 우수함을 보였다.