• Bulletin of the Korean Mathematical Society
• /
• v.30 no.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.

• The Pure and Applied Mathematics
• /
• v.26 no.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$.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.34 no.4
• /
• pp.1191-1201
• /
• 2014

The rip current warning index function, which estimates the likelihood of dangerous rip current in the real-time rip current warning system operating to help mitigate against rip current accidents at Haeundae beach, was studied. The rip current warning index evaluated as a function of various real-time observations was developed based on Choi et al. (2013b). This study shows a version of rip current warning index improved by including the effect of wave direction and spreadings of frequency-directional spectrum on rip current likelihood. The wave and tidal observations in 2012 at Haeundae coast were applied to the rip current index function, and its performances at several real events found based on CCTV images were presented and analyzed.

• Journal of ILASS-Korea
• /
• v.22 no.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.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• 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.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.28 no.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.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.6 no.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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• 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

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.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".

• Journal of the Korea Society for Simulation
• /
• v.15 no.4
• /
• pp.41-50
• /
• 2006

The agent system for managing various equipments constituting communication networks is usually started to be developed after completing real resources or can be developed using network management platform independent from real resources. In this paper, we design real resource simulator which can perform in advance the function of real resources without real resources. The real resource simulator performs the role of automatically generating specific attribute value and informing it according to the specified random function. Moreover, in this paper, we design E-GDMO grammar in which the grammar for simulation is added to the existing GDMO grammar and its E-GDMO compiler to perform real resource simulator.