• 호남수학학술지
• /
• 제44권2호
• /
• pp.179-194
• /
• 2022

In the present study, we investigate generic lightlike submanifolds of indefinite nearly Kaehler manifolds. After proving the existence of generic lightlike submanifolds in an indefinite generalized complex space form, a non-trivial example of this class of submanifolds is discussed. Then, we find a characterization theorem enabling the induced connection on a generic lightlike submanifold to be a metric connection. We also derive some conditions for the integrability of distributions defined on generic lightlike submanifolds. Further, we discuss the non-existence of mixed geodesic generic lightlike submanifolds in a generalized complex space form. Finally, we investigate totally umbilical generic lightlike submanifolds and minimal generic lightlike submanifolds of an indefinite nearly Kaehler manifold.

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.205-221
• /
• 2023

The main goal of the paper is the introduction of the notion of conformal hemi-slant submersions from almost contact metric manifolds onto Riemannian manifolds. It is a generalization of conformal anti-invariant submersions, conformal semi-invariant submersions and conformal slant submersions. Our main focus is conformal hemi-slant submersion from cosymplectic manifolds. We tend also study the integrability of the distributions involved in the definition of the submersions and the geometry of their leaves. Moreover, we get necessary and sufficient conditions for these submersions to be totally geodesic, and provide some representative examples of conformal hemi-slant submersions.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.847-863
• /
• 2023

We introduce the study of generic lightlike submanifolds of a semi-Riemannian product manifold. We establish a characterization theorem for the induced connection on a generic lightlike submanifold to be a metric connection. We also find some conditions for the integrability of the distributions associated with generic lightlike submanifolds and discuss the geometry of foliations. Then we search for some results enabling a generic lightlike submanifold of a semi-Riemannian product manifold to be a generic lightlike product manifold. Finally, we examine minimal generic lightlike submanifolds of a semi-Riemannian product manifold.

• 대한기계학회논문집A
• /
• 제32권4호
• /
• pp.297-302
• /
• 2008

We present an electrical particle velocity profiler using particle transit time across uneven inter-gap electrodes. We measure both the particle position and velocity from the voltage signals generated by the particles passing across sensing electrodes, thus obtaining the velocity profile of the particles in a microfluidic channel. In the experimental study, we use polystyrene microparticles to characterize the performance of the electrical particle velocity profiler. The particle velocity profile is measured with the uncertainty of 5.44%, which is equivalent to the uncertainty of 5% in the previous optical method. We also experimentally demonstrate the capability of the present method for in-channel clogging detection. Compared to the previous optical methods, the present electrical particle velocity profiler offers the simpler structure, the cheaper cost, and the higher integrability to micro-biofluidic systems.

• 대한산업공학회지
• /
• 제21권1호
• /
• pp.85-101
• /
• 1995

Automated Guided Vehicles(AGVs) are widely used in computer integrated manufacturing(CIM) systems for material handling purposes. Although automated guided vehicles provide higher levels of flexibility and computer integrability, the installations are limited in number and one of the critical reasons lies in the complexity involved in the operation. The main objective of this research is to alleviate this problem by proposing efficient integrated operational control methods for AGV-based CIM systems. Particularly, this research is concerned with the mixed problem of dispatching automated guided vehicles and scheduling machines operation. The proposed dynamic heuristic algorithm uses various priority schemes and relevant information concerning the load of the system, the status of queues, and the position of AGVs in the scheduling process. The scheduling decision process is hierarchical in the sense that different decision criteria are applied sequentially to identify the most appropriate part to be served. This algorithm consists of two sections, the section of part selection by AGVs for the next service whenever an AGV completes the current assignment, and the section of part selection by machines for next service whenever a machine completes the current operation. The proposed algorithm has been compared with other scheduling schemes using the performance measure of mean flow-time and mean tardiness. Simulation results indicate that the proposed algorithm can reduce the mean flow-time and mean tardiness significantly.

• Communications for Statistical Applications and Methods
• /
• 제18권6호
• /
• pp.799-808
• /
• 2011

Let {${\Omega}$, $\mathcal{F}$, P} be a probability space and {$X_n{\mid}n{\geq}1$} be a sequence of random variables defined on it. A finite sequence of random variables {$X_i{\mid}1{\leq}i{\leq}n$} is a conditional associated given $\mathcal{F}$ if for any coordinate-wise nondecreasing functions f and g defined on $R^n$, $Cov^{\mathcal{F}}$ (f($X_1$, ${\ldots}$, $X_n$), g($X_1$, ${\ldots}$, $X_n$)) ${\geq}$ 0 a.s. whenever the conditional covariance exists. We obtain the H$\grave{a}$jek-R$\grave{e}$nyi-type inequality for conditional associated random variables. In addition, we establish the strong law of large numbers, the three series theorem, integrability of supremum, and a strong growth rate for $\mathcal{F}$-associated random variables.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.59-68
• /
• 2011

