• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권10호
• /
• pp.3608-3626
• /
• 2021

The detection of bolts is an important task in high-speed train inspection systems, and it is frequently performed to ensure the safety of trains. The difficulty of the vision-based bolt inspection system lies in small sample defect detection, which makes the end-to-end network ineffective. In this paper, the problem is resolved in two stages, which includes the detection network and cascaded classification networks. For small bolt detection, all bolts including defective bolts and normal bolts are put together for conducting annotation training, a new loss function and a new boundingbox selection based on the smallest axis-aligned convex set are proposed. These allow YOLOv3 network to obtain the accurate position and bounding box of the various bolts. The average precision has been greatly improved on PASCAL VOC, MS COCO and actual data set. After that, the Siamese network is employed for estimating the status of the bolts. Using the convolutional Siamese network, we are able to get strong results on few-shot classification. Extensive experiments and comparisons on actual data set show that the system outperforms state-of-the-art algorithms in bolt inspection.

• 한국정밀공학회지
• /
• 제12권7호
• /
• pp.46-52
• /
• 1995

This paper proposes methodologies for the development of radiation thermometer using InSb photo-detector of which spectral sensitivity is excellent over the wave length range of 2 .mu. m .approx. 5 .mu. m. The proposed radiation thermometer has broad measurement range from normal to high, up to more than 1000 .deg. C, with high accuracy, and can measure temperature on the material surface or heat emission noncontactely with high speed. Optical system was consisted of two convex lens with foruslength of 15.2mm for infrared lay focusing, Ge filter to cut the short wave length components and sapphire filter to cut the long wave length components. The cold shielded was installed in the whole surface of the light-absorbing element to remove the error- mometer, calibration using black body furnace which has temperature range of 90 .deg. C .approx. 1100 .deg. C was carried out, and temperature calaibration curve was obtained by exponential function curvefitting. The result shows maximum error less than 0.24%(640K .+-. 1.6K) over the measurement range of 90 .deg. C .approx. 700 .deg. C, and from this result the usefulness of the developed thermometer has been confirmed.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권2호
• /
• pp.109-129
• /
• 2023

In this paper, we introduce a second order linear differential operator ^T□: C^∞ (M) → C^∞ (M) as a natural generalization of Cheng-Yau operator, [8], where T is a (1, 1)-tensor on Riemannian manifold (M, h), and then we show on compact Riemannian manifolds, divT = divT^t, and if divT = 0, and f be a smooth function on M, the condition ^T□ f = 0 implies that f is constant. Hereafter, we introduce T-energy functionals and by deriving variations of these functionals, we define T-harmonic maps between Riemannian manifolds, which is a generalization of L_k-harmonic maps introduced in [3]. Also we have studied fT-harmonic maps for conformal immersions and as application of it, we consider fL_k-harmonic hypersurfaces in space forms, and after that we classify complete fL₁-harmonic surfaces, some fL_k-harmonic isoparametric hypersurfaces, fL_k-harmonic weakly convex hypersurfaces, and we show that there exists no compact fL_k-harmonic hypersurface either in the Euclidean space or in the hyperbolic space or in the Euclidean hemisphere. As well, some properties and examples of these definitions are given.

• 한국환경복원기술학회지
• /
• 제6권4호
• /
• pp.43-51
• /
• 2003

임도의 절토비탈면의 각 조사구를 토양침식 및 붕괴발생의 발생 유무에 따라 안정구와 불안정구로 구분하고 절토비탈면의 안정에 영향을 미치는 인자를 도출하여 비탈면의 안정성을 평가한 결과는 다음과 같다. 1. 절토비탈면에서 발생한 토양침식량은 표고, 상부(사면위치), 볼록사면(凸), 사면경사, 비탈면길이, 사질식양토(SiL), 남쪽(South)사면과는 정의 상관을, 식생피복도, 평형사면(${\square}$), 미사질식양토(SiCL)와는 부의 상관관계를 보였다. 2. 절토비탈면의 안정성 판별에 대한 상대적 기여도는 식생피복도, 토양경도, 사면경사, 표고, 미사질양토, 볼록사면, 복합사면의 순으로 나타났다. 3. 절토비탈면에서 안정구(2)와 불안정구(1)의 중심값은 각각 -1.194와 1.127로 나타났으며, 이때 판별구분치는 -0.072이었다. 4. 절토비탈면 조사구의 불안정구와 안정구에 대한 판별능력의 적중율은 불안정구는 125개 중 117개가 판별됨으로서 93.6%의 적중율을, 안정구는 117개의 조사구 중 102개를 판별 시켜 87.2%의 적중율을 보였으며 두 그룹의 전체 판별능력은 90.4%였다.

