• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.3
• /
• pp.448-458
• /
• 2020

Indoor positioning based on trilateration using common chord estimates location of a mobile subject by using intersection points between each circles which the radius is same as distance between the mobile subject and each radio-frequency transmitter. However, if the intersection points are not found due to error of the distance measurement, it causes failure of estimating the mobile subject's location. To prevent this case, numbers which is proportionate to radius of each circles, are temporarily added to each distances in order to lengthen radius of the circles. Although the estimated location includes error due to the radius extension, it is corrected again by the added value and distance from reference point. With introduction of the advanced correction algorithm, potential issues of existing trilateration such as failure of estimating location and distance measurement error will be minimized.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.757-777
• /
• 2019

In this paper, we study the convergence analysis of the sequences generated by the proximal point method for an infinite family of pseudo-monotone equilibrium problems in Banach spaces. We first prove the weak convergence of the generated sequence to a common solution of the infinite family of equilibrium problems with summable errors. Then, we show the strong convergence of the generated sequence to a common equilibrium point by some various additional assumptions. We also consider two variants for which we establish the strong convergence without any additional assumption. For both of them, each iteration consists of a proximal step followed by a computationally inexpensive step which ensures the strong convergence of the generated sequence. Also, for this two variants we are able to characterize the strong limit of the sequence: for the first variant it is the solution lying closest to an arbitrarily selected point, and for the second one it is the solution of the problem which lies closest to the initial iterate. Finally, we give a concrete example where the main results can be applied.

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.169-189
• /
• 2020

A common fixed point result for weakly increasing mappings satisfying generalized contractive type in ordered partial S-metric spaces are derived. Also as an application of our results we consider a couple integral equations.to guarantee the existence of a common solution.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.61-74
• /
• 2011

In this paper, we introduce a new iteration method based on the hybrid method in mathematical programming and the descent-like method for finding a common element of the solution set for a variational inequality and the set of common fixed points of a nonexpansive semigroup in Hilbert spaces. We obtain a strong convergence for the sequence generated by our method in Hilbert spaces. The result in this paper modifies and improves some well-known results in the literature for a more general problem.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.14 no.24
• /
• pp.111-121
• /
• 1991

This paper considers a non preemtive single processor scheduling problem in which each set have the two common due dates. The objective of the problem is to minimize the weighted mean absolute deviation of job completion times about such two common due dates under the assumption that each job has a different weight. Such a job sequence is an W-shaped sequence. We propose three heuristic solution methods based on several dominance conditions. Numerical examples are presented. The performance comparison is made among three heuristic scheduling procedures.

• Journal of the Korean Ceramic Society
• /
• v.33 no.1
• /
• pp.17-24
• /
• 1996

Pb(Mg1/3Nb2/3)O3 powder with high purity chemical homogeniety and reactivity was prepared by solvent eva-poration of common solution. The common solution was fabricated using a Pb(NO3)2 Mg(NO)3 and NB solution which was prepared by dissolving NbC in H2O2 acquous solution. In precusor powder prepared by solvent evaporation method the synthetic temperature of Pb(Mg1/3 Nb2/3)O3 phase was lowered. And the formation of homogeneous Pb(Mg1/3Nb2/3)O3 phase was enhanced but the formation of pyrochlore phase was reduced. The dielectric constant of PMN ceramics from the synthesized powder was found to increase with both sintering temperature and excess MgO and subsequent analysis of the microstructures confirmed that this was due to an increase in grain size. The grain size dependence is explained as a consequence of low-permittivity grain boundaries.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.479-499
• /
• 2014

In this paper, we propose new iteration methods for finding a common point of the solution set of a pseudomonotone equilibrium problem and the solution set of a monotone equilibrium problem. The methods are based on both the extragradient-type method and the viscosity approximation method. We obtain weak convergence theorems for the sequences generated by these methods in a real Hilbert space.

• The Journal of the Acoustical Society of Korea
• /
• v.15 no.4E
• /
• pp.45-52
• /
• 1996

One common procedure in the approximate solution of a nonclassically damped linear system is to neglect the off-diagonal elements of the normalized damping matrix. A tight error bound, which can be computed with relative ease, is given for this method of solution. The role that modal coupling plays in the control of error is clarified. If the normalized damping matrix is strongly diagonally dominant, it is shown that adequate frequency separation is not necessary to ensure small errors.

• The Journal of Society for e-Business Studies
• /
• v.17 no.4
• /
• pp.57-68
• /
• 2012

As the functions and technology of IT security solution has been diversified and complicated, it is necessary to make the functions standardized. The common criteria (CC) evaluation and certification scheme was introduced with this background in 2000. For over 10 years after the introduction of CC evaluation and certification scheme, many security solution vendors have developed functions following the security functional requirement in CC. Most of CC evaluators and developers think that CC has helped to enhance the security of the solution. So, it is a right time to prove the affirmative effects of CC in quantity. In this research, we compare two cases, the security status of the solution before and after the experience of CC evaluation, and analyze the results. We made the questionnaire for the domestic solutions vendors. We show that CC has made positive effects on the security of the solution quantitatively using statistical analysis. This research is meaningful security enhancement of domestic security solutions.

• Journal of Information Technology Services
• /
• v.13 no.2
• /
• pp.133-149
• /
• 2014

It is unavoidable to provide products that meet customers' needs and wants so that firms may survive under the competition in this globalized market. This paper focuses on how to provide levels for attributes that compse product so that firms may give the best products to customers. In particular, its main issue is how to determine common attributes and the others with their appropriate levels to maximize firms' profits, and how to construct a decision support system to ease decision makers' decisons about optimal common attribute selection using the Semantic Web and SWCL technologies. Parameter data in problems and the relationships in the data are expressed in an ontology data model and a set of constraints by using the Semantic Web and SWCL technologies. They generate a quantitative decision making model through the automatic process in the proposed system, which is fed into the solver using the Logic-based Benders Decomposition method to obtain an optimal solution. The system finally provides the generated solution to the decision makers. This presentation suggests the opportunity of the integration of the proposed system with the broader structured data network and other decision making tools because of the easy data shareness, the standardized data structure and the ease of machine processing in the Semantic Web technology.