In this paper, we first give the definition of degenerate weakly ($k_1$, $k_2$-quasiregular mappings by using the technique of exterior power and exterior differential forms, and then, by using Hodge decomposition and Reverse H$\"{o}$lder inequality, we obtain the higher integrability result: for any $q_1$ satisfying 0 < $k_1({n \atop l})^{3/2}n^{l/2}\;{\times}\;2^{n+1}l\;{\times}\;100^{n^2}\;\[2^l(2^{n+3l}+1)\]\;(l-q_1)$ < 1 there exists an integrable exponent $p_1$ = $p_1$(n, l, $k_1$, $k_2$) > l, such that every degenerate weakly ($k_1$, $k_2$)-quasiregular mapping f ${\in}$ $W_{loc}^{1,q_1}$ (${\Omega}$, $R^n$) belongs to $W_{loc}^{1,p_1}$ (${\Omega}$, $R^m$), that is, f is a degenerate ($k_1$, $k_2$)-quasiregular mapping in the usual sense.

• 한국전자파학회논문지
• /
• 제29권8호
• /
• pp.576-582
• /
• 2018

본 논문에서는 고정형 위상천이기를 이용한 동위상 급전 평면형 전력분배기 회로를 제안하였다. 정교한 빔 조향을 위한 위상배열안테나의 집적도가 높아짐에 따라, 소자 안테나에 동일한 위상 신호를 공급하기 위해 급전 선로의 길이를 조정하는 기존의 방법에는 공간적 제약이 존재하게 된다. 따라서 평면형 위상천이 기능을 갖는 결함접지구조를 이용하여 인위적인 급전선 길이 조정 없이 소자 안테나에 동일 위상 신호를 공급하는 전력분배기를 설계하였다. 결함접지구조는 선로의 삽입손실을 최소화하고, 위상 천이를 조절할 수 있도록 설계되었으며, 안테나 포트간 격리도와 평면형 구현이 가능한 분배기를 설계 제작하였다.

• 지능정보연구
• /
• 제8권1호
• /
• pp.141-157
• /
• 2002

XML(eXtensible Markup Language, XML)은 인터넷에서의 자료 교환을 위해 고안된 언어이다. 본 논문에서는 XML의 개념을 발전시킨 확장형 규칙 표식 언어(eXtensible Rule Markup Language, XRML)를 제안하고 있다. XRML은 웹 페이지에 내재된 암묵적 규칙의 식별, 구조적인 규칙으로의 변환, 사람과 소프트웨어 에이전트간의 지식 공유를 가능하게 하며, 이를 통해 지식기반시스템(Knowledge Based System)과 지식관리시스템(Knowledge Management System)의 통합을 실현할 수 있는 새로운 언어가 될 것이다. 본고에서는 XRML이 이상과 같은 능력을 갖기 위해 반드시 갖춰야 할 6가지 설계 기준과, 이들 기준을 반영한 XRML 구성 요소로서 RIML(Rule Identification Markup Language), RSML(Rule Structure Markup Language)과 RTML(Rule Triggering Markup Language)을 설계하였으며, 개별 요소들의 기능 및 특성과 함께 태그와 DTD(Document Type Definition)도 식별하였다. 나아가 전술한 구조를 기반으로 하여 XRML을 워크플로우 시스템상의 폼처리에 적용한 Form/XRML이라는 프로토타입 시스템을 설계하고 구현하였다. 본 프로토타입의 개발을 통해, 지식기반시스템의 지식을 활용하는 RTML이 폼을 비롯한 다양한 응용시스템에 내재될 수 있으며, 웹 페이지의 암묵적 규칙과 지식기반시스템의 규칙이 일관성 있게 유지될 수 있음을 보여 주었다. 요컨대 본 연구는 XRML이 지능형 웹으로 발전하기 위한 새로운 도구이며, KBS와 KMS의 통합을 위한 중요한 도구임을 입증하였다는 점에서 큰 의의를 갖는다고 하겠다.

• 한국전산구조공학회논문집
• /
• 제24권4호
• /
• pp.355-364
• /
• 2011

본 논문은 이미지 처리나 신호처리 및 정보압축 등에 사용되는 웨이블릿 급수를 이용하여 4계 타원형 미분방정식을 풀때 그 방법에 대하여 논의하고자 한다. 본 논문에서 사용한 Hat 웨이블릿 함수는 $H^1$-공간에 속한 급수로서 일반적으로 2계 타원형 미분방정식에 적용하기에는 무리가 없으나 4계 타원형 미분방정식에 적용하기에는 불충분한 미분가능회수를 가지고 있다. 따라서 이 문제를 극복하기 위해 모멘트와 처짐을 미지수로 하는 선형방정식을 순차적으로 구성하고 풀어내는 방법을 사용하였다. 모멘트와 처짐을 미지수로 하는 순차적 해석법은 탄성하중법(모멘트면적법)의 응용으로 생각할 수 있다. 또한 그 정식화과정에서 무요소법과 동일한 점과 차이점을 언급하였다. 예측한 바와 같이 Hat 웨이블릿 함수의 항을 많이 고려할수록 수치해석의 해가 향상되는 것을 확인할 수 있었다. 또한 응력특이를 갖는 오일러보 문제의 경우 제안된 해석법은 종래의 유한요소 해석값과도 비교되었다.