• 대한수학회보
• /
• 제30권1호
• /
• pp.125-134
• /
• 1993

Let X be a compact Hausdorff space, and let C(X) (resp. $C_{R}$(X)) be the complex (resp. real) Banach algebra of all continuous complex-valued(resp. real-valued) functions on X with the pointwise operations and the supremum norm x. A Banach function algebra on X is a Banach algebra lying in C(X) which separates the points of X and contains the constants. A Banach function algebra on X equipped with the supremum norm is called a uniform algebra on X, that is, a uniformly closed subalgebra of C(X) which separates the points of X and contains the constants.s.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제26권1호
• /
• pp.1-12
• /
• 2019

Necessary and sufficient conditions in terms of lower cut sets are given for the strong insertion of a Baire-.5 function between two comparable real-valued functions on the topological spaces that $F_{\sigma}-kernel$ of sets are $F_{\sigma}-sets$.

• 대한토목학회논문집
• /
• 제34권4호
• /
• pp.1191-1201
• /
• 2014

이안류 안전사고의 저감을 목적으로 매년 여름 해운대 해수욕장을 대상으로 운영되고 있는 실시간 이안류 경보시스템에서 이안류의 발생정도를 생산하는 이안류 경보지수 함수를 연구하였다. 실시간 관측정보를 입력변수로 하여 이안류 발생정도를 산정하는 이안류 경보지수 함수는 Choi et al. (2013b)의 연구를 기반으로 연구가 진행되었다. 본 연구에서는 입사파의 파향과 스펙트럼의 광협도가 이안류 발생정도에 미치는 영향을 고려하므로 이안류 경보지수 함수를 개선하였다. 2012년에 운영된 해운대 파랑 관측자료와 부산조위소의 조위정보를 개선된 이안류 지수 함수에 적용하였고, CCTV를 통해 확인된 몇 차례의 이안류 발생사건에 대하여 관측결과와 적용한 결과를 비교하여 제시하였다.

• 한국분무공학회지
• /
• 제22권3호
• /
• pp.137-145
• /
• 2017

This paper describes numerical modeling of transcritical and supercritical fluid flows within a liquid propellant rocket engine. In the present paper, turbulence is modeled by standard $k-{\varepsilon}$ model. A conserved scalar approach in conjunction with multi-environment probability density function model is used to account for the turbulent mixing of real-fluids in the transcritical and supercritical region. The two real-fluid equations of state and dense-fluid correction schemes for mixtures are used to construct thermodynamic data library based on the conserved scalar. In this study, calculations are made on two cryogenic nitrogen jets under different chamber pressures. Sensitivity analysis for two different real-fluid equations of sate is particularly emphasized. Based on numerical results, precise structures of cryogenic nitrogen jets are discussed in detail. Numerical results show that the current real-fluid model can predict the essential features of the cryogenic liquid nitrogen jets.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
• /
• pp.237-239
• /
• 2004

Wireless LAN Voice over IP(VoIP) equipment needs Quality-of-Service(QoS) with priority for processing real-time traffic. This paper shows transmit function implementation of wireless LAN(WLANs) media access control(MAC) support VoIP, and it has an advantage of guarantee of QoS and is adaptable to VoIP or mobile wireless equipment. The IEEE 802.11e standard in progress has four queues according to four access categories(AC) for transmit and the MAC transmits the data based on EDCA. The value of AC is from AC0 to AC3 and AC3 has the highest priority. The transmit method implemented at this paper ensure QoS using one transmit FIFO in hardware since real-time traffic data and non real-time traffic data has the different priority. The device driver classifies real-time data and non real-time data and transmit data to hardware with information about data type. The hardware conducts shorter backoff and selects faster AIFS slot for real-time data than it for non real-time data. Therefor It make give the real-time traffic data faster channel access chance than non real-time data and enhances QoS.

• 한국경영과학회지
• /
• 제28권2호
• /
• pp.75-89
• /
• 2003

