• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권4호
• /
• pp.245-253
• /
• 2013

Knowledge representation realized by information granules is one of the essential facets of granular computing and an area of intensive research. Fuzzy clustering and clustering are general vehicles to realize formation of information granules. Granulation - degranulation paradigm is one of the schemes determining and quantifying functionality and knowledge representation capabilities of information granules. In this study, we augment this paradigm by forming and optimizing a collection of associations among original and transformed information granules. We discuss several transformation schemes and analyze their properties. A series of numeric experiments is provided using which we quantify the improvement of the degranulation mechanisms offered by the optimized transformation of information granules.

• International Journal of Korean Welding Society
• /
• 제2권2호
• /
• pp.47-50
• /
• 2002

Because of the environmental problems, automotive companies are trying to reduce the weight of car body. Therefore, TRIP(TRansformation Induced Plasticity) steels, which have high strength and ductility have been developed. Welding process is a complex process; therefore deciding the optimal welding conditions on the basis of experimental data is an effective method. However, trial-and-error method to decide the optimal conditions requires too many experiments. To overcome these problems, response surface methodology was used. Response surface methodology is a collection of mathematical and statistical techniques that are used in the modeling and analysis of problems in which a response of interest is influenced by several variables and the objective is to optimize this response. This method was applied to the resistance spot welding process of the TRIP steel to optimize the welding parameters.

• 정보처리학회논문지A
• /
• 제18A권3호
• /
• pp.109-114
• /
• 2011

IR(Intermediate Representation) 최적화 과정은 컴파일러 back-end의 중요한 부분으로서 sub-expression elimination, dead code elimination 등 최적화 기법들을 사용한다. 하지만 IR 최적화 단계에서 생기는 에러들을 검출하고 디버깅하는데 많은 어려움이 있다. 그 첫 번째 이유로는 컴파일 된 어셈블리 코드를 해독하여 에러를 체크하기 어렵고 두 번째로는 IR 최적화 단계에서 에러가 생겼는지 결정 짓기 어렵기 때문이다. 이런 이유들로 인하여, 우리는 C 레벨에서 IR 코드변환 무결점 여부를 체크하기 위한 기법들에 관한 연구를 진행하여 왔다. 우리는 MeCC(Memory Comparison-based Clone) 탐색기를 기반으로 하여, 최적화하기 전 IR코드와 최적화 한 후의 IR코드를 각각 C코드로 다시 변환한 뒤, 이 두 개의 C코드를 MeCC의 입력으로 주고, 결과의 일치 여부를 확인하는 방법을 사용한다. 하지만 MeCC가 완벽한 결과를 알려주지 않기 때문에, 우리는 각 IR 최적화 기법마다의 특징에 대한 정보를 사전에 처리해서 그 결과의 정확도를 높였다. 이 논문에서는 dead code elimination, instruction scheduling 및 common sub-expression elimination 등 최적화 기법들을 이용한 변환 코드들을 예시로 실험하여 최종적으로 MeCC에서의 C 레벨 코드의 정확한 에러 체크 동작여부를 보여준다.

• 정보처리학회논문지A
• /
• 제11A권5호
• /
• pp.391-400
• /
• 2004

서로 다른 종류의 영상을 정확하게 연관시켜 복합적인 정보를 제공하는 다중모달리티 의료 영상정합기법 중 표면정보 기반 영상정합에서는 일반적으로 동일 대상에 대한 서로 다른 모달리티에서 추출된 표면 윤곽정보 사이의 거리를 최소화함으로써 매칭이 이루어진다. 그런데 동일대상에 대해 취득되는 서로 다른 두 모달리티는 관심 영역 상의 표면 특성이 서로 유사하다. 그러므로 다중모달리티 영상정합에서 표면거리와 함께 표면의 형태 특성을 고려하여 두 영상을 매칭하는 방법이 정합결과의 정확도를 향상시킬 수 있다. 본 연구에서는 동일 대상의 서로 다른 두 모달리티 뇌영상 간의 표면거리와 표면곡률을 최적화하는 정합기법을 제안한다. 영상정합은 참조영상과 테스트영상에 대한 표면정보 생성과 이 두 개의 표면정보를 최적화하는 단계로 구성된다. 표면정보 생성 단계에서는 두 모달리티로부터 관심영역의 윤곽선을 추출하고, 이 중 참조 볼륨의 윤곽선에 대해서는 표면거리맵과 표면곡률맵을 구성하게 된다. 최적화 단계에서는 표면거리맵과 표면곡률맵을 참조하는 최적화 평가함수(cost function)에 의해 두 객체의 표면거리 차이와 표면곡률 차이를 최소화하는 정합 변환 값이 결정되고, 이것이 테스트영상의 변환에 적용되어 결과적으로 두 영상이 정합 되게 된다. 제안된 최적화 평가함수는 표면거리 정보만을 사용하는 평가함수에 비해 보다 견고한 정합 정확도를 보였으며 또한 본 연구는 정합결과의 볼륨 가시화를 통해 효율적인 영상 분석 수단을 제공하고자 하였다.

