• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.135-163
• /
• 2010

Motivated by [Science in China (Ser. A Mathematics) 36 (2006), no. 7, 721?732], this article deals with the following discrete type BVP $\LARGE\left\{{{\;{\Delta}[{\phi}({\Delta}x(n))]\;+\;f(n,\;x(n\;+\;1),{\Delta}x(n),{\Delta}x(n + 1))\;=\;0,\;n\;{\in}\;[0,N],}}\\{\;{x(0)-{\sum}^m_{i=1}{\alpha}_ix(n_i) = A,}}\\{\;{x(N+2)-\;{\sum}^m_{i=1}{\beta}_ix(n_i)\;=\;B.}}\right.$ The sufficient conditions to guarantee the existence of at least three positive solutions of the above multi-point boundary value problem are established by using a new fixed point theorem obtained in [5]. An example is presented to illustrate the main result. It is the purpose of this paper to show that the approach to get positive solutions of BVPs by using multifixed-point theorems can be extended to treat nonhomogeneous BVPs. The emphasis is put on the nonlinear term f involved with the first order delta operator ${\Delta}$x(n).

• Journal of the Korean Statistical Society
• /
• v.31 no.4
• /
• pp.415-431
• /
• 2002

A unified framework for statistical inference for the mean of the normal distribution to derive point estimates, confidence intervals and statistical tests is proposed. This optimal design is justified after investigating the basic information and requirements that are possible and impossible to control when specifying practical and statistical requirements. Point estimation is only credible when viewed in the larger context of interval estimation, since the information required for optimal point estimation is unspecifiable. Triple sampling is proposed and justified as a reasonable sampling vehicle to achieve the specifiable requirements within the unified framework.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.2
• /
• pp.271-287
• /
• 2022

In this article, we shall prove a common fixed point theorem for two weakly compatible self-maps 𝒫 and 𝔔 on a dislocated metric space (M, d^*) satisfying the following ξ-weakly expansive condition: d^*(𝒫c, 𝒫d) ≥ d^* (𝔔c, 𝔔d) + ξ(∧(𝔔c, 𝔔d)), ∀ c, d ∈ M, where $${\wedge}(Qc,\;Qd)=max\{d^*(Qc,\;Qd),\;d^*(Qc,\;\mathcal{P}c),\;d^*(Qd,\;\mathcal{P}d),\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(Qc,\;Qd)},\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(\mathcal{P}c,\;\mathcal{P}d)}\}$$. Also, we have proved common fixed point theorems for the above mentioned weakly compatible self-maps along with E.A. property and (CLR) property. An illustrative example is also provided to support our results.

• International journal of advanced smart convergence
• /
• v.13 no.1
• /
• pp.12-22
• /
• 2024

Software applications have a huge and inseparable impact on our lives. The complexity of the applications increases rapidly to support high performance and multifunction. Accordingly, the cost model for applications is increasingly important. Line of Code (LOC) and Man-Month (M/M) as the cost model measure the quantitative sides of the applications. Unlike them, Function Point (FP) measures the functionalities of the application. FP is efficient for estimating qualitative characteristics, but it is restricted to measuring the cost of an application using the wireless data broadcast which can support any number of clients. In this paper, we propose, a Function Point model for Information services using wireles data Broadcast (FPIB) to measure the development cost of an application that serves using the wireless data broadcast environment. FPIB adopts critical parameters of the wireless broadcast environment and the complexity of them to measure effectively the cost developing the application. Through the evaluation comparing the proposed FPIB with FP, we reveal the effectiveness of the proposed FPIB.

• Korean Journal of Optics and Photonics
• /
• v.14 no.5
• /
• pp.504-508
• /
• 2003

We present a new point-diffraction interferometer, which has been devised for the three-dimensional profile measurement of light scattering rough surfaces. The interferometer system has multiple sources of two-point-diffraction and a CCD camera composed of an array of two-dimensional photodetectors. Each diffraction source is an independent two-point-diffraction interferometer made of a pair of single-mode optical fibers, which are housed in a ceramic ferrule to emit two spherical wave fronts by means of diffraction at their free ends. The two spherical wave fronts then interfere with each other and subsequently generate a unique fringe pattern on the test surface. A He-Ne source provides coherent light to the two fibers through a 2${\times}$l optical coupler, and one of the fibers is elongated by use of a piezoelectric tube to produce phase shifting. The xyz coordinates of the target surface are determined by fitting the measured phase data into a global model of multilateration. Measurement has been performed for the warpage inspection of chip scale packages (CSPs) that are tape-mounted on ball grid arrays (BGAs) and backside profile of a silicon wafer in the middle of integrated-circuit fabrication process. When a diagonal profile is measured across the wafer, the maximum discrepancy turns out to be 5.6 ${\mu}{\textrm}{m}$ with a standard deviation of 1.5 ${\mu}{\textrm}{m}$.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.6 no.3
• /
• pp.33-42
• /
• 2003

