• The Pure and Applied Mathematics
• /
• v.29 no.4
• /
• pp.255-275
• /
• 2022

In this paper, we introduce a new system of set-valued variational inclusion problems in semi-inner product spaces. We use resolvent operator technique to propose an iterative algorithm for computing the approximate solution of the system of set-valued variational inclusion problems. The results presented in this paper generalize, improve and unify many previously known results in the literature.

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.509-524
• /
• 2023

In this study, we characterize the structure of the multivariable mappings which are sextic in each component. Indeed, we unify the general system of multi-sextic functional equations defining a multi-sextic mapping to a single equation. We also establish the Hyers-Ulam and Găvruţa stability of multi-sextic mappings by a fixed point theorem in non-Archimedean normed spaces. Moreover, we generalize some known stability results in the setting of quasi-𝛽-normed spaces. Using a characterization result, we indicate an example for the case that a multi-sextic mapping is non-stable.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.4
• /
• pp.705-714
• /
• 1999

Modem society is an information society. This study analyzed the present state of marine information system and the analytical framework showing the study about if it is possible to construct marine information network and marine information system service. The results of this study is as follow: First, developing and complete stage, marine informations organization must be constructed. Second, the marine information policy in future must be able to unify all the areas. Third, the marine information system in future must be able to unify all the information systems. fourth, marine information systems must consist of marine-travel area, fisheries area, marine industry area, port area.

• Journal of KIISE:Databases
• /
• v.35 no.6
• /
• pp.533-543
• /
• 2008

With technological advances for storage volume size of a semiconductor memory, USB storage is made as products to support a high capacity storage. Hereby, consumers discard pint-sized USB storages which they already had, or do not use them efficiently. To integrate and unify these pint-sized USB storages as one big USB storage, we proposed Sigma Hub. It can be grouping multiple USB storages, which have each different volume size of memory storage, as logical unity Storage through USB Hub. The proposed Sigma Hub includes Sigma Controller as a core management module to unify the multiple USB storages in transaction level layer. Sigma controller can efficiently control transaction packet in Sigma Hub through a USB Storage-Integration algorithms which ensure an integrity for data read and write processes. Consequently, Sigma Hub enables the use of USB storage that is logical unity.

• Korean Journal of Community Nutrition
• /
• v.19 no.3
• /
• pp.258-273
• /
• 2014

Objectives: The purposes of the study were to develop a questionnaire for dietary habit survey for Korean adults, and unify the terms related to dietary habits. Methods: The Delphi method by 43 professionals on dietary habit research was applied to unify the terms. Results: With regard to results on terms related to dietary habit, the respondents recorded the highest percentage (90.7%) of selecting the term "dietary habits" and also the highest percentage (76.7%) of choosing "dietary habits" for English. The biggest percentage of the respondents chose "individual dietary behaviors repeatedly formed and habitualized under the social, cultural, and psychological influence in the group" as the concept of dietary habits. The Delphi survey for the development of a questionnaire resulted in the first questionnaire of 31 items, the second one of 27 items, and the third one of 25 items. The validity of questionnaire items was tested with content validity ratios (CVR). The items whose CVR value was 0.29 or lower were eliminated or revised, because the minimum CVR value needed to test validity was 0.29. To test the reliability of questionnaire items, test-retest method was performed in 163 adults. According to the Kappa coefficient in the range of 0.314-0.716, all of the 25 items were in the reliability scope. A survey was taken with 702 adults to finally revise and supplement the third questionnaire whose validity and reliability were tested. Conclusions: Through those processes, a questionnaire for adults' dietary habit survey was finally completed. The significance of the study lies in the development of the first questionnaire on dietary habits equipped with both validity and reliability in South Korea.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.5
• /
• pp.572-579
• /
• 1988

In this paper, a system of automatic placement and routing for gate array layout design is proposed. In the placement stage, the circuit is partitioned and using the concept of min-cut slicing, and each partitioned module is placed, so that the routing density over the entire chip be uniformized and the total wiring length be minimized. In the global routing stage, the concept of the probabilistic routing density is introduced to unify the wiring congestions in each channel. In the detailed routing stage, the multi-terminal nets are partitioned into the two-terminal nets. The ordered channel graph is proposed which implies the vertical and the horizontal constranint graphs simultaneously. And using the ordered channel graph, the proposed routing algorithm assigns the signal nets to the tracks. Also the proposed placement and routing algorithms are implimented on IBM/PC-AT to construct PC-level gate array layout system.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.255-267
• /
• 2007

In this work, by using Xu's inequality, Nalder's results, the notion of $(A,\;{\eta})-accretive$ mappings and the new resolvent operator technique associated with $(A,\;{\eta})-accretive$ mappings due to Lan et al., we study the existence of solutions for a new class of $(A,\;{\eta})-accretive$ variational inclusion problems with non-accretive set-valued mappings and the convergence of the iterative sequences generated by the algorithms in Banach spaces. Our results are new and extend, improve and unify the corresponding results in this field.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.171-183
• /
• 2005

In this paper, we introduce and study a class of general strongly nonlinear quasivariational inequalities in Hilbert spaces. We prove the existence and uniqueness of solution and convergence of the perturbed the three-step iterative sequences with errors for this kind of general strongly nonlinear quasivariational inquality problems involving relaxed Lipschitz, relaxed monotone, and strongly monotone mappings. Our results extend, improve, and unify many known results due to Liu-Ume-Kang, Kim-Kyung, Zeng and others.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2007.04a
• /
• pp.69-72
• /
• 2007

Cadastral control points in Korea are refered to various origins, for example an early separated small triangulation, a separated small triangulation, a separated control surveying origin and an unified origin. We determined transformation parameters from old origin to unified origin using 2D conformal transformation method. To evaluate of transformation accuracy, we compared with GPS field surveying results. And we experiment on coordinate transformations with unified results between the local geodetic datum and the new Korea geodetic datum.

• Journal of the Chungcheong Mathematical Society
• /
• v.8 no.1
• /
• pp.19-27
• /
• 1995

In 1974 H.Herrlich invented nearness spaces, a very fruitful concept which enables one to unify topological aspects. In this paper, we introduce the Lindel$\ddot{o}$f nearness structure, countably bounded nearness structure and countably totally bounded nearness structure. And we show that (X, ${\xi}_L$) is concrete and complete if and only if ${\xi}_L={\xi}_t$ in a symmetric topological space (X, t). Also we show that the following are equivalent in a symmetric topological space (X, t): (1) (X, ${\xi}_L$) is countably totally bounded. (2) (X, ${\xi}_t$) is countably totally bounded. (3) (X, t) is countably compact.