• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.11
• /
• pp.74-81
• /
• 1995

Several non-manifold data structures have been compared, which are radial-edge data structure, partial-face data structure, vertex-based data structure, and Yamaguchi's data structrue. All the entities in the data structures are classified into common entities and special entities. The entities are also classified as model entities, primitive entities bounding entities, and coupling entities. The four data structures for nonmanifold solid modelers are compared in terms of accessing efficiency, storage requirements, and inclusion of circulation. The results of comparison will serve as the basis to develope a nonmanifold modeler.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.691-700
• /
• 1994

Voronoi diagram of a set of geometric entities on a plane such as points, line segments, or arcs is a collection of Voronoi polygons associated with each entity, where Voronoi polygon of an entity is a locus of point which is closer to the associated entity than any other entity. Voronoi diagram is one of the most fundamental geometrical construct and well-known for its theoretical elegance and the wealth of applications. Various geometric problems can be solved with the aid of Voronoi diagram. For example, the maximum tool diameter of a milling cutter for rough cutting in a pocket can be easily found, and the pocketing tool path can be efficiently generated from Voronoi diagram. In PCB design, the design rule checking can be easily done via Voronoi diagram, too. This paper discusses an algorithm to construct Voronoi diagram of a simple polygon which consists of simple curves such as line segments as well as arcs in a plane with O(nlogn) time complexity by employing the divide and conquer scheme.

• Journal for History of Mathematics
• /
• v.32 no.1
• /
• pp.17-25
• /
• 2019

This essay elucidates the way the geometries of space-time theories explain material bodies' motions. A conventional attempt to interpret the way that space-time geometry explains is to consider the geometrical structure of space-time as involving a causally efficient entity that directs material bodies to follow their trajectories corresponding to the laws of motion. Newtonian substantival space is interpreted as an entity that acts but is not acted on by the motions of material bodies. And Einstein's curved space-time is interpreted as an entity that causes the motions of bodies. This essay argues against this line of thought and provides an alternative understanding of the way space-time geometry explain the laws of motion. The workings of the way that Newton's flat and Einstein's curved space-time explains the law of motion is such that space-time geometry encodes the principle of inertia which specifies straight lines of moving bodies.

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.4
• /
• pp.77-87
• /
• 1994

This paper deals with an automated forming sequence design system by which designers can determine desirable operation sequences even if they have little experience in the design of cold forging process. The forming sequence design in the cold forging is very important and requires many kinds of technical and empirical knowledge. They system isproposed, which generates forming sequence plans for the multistage cold forging of axisymmtrical solid products. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the product is a key in planning process. To recognize the geometry of the product section, section entity representation and primitive geometries were used. Section entity representation can be used for the calculation of maximum diameter, maximum height, and volume. Forming sequence for the part can be determined by means of primitive geometries such as cylinder, cone, convex, and concave. By utilizing this geometrical characteristics (diameter, height, and radius), the product geometry is expressed by a list of the priitive geometries. Accordingly the forming sequence design is formulated as the search problem which starts with a billet geometry and finishes with a given product one. Using the developed system, the sequence drawing with all dimensions, which includes the proper sequence of operations for the part, is generated under the environment of AutoCAD. Based on the results of forming sequence, process variables(strain, punch pressure, die inner pressure, and forming load) are determined.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.143-147
• /
• 1998

It sis wisely stated that the most valuable knowledge that a person can acquire is the knowledge of how to learn. The human's learning is characterized by the ability to extract relationships between the different characters of a given situation . The ellipse is a first approach of comparison. We assimilate each character to a half axis of the ellipse and the result is a geometrical figure that varies according to values of the two characters. Thus, we take into account the two characters as an alone entity.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.153-157
• /
• 1998

It is wisely stated that the most valuable knowledge that a person cam acquire is the knowledge of how to learn. The human's learning is characterized by the ability to extract relationships between the different characters of a given situation. The ellipse is a first approach of comparison. We assimilate each character to a half axis of the ellipse and the result is a geometrical figure that varies according to values of the two characters. Thus, we take into account the two characters as an alone entity.

• Korean Institute of Interior Design Journal
• /
• no.11
• /
• pp.57-63
• /
• 1997

