• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권2호
• /
• pp.141-155
• /
• 2011

We compute zeta functions of 1-solenoids. When our 1-solenoid is nonorientable, we compute Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid and its orientable double cover explicitly in terms of adjacency matrices and branch points. And we show that Artin-Mazur zeta function of orientable double cover is a rational function and a quotient of Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid.

• 한국전자통신학회논문지
• /
• 제17권1호
• /
• pp.201-206
• /
• 2022

본 논문은 변기 커버 자동 개폐식 기능을 갖춘 물 내림 시스템을 연구하였다. 커버 위에 부착된 적외선 센서의 감지 여부에 따라 작동하게 된다. 열림 기능의 적외선 센서가 감지 되면 변기 커버의 서보모터를 구동시켜 커버를 올리도록 설정하였고, 닫힘 기능의 적외선 센서가 감지되면 커버를 내리도록 설정하였다. 커버 내부에 기울기 센서를 달아서 커버가 내려가는 것에 동작하도록 설정한 뒤 이것이 작동되면 변기 레버와 연결되어 있는 서보모터가 공급 구의 마개를 열어 물을 내려보내는 방식이다. 또한, 물을 내려보내는 과정 중에서 물이 막혔을 때 알리기 위한 비접촉 수위센서와 LED 기능을 이용해 다음 사용자가 양변기를 이용할 때 겪을 수 있는 불펀을 최소화하였고, 변기가 닫혀있는 동안 세균 증식을 막기 위해 UV-LED 기능도 구현하였다.

• 대한공간정보학회지
• /
• 제21권2호
• /
• pp.19-25
• /
• 2013

최근 고해상도 위성영상은 자연자원이나 환경 관리에 필요로 하는 토지 피복 및 이용 현황자료 분석 등에 유용하게 사용되고 있다. 영상처리 알고리즘 중 SVM 알고리즘은 최근 다양한 분야에서 이용되고 있다. 그러나 SVM 알고리즘은 다양한 커널 함수 및 매개변수에 의해 그 정확도가 달라진다. 따라서 본 논문에서는 SVM 알고리즘의 대표적 커널 함수를 KOMPSAT-2의 영상자료에 적용하고 토지피복결과를 검사점을 이용하여 정확도 분석을 실시하였다. 또한 대상지의 토지피복분류에 적합한 SVM의 커널 함수 선정하기 위해 분석을 실시하였다. 그 결과 전체 분류 정확도에는 Polynomial 커널 함수가 가장 높은 정확도를 보였으며 분류 항목별 정확도에서의 가장 적절한 커널 함수는 Polynomial, RBF 커널 함수임을 알 수 있었다.

• 한국음향학회지
• /
• 제41권6호
• /
• pp.662-667
• /
• 2022

음악 유사도 계산은 음악 검색 서비스 구현에서 가장 중요한 요소 중 하나이다. 본 논문은 커버곡 검색의 성능을 제고하기 위한 음악 유사도 학습에 대해서 다룬다. 음악 유사도 함수를 유도하는 데 확률적 선형 판별 분석을 이용하여 잠재 음악 공간을 구한다. 잠재 음악 공간은 같은 커버곡 간의 거리는 줄이고 다른 곡 간의 거리는 크게 되도록 학습한다. 추출된 음악 특징이 잠재 음악 변수에서 생성되었다는 가정 하에 확률 모델을 구하고, 음악의 동질성 여부를 가설검증하여 음악 유사도 함수를 유도한다. 두 가지 커버곡 실험 데이터셋에서 성능 비교를 수행하여 제안한 음악 유사도 함수가 커버곡 검색 성능을 개선시킬 수 있음을 보였다.

• Structural Engineering and Mechanics
• /
• 제63권1호
• /
• pp.55-64
• /
• 2017

The paper concerns concrete carbonation, the phenomena that occurs in every type of climate, especially in urban-industrial areas. In European Standards, including Eurocode (EC) for concrete structures the demanded durability of construction located in the conditions of the carbonation threat is mainly assured by the selection of suitable thickness of reinforcement cover. According to EC0 and EC2, the thickness of the cover in the particular class of exposure depends on the structural class/category and concrete compressive strength class which is determined by cement content and water-cement ratio (thus the quantitative composition) but it is not differentiated for various cements, nor additives (i.e., qualitative composition), nor technological types of concrete. As a consequence the selected thickness of concrete cover is in fact a far estimation - sometimes too exaggerated (too safe or too risky). The paper presents the elaborated "self-terminated carbonation model" that includes abovementioned factors and enables to indicate the maximal possible depth of carbonation. This is possible because presented model is a hyperbolic function of carbonation depth in time (the other models published in the literature use the parabolic function that theoretically assume the infinite increase of carbonation depth value). The paper discusses the presented model in comparison to other models published in the literature, moreover it contains the algorithm of concrete cover design with use of the model as well as an example of calculation of the cover thickness.