• 한국인터넷방송통신학회논문지
• /
• 제15권5호
• /
• pp.155-162
• /
• 2015

본 논문은 운전금지영역을 가진 이차 볼록 발전비용 함수를 적용하는 경제급전의 최적화 문제에 대한 결정론적 최적화 알고리즘을 제안하였다. 제안된 알고리즘은 운전금지구역을 가진 발전기는 운전금지구역을 벗어나도록 분할하고, 초기치 $P_i{\leftarrow}P_i^{max}$에 대해 발전단가가 큰 순서대로 발전량을 감소시키고, $_{max}\{F(P_i)-F(P_i-{\beta})\}$ > $_{min}\{F(P_j+{\beta})-F(P_j)\}$, $i{\neq}j$, ${\beta}=1.0,0.1,0.01,0.001$에 대해 $P_i{\leftarrow}P_i-{\beta}$, $P_j{\leftarrow}P_j+{\beta}$의 교환 최적화 과정을 수행하였다. 제안된 방법을 15-발전기의 3가지 사례에 적용한 결과 간단하면서도 항상 동일한 결과로 휴리스틱 알고리즘들에 비해 최적의 결과를 나타내었다.

• Journal of the Korean Data and Information Science Society
• /
• 제15권4호
• /
• pp.743-752
• /
• 2004

In this paper, we develop the Bayesian model selection procedure using the reference prior for comparing two nested model such as the independent and intraclass models using the distance or divergence between the two as the basis of comparison. A suitable criterion for this is the power divergence measure as introduced by Cressie and Read(1984). Such a measure includes the Kullback -Liebler divergence measures and the Hellinger divergence measure as special cases. For this problem, the power divergence measure turns out to be a function solely of $\rho$, the intraclass correlation coefficient. Also, this function is convex, and the minimum is attained at $\rho=0$. We use reference prior for $\rho$. Due to the duality between hypothesis tests and set estimation, the hypothesis testing problem can also be solved by solving a corresponding set estimation problem. The present paper develops Bayesian method based on the Kullback-Liebler and Hellinger divergence measures, rejecting $H_0:\rho=0$ when the specified divergence measure exceeds some number d. This number d is so chosen that the resulting credible interval for the divergence measure has specified coverage probability $1-{\alpha}$. The length of such an interval is compared with the equal two-tailed credible interval and the HPD credible interval for $\rho$ with the same coverage probability which can also be inverted into acceptance regions of $H_0:\rho=0$. Example is considered where the HPD interval based on the one-at- a-time reference prior turns out to be the shortest credible interval having the same coverage probability.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 추계학술대회
• /
• pp.107-110
• /
• 2015

이 논문에서 우리는 자원이 제약된 무선 센서네트워크에서 협력게임이론 (coalitional game theory) 기반의 전송파워제어 문제를 다룬다. 우리가 다루고자 하는 전송파워제어 문제는 각 센서의 에너지 효율성을 목적 함수 (objecitve function) 로 갖고 지연시간을 제약조건으로 갖는다. 이 문제는 two-sided one-to-one matching game 으로 모델링하고 core에 속하는 센서쌍의 매칭을 찾아내기 위해 deferred acceptance procedure (DAP)를 적용한다. Core에 속하는 매칭은 다른 센서와 매칭을 해도 현재 매칭 이상보다 좋은 결과를 가져오지 않는 매칭이 된다. 그리고, DAP를 반복해서 적용하게 되면 특정 안정상태에 도달하게 되는데, 그 안정상태에서는 지연시간제약을 만족시키면서 더 이상 에너지 효율성이 향상되지 않는 것을 보인다. 우리의 결과는 클러스터 기반의 센서 그룹방법과 지역 최적의 해 (local optimal solution)와 비교된다.

• 헤리티지:역사와 과학
• /
• 제55권4호
• /
• pp.196-209
• /
• 2022

