• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.643-651
• /
• 2005

In the first part of this paper we investigate several statements concerning infinite maximal planar graphs which are equivalent in finite case. In the second one, for a given induced $\theta$-path (a finite induced path whose endvertices are adjacent to a vertex of infinite degree) in a 4-connected VAP-free maximal planar graph containing a vertex of infinite degree, a new $\theta$-path is constructed such that the resulting fan is tight.

• Journal of applied mathematics & informatics
• /
• 제30권1_2호
• /
• pp.245-252
• /
• 2012

In this paper we present a necessary and sufficient conditions for an infinite VAP-free plane graph to be a 3LV-graph as well as an LV-graph. We also introduce and investigate the concept of the order and the kernel of an infinite connected graph containing no one-way infinite path.

• Structural Engineering and Mechanics
• /
• 제35권5호
• /
• pp.555-570
• /
• 2010

Shallow fixed arches have a nonlinear primary equilibrium path with limit points and an unstable postbuckling equilibrium path, and they may also have bifurcation points at which equilibrium bifurcates from the nonlinear primary path to an unstable secondary equilibrium path. When a shallow fixed arch is subjected to a central step load, the load imparts kinetic energy to the arch and causes the arch to oscillate. When the load is sufficiently large, the oscillation of the arch may reach its unstable equilibrium path and the arch experiences an escaping-motion type of dynamic buckling. Nonlinear dynamic buckling of a two degree-of-freedom arch model is used to establish energy criteria for dynamic buckling of the conservative systems that have unstable primary and/or secondary equilibrium paths and then the energy criteria are applied to the dynamic buckling analysis of shallow fixed arches. The energy approach allows the dynamic buckling load to be determined without needing to solve the equations of motion.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.285-292
• /
• 1995

Some nonpath-connected orthomodular lattices are given : Every infinite direct product of othomodular lattices containing infinitely many non-Boolean factors is a nonpath-connected orthomodular lattice. The orthomodular lattice of all closed subspaces of an infinite dimensional Hilbert space is a nonpath-connected orthomodular lattice.

• 한국정밀공학회지
• /
• 제15권6호
• /
• pp.58-63
• /
• 1998

There are lots of factors that are related to the geometric characteristics of machined surface. Among them, the tool path and milling mode (up cut milling or down cut milling) are the easiest controllable machining conditions. Thus, the first objective of this research is to study the effects of them on the milled surface that is generated by an end milling tool. To get precision parts, not only the machining process but also the measurement of geometric tolerance is important. But, this measurement requires a lot of time, because the infinite surface points must be measured in the ideal case. So, the second objective is to propose a simple flatness measurement method that can be available instead of the 3-D geometric tolerance measurement method, using a scale factor and characterized points. Finally, it is also shown that the possibility of flatness improvement by shifting the consecutive fine cutting tool path as compared with the last rough cutting tool path.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.97-113
• /
• 2004

In this paper we shall study moving boundary problems, and we introduce an approach for solving a wide range of them by using calculus of variations and optimization. First, we transform the problem equivalently into an optimal control problem by defining an objective function and artificial control functions. By using measure theory, the new problem is modified into one consisting of the minimization of a linear functional over a set of Radon measures; then we obtain an optimal measure which is then approximated by a finite combination of atomic measures and the problem converted to an infinite-dimensional linear programming. We approximate the infinite linear programming to a finite-dimensional linear programming. Then by using the solution of the latter problem we obtain an approximate solution for moving boundary function on specific time. Furthermore, we show the path of moving boundary from initial state to final state.

• 한국정밀공학회지
• /
• 제27권1호
• /
• pp.76-83
• /
• 2010

There have been many studies regarding development of autonomous excavation system which is helpful in construction sites where repetitive jobs are necessary. Unfortunately, bucket trajectory planning was excluded from the previous studies. Since, the best use of excavator is to dig efficiently; purpose of this research was set to determine an optimized bucket trajectory in order to get best digging performance. Among infinite ways of digging any given path, criterion for either optimal or efficient bucket moves is required to be established. One method is to adopt work know-how from experienced excavator operator; However the work pattern varies from every worker to worker and it is hard to be analyzed. Thus, other than the work pattern taken from experienced operator, we developed an efficiency model to solve this problem. This paper presents a method to derive a bucket trajectory from optimization theory with empirical CLUB soil model. Path is greatly influenced by physical constraints such as geometry, excavator dimension and excavator workspace. By minimizing a energy function under these constraints, an optimal bucket trajectory could be obtained.

• 소음진동
• /
• 제7권3호
• /
• pp.477-488
• /
• 1997

In order to control vibration in structures, it is desirable to be able to identify dominant paths of vibration transmission from sources through the structure to some points of interest. Structural intensity vector(power flow per width of cross section) using cross spectra is able to measure the vibration power flow at a point in a structure. This paper describes the structural intensity measurement of 2-dimensional structure. Structural intensity of 2-dimensional structure can be obtained from eight point cross spectral measurement per axis, or two point measurement per axis on the assumption of far field. Approximate formulation of the relation between bending waves in structures and structural intensity makes it possible to separate the wave components by which one can get a state of the vibration field. Experimental results are obtained on an infinite plate at the near and far field in flexural vibration. The measurement error of two point measurement is rather bigger than eight point measurement on account of the assumption that Poisson's ratio is 1. The structural intensity vectors on the plate are checked the ability to identify the path of vibration power flow in random excitation and 200Hz sine excitation, the result of two point measurememt is almost the same as the result of eight point measurement in 200Hz sine excitation.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 1991년도 추계학술발표회 논문집 지반공학에서의 컴퓨터 활용 COMPUTER UTILIZATION IN GEOTECHNICAL ENGINEERING
• /
• pp.216-232
• /
• 1991

This Finite Element Program(TAFEM) has been developed to be able to carry out the structural analsis of tunnel section and simulate the surrounding ground behaviour due to New Austrian Tunnelling Method, of which main support is the surrounding ground, itself. The Elasto-plastic theory has been applied. The used finite elements are 8-noded isoparametric element(rock & shotcrete), 2 or 3-noded rod element(rock bolt) and infinite boundary element. The load incremental method and tangential stiffness method has been used. Associated flow rule was applied to plastic flow and yield criteria inclued not only Mohr-Coulomb but also Drucker-Prager. In this paper, Drucker-Prager yield criterion has been used. The relationship between plastic strain and stress is based on the incremental strain concept and stress-strain equation on the basis of the stress path of each gauss point has been adopted. It may be rational that rock is considered to be no-tension material, so that no-tension analysis has been adopted in accordance with the brittle fracture constitutive equation.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.445-448
• /
• 1996

For a lightly damped system, IIR based filter can have better performance than FIR filter as an adaptive filter in ANC algorithm. IIR based filter which has an infinite impulse response can model a lightly damped acoustic system with a small number of weights compared that of FIR filter and has no nonlinearity and instability problems on weight updating process which are associated to the conventional IIR filters. There are, however, some drawbacks such as design parameters to be determined earlier to get better performance and much increased computational power especially in the presence of error path. In this study, base filter parameters are determined in systematic manner, with the knowledge of the nominal impulse response of the system which should be identified, by Prony's method. Three methods reducing the computational load are proposed and their performance and application limits are discussed. Simulation and experimental results demonstrate the feasibility of the proposed method.