• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

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

Recently, the Z-Map model has been used widely to represent the three dimensional geometric shape and to achieve the cross-section and point evaluation of the shape. In this paper, the CNC cutting planning and simulation modules for product with three dimensional geometric shape are realized based on the Z-Map model. The realized system has the various capabilities related to the automatic generation of tool path for the rough and finish cutting processes, the automatic elimination of overcut, the automatic generation of CNC program for a machining center and the cutting simulation. Especially, the overcut-free tool path is obtained by using the CL Z-Map models which are composed of the offset surfaces of the geometric shape of product.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.7 no.5
• /
• pp.38-45
• /
• 1998

The Z-map model which is quite similar to the non-parametric patch is widely used to describe the shape of a surface because of its simplicity. Despite the inherent advantage of z-map model. it has drawbacks that there exists difficulty in expressing the vertical walls and its related contact treatment method. In the region of vertical walls, there is a convergence problem in searching the contact point. In this study a contact point finding scheme is presented, based on the z value of the z-map model on the sheet normal direction. To show the utility of this scheme a compared with the experimental results. The effects of the Z-map grid distances and the interpolations of the inside Z-map value are also discussed.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.19 no.3
• /
• pp.290-296
• /
• 2014

This paper presents a design strategy for the control of the Z-source inverter (ZSI). For the Z-network capacitor voltage control, the average current model is derived to describe the dynamics of the voltage control and the controller outputs the average current command for the capacitor. Z-network inductor current reference is derived from the average current model of the Z-network capacitor. The inner current control loop outputs the average voltage command for the Z-network inductor and the shoot-through duty ratio of the ZSI is calculated from the output using the average voltage model of the Z-network inductor. The gain values of the current and voltage controllers are directly obtained by the Z-network parameters and desired bandwidth of each controller without a gain tuning process.

• International Journal of Precision Engineering and Manufacturing
• /
• v.3 no.1
• /
• pp.49-56
• /
• 2002

The Z-map is a special farm of discrete non-parametric representation in which the height values at grid points on the xy-plane are stored as a 2D array z[ij]. While the z-map is the simplest farm of representing sculptured surfaces and is the most versatile scheme for modeling non-parametric objects, its practical application in industry (eg, tool-path generation) has aroused much controversy over its weaknesses, namely its inaccuracy, singularity (eg, vertical wall), and some excessive storage needs. Much research or the application of the z-map can be found in various articles, however, research on the systematic analysis of sculptured surface shape representation via the z-map model is rather rare. Presented in this paper are the following: shape modeling power of the simple z-map model, exact (within tolerance) z-map representation of sculptured surfaces which have some feature-shapes such as vertical-walls and real sharp-edges by adopting some complementary z-map models, and some application examples.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.11
• /
• pp.180-188
• /
• 1998

Z-map is a special form of discrete nonparametric representation in which the height values at grid points on the xy-plane are stored as a 2D array z[i.j]. While z-map is the simplest form of representing sculptured surfaces and it is the most versatile scheme for modeling nonparametric objects, its practical application in industry (eg, tool-path generation) aroused much controversy over its weaknesses ; accuracy, singularity (eg, vertical wall), and some excessive storage needs. Although z-map has such limitations, much research on the application of z-map can be found in various articles. However, research on the systematic analysis of sculptured surface shape representation via z-map model is rather rare. Presented in this paper are the following: shape modeling power of the simple z-map model, exact (within tolerance) B-map representation of sculptured surfaces which have some feature-shapes such as vertical-walls and real sharp-edges by adopting some complementary B-map models, and some application examples.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

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

The paper discusses new approach for machining operation simulation using enhanced Z map algorithm. To extract the required geometric information from NC code, suggested algorithm uses supersampling method to enhance the efficiency of a simulation process. By executing redundant Boolean operations in a grid cell and averaging down calculated data, presented algorithm can accurately represent material removal volume though tool swept volume is negligibly small. Supersampling method is the most common form of antialiasing and usually used with polygon mesh rendering in computer graphics. The key advantage of enhanced Z map model is that the data structure is same with conventional Z map model, though it can acquire higher accuracy and reliability with same or lower computation time. By simulating machining operation efficiently, this system can be used to improve the reliability and efficiency of NC machining process as well as the quality of the final product.

• Korean Journal of Computational Design and Engineering
• /
• v.4 no.4
• /
• pp.355-359
• /
• 1999

This paper presents a method for determining machining parameters in electrical discharge machining process (EDM) based on discharge area. The parameters are the peak value of currents, the pulse-on time, and the pulse-off time, on which the EDM performance depends chiefly. The optimal machining parameters are closely related on discharge area, which can be calculated from a tool electrode and a discharge height. In the paper the discharge area is obtained from NC code for machining the tool electrode instead of its geometric model. The method consists of following three steps. First a Z-Map model is constructed from the NC code. Secondly, the discharge area is obtained from the Z-Map model and a Z-height. Finally, the machining parameters are calculated from the discharge area. An introduced example shows that the machining parameters are calculated by the using a Z-map model obtained from the machining data for a tool electrode.

• Journal of Digital Contents Society
• /
• v.9 no.2
• /
• pp.363-369
• /
• 2008

In this paper, we have proposed 3D shape reconstruction using superquadrics and single z-buffer Constructive Solid Geometry (CSG) rendering algorithm. Superquadrics can obtain various 3D model using 11 parameters and both superquadrics and deformed-superquadrics play a role of primitives which are consisted of CSG tree. In addition, we defined some effective equations using z-buffer algorithm and stencil buffer for synthesizing 3D model. Using this proposed algorithm, we need not to consider the coordinate of each 3D model because we simply compare the depth value of 3D model.