본 연구는 공간구문론(Space syntax)을 이용하여 조선 후기에 제작된 <동궐도(東闕圖)>의 판장의 설치에 따른 주요 권역별 공간변화를 비교하여 판장의 공간분할 기능과 역할을 재해석하였다. 연구방법으로는 <동궐도>의 공간을 단위 공간으로 분해하기 위한 설정 기준을 마련하였고, 판장의 설치 전·후에 따라 2개의 볼록공간도를 작성해 공간구문변수인 연결도, 통제도, 통합도 값을 산출하여 비교분석하였다. 연구의 결과는 다음과 같다. 첫째, <동궐도> 내 가림시설은 전각공간에 대한 변수의 평균값을 비교하였을 때, 동궐의 전체적인 배치에서 통제와 연결은 영향이 크지 않았다. 다만 특정 권역 내 공간의 접근성 측면에서 영향을 주었다. 가림시설이 집중적으로 설치된 내전과 동궁 그리고 후원으로 이동할 수 있는 공간을 중심으로 이동과 접근에 제한을 주었다. 둘째, 판장은 내전과 동궁에 집중적으로 분포되어 공간의 활용방식에 적극적으로 이용된 시설로 판장의 설치에 따른 공간의 특성이 뚜렷하게 나타났으며 기능에서도 차이가 확인되었다. 내전의 수정전 권역과 희정당 권역 그리고 동궁의 성정각 권역에 판장을 설치함으로써 개방적이고 통제성이 높았던 공간이 통제성이 낮은 폐쇄적인 공간으로 변모하였고 사적인 공간이 조성되었다. 동궁의 완영당 권역은 판장을 여러 방향으로 설치함으로써 공간의 깊이를 증가시켰다. 이는 거쳐서 오는 공간의 수가 증가됨으로써 자유롭고 은신이 가능한 공간이 조성되었다. 셋째, 판장은 기존 선행연구에서 밝혔던 '시선차단·공간분리·동선조절'의 기능 이외에 '접근통제가 용이한 공간'을 조성하였다. 일정한 공간으로 유도함과 동시에 동선이 집중됨에 따라 접근 통제가 가능한 공간이 되었으며, 판장의 개수와 배치에 따라 집중형 통제공간과 분산형 통제공간을 조성하였다. 본 연구는 그 간 가림시설의 기능과 역할에 대한 연구 외에 판장에 대한 기능을 수학적 모델로 분석하여 특정 공간속에서 판장이 어떠한 양상으로 공간을 통제하였는지 수치적으로 확인하였고, 공간의 통제와 연결, 은신과 개방성 등의 해석으로 연구의 방법을 확장한 것에 의의가 있다. 또한 연구의 방법론이었던 공간구문론을 <동궐도>에 적용하기 위해 궁궐의 건축 및 조경요소의 단위공간 분할 및 연결 유형에 따른 기준을 마련함으로써 궁궐과 유사한 전통주거단지에서도 적용이 가능한 분석툴을 마련하였다는 점에서 가치가 있다. 그러나 공간구문론의 분석을 통해 결과적으로 제공되는 것은 공간조직이 가지는 구성적 특질을 표현하는 숫자들로 제한된 체계 내에서만 의미를 가진다는 한계가 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제20권1호
• /
• pp.85-102
• /
• 2010

선형계획법은 일정한 조건아래 여러 가지 가능성 중에서 최적의 경우를 찾아낼 때에 유용하다. 본 연구에서는 수학적 맥락과 학교수학의 맥락에서 선형계획법을 분석하고, 인식론적 관점에서 선형계획법의 학습 과정을 살펴봄으로써, 가설 학습 경로를 탐색하였다. 수학적 맥락과 학교수학의 맥락의 차이는 주어진 영역이 실현 가능한지 또는 유계인지를 다루는가의 여부, 주어진 영역 속의 점 중에서 제한된 개수의 점만을 대입해도 최적해를 구할 수 있다는 정리의 정당화를 다루는가의 여부에 있었다. 그리고 학생들이 정의역이 제한된 경우에 이원일차함수의 최댓값과 최솟값이 무엇인지를 이해하지 못할 가능성이 있었다. 이 세 가지 측면을 인식론적 관점에서 고려하여 가설 학습 경로를 4단계 즉, 주어진 일차식이 함수식임을 이해하는 단계, 부등식 영역과 일차식을 목적함수와 관련시킴으로써 부등식 영역을 직선으로 분할하는 단계, 직선의 그래프와 k의 범위를 관계시켜 y절편의 개념을 구성하는 단계, 주어진 영역에서 최적해의 존재가능성을 확인하는 단계로 구성하였다.

