• 대한수학회보
• /
• 제34권2호
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• 대한수학회논문집
• /
• 제11권3호
• /
• pp.725-742
• /
• 1996

In this paper we give some sharp expressions of the weakly convergent sequence coefficient WCS(X) of a Banach space X. They are used to prove fixed point theorems for involution mappings T from a weakly compact convex subset C of a Banach space X with WCS(X) > 1 into itself which $T^2$ are both of asymptotically nonexpansive type and weakly asymptotically regular on C. We also show that if X satisfies the semi-Opial property, then every nonexpansive mapping $T : C \to C$ has a fixed point. Further, some questions for asymtotically nonexpansive mappings are raised.

• Journal of Advanced Marine Engineering and Technology
• /
• 제32권1호
• /
• pp.100-109
• /
• 2008

The three-dimensional flows in the Weis-Fogh mechanism are studied by flow visualization and numerical simulation by the vortex method. The vortex method. especially the vortex stick method, is employed to investigate the vortex structure in the wake of the two wings. The pressure is estimated by the Bernoulli equation, and the lift on the wing are also obtained. As the results the eddies near the leading edge of each wing in the fling stage take a convex shape because the eddies shed from both tips entrain the flows and the downwash in the rotating stage is deflected toward the outside because the outside tip vortex is stronger than the inside one. And the lift coefficient on the wings in this mechanism is almost independent of the Reynolds number.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.628-631
• /
• 2003

This study describes a new mastless nano-fabrication technique of Pyrex 7740 glass using the combination of nanomachining by nano-indenter XP and HF wet etching. First, the surface of a Pyrex 7740 glass specimen was machined by using the nano-machining system, which utilizes the mechanism of the nano-indenter XP. Next, the specimen was etched by HF solution. After the etching process, the convex structure or deeper hole is made because of masking or promotion effect of the affected layer generated by nano-machining. On the basis of this interesting fact. some sample structures were fabricated.

• 한국디지털건축인테리어학회논문집
• /
• 제6권2호
• /
• pp.1-8
• /
• 2006

This study is investigates space syntax theory, developed by Bill Hiller, used for physical analysis and visual access of space and role of spatial configuration based on social logic. it mean computer program analyze physical structure of space and represent by mathematical logic. it used for predict space use and Descriptive of spatial configuration. This method and theory is incompletion for design, but it enough useful tool for architecture and urban design and will be improved. And development of a simple computer program - SSA(Sspace Syntax Analysis) for space syntax analysis and study. SSA is based on convex map analysis and using VISIO software for easily using and development.

• Journal of applied mathematics & informatics
• /
• 제30권5_6호
• /
• pp.759-772
• /
• 2012

In this paper, semi-infinite constrained programming, a class of constrained nonsmooth optimization problems, are transformed into unconstrained nonsmooth convex programs under the help of exact penalty function. The unconstrained objective function which owns the primal-dual gradient structure has connection with $\mathcal{VU}$-space decomposition. Then a $\mathcal{VU}$-space decomposition method can be applied for solving this unconstrained programs. Finally, the superlinear convergence algorithm is proved under certain assumption.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1999년도 추계학술대회 논문집 - 한국공작기계학회
• /
• pp.419-424
• /
• 1999

In this paper, the comparison of the first order approximation schemes such as SLP (sequential linear programming), CONLIN(convex linearization), MMA(method of moving asymptotes) and the second order approximation scheme, SQP(sequential quadratic programming) was accomplished for optimization of and nonlinear structures. It was found that MMA and SQP(sequential quadratic programming) was accomplished for optimization of and nonlinear structures. It was found that MMA and SQP are the most efficient methods for optimization. But the number of function call of SQP is much more than that of MMA. Therefore, when it is considered with the expense of computation, MMA is more efficient than SQP. In order to examine the efficiency of MMA for complex optimization problem, it was applied to the helicopter tail boom considering column buckling and local wall buckling constraints. It is concluded that MMA can be a very efficient approximation scheme from simple problems to complex problems.

• 한국정밀공학회지
• /
• 제22권7호
• /
• pp.71-78
• /
• 2005

The purpose of this study is to suggest a hyperfine maskless writing technique by using the nanoindentation and HF wet etching technique. Indents were made on the surface of Pyrex7740 glass by the hyperfine indentation process with a Berkovich diamond indenter, and they were etched in $50\;wr\%$ HF solution. After etching process, convex structure was obtained due to the deformation-induced hillock phenomena. In this study, effects of indentation process parameters (etching time, normal load, loading .ate, hold-time at the maximum load) on the morphologies of the indented surfaces after isotopic etching were investigated from an angle of deformation energies. Finally, sample characters were written to show the possibility of the application.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2003년도 추계학술대회논문집
• /
• pp.60-65
• /
• 2003

In this study, for estimating responses of a controlled structure and determining the maximum control force of velocity-dependent damping devices, three estimation models such as Fourier envelope convex model, probability model, and Newmark design spectrum are used. For this purpose, a procedure proposed by Gupta (1990) for estimating spectral velocity using pseudo-spectral velocity which is given by the estimation models is used and modified to consider the effects of increased damping ratio by the damping device. Time history results indicate that Newmark design spectrum gives the best estimation of maximum control force for over all period structures.

• 한국자원식물학회지
• /
• 제12권2호
• /
• pp.133-138
• /
• 1999

당근(Daucus carota L. cv. Hongshim)의 접합자배와 체세포배의 경정부의 구조는 주사전자현미경과 종단면 관찰을 통하여 이루어졌다. 접합자배의 경정부는 도립된 보우트형이고, 2ㆍ3ㆍ4자엽 체세포배의 경정부는 각각 도립된 보우트형, 피라미드형 및 볼록한 다이아몬드형으로 나타났다. 접합자배의 경정부는 다소 작은 세포들로 구성되어 있고, 초층과 내체의 구별이 된다. 체세포배의 경정부는 다소 큰 세포들이 불규칙하게 배열되어 있다.