• 한국전산유체공학회:학술대회논문집
• /
• 2003.10a
• /
• pp.135-136
• /
• 2003

• Korean Journal of Mathematics
• /
• v.4 no.2
• /
• pp.179-193
• /
• 1996

This paper is concerned with the penalized stationary incompressible Navier-Stokes system with the inhomogeneous Dirichlet boundary condition on the part of the boundary. By taking a generalized velocity space on which the homogeneous essential boundary condition is imposed and corresponding trace space on the boundary, we pose the system to the weak form which the stress force is involved. We show the existence and convergence of the penalized system in the regular branch by extending the div-stability condition.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.371-374
• /
• 1998

본 논문에서는 muller법과 regular falsi법에 의한 CMOS 반전 증폭 회로를 해석하는 방법을 제안한다. Muller법과 regular falsi법을 이용하여 회로의 절점전압과 branch 전류를 예측하였고 회로의 출력 절점에서 KCL을 만족하도록 하였다. CMOS 반전 증폭 회로의 모의실험을 수행한 결과 MEDICI에 사용된 결합법에 비해 전압특성과 전류특성은 각각 5%와 5.4%의 최대상대오차를 보였다.

• Journal of applied mathematics & informatics
• /
• v.6 no.3
• /
• pp.851-858
• /
• 1999

A new problem of the theory of finite automata (Rabin-Scott's automata) is considered. So called basis automaton for the given regular language l is defined. this automaton is unique for the given L, it is defined by two au-tomata of canonical form: for L and for its inverse language LR. Some properties of basis automata are considered. Such properties make these automata most convenient for using in some special tasks dealing with the given regular language.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.203-212
• /
• 2022

A simple graph is called semi-symmetric if it is regular and edge transitive but not vertex transitive. In this paper we prove that there is no connected cubic semi-symmetric graph of order 12p³ for any prime number p.

• Journal of applied mathematics & informatics
• /
• v.8 no.3
• /
• pp.693-703
• /
• 2001

In this paper we consider non-deterministic finite Rabin-Scott’s automata. We use a special structure to descibe all the possible edges of non-determinstic finite automaton defining the given regular language. Such structure can be used for solving various problems of finite automata theory. One of these problems is edge-minimization of non-deterministic automata. As we have not touched this problem before, we obtain here two versions of the algorithm for solving this problem to continue previous series of articles.

• Kyungpook Mathematical Journal
• /
• v.62 no.4
• /
• pp.689-697
• /
• 2022

In this paper, we study dual integrable representations of locally compact commutative hypergroups and give a sufficient and necessary condition for a dual integrable representation to have an admissible vector.

• Advances in concrete construction
• /
• v.5 no.4
• /
• pp.407-422
• /
• 2017

Evaluating seismic performance of urban structures for future earthquakes is one of the key prerequisites of rehabilitation programs. Irregular structures, as a specific case, are more susceptible to sustain earthquake damage than regular structures. The study here is to identify damage states of vertically irregular structures using the well-recognized Park-Ang damage index. For doing this, a regular 3-story reinforced concrete (RC) structure is first designed based on ACI-318 code, and a peak ground acceleration (PGA) of 0.3 g. Some known vertical irregularities such as setback, short column and soft story are then applied to the regular structure. All the four structures are subjected to seven different earthquakes accelerations and different amplitudes which are then analyzed using nonlinear dynamic procedure. The damage indices of the structures are then accounted for using the pointed out damage index. The results show that the structure with soft story irregularity sustains more damage in all the earthquake records than the other structures. The least damage belongs the regular structure showing that different earthquake with different accelerations and amplitudes have no significant effect on the regular structures.

• Journal of applied mathematics & informatics
• /
• v.9 no.1
• /
• pp.135-150
• /
• 2002

The present paper discusses non-deterministic finite Rabin-scott's automate. The majority of works recently dealing with this subject were, in fact, concerned only with properties of a canonical term automata or of some objects equivalent to it. This article continues the series of works in which the authors state a different point of view, describing the finite automata as just another invariant of the given regular language called basis finite automaton. In this article the authors argue on some new properties for the basis finite automaton. One of them is included into basis automaton's table of binary relations. It is stated that this table can not contain either identical strings or identical columns. Another property depicts a possibility to obtain any finite automaton for a given regular language by the process of duplicating or combining some of its states.

• Smart Structures and Systems
• /
• v.21 no.6
• /
• pp.715-725
• /
• 2018

Truss-Z (TZ) is an Extremely Modular System (EMS). Such systems allow for creation of structurally sound free-form structures, are comprised of as few types of modules as possible, and are not constrained by a regular tessellation of space. Their objective is to create spatial structures in given environments connecting given terminals without self-intersections and obstacle-intersections. TZ is a skeletal modular system for creating free-form pedestrian ramps and ramp networks. The previous research on TZ focused on global discrete geometric optimization of the spatial configuration of modules. This paper reports on the first attempts at structural optimization of the module for a single-branch TZ. The internal topology and the sizing of module beams are subject to optimization. An important challenge is that the module is to be universal: it must be designed for the worst case scenario, as defined by the module position within a TZ branch and the geometric configuration of the branch itself. There are four variations of each module, and the number of unique TZ configurations grows exponentially with the branch length. The aim is to obtain minimum-mass modules with the von Mises equivalent stress constrained under certain design load. The resulting modules are further evaluated also in terms of the typical structural criterion of compliance.