• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.5
• /
• pp.42-47
• /
• 1999

연속 계조도 영상을 이진 영상(하프톤 영상)으로 변환하는 하프톤 기법중 대표적인 두 방법은 순차적 디더법과 오차 확산법이 있다. 이 중에서 오차확산법은 예리한 하프톤 영상을 얻기위한 우수한 하프톤 기법으로 잘 알려져 있다. 그러나 알고리듬에 기인하는 여러 인공잡음들이 발생하므로 이를 개선하기 위한 방법으로 최적의 필터 계수를 얻기 위한 많은 연구가 진행되었다. 본 논문에서는 연속 계조도 입력 영상과 하프톤 영상사이의 양자화 오차를 영상에 적응적이며 최적으로 확산시키기 위해 양자화 오차를 초기 가능성의 퍼지 부분 집합으로 정의하였다. 이러한 퍼지 부분 집합의 중심화소에 대해 이웃한 화소의 오차 가능성을 고려한 후 FAM 규칙을 이용하여 각각 화소들의 오차 가능성을 영상에 따라 적응적으로 갱신하였으며 이를 원영상에 더하여 다시 양자화 과정을 번복하는 퍼지 이완 알고리듬을 이용한 오차 확산법을 제안하였다. 제안한 방법을 이용하여 얻은 결과를 최적 필터 계수를 구하기 위한 기존의 방법의 결과 영상과 비교 분석하였다.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.833-835
• /
• 1999

지연 고장 테스트는 디지털 회로의 정확한 동작을 보장하기 위해서 필수적이다. 그러나 순차 회로에는 상태 레지스터들이 존재하기 때문에, 지연 고장을 검출하는 것이 쉽지 않다. 이러한 난점을 해결하기 위해 본 논문에서는 역기능적 지정 방법을 좀 더 효율적으로 적용할 수 있는 테스트 알고리듬을 제안한다. ISCAS89 벤치마크 회로에 대한 실험 결과, 테스트 가능한 경로의 수를 기존의 스캔 기법들에 비해 크게 향상시킬 수 있다는 것을 알 수 있다.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.1
• /
• pp.51-63
• /
• 1993

"Algorithm DA" is proposed to test linked 2-CFs(2-Coupling Faults) with order 2 or 3 which are not perfectly detected in conventional algorithms. "Test 1*", "Test 2*" and "Algorithm RA" are proposed restricted 3-CFS. The time complexity of "Test 1*" is reduced in view of the detection of 3-CFS. "Test 2*" and "Algorithm RA" have not only the reduces time complexity but also the improved fault coverage in comparison with conventional algorithms. And "Algorithm RA" can be applied step by step according to the degree of the fault coverage. If "Algorithm RA" is applied to the memory with parallel test. its time complexity is reduced considerably. It is proved that the MT(March Test) with nonlinear address sequences can not detect perfectly the CFs more complex than linked 2-CFs with order 3.ss sequences can not detect perfectly the CFs more complex than linked 2-CFs with order 3.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.270-275
• /
• 2003

많은 기업들은 그들의 생산과 배송 기능을 분리하여 각각의 최적화를 꾀하고 있는데, 이러한 접근방법에 의해 이룰 수 있는 절약은 제한적일 수밖에 없다. 최근의 공급사슬경영(SEM)에서는 이들 두 기능의 관련 비용을 총체적 관점에서 잘 조절하면서 동시에 통합 분석하는 것이 더 중요하다고 인식되고 있다. 본 논문에서는 일간지의 생산-배송계획 문제를 다룬다. 일간지는 재고로 유지될 수 없으며 고객이 정한 시간보다 늦게 배송되면 큰 손실을 야기하는 일종의 단일기간 재고품목이다. 저자들은 일간지 생산-배송의 통합 계획을 위한 혼성유전알고리듬 해법을 개발하고 예제를 이용하여 Hurter and Buer의 순차적 분리계획 해법과 성능을 비교한다. 계산실험 결과, 개발된 해법의 성능은 효과적인 것으로 나타난다.

• Journal of Broadcast Engineering
• /
• v.3 no.2
• /
• pp.146-154
• /
• 1998

시간적 표본화를 채택한 다중경로방법에 의한 장면전환 검출방법은 전 동영상에 대해 매 프레임마다 순차적으로 검색하는 방법에 비해서 빠르며, 동일한 정확성을 갖고 있다. 그러나, 검출 시간을 최소화하기 위한 적절한 검출 간격을 선택하는 어떠한 기준이나 방법도 제시되지 않았으며 검출 간격을 경험에 의해 선택할 수밖에 없다. 이 논문에서는 장면 전환 검출 시간, 검출 간격과 실제 장면 전환 간격으로부터 검출 시간을 최소화하는 최적 검출 간격을 얻을 수 있음을 보였다. 평균 장면 전환 간격이 알려져 있지 않은 동영상에 대해서 최적 검출 간격을 추정할 수 있는 알고리듬을 제안하였다.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.5
• /
• pp.205-210
• /
• 2007

The integration method of binary and real encoding in genetic algorithm is proposed to deal with design variables of various types in gear drive design. The method is applied to optimum design of multi-stage gear drive. Integer and Discrete type design variables represent the number of teeth and module, and continuous type design variables represent face width, helix angle and addendum modification factor etc. The proposed genetic algorithm is applied for the gear ratio optimization and the volume optimization(minimization) of multi-stage geared motor which is used in field. In result, the proposed design optimization method shows an effectiveness in optimum design process and the new design has a better results compared with the existing design.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1198-1203
• /
• 2008

An efficient sequential optimization approach for metamodel was presented by Choi et al [6]. This paper describes a new approach of the multilevel optimization method studied in Refs. [5] and [21-25]. The basic idea is concerned with multilevel iterative methods which combine a descent scheme with a hierarchy of auxiliary problems in lower dimensional subspaces. After fitting a metamodel based on an initial space filling design, this model is sequentially refined by the expected improvement criterion. The advantages of the method are that it does not require optimum sensitivities, nonlinear equality constraints are not needed, and the method is relatively easy to understand and use. As a check on effectiveness, the proposed method is applied to a classical cantilever beam.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.11
• /
• pp.1857-1866
• /
• 1989

In this paper, an algorithm to update a codebook using a neural network in consecutive images, is proposed. With the Kohonen's self-organizing feature map, we adopt the iterative technique to update a centroid of each cluster instead of the unsupervised learning technique. Because the performance of this neural model is comparable to that of the LBG algorithm, it is possible to update the codebooks of consecutive frames sequentially in TV and to realize the hardwadre on the real-time implementation basis.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.37 no.11
• /
• pp.105-114
• /
• 2000

Delay testing is essential for assurance of digital circuits as the speed and the density of the circuits improve greatly. However, delay faults in sequential circuits cannot be detected easily due to the existence of state registers. To overcome this difficulty a new test method and algorithm are devised which can be used for both stuck-at testing and delay testing. To apply the new test method, a new scan flip-flop is implemented. Experimental results on ISCAS 89 benchmark circuits show that the number of testable paths can be increased drastically over conventional scan techniques.