• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제29권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.

• 대한수학회논문집
• /
• 제38권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.

• 한국정보통신학회논문지
• /
• 제3권4호
• /
• pp.705-714
• /
• 1999

미래 부산의 개발 계획에 맞게 해양행정 정보시스템을 개발하기 위하여 해양 관련 중앙 부서들이 부산으로 이전되어야 하며, 이들과 같이 해양정보화 추진협의회를 구축하고, 부산지역 특성에 맞는 해양정보화를 추진해야 할 것이다. 해양행정 정보시스템을 크게 4개의 부문으로 분류해 보면 해양관광부문ㆍ수산업부문ㆍ항만부문ㆍ해양산업부문으로 분류할 수 있으며, 해양관광부문은 해양레포츠정보시스템ㆍ관광정보시스템ㆍ도로정보시스템ㆍ예약정보시스템 등이 있고, 수산업부문에는 기상정보시스템ㆍ어업기술정보시스템ㆍ수산물관리정보시스템ㆍ소비자관리정보시스템ㆍ해난정보시스템 등이며, 항만부문에는 물류정보시스템ㆍ항만관리정보시스템ㆍ도로정보시스템ㆍ물동량정보시스템 등이며, 해양산업부문에는 첨단정보시스템ㆍ유통정보시스템ㆍ산업정보시스템ㆍ국제교류정보시스템 등이 필요하며, 이러한 정보를 개발하기 위해서는 부산시는 단ㆍ중ㆍ장기 계획에 의거 현재 제공 운영되고 있는 정보시스템을 최대한 이용한 데이터베이스의 개발, 해양정보서비스 공동관리 및 해양행정 정보시스템 통합 구축, 지역정보 서비스업체의 육성 등이 필요하다. 장기적으로는 부산시의 형태에 맞는 해양행정 정보시스템을 개발할 수 있도록 해야 부산시가 해양 선도적 도시로써 발전할 수 있을 것이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권6호
• /
• pp.533-543
• /
• 2008

USB 저장장치는 반도체 메모리 저장 용량에 대한 기순 발전에 따라, 대용량 저장공간을 제공하는 제품으로 생산되고 있다. 따라서 소비자는 저장공간이 상대적으로 작은 기존 USB 저장장치를 폐기하거나, 효율적으로 사용하지 않는다. 본 논문에서는 메모리 저장 용량이 다른, 다수의 USB 저장장치를 USB 허브를 통하여 그룹화 하여 사용자가 컴퓨터에서 논리적 단일 저장공간으로 사용할 수 있는 개선된 USB 허브인 시그마 허브(Sigma Hub)를 제안한다. 제안된 시그마 허브는 다수의 USB 저장장치를 단일화하기 위한 관리 모듈로서 시그마 콘트롤러(Sigma Controller)를 포함한다. 시그마 콘트롤러는 USB 저장장치 통합 알고리즘을 통하여 트랜잭션을 제어하여 논리적 단일 저장장치 사용을 가능하게 한다.

• 대한지역사회영양학회지
• /
• 제19권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.

• 대한전자공학회논문지
• /
• 제25권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
• /
• 제25권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
• /
• 제17권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.

• 한국측량학회:학술대회논문집
• /
• 한국측량학회 2007년도 춘계학술발표회 논문집
• /
• 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.

• 충청수학회지
• /
• 제8권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.