• 한국정밀공학회지
• /
• 제13권4호
• /
• pp.43-52
• /
• 1996

This paper describes interactive computer procedures for design the forming sequences in cold forging. This system is implemented on the personal computer and its environment is a commercial AutoCAD system. The programming language. AutoLISP, was used for the configuration of the system. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the part is a key in process planning. To recognize the part section geometry, the section entity representation, the section coordinate-redius representation and the section primitive geometru were adopted. This system includes six major modules such as input module, forging design module, forming sequence design module, die design module, FEM verification module and output module which are used independently or in all. The sequence drawing wigh all dimensions, which includes the dimensional tolerances and the proper sequence of operations, can generate under the environment of AutoCAD. The acceptable forming sequences can be verified further, using the FE simulation.

• 대한수학교육학회지:학교수학
• /
• 제13권3호
• /
• pp.447-468
• /
• 2011

고등학교 수학교과과정에서 이차곡선에 관련된 단원의 지도는 다른 어떤 단원보다도 연결성이 고려된 지도가 필요한 단원이다. 다시 말해 대수적 접근 방식과 기하적 접근 방식이 동시에 병렬적으로 지도되어야 한다. 특히 대수적 조작력이 미흡한 하위권 학생들에게는 이차곡선에 대한 성질을 역동적으로 표현하는 시각적 표상을 심어주는 기하적 접근 방식이 더욱 중요하다. 이를 위하여 본 연구는 이차곡선의 지도에 있어서 GeoGebra에 기반한 역동적인 시각적 표상의 중요성을 제안하고자 현행 고등학교 '기하와 벡터' 10종의 교과서와 익힘책의 이차곡선 단원 중 포물선에 관련된 부분을 분석하여 시각적 표상을 극대화할 수 있는 지도 방안을 제안하는 실험적 수업을 진행하고 학생들의 표상의 변화를 분석하였다.

• 대한수학회보
• /
• 제25권2호
• /
• pp.243-246
• /
• 1988

Let M(z)=exp (-1+z/1-z) be the unit singular inner function. See [1] or [2] for the basic facts about inner functions. We define the iterations of M9z) as (Fig.) Since the composition M$_{2}$(z)=M.M(z) is known (see [5] for example) to be singular inner function it has the "cannonical" representation (Fig.) where .mu. is a finite, positive singular Borel measure on the unit circle T. In section 2, we have explicit cannonical representation of M$_{2}$(z) by determining the singular measure .mu. In section 3 we show that (Fig.) These facts might have been known but could not be found in the literature.iterature.

• 한국정밀공학회지
• /
• 제11권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.

• 대한수학회지
• /
• 제38권2호
• /
• pp.227-274
• /
• 2001

In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.

• 한국통신학회논문지
• /
• 제13권4호
• /
• pp.309-321
• /
• 1988

본 논문에서는 단면(cross section)이 원(circle)인 곡면물체를 처리하는 방법인 G.C표현에 있어서 필요한 축방정식과 반경함수를 구하는 방법을 제안한다. 우선 입력으로 들어온 깊이 데이터에서 clustering을 통해 선형축을 가지고 있는 부분과 비선형축을 가지는 부분을 분리하였으며 각 표면마스크조각(surface mask patch)들의 법선 벡터를 통하여 축상의 점들을 추출하였다. 또한 추출된 축상의 점들이 비선형인 경우 Hermite 곡선으로 축방정식을 표현하였으며 본 논문의 유용성을 실험에 의하여 입증하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2007년도 춘계학술대회논문집
• /
• pp.1062-1073
• /
• 2007

Acoustic Target Strength (TS) is a major parameter of the active sonar equation, which indicates the ratio of the radiated intensity from the source to the re-radiated intensity by a target. In developing a TS equation, it is assumed that the radiated pressure is known and the re-radiated intensity is unknown. This research provides a TS equation for polygonal plates, which is applicable to near field acoustics. In this research, Helmholtz-Kirchhoff formula is used as the primary equation for solving the re-radiated pressure field; the primary equation contains a surface (double) integral representation. The double integral representation can be reduced to a closed form, which involves only a line (single) integral representation of the boundary of the surface area by applying Stoke's theorem. Use of such line integral representations can reduce the cost of numerical calculation. Also Kirchhoff approximation is used to solve the surface values such as pressure and particle velocity. Finally, a generalized definition of Sonar Cross Section (SCS) that is applicable to near field is suggested. The TS equation for polygonal plates in near field is developed using the three prescribed statements; the redection to line integral representation, Kirchhoff approximation and a generalized definition of SCS. The equation developed in this research is applicable to near field, and therefore, no approximations are allowed except the Kirchhoff approximation. However, examinations with various types of models for reliability show that the equation has good performance in its applications. To analyze a general shape of model, a submarine type model was selected and successfully analyzed.

• 한국실내디자인학회논문집
• /
• 제37호
• /
• pp.48-54
• /
• 2003

This study investigates great potential of architectural representation drawings for architects as well as designers to realize their design concept into visual forms. In 1988, an exhibition called "Deconstruction in Architecture" at Modern Art Museum, New York, was an important turning point in design representation. The study examines design drawings of architects of deconstructivism to analyze new attitudes toward building forms and programs in contemporary architecture. The study found in the drawings that initially, collages in many different types are often utilized to express simultaneous time and space. Secondly, section drawings become more important to explain ambiguous and complex floor system than before. Thirdly, cinematic montages are utilized to express indeterminate or loose programs. Fourthly, diagrams are utilized to visualize initial conditions and clues of design solution. The study concludes that design drawings are not only representation media admitting of changes and progress but also tools of design creation. creation.

• 대한기계학회논문집
• /
• 제19권4호
• /
• pp.1005-1012
• /
• 1995

This paper proposes a new approach for modeling sweep surfaces. The overall modeling procedure consists of following steps : (1)remeshing the section curves based on the curve lengths ; (2)remeshing the guide curve and the boundary curves based on a given sweeping rule ; (3)obtaining intermediate section curves at the remeshed points of the guide curve by blending the initial section curves ; (4)compensation of the intermediate section curves ; (5)interpolating the initial and intermediate curves using Hermite interpolant. The resulting sweep surface is expressed in a G$^{2}$ bicubic parametric spline surface.

• 대한수학회보
• /
• 제29권2호
• /
• pp.265-275
• /
• 1992

The characteristic free representation theory of the general linear group has found a wide range of applications, ranging from the theory of free resolutions to the symmetric function theory. Representation theory is used to facilitate the calculation of explicit free resolutions of large classes of ideals (and modules). Recently, K. Akin and D. A. Buchsbaum [2] realized the Jacobi-Trudi identity for a Schur function as a resolution of GL$_{n}$-modules. Over a field of characteristic zero, it was observed by A. Lascoux [6]. T.Jozefiak and J.Weyman [5] used the Koszul complex to realize a formula of D.E. Littlewood as a resolution of schur modules. This leads us to further study resolutions of Schur modules of a particular form. In this article we will describe some new classes of finite free resolutions associated to the Pieri type skew Young diagrams. As a special case of these finite free resolutions we obtain the generalized Koszul complex constructed in [1]. In section 2 we review some of the basic difinitions and properties of Schur modules that we shall use. In section 3 we describe certain exact complexes associated to the Pieri type skew partitions. Throughout this article, unless otherwise specified, R is a commutative ring with an identity element and a mudule F is a finitely generated free R-module.e.