• Journal of the Optical Society of Korea
• /
• 제4권1호
• /
• pp.30-36
• /
• 2000

In this paper, a method based on the Genetic Algorithm(GA) for phase optimization is proposed. The programmable hybrid optical interconnection system implemented by the spatial light modula-tor is tested for a near-real-time optical processing. Designed diffractive grating has a 74.7[%] high diffraction efficiency and a $1.73 {\times}10^{-1}$ uniformity quantitatively. The dependence of characteris-tics on several parameters in the grating design are analyzed. Also, as a result of the geometrical transformation to obtain quantitative data for $3 {\times} 3$ spot beams, an objective optical experiment using CCD array detector produces the mean of beam intensity as a gray level of 202, the maximum value is 225, the minimum value is 186, and uniformity is quantitatively $1.93 {\times} 10^{-1}$, similar to the simulation result.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.117.1-117
• /
• 2001

A motion handling technique that transforms existing animation motion data to a mathematically well-defined form. The transformed data can be utilized in any kind of autonomous motion creation process that handles such cases as changed environment, structure (kinematic / dynamic) modification, or changed constraints. To overcome the computational burden of traditional spacetime optimization, we divide full motion data frame into several parts, and we applied the transformation technique to each part using an optimizing tool(CFSQP). To show Ire feasibility of the proposed method, a comparison study results with traditional technique is included.

• Journal of electromagnetic engineering and science
• /
• 제6권3호
• /
• pp.155-159
• /
• 2006

An efficient method is presented to design filters without the similarity transform of their coupling coefficient matrix as circuit parameters, which is very tedious due to pivoting and deciding rotation angles needed during the iterations. The transfer function of a filter is directly used for the design and its desired form is derived by the optimized rational-function fitting technique. A 3rd order coaxial lowpass filter is taken as an example to validate the proposed method.

• 품질경영학회지
• /
• 제21권1호
• /
• pp.96-107
• /
• 1993

In parameter design Taguchi analyzed a statistic which he called signal-to-noise(SN) ratio by using the experimental design technique. However he gave no justification for using SN ratios in the optimization procedure of parameter design. In this paper we discuss the validity of such SN ratios as proper statistics to be analyzed in parameter design. Moreover, using the real empirical data we examine the appropriateness of SN ratios, and we explain how transformation technique can be applied in parameter design as an alternative method of analysis.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.850-852
• /
• 2004

고급 언어 (high-level language)로 프로그램을 쓰고 그것이 맞다고 증명 했을때, 프로그램과 증명을 동시에 "컴파일"해주는 방법을 찾으려고 한다. 이러한 방법은 "증명 보내기"(Proof Carrying Code)라는 제안을 실용화할 때 요긴하게 사용할 수 있는 기술이다. 지면관계상 "반복문에서 명령어 끄집어내기"(Loop Invariant Code Motion)라는 최적화 과정에 맞게 Hoare 증명을 변환하는 방법에 대해서만 알아보겠다.

• International Journal of Advanced Culture Technology
• /
• 제9권4호
• /
• pp.282-287
• /
• 2021

A multicore system must be able to take full advantage of the program's instruction and data parallelism. This study introduces the data replication technique as a support technique to maximize the program's instruction and data parallelism. Instruction level parallelism can be limited by data dependency. In this case, if data is replicated to each processor core and used, instruction level parallelism can be used to the maximum. The technique proposed in this study can maximize the performance improvement effect when applied to scientific applications such as matrix multiplication operation.