In the early 20'c, scientific thoughts make a change the absolute and separate concept of space-time into relative concept of continual entity; a kind of ideal world. It suggests that the meaning of geometry as absolute truth with which has endowed human beings would changed to a relative meaning of accumulation in intellectual work on 'nature'. This cognitive changes appeared into absolute arts in 20'c like Cubism, Superematism or Constructivism. De Stijl movement which had recepted the relative concepts like Einstein's 'theory of relativity' as a developed thought from Newton-Cartesian cognition on the world. Abstration would be adequate method for expressing the dynamics and interrelationship between forms and for giving values to indivisual elements in a compositiov. This method had appeared Modern architectural form, as a common framework. The expression characteristics of geometrical design in Deconstructive and Experimental architecture were summerized in four features through the results of the analysis. First, the relation of architectural element and intertextuality is expressed in discontinuation of context and refusal of functional building. Second, the concept of trace expresses as connection of place, decomposing of excavation of trace, trace of axis, trace of fragments. Third, anti-gravity expression is there to express of open cubic, to outgrow of rectangular system, to outgrow of volume, to separate of ground connectiov. Fourth, the complex composition of abstracted geometric form is these to abstracted geometry about indefinite shape, to layer through the overlap and collage, to de-meaning and amusement of form through the pursuit of uncertainty, to indeterminate of formal meaning through operation and composition of similar form cause to the diverse of meaning.

• Journal of KIBIM
• /
• v.11 no.3
• /
• pp.22-33
• /
• 2021

In order to maximize the use of BIM, all data related to individual elements in the model must be correctly assigned, and it is essential to check whether it corresponds to the IFC entity classification. However, as the BIM modeling process is performed by a large number of participants, it is difficult to achieve complete integrity. To solve this problem, studies on semantic integrity verification are being conducted to examine whether elements are correctly classified or IFC mapped in the BIM model by applying an artificial intelligence algorithm to the 2D image of each element. Existing studies had a limitation in that they could not correctly classify some elements even though the geometrical differences in the images were clear. This was found to be due to the fact that the geometrical characteristics were not properly reflected in the learning process because the range of the region to be learned in the image was not clearly defined. In this study, the CRF-RNN-based semantic segmentation was applied to increase the clarity of element region within each image, and then applied to the MVCNN algorithm to improve the classification performance. As a result of applying semantic segmentation in the MVCNN learning process to 889 data composed of a total of 8 BIM element types, the classification accuracy was found to be 0.92, which is improved by 0.06 compared to the conventional MVCNN.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.10 no.3
• /
• pp.151-158
• /
• 2002

Automotive engineers involved in a new car project use various CAD systems that are chosen based on work requirements. For example, engineers in Hyundai Motors are using Pro/Designer and Alias fur the style design, but they use CATIA to design parts and assemblies, ANSYS for FEM analysis, and Pro/Engineer to design engines. Because they use different CAD systems, they have difficulties in collaborative design. Data, which contains errors, is transferred between CAD systems. It is difficult to find out such errors in a large CAD model. An evaluation method for CAD models has been developed in this study. This diagnosis tool analyses a STEP or an IGES file generated from a CAD system, and produces a quantitative error report. The tool has been tested with actual data sets. This paper proposes an algorithm that produces mathematical error values of entities of IGES models that have geometrical data, and entities of STEP models that have topological data, and inspects every part off model. To develop this system, we have used the OpenCASCADE kernel, which is an open source kernel developed by Matra Datavision of France.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.25 no.6_1
• /
• pp.529-536
• /
• 2007

Registration between image and object space is a fundamental step in photogrammetry and computer vision. Along with rapid development of sensors - multi/hyper spectral sensor, laser scanning sensor, radar sensor etc., the needs for registration between different sensors are ever increasing. There are two important considerations on different sensor registration. They are sensor invariant feature extraction and correspondence between them. Since point to point correspondence does not exist in image and laser scanning data, it is necessary to have higher entities for extraction and correspondence. This leads to modify first, existing mathematical and geometrical model which was suitable for point measurement to line measurements, second, matching scheme. In this research, linear feature is selected for sensor invariant features and matching entity. Linear features are incorporated into mathematical equation in the form of extended collinearity equation for registration problem known as photo resection which calculates exterior orientation parameters. The other emphasis is on the scheme of finding matched entities in the aide of RANSAC (RANdom SAmple Consensus) in the absence of correspondences. To relieve computational load which is a common problem in sampling theorem, deterministic sampling technique and selecting 4 line features from 4 sectors are applied.