• Structural Engineering and Mechanics
• /
• 제76권3호
• /
• pp.379-393
• /
• 2020

In this paper, we propose an automatic procedure to improve the accuracy of finite element solutions using enriched 2D solid finite elements (4-node quadrilateral and 3-node triangular elements). The enriched elements can improve solution accuracy without mesh refinement by adding cover functions to the displacement interpolation of the standard elements. The enrichment scheme is more effective when used adaptively for areas with insufficient accuracy rather than the entire model. For given meshes, an error for each node is estimated, and then proper degrees of cover functions are applied to the selected nodes. A new error estimation method and cover function selection scheme are devised for the proposed adaptive enrichment scheme. Herein, we demonstrate the proposed enrichment scheme through several 2D problems.

• 한국의류학회지
• /
• 제22권6호
• /
• pp.737-748
• /
• 1998

This study was carried out on 132 obese women who satisfied both of conditions for obesity: equal to or over 1.6 in Rohrer index and 90 in bust girth. The purpose of the study was to set up a sizing system using the loss function which would be a guide for obese women to select ready-to-wear of suitable size. The results were as follows. 1) In the sizing system for large size apparel industry, each company has 4 to 7 sizes that differ in their content and number. Producing only 5 sizes was trying to minimize the producti on expenses. 2) The sizing system according to the loss function was the follwings. The height was 3: 149, 154.5 and 161 cm. The bust girth was 5:96.5, 100.5, 104, 107.5, 112 cm. The hip girth was 5: 95, 99, 102.5, 105.5, 110 cm. 3) In comparing the cover ratio of the newly suggested sizing system for obese women's garment with that of the Korea Sizing system for women's garment, the former was founded to have the greater cover ratio.

• 한국음향학회지
• /
• 제43권2호
• /
• pp.200-206
• /
• 2024

음악 유사도 계산은 음악 검색 서비스 구현에서 중요한 구성 요소 중 하나이다. 본 논문은 커버곡 검색 성능을 제고하기 위해서, 크로마그램 벡터 별로 커버곡 검색 적합도를 구하여 음악 유사도 계산 시 가중치로 활용한다. 커버곡 검색 적합도는 확률 적합도 모델을 이용하여 구한다. 커버곡 검색에 도움이 될 수 있는 분별도가 높은 벡터에 높은 가중치를 부여하고, 흔하게 존재하여 분별도가 떨어지는 벡터에 낮은 가중치를 부여하는 방식으로 음악 유사도 함수를 유도한다. 두 가지 커버곡 실험 데이터셋에서 성능 비교를 수행하여 제안한 음악 유사도 함수가 커버곡 검색 성능을 개선시킬 수 있음을 보였다.

• 대한원격탐사학회지
• /
• 제19권5호
• /
• pp.381-392
• /
• 2003

Multi-temporal approaches using sequential data acquired over multiple years are essential for satisfactory discrimination between many land-cover classes whose signatures exhibit seasonal trends. At any particular time, the response of several classes may be indistinguishable. A harmonic model that can represent seasonal variability is characterized by four components: mean level, frequency, phase and amplitude. The trigonometric components of the harmonic function inherently contain temporal information about changes in land-cover characteristics. Using the estimates which are obtained from sequential images through spectral analysis, seasonal periodicity can be incorporates into multi-temporal classification. The Normalized Difference Vegetation Index (NDVI) was computed for one week composites of the Advanced Very High Resolution Radiometer (AVHRR) imagery over the Korean peninsula for 1996 ～ 2000 using a dynamic technique. Land-cover types were then classified both with the estimated harmonic components using an unsupervised classification approach based on a hierarchical clustering algorithm. The results of the classification using the harmonic components show that the new approach is potentially very effective for identifying land-cover types by the analysis of its multi-temporal behavior.

• Journal of applied mathematics & informatics
• /
• 제39권5_6호
• /
• pp.883-894
• /
• 2021

The aim of this work is to introduce for the first time the concept of D-set. This is done by defining a special type of cover called a D-cover. we present some results to study the properties of D-compact spaces and their relations with other topological spaces. Several examples are discussed to illustrate and support our main results. Our results extend and generalized many will known results in the literature.