• East Asian mathematical journal
• /
• v.27 no.1
• /
• pp.23-33
• /
• 2011

Due to underutilization of spectrum under current inefficient and static spectrum management policy, various kinds of opportunistic spectrum access (OSA) strategies have appeared. Myopic policy is a simple and robust OSA strategy with reduced complexity that maximizes immediate throughput. In this paper, we propose mathematical models to evaluate the throughput and the MAC delay of a myopic policy under saturation tra c conditions. Using the MAC delay distribution, we evaluate the packet delay of secondary users under nonsaturation conditions. Numerical results are given to show the performance of the myopic policy in cognitive radio networks.

• East Asian mathematical journal
• /
• v.30 no.1
• /
• pp.23-29
• /
• 2014

To solve inefficient spectrum usage problem under current static spectrum management policy, various kinds of dynamic spectrum access strategies have appeared. Myopic policy, which maximizes immediate throughput, is a simple and robust strategy with reduced complexity. In this paper, we present a simple mathematical model to evaluate the saturation throughput and medium access delay of a myopic policy in the presence of multiple channels.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.265-281
• /
• 2021

In the kneading theory developed by Milnor and Thurston, it is proved that the kneading matrix and the kneading determinant associated with a continuous piecewise monotone map are invariant under orientation-preserving conjugacy. This paper considers the problem for orientation-reversing conjugacy and proves that the former is not an invariant while the latter is. It also presents applications of the result towards the computational complexity of kneading matrices and the classification of maps up to topological conjugacy.

• ETRI Journal
• /
• v.34 no.6
• /
• pp.869-878
• /
• 2012

A beam design method based on signal-to-leakage-plus-noise ratio (SLNR) has been recently proposed as an effective scheme for multiuser multiple-input multiple-output downlink channels. It is shown that its solution, which maximizes the SLNR at a transmitter, can be simply obtained by the generalized eigenvectors corresponding to the dominant generalized eigenvalues of a pair of covariance matrices of a desired signal and interference leakage plus noise. Under time-varying channels, however, generalized eigendecomposition is required at each time step to design the optimal beam, and its level of complexity is too high to implement in practical systems. To overcome this problem, a predictive beam design method updating the beams according to channel variation is proposed. To this end, the perturbed generalized eigenvectors, which can be obtained by a perturbation theory without any iteration, are used. The performance of the method in terms of SLNR is analyzed and verified using numerical results.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.6 no.2
• /
• pp.323-332
• /
• 2014

High-speed marine vehicles can take advantage of aerodynamically supported platforms or air wings to increase maximum speed or transportation efficiency. However, this also results in increased complexity of boat dynamics, especially in the presence of waves and wind gusts. In this study, a mathematical model based on the fully unsteady aerodynamic extreme-ground-effect theory and the hydrodynamic added-mass strip theory is applied for simulating vertical-plane motions of a tunnel hull in a disturbed environment, as well as determining its steady states in calm conditions. Calculated responses of the boat to wind gusts and surface waves are demonstrated. The present model can be used as a supplementary method for preliminary estimations of performance of aerodynamically assisted marine craft.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.2
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.4
• /
• pp.176-181
• /
• 2001

Due to the increasing complexity to handle conflicts and interruptions caused by resource failures and rush orders, shop control is obliged to redesign its organization according to the changing demands of the manufacturing control. These demands are leading to the development of decentralization and gradually to their permanent optimization. As a result, a powerful modeling method which can be adapted efficiently is required. The use of agent theory enables specific modeling of the relevant shop planning activities. The planning activities are modeled in a so-called activity modeling through the definition of three classes of agents; Plan Agent, Manufacturing System Agent and Control Agent as well as the description of the cooperative relationship among these agents. On the basis of the activity model the agent-based shop control method is developed which emphasizes the distributed problem-solving and the cooperation with relevant agents.

• Korean Management Science Review
• /
• v.17 no.1
• /
• pp.31-40
• /
• 2000

With the rapidly changing external environment and the increasing internal process complexity more and more organizations are adopting the Electronic Approval System(EAS) for their competitiveness. This paper defines EAS as a core organizational communication medium investigates factors which influence EAS's use from a media rich-ness theory and shows sutiable EAS functions for equivocality resolution and uncertainty reduction. Results from the five EAS implementation sites show that most organizations use EAS only for tasks with low equivocality and low uncertainty. Additional functionalities such as video conferencing and database access were suggested for fu-ture EAS system to enhance their utilization for more cirtical and unstructed tasks.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.7
• /
• pp.79-86
• /
• 1992

Recent research on the application of fuzzy set theory to the design of control systems has led to interest in the theory of decomposition of multivariable fuzzy systems. Decomposition of multivariable control rules is preperable since it alleviates the complexity of the problem. However inference error is inevitable because of its approximate nature. In this paper we define an index of applicability which can classify whether the Gupta et. al's method can be applied to multivariable fuzzy system or not. We also propose a modified version of the decomposition which can reduce inference error and improve performance of the system.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.2
• /
• pp.183-188
• /
• 1998

This paper proposes an extended RSA public-key cryptosystem which extends a conventional one. The number of multiplication times has been increased by extending the modulus parameters p, q. This result shows the increase of computational complexity which required in cryptanalysis. It also improves the strength of RSA public key cryptosystem through this proof which is based on integral number theory.