• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.2 s.233
• /
• pp.333-340
• /
• 2005

Feedrate is one of the factors that have the significant effects on the productivity, qualify and tool life in the cutting mechanism as well as cutting velocity, depth of cut and width of cut. In this study, in order to realize the high-efficient machining, a new feedrate optimization method is proposed based on the concept that the optimum feedrate can be derived from the allowable cutting power since the cutting power can be predicted from the cutting parameters as feedrate, depth of cut, width of cut, chip thickness, engagement angle, rake angle, specific cutting force and so on. Tool paths are extracted from the original NC program via the reverse post-processing process and converted into the infinitesimal tool paths via the interpolation process. And the novel NC program is reconstructed by optimizing the feedrate of infinitesimal tool paths. Especially, the fast feedrate optimization is realized by using the Boolean operation based on the Goldfeather CSG rendering algorithm, and the simulation results reveal the availability of the proposed optimization method dramatically reducing the cutting time and/or the optimization time. As a result, the proposed optimization method will go far toward improving the productivity and qualify.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.28 no.6
• /
• pp.621-626
• /
• 2010

For geometric correction of high-resolution images, the authors matched corresponding objects between a large-scale digital map and a QuickBird image to obtain the coefficients of the first order polynomial. Proximity corrections were performed, using the Boolean operation, to perform automated matching accurately. The modified iterative closest point (ICP) algorithm was used between the point data of the surface linear objects and the point data of the edge objects of the image to determine accurate transformation coefficients. As a result of the automated geometric correction for the study site, an accuracy of 1.207 root mean square error (RMSE) per pixel was obtained.

• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.6 s.183
• /
• pp.151-159
• /
• 2006

This paper describes a design process of end-milling cutters: solid model of the designed cutter is constructed along with computation of cutter geometry, and the wheel geometry as well as wheel positioning data f3r fabricating end-mills with required cutter geometry is calculated. In the process, the main idea is to use the cutting simulation method by which the machined shape of an end-milling cutter is obtained via Boolean operation between a given grinding wheel and a cylindrical workpiece (raw stock). Major design parameters of a cutter such as rake angle, inner radius can be verified by interrogating the section profile of its solid model. We studied relations between various dimensional parameters and proposed an iterative approach to obtain the required geometry of a grinding wheel and the CL data for machining an end-milling cutter satisfying the design parameters. This research has been implemented on a commercial CAD system by use of the API function programming, and is currently used by a tool maker in Korea. It can eliminate producing a physical prototype during the design stage, and it can be used for virtual cutting test and analysis as well.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.10
• /
• pp.1185-1193
• /
• 1999