• 대한공간정보학회지
• /
• 제8권1호
• /
• pp.51-63
• /
• 2000

최근 교통문제를 해결하기 위한 방법으로 교통계획분야에 GIS나 ITS를 활용한 다양한 연구가 활발히 진행 중에 있다. 이와 함께 정보환경의 급격한 발달과 더불어 대안 경로의 선정, 또는 교통예보 서비스와 같은 온라인 상에서의 교통정보 제공이 이루어지고 있어 GIS 환경 내에서도 가로망의 교통량을 정확하게 예측할 수 있는 기능이 요구되고 있어 통행배정모형의 중요성이 증가하고 있다. 그런데, 전통적인 정적 통행배정모형은 급변하는 교통상황에 적합하지 않기 때문에 실시간 교통상황에 대한 교통흐름을 예측할 수 있는 동적 통행배정모형의 개발이 요구되고 있다. 그러나, 동적 통행배정모형은 시공간적인 변수들의 복잡성으로 인해서 그 최적해를 찾는데 많은 수학적인 어려움과 제약조건이 존재한다. 따라서, 이를 해결하기 위한 여러 가지 해법이 연구되어왔지만, 기존의 방법은 목적함수나 제약조건이 convex(하지 않은 경우에는 적용이 불가능한 단점을 가지고 있다. 본 연구에서는 인공지능방법(Artificial Intelligence Technique)의 한 분야로 활발히 연구되고 있는 유전자 알고리즘(Genetic Algorithm)을 동적 통행배정 모형에 도입하여 그 해결 방법을 제시하였다. 논문에서 사용한 동적 통행배정모형은 제약조건이 convex(하지 않은 Merchant-Nemhauser모형이고, 새로운 해결기법으로 사용된 유전자 알고리즘은 일반적인 제약조건을 처리할 수 있다고 알려진 GENOCOP III시스템이다. 새로 도입된 방법의 효율성과 유의성을 검증하기 위해 간단한 네트워크에 적용하였다. 그 결과 GENOCOP III 시스템이 계산과정의 효율성에 있어서 기존의 비선형 해법 알고리즘보다 우수한 것으로 입증되었다.연구가 진행되어야 할 것이다. 실질적으로 성감별 수정란의 대량생산이 가능할 것으로 사료되며, 농가차원에서 산업적 실용화가 될 수 있을 것으로 기대한다.twork descrition)를 통해 교통분석후의 제반 교통특성(교통량, 교통량/용량 비(比), 속도 등)을 교통망상에 표시할 수 있음으로서 의사결정에 보다 많은 도움을 줄 수 있을 것이다. 비트율의 증가와 화질 열화는 각각 최대 1.32%와 최대 0.11dB로 무시할 수 있을 정도로 작음을 확인 하였다.을 알 수 있었다. 현지관측에 비해 막대한 비용과 시간을 절약할 수 있는 위성영상해석방법을 이용한 방법은 해양수질파악이 가능할 것으로 판단되며, GIS를 이용하여 다양하고 복잡한 자료를 데이터베이스화함으로써 가시화하고, 이를 기초로 공간분석을 실시함으로써 환경요소별 공간분포에 대한 파악을 통해 수치모형실험을 이용한 각종 환경영향의 평가 및 예측을 위한 기초자료로 이용이 가능할 것으로 사료된다.염총량관리 기본계획 시 구축된 모형 매개변수를 바탕으로 분석을 수행하였다. 일차오차분석을 이용하여 수리매개변수와 수질매개변수의 수질항목별 상대적 기여도를 파악해 본 결과, 수리매개변수는 DO, BOD, 유기질소, 유기인 모든 항목에 일정 정도의 상대적 기여도를 가지고 있는 것을 알 수 있었다. 이로부터 수질 모형의 적용 시 수리 매개변수 또한 수질 매개변수의 추정 시와 같이 보다 세심한 주의를 기울여 추정할 필요가 있을 것으로 판단된다.변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을