Media Access Control (MAC) Protocol in IEEE 802.11 Wireless LAN standard supports two types of services, synchronous and asynchronous. Synchronous real-time traffic is served by Point Coordination Function (PCF) that implements polling access method. Asynchronous nonreal-time traffic is provided by Distributed Coordination Function (DCF) based on Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Since real-time traffic is sensitive to delay, and nonreal-time traffic to error and throughput, proper traffic scheduling algorithm needs to be designed. But it is known that the standard IEEE 802.11 scheme is insufficient to serve real-time traffic. In this paper, real-time traffic scheduling and admission control algorithm is proposed. To satisfy the deadline violation probability of the real time traffic the downlink traffic is scheduled before the uplink by Earliest Due Date (EDD) rule. Admission of real-time connection is controlled to satisfy the minimum throughput of nonreal-time traffic which is estimated by exponential smoothing. Simulation is performed to have proper system capacity that satisfies the Quality of Service (QoS) requirement. Tradeoff between real-time and nonreal-time stations is demonstrated. The admission control and the EDD with downlink-first scheduling are illustrated to be effective for the real-time traffic in the wireless LAN.

• 한국군사과학기술학회지
• /
• 제6권4호
• /
• pp.80-88
• /
• 2003

Radar signal simulation is increasingly gaining in importance according as modem radar systems are more complex. Although computer performance has been advanced, it is difficult to implement the real-time simulation because the detailed model for the radar is necessary to get the desired accuracy. In order to achieve real time operation, we propose radar signal generation technique using ambiguity function, Instead of wellknown correlation method. The ambiguity function is the mathematical modeling of the signal processing procedure which is a simulation section to require the most computations.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 춘계학술대회 논문집
• /
• pp.25-29
• /
• 1997

In this thesis, we construct the microrobot succor system and navigate the real-time path planning and visual tracking of each robot. The system consists robots, vision system and a host computer. Because the robots are free-ranging mobile robot, it is needed to make and gallow the path. The path is planned and controlled by a host computer, ie. Supervisory control system. In path planning, we suggest a cost function which consists of three terms. One is the smoothness of the path, another is the total distance or time, and the last one is to avoid obstacles. To minimize the cost function, we choose the parametric cubic spline and update the coefficients in real time. We perform the simulation for the path planing and obstacle avoidance and real experiment for visual tracking

• 대한수학회보
• /
• 제33권1호
• /
• pp.1-16
• /
• 1996

Earlier in 1935[12], M. S. Robertson introduced the class of quadrant preserving functions. More precisely, let Q be the class of all functions f(z) analytic in the unit disk $D = {z : $\mid$z$\mid$ < 1}$ such that f(0) = 0, f'(0) = 1, and the range f(z) is in the j-th quadrant whenever z is in the j-th quadrant of D, j = 1,2,3,4. This class Q contains the subclass of normalized, odd univalent functions which have real coefficients. On the other hand, this class Q is contained in the class T of odd typically real functions which was introduced by W. Rogosinski [13]. Clearly, if $f \in Q$, then f(z) is real when z is real and therefore the coefficients of f are all real. Recently, it was observed by Y. Abu-Muhanna and T. H. MacGregor [1] that any function $f \in Q$ is odd. Instead of functions "preserving quadrants", the authors [1] have introduced the notion of "preserving sectors".

• 한국시뮬레이션학회논문지
• /
• 제15권4호
• /
• pp.41-50
• /
• 2006

통신망을 구성하는 각종 장비들을 관리하기 위한 에이전트 시스템은 보통 실제자원이 완성된 후에 개발을 시작하거나, 실제자원에 독립적인 망 관리 플랫폼을 이용하여 개발할 수 있다. 본 논문에서는 이와 같은 방법을 따르지 않고 실제자원이 없는 단계에서도 미리 실제자원의 역할을 수행할 수 있는 실제자원 시뮬레이터를 설계한다. 실제자원 시뮬레이터는 특정 애프리뷰트의 값과 통고를 지정된 random 함수에 따라 자동으로 발생시키는 역할을 수행한다. 또한 본 논문에서는 실제자원 시뮬레이터의 동작을 수행하기 위해 기존 GDMO 문법에 시뮬레이션 문법을 추가한 E-GDMO 문법과, E-GDMO 컴파일러를 설계한다.