• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.241-247
• /
• 2008

In this study we consider an M/D/1 queue with a finite buffer. Due to the finiteness of the buffer capacity arriving customers can not join the system and turn away without service when the buffer is full. Even though a computational method for blocking probabilities in an M/D/1/K queue is already known, it is very complex to use. The aim of this study is to propose a new way to compute blocking probability by using (max,+)-algebra. Our approach provide a totally different and easier way to compute blocking probabilities and it is, moreover, immediately applicable to more generous queueing systems.

• ETRI Journal
• /
• v.11 no.1
• /
• pp.109-122
• /
• 1989

We developed new quadtree and octree representation schemes which reduce the storage requirements from exponential to polynomial. The new schemes not only lessen the large storage requirements of the existing quadtree and octree representation schemes but guarantee an exact representation of the original object. These are made possible by adopting a new set of termination conditions that ensure finiteness of the quadtree and octree during the decomposition. These new data structures are analyzed theoretically and tested empirically. For space complexity, we analyzed its best case, worst case, and average case. Given an $n_e$-gon, we show that the expected number of nodes in our quadtree isO($$$n_e^1.292$) For a polyhedron with $n_f$ faces, the expected number of nodes in the new octree is O($$$n_f^1.667$). For time complexity, we again analyzed the best, worst, and average cases for constructing such quadtree and octree and find the average to be the same as those of the space complexity. Finally, random $n_e$- gons are generated as test data. Regression equations are fitted and are shown to support the claims on the average case performance.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.6
• /
• pp.1109-1115
• /
• 2010

In this paper, exact confidence interval of hyper-geometric parameter, that is the probability of success p in the population is discussed. Usually, binomial distribution is a well known discrete distribution with abundant usage. Hypergeometric distribution frequently replaces a binomial distribution when it is desirable to make allowance for the finiteness of the population size. For example, an application of the hypergeometric distribution arises in describing a probability model for the number of children attacked by an infectious disease, when a fixed number of them are exposed to it. Exact confidence interval estimation of hypergeometric parameter is reviewed. We consider the performance of exact confidence interval estimates of hypergeometric parameter in terms of actual coverage probability by small sample Monte Carlo simulation.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.35-43
• /
• 2009

We say that an isometric immersed hypersurface x : $M^n\;{\rightarrow}\;{\mathbb{R}}^{n+1}$ is of $L_k$-finite type ($L_k$-f.t.) if $x\;=\;{\sum}^p_{i=0}x_i$ for some positive integer p < $\infty$, $x_i$ : $M{\rightarrow}{\mathbb{R}}^{n+1}$ is smooth and $L_kx_i={\lambda}_ix_i$, ${\lambda}_i\;{\in}\;{\mathbb{R}}$, $0{\leq}i{\leq}p$, $L_kf=trP_k\;{\circ}\;{\nabla}^2f$ for $f\;{\in}\'C^{\infty}(M)$, where $P_k$ is the kth Newton transformation, ${\nabla}^2f$ is the Hessian of f, $L_kx\;=\;(L_kx^1,\;{\ldots},\;L_kx^{n+1})$, $x=(x^1,\;{\ldots},\;x^{n+1})$. In this article we study the following(hyper)surfaces in ${\mathbb{R}}^{n+1}$ from the view point of $L_1$-finiteness type: totally umbilic ones, generalized cylinders $S^m(r){\times}{\mathbb{R}}^{n-m}$, ruled surfaces in ${\mathbb{R}}^{n+1}$ and some revolution surfaces in ${\mathbb{R}}^3$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.917-928
• /
• 2022

Let R be a commutative Noetherian ring and I an ideal of R. In this paper, we study colocalization of generalized local homology modules. We intend to establish a dual case of local-global principle for the finiteness of generalized local cohomology modules. Let M be a finitely generated R-module and N a representable R-module. We introduce the notions of the representation dimension r^I(M, N) and artinianness dimension a^I(M, N) of M, N with respect to I by r^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not representable} and a^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not artinian} and we show that a^I(M, N) = r^I(M, N) = inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)} ≥ inf{a^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)}. Also, in the case where R is semi-local and N a semi discrete linearly compact R-module such that N/∩_t>0I^tN is artinian we prove that inf{i : H^I_i(M, N) is not minimax}=inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)＼Max(R)}.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.11 no.5
• /
• pp.441-450
• /
• 2016

The International Telecommunications Union(: ITU) Radio Regulations(: RR) and in which is defined as the frequency of electromagnetic waves below 3000GHz spread in space without artificial guidance, our country also follows the international definition. As radio waves are electromagnetic waves spreading in space without artificial induction means having a frequency within the range set by the ITU. Frequency distribution for dual-work is to inde 300GHz, among the divided frequency is our daily or less than 90% of the frequency band is in contact saenghwalyong 3GHz. Propagation, but can occur indefinitely without depleting that anyone can create only gatchumyeon transmission equipment, if the radio frequency to use at the same time and space, the soul is the interference occurs is not available radio resources. Due to the physical finiteness used in our country for the first time on such a propagation laws enacted in 1961 and to the state radio resource management, and rules to be used for propagation only if granted the rights.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.6
• /
• pp.583-588
• /
• 2015

Asymptotic method has been often used to theoretically analyze the complete contact problem. The error of the asymptotic results increases as the distance from the contact edge increases. The singularity cannot be properly obtained from a finite element (FE) analysis owing to the finiteness of the element size. In the present work, the complete contact problem in bonded condition is analyzed using a combined experimental-numerical approach to assist and/or compare with the asymptotic results. Al and Cu alloys are used for the material combination of the punch and substrate. 120 and 135 degrees are used for the punch angle. The FE models are validated by comparison of displacement distributions obtained by the FE analysis and $moir{\acute{e}}$ experiment. Generalized stress intensity factors are evaluated using the validated FE models. Stress field in the vicinity of the sharp contact edges obtained from the FE and asymptotic analyses are compared. The discrepancies are also discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.167-177
• /
• 2020

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.5
• /
• pp.921-927
• /
• 2006

The current DGPS technique is many problems that is permission of radio station using RF Wireless Modem, that is influence of geographic obstacle using radio wave, that is frequency interference, that is finiteness of frequency resources. In this paper, we are solved many elements, IM(Interface Module) replaces RF Wireless Modem, we suggest transmission technique of correction message using mobile phone, we researched Interface Module development which is linkage of DGPS receiver and mobile phone. IM can transmit correction message passing RS-232 port and modem communication control. IM of base station is initialized RS-232 port and modem to move station for correction message transmission, IM waited response mode. IM of move station is initialized RS-232 port and modem, IM requests hand shaking to base station, completed connection establishment. Users are worked Differential surveying using receiving correction message between mobile phones.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.10C
• /
• pp.992-1000
• /
• 2009

Available electric wave resources have been limited than frequency demands that increase with the development of radio communication. According to FCC's (Federal Communication Commission) report, 70% of allocated spectrum was unused. This means that the lack phenomenon of electronic wave resources is ineffectively managed compare with the finiteness of frequency resources. According to the recognition of unused frequency within allocated band, this progress has been investigating to identify the unused TV channel and provide radio communication services. This paper proposed the sensing algorithm that efficiently recognizes the frequency resources which does not use and shares with the licensed user through using the multi-band CIC (Cascaded Integrator Comb) filter based on polyphase filter bank. The simulation results verifies that the proposed scheme can obtain the similar performance of variance and relatively low complexity to the existing scheme.