• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1325-1328
• /
• 2006

본 논문은 기계 가공시 형상의 인지 절차에 대해 기술한다. 주조와 단조 공정의 특성 중 한가지는 기계 가공시 원재료가 최종 형상에 매우 근접하다는 것이다. 이때 가공 형상 추출은 가공될 면을 인지하는 것과 가공면을 군집으로 그룹화 하는 두 단계로 수행될 수 있다. 이중 가공될 면을 인지하기 위한 기존의 방법은 3D Boolean difference operation을 수행하는 것이다. 그러나 3D Boolean difference operation의 계산적 난점 때문에 복잡한 형상에는 실용적이지 못하다. 본 논문의 목적은 가공 면을 인지하는 효율적인 알로리즘을 개발하는 것이다.

• Journal of Mechanical Science and Technology
• /
• v.19 no.2
• /
• pp.549-557
• /
• 2005

The requirements of multi-resolution models of feature-based solids, which represent an object at many levels of feature detail, are increasing for engineering purposes, such as analysis, network-based collaborative design, virtual prototyping and manufacturing. To provide multi-resolution models for various applications, it is essential to generate adequate solid models at varying levels of detail (LOD) after feature rearrangement, based on the LOD criteria. However, the non-commutative property of the union and subtraction Boolean operations is a severe obstacle to arbitrary feature rearrangement. To solve this problem we propose history-based Boolean operations that satisfy the commutative law between union and subtraction operations by considering the history of the Boolean operations. Because these operations guarantee the same resulting shape as the original and reasonable shapes at the intermediate LODs for an arbitrary rearrangement of its features, various LOD criteria can be applied for multi-resolution modeling in different applications.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.836-839
• /
• 2002

This paper describes the selective Boolean operations on non-manifold geometric models whose union and subtraction operations are communicative. These operations guarantee the same resulting shape in spite of change of the order of Boolean operations, and the integrity of the model for omission of some features. In addition, a B-rep model for a modified modeling history is obtained in a short time, as no boundary evaluation is necessary. These features enable easy implementation of multi-resolution representation of B-rep models.

• Journal of Mechanical Science and Technology
• /
• v.19 no.2
• /
• pp.558-566
• /
• 2005

We propose a feature-based multi-resolution representation of B-rep solid models using history-based Boolean operations based on the merge-and-select algorithm. Because union and subtraction are commutative in the history-based Boolean operations, the integrity of the models at various levels of detail (LOD) is guaranteed for the reordered features regardless of whether the features are subtractive or additive. The multi-resolution solid representation proposed in this paper includes a non-manifold topological merged-set model of all feature primitives as well as a feature-modeling tree reordered consistently with a given LOD criterion. As a result, a B-rep solid model for a given LOD can be provided quickly, because the boundary of the model is evaluated without any geometric calculation and extracted from the merged set by selecting the entities contributing to the LOD model shape.

• Journal of Information Processing Systems
• /
• v.16 no.5
• /
• pp.1183-1195
• /
• 2020

Visual saliency detection is an essential task because it is an important part of various vision-based applications. There are many techniques for saliency detection in color images. However, the number of methods for saliency detection in infrared images is limited. In this paper, we introduce a simple approach for saliency detection in infrared images based on the thresholding technique. The input image is thresholded into several Boolean maps, and an initial saliency map is calculated as a weighted sum of the created Boolean maps. The initial map is further refined by using thresholding, morphology operation, and a Gaussian filter to produce the final, high-quality saliency map. The experiment showed that the proposed method has high performance when applied to real-life data.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.312-318
• /
• 2000

In this study, an exclusive CAD/CAM system is developed for enhancing the effectiveness and productivity of CNC universal cylindrical grinding machines on which the external/facing/internal grinding cycles and the wheel dressing cycles are integratively carried out. The CAD/CAM system can manage the various processes such as geometry design, NC code generation, NC code verification, DNC operation, and so on. Especially, the feature-based modeling concept is introduced to improve the geometry design efficiency. And the NC code verification is realized by virtual manufacturing technique based on the real-time analysis of NC codes and the boolean operation between workpiece and wheel.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.689-694
• /
• 1994

In this paper, to develop a smart CAD/CAM system for systematically performing from the 3-D solid shape design of products to the CNC cutting operation of products by a machining center, a B-Rep solid modeler is realized based on the half edge data structure. Because the B-Rep solid modeler has the various capabilities related to the solid definition functions such as the creation operation of primitives and the translational and rotational sweep operation, the solid manipulation functions such as the split operation and the Boolean set operation, and the solid inversion function for effectively using the data structure, the 3-D solid shape of products can be easily designed and constructed. Also, besides the automatic generation of CNC code, the B-Rep solid modeler can be used as a powerful tool for realizing the automatic generation of finite elements, the interference check between solids, the structural design of machine tools and robots and so on.

• Korean Journal of Computational Design and Engineering
• /
• v.10 no.3
• /
• pp.151-161
• /
• 2005

This paper describes the parting and Boolean operations for a pseudo-solid model of a plastic part, and their application to injection mold design. Here, a pseudo-solid model means a sheet model that looks like a solid model, but its boundary is not closed. When a solid model created in a different CAD system is imported through a standard data exchange file format, in most cases, a pseudo-solid model may be created due to tolerance or some other problems. However, most existing mold design systems based on solid modeling kernels require a complete part solid model. Therefore, mold designers have to do time-consuming healing operations to convert a pseudo-solid to solid. To eliminate or reduce the healing pre-process for mold design, in this paper, we proposed the parting and Boolean Operations on pseudo-solid part models. This paper also describes their detailed implementation and a case study.

• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.226-229
• /
• 1987

This paper was aimed to, using a new data structure, develop a set of algorithms to execute the output function of Digital System. These functions were represented as directed, acyclic graphs. by applying many restrictions on vertices on graph, the efficient manipulation of boolean function was accomplished. The results were as follows; 1. A canonical representation of a boolean function was created by the reduction algorithm. 2. The operation of two functions was accomplished using t he apply algorithm, according to the binary operator. 3. The arguments having 1 as the value nf function were enumerated using the satisfy algorithm. 4. Composing TTL 74181 4-bit ALU and 74182 look-ahead carry generator, the ALU having 4-bit and 16-bit as word size was implemented.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.6
• /
• pp.862-867
• /
• 1995

In this paper a method to perform Exclusive-OR operation between two tabular type Boolean expressions is presented. The proposed method allows to solve the switching equations and the simultaneous equations in a rather direct manner, compared with Unger's method.