최적 스택 필터는 시그널 또는 영상의 임의의 특성 정보를 보존하고자 하는 요구조건에 의해 강제된 구조적 제약 하에서 최대의 잡음제거 효과를 얻을 수 있다. 그리고 임계치 분할 특성과 양의 부울 함수에 기반한 이진 영역에서의 처리 특성은 이 필터가 높은 병렬성을 갖고 있음을 보여준다. 본 논문에서는 두 개의 병렬 계산 모델 MCC(Mesh-Connected Computer)와 CCC(Cube-Connected Computer)에서 최적 스택 필터를 위한 1차원 병렬 알고리즘을 개발한다. 최적 스택 필터의 실행 시간은 주로 이진 median 연산에 의해 결정되고 본 논문에서 제안된 알고리즘은 선형 분리성에 의해 이 연산을 구현한다. 이를 바탕으로, M 레벨의 1-D 시그널의 길이가 L이고 윈도우 폭이 N이라고 가정할 때, 제안된 알고리즘은 {{{{root M times root M`` MCC에서 O(L sqrt{M}`) 시간에 그리고 M 개의 PE를 갖는 CCC에서 O(L log M)시간에 수행될 수 있다. 또한 잡음을 더욱 효과적으로 제거하기 위해 윈도우 폭 N을 증가시킬 때, 제안된 병렬 알고리즘의 계산 시간은 일정하게 유지됨을 보인다.Abstract An optimal stack filter achieves the maximum noise attenuation under the structural constraints imposed by the requirement of preserving certain signal or image features. And the filter provides a high parallelism due to the principles of threshold decomposition and binary processing based on positive Boolean functions(PBFs). In this paper, we develop an one-dimensional parallel algorithm for the optimal stack filter on two parallel computation models, MCC(Mesh-Connected Computer) and CCC(Cube-Connected Computer). The running time of the optimal stack filter depends mainly on the binary median operation and our algorithm realizes this operation by the linear separability. Based on this scheme, our parallel algorithm can be performed in {{{{O(L sqrt{M}`) MCC and inO(L log M) time on CCC with M PEs, when the length of M``-valued 1-D signal is L`` and window width is N`` Also, we show that the computation time of our parallel algorithm keeps constant when the window width N increases in order to achieve the best noise attenuation.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.5-14
• /
• 2014

Searchable encryption systems provide search on encrypted data while preserving the privacy of the data and the search keywords used in queries. Recently, interest on data outsourcing has increased due to proliferation of cloud computing services. Many researches are on going to minimize the trust put on external servers and searchable encryption is one of them. However, most of previous searchable encryption schemes provide only a single keyword boolean search. Although, there have been proposals to provide conjunctive keyword search, most of these works use a fixed field which limit their application. In this paper, we propose a field-free conjunctive keyword searchable encryption that also provides rank information of search results. Our system uses prime tables and greatest common divisor operation, making our system very efficient. Moreover, our system is practical and can be implemented very easily since it does not require sophisticated cryptographic module.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.12
• /
• pp.1958-1967
• /
• 2004

This paper describes the method to rapidly fabricate the large-sized physical model with the envelope model size of more than 600 mm${\times}$ 600 mm${\times}$ 600 mm using two type semi-automatic VLM-ST processes in connection with the reverse engineering technology. The fabrication procedure of the large-sized solid shape is as follows: (1) Generation of STL data from 3D scan data using 3D scanner, (2) generation of shell-type STL data by Boolean operation, (3) division of shell-type STL data into several pieces by solid splitting, (4) generation of USL data for each piece with VLM-Slicer, (5) fabrication of each piece by cutting and stacking according to USL data using VLM-ST apparatus, (6) completion of a shell-type prototype by zigzag stacking and assembly for each piece, (7) completion of a 3D solid shape by foam backing, (8) surface finish of a completed 3D solid shape by coating and sanding. In order to examine the applicability of the proposed method, the miniature of the Mount Rushmore Memorial has been fabricated. The envelope model size of the miniature of the Mount Rushmore Memorial is 1,453 mm${\times}$ 760 mm${\times}$ 853 mm in size. From the result of the fabricated miniature of the Mount Rushmore Memorial, it has been shown that the method to fabricate the large object using two type semi-automatic VLM-ST processes in connection with the reverse engineering technology are very fast and efficient.

• The KIPS Transactions:PartC
• /
• v.17C no.3
• /
• pp.233-242
• /
• 2010

In the recent years, power attacks were widely investigated, and so various countermeasures have been proposed. In the case of block ciphers, masking methods that blind the intermediate results in the algorithm computations(encryption, decryption) are well-known. In case of SEED block cipher, it uses 32 bit arithmetic addition and S-box operations as non-linear operations. Therefore the masking type conversion operations, which require some operating time and memory, are required to satisfy the masking method of all non-linear operations. In this paper, we propose a new masked S-boxes that can minimize the number of the masking type conversion operation. Moreover we construct just one masked S-box table and propose a new formula that can compute the other masked S-box's output by using this S-box table. Therefore the memory requirements for masked S-boxes are reduced to half of the existing masking method's one.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.2
• /
• pp.133-149
• /
• 1996

In order to reduce the trial-and-errors in design and production of injection molded plastic parts, there has been much research effort not only on CAE systems which simulate the injection molding process, but also on CAD systems which support initial design and re-design of plastic parts and their molds. The CAD systems and CAE systems have been developed independently with being built on different basis. That is, CAD systems manipulate the part shapes and the design features in a complete solid model, while CAE systems work on shell meshes generated on the abstract sheet model or medial surface of the part. Therefore, it is required to support the two types of geometric models and feature information in one environment to integrate CAD and CAE systems for accelerating the design speed. A feature-based non-manifold geometric modeling system has been developed to provide an integrated environment for design and analysis of injection molding products. In this system, the geometric models for CAD and CAE systems are represented by a non-manifold boundary representation and they are merged into a single geometric model. The suitable form of geometric model for any application can be extracted from this model. In addition, the feature deletion and interaction problem of the feature-based design system has been solved clearly by introducing the non-manifold Boolean operation based on 'merge and selection' algorithm. The sheet modeling capabilities were also developed for easy modeling of thin plastic parts.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.10a
• /
• pp.456-463
• /
• 2005

This paper describes a design process of end-milling cutters: solid model of the designed cutter is constructed along with computation of cutter geometry, and the wheel geometry as well as wheel positioning data fur fabricating end-mills with required cutter geometry is calculated. In the process, the main idea is to use the cutting simulation method by which the machined shape of an end-milling cutter is obtained via Boolean operation between a given grinding wheel and a cylindrical workpiece (raw stock). Major design parameters of a cutter such as rake angle, inner radius can be verified by interrogating the section profile of its solid model. We studied relations between various dimensional parameters and proposed an iterative approach to obtain the required geometry of a grinding wheel and the CL data fer machining an end-milling cutter satisfying the design parameters. This research has been implemented on a commercial CAD system by use of the API function programming, and is currently used by a tool maker in Korea. It can eliminate producing a physical prototype during the design stage, and it can be used fur virtual cutting test and analysis as well.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.2
• /
• pp.13-17
• /
• 2024

In this paper, union-based rule antecedent neuro-fuzzy controller, which can guarantee a parsimonious knowledge base with reduced number of rules, is proposed. The proposed neuro-fuzzy controller allows union operation of input fuzzy sets in the antecedents to cover bigger input domain compared with the complete structure rule which consists of AND combination of all input variables in its premise. To construct the proposed neuro-fuzzy controller, we consider the multiple-term unified logic processor (MULP) which consists of OR and AND fuzzy neurons. The fuzzy neurons exhibit learning abilities as they come with a collection of adjustable connection weights. In the development stage, the genetic algorithm (GA) constructs a Boolean skeleton of the proposed neuro-fuzzy controller, while the stochastic reinforcement learning refines the binary connections of the GA-optimized controller for further improvement of the performance index. An inverted pendulum system is considered to verify the effectiveness of the proposed method by simulation and experiment.