As airborne laser scanning technique is developed with high vertical accuracy recently, there come many studies on DEM(digital elevation model creation, building extraction, flood risk mapping and 3D virtual city modeling. This study applied point comparative method, contour comparative method and digital map with scale 1/5,000 to calculate RMSE of DEM in according to resolution that was constructed using rawdata being acquired by airborne laser scanning. As a result, point comparative method showed lower DEM standard error than contour comparative method, it is a reason that contour comparative method was not carried out detailed grid calculation for point comparative method. Also, digital map with scale 1/5,000 showed higher DEM standard error than point comparative method and contour comparative method in below 25.4m that is average horizontal distance among contour line, and showed similar result with contour comparative method in over 25.4m.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.12 no.3
• /
• pp.239-245
• /
• 2010

The present study is about an efficient extraction of tunnel cross sections from huge point cloud achieved by a terrestrial laser scanner. A method, using a hash-based data structure, is introduced, by which point clouds, potentially composing cross sections, are extracted along a tunnel center line. The center line is estimated by linking points which are drawn in the middle of pseudo cross sections based on the hash-based data structure. Point clouds of a same thickness are extracted at a same interval along the center line. In result, it took less than 3 seconds and 124 MB of memory to extract, out of the 7.5 million points, the point clouds of 1 m interval and 0.1 m thickness. A manual operation, however, was needed to fix the outliers on the center line and to select both start and end points on it.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.6A
• /
• pp.593-602
• /
• 2006

This paper propose to methodology for deciding suitable bit size that minimizes hardware complexity and performance degradation from floating-point design the fixed-point implementation of downlink traffic channel of IEEE 802.16e OFDMA TDD system. One of the major considering issues for implementing fixed-point design is to select Saturation or Quantization properly with the knowledge of signal distribution by pdf or histogram. Also, through trial and error, we should execute exhaustive computer simulation for various bit sizes, hence obtain appropriate bit size while minimizing performance degradation. We carry out computer simulation to decide the optimized bit size of downlink traffic channel under AWGN and ITU-R M.1225 Veh-A channel model.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.12 no.4
• /
• pp.239-247
• /
• 2008

Let $I{\in}C^{1,1}$ be a strongly indefinite functional defined on a Hilbert space H. We investigate the number of the critical points of I when I satisfies two pairs of Torus-Sphere variational linking inequalities and when I satisfies m ($m{\geq}2$) pairs of Torus-Sphere variational linking inequalities. We show that I has at least four critical points when I satisfies two pairs of Torus-Sphere variational linking inequality with $(P.S.)^*_c$ condition. Moreover we show that I has at least 2m critical points when I satisfies m ($m{\geq}2$) pairs of Torus-Sphere variational linking inequalities with $(P.S.)^*_c$ condition. We prove these results by Theorem 2.2 (Theorem 1.1 in [1]) and the critical point theory on the manifold with boundary.

• Journal of Communications and Networks
• /
• v.13 no.5
• /
• pp.511-517
• /
• 2011

The capacity of wireless ad-hoc networks is analyzed for all kinds of information dissemination based on single and multiple packet reception schemes under the physical model. To represent the general information dissemination scheme, we use (n, m, k)-cast model [1] where n, m, and k (k ${\leq}$ m) are the number of nodes, destinations and closest destinations that actually receive packets from the source in each (n, m, k)-cast group, respectively. We first consider point-to-point communication, which implies single packet reception between transmitter-receiver pairs and compute the (n, m, k)-cast communications. Next, the achievable throughput capacity is computed when receiver nodes are endowed with multipacket reception (MPR) capability. We adopt maximum likelihood decoding (MLD) and successive interference cancellation as optimal and suboptimal decoding schemes for MPR. We also demonstrate that physical and protocol models for MPR render the same capacity when we utilize MLD for decoding.