Filters of Heyting algebras on soft set theory

수학에서 Heyting algebras는 Boolean algebras의 일반화로 여겨지는 특별한 bounded lattice입니다. 19세기 Luitzen Brouwer는 수학적 직관주의의 철학을 정립했습니다. 직관주의는 창조적인 생각에 근거한 것이며 직접적인 증거에 의해서만 증명이 될 수 있다고 믿었습니다. Brouwer의 제자인 Arend Heyting은 이러한 개념을 그의 이름을 본떠 정형화 시켰습니다. Heyting algebra는 중요한 역할을 함에 동시에 생물학적 유전적 코드, 다이나믹 시스템, 대수학 등 다양한 방면에 응용이 가능합니다. 경제학, 공학, 환경 등 다양한 분야에서의 불확실한 데이터 모델링의 복잡성은 기존 방법을 정상적으로 사용할 수 없게 만듭니다. 이러한 문제점들을 극복하고자 Molodtsov는 새로운 수학적인 방법인 soft set 이라는 개념을 불확실성을 해결하기위해 도입했습니다. Maji et al. 또한 soft set이라는 개념을 적용하고자 연구하였습니다. 그 이후로 soft set이라는 개념은 경제학, 공학, 환경, 인포메이션 사이언스, 인텔리전스 시스템, 대수적 구조 전반에 걸쳐 다양한 방식으로의 적용이 가능했습니다. 이 논문에는 intersection soft filter (IS-filter), Boolean intersectional soft filter (Boolean IS-filter), ultra intersectional soft filter (ultra IS-filter)등을 정의하고 관계되어있는 특성들을 조사할 것입니다. IS-filter와 Boolean IS-filter의 특성을 논의하고 IS-filter와 Boolean IS-filter 간의 관계를 알아봅니다. 2장에서는 Heyting algebra의 정의와 특성들을 보여줌과 동시에 필터와 soft set에 관해서 설명합니다. 3장에서는 IS-filter의 정의 및 특성에 관한 것입니다. 4장에서는 Boolean IS-filter의 개념을 소개하고 속성 중 일부를 조사하고 IS-filter와 Boolean IS-filter의 관계를 조사합니다. 5장에서는 ultra IS-filter의 개념을 소개하고 일부 속성을 조사합니다. 그리고 prime IS-filter의 개념을 소개하고 ultra IS-filter와 prime Boolean IS-filter의 관계를 조사합니다.Docto

유탄성을 고려한 부유체의 파랑 표류력 및 부가저항에 대한 수치해석

학위논문 (박사)-- 서울대학교 대학원 : 조선해양공학과, 2017. 2. 김용환.최근 부유체 해양 구조물 및 선박이 초대형화되면서 구조물의 상대적인 강성이 저하되어 구조물의 고유진동수가 낮아졌다. 이러한 변화로 인해서 구조물의 변형이 증가하고 유탄성 (hydroelasticity) 해석의 중요성이 크게 부각되고 있다. 구조적인 관점에서 유탄성으로 발생하는 최종 강도 (ultimate strength) 및 피로 강도 (fatigue strength)에 대해서 많은 연구가 이루어지고 있으나, 유탄성의 영향이 표류력 및 부가저항 등 2차 유체력에 미치는 영향에 대해서는 거의 연구가 이루어지지 않았다. 본 연구에서는 유탄성이 표류력과 부가저항에 미치는 영향을 파악하는 것을 목표로 한다. 유탄성이 표류력과 부가저항에 미치는 영향을 파악하기 위해서 유탄성 문제를 풀어야 한다. 유탄성 문제를 풀기 위한 유체-구조 연성 해석은 서울대학교 해양유체역학연구실에서 개발된 WISH-FLEX 3DM을 이용하였다. WISH-FLEX 3DM에서 유체영역은 3차원 랜킨패널법을 이용하고 구조영역은 3차원 유한요소 모델을 이용한다. 유체영역과 구조영역은 효율적인 유탄성 해석을 위해서 저차 고유 모드만 연성하고 고차 고유 모드에 대해서는 비연성 해석을 수행한다. 유탄성 해석의 검증은 유연한 바지선의 운동 실험 결과와 본 연구의 운동응답 결과를 비교하는 방법으로 수행되었으며, 실험 결과와 비교해서 좋은 결과를 보여주었다. 강체의 표류력 및 부가저항에 관한 연구는 많은 연구들이 진행되었다. 강체의 표류력 및 부가저항의 해석에 많이 사용되는 방법은 크게 두 가지로 나눌 수 있는데 이는 압력 적분법 (pressure integration method)과 모멘텀 보존법 (momentum conservation method)이다. 그러나 탄성체의 표류력 및 부가저항에 관한 연구는 거의 진행되지 않았다. 본 연구에서는 강체에서 적용하던 압력 적분법을 탄성체에도 적용가능 하도록 확장하였다. 모멘텀 보존법은 강체 및 탄성체에 관계없이 적용 가능하기 때문에 탄성체로 확장된 압력 적분법의 결과를 검증하는 방법으로 이용하였다. 유탄성의 영향이 표류력에 미치는 영향은 사각 바지선의 해석을 통해서 살펴보았다. 우선, 강체의 표류력 검증을 위해서 상용 프로그램인 WADAM의 표류력과 본 연구의 결과를 비교하였으며 압력 적분법과 모멘텀 보존법 모두 좋은 결과를 보여 주였다. 탄성체의 표류력 검증은 압력 적분법과 모멘텀 보존법의 비교를 통해서 수행하였다. 탄성체의 표류력은 바지선의 길이와 입사파의 파장이 비슷한 영역에서 강체와 비교해서 줄어들었으며, 탄성체의 공진점 부근에서는 표류력이 증가하기도 하였다. 표류력의 증가 또는 감소는 바지선의 변형으로 인한 상대 파고의 변화와 법선 벡터의 변화가 가장 큰 영향을 주는 것으로 파악되었다. 유탄성의 영향이 부가저항에 미치는 영향은 blunt modified Wigley 선박의 해석을 통해서 살펴보았다. 강체의 부가저항 검증은 다양한 선형에 대해서 모형시험의 결과와 비교를 통해서 수행하였다. 단파장 영역에서 일부 선형은 실험 결과와 차이를 보여주었지만, 전체적인 경향은 일치하였다. 탄성체의 부가저항 검증은 표류력의 경우와 동일하게 압력 적분법과 모멘텀 보존법의 결과 비교를 통해서 수행하였다. 탄성체에서 압력 적분법을 이용한 결과와 모멘텀 보존법을 이용한 결과는 거의 일치하였다. 또한 강체의 부가저항과 비교해서 탄성체의 부가저항은 탄성체의 표류력에서 보여주었던 경향과 유사한 경향을 보여주었다. 부가저항은 선박의 길이와 입사파의 파장이 비슷한 영역에서 강체와 비교해서 줄어들었으며, 탄성체의 공진점 부근에서는 증가하는 경향을 보였다. 위에서 살펴본 사각 바지선과 blunt modified Wigley 선박은 본 연구에서 개발한 탄성체의 표류력 및 부가저항을 해석하고 검증하기 위해서 만들어진 가상의 모델이다. 가상의 모델은 유탄성의 효과를 살펴보기 위해서 구조적 강성을 조절하여 실제보다 유연하게 만들었다. 실제 선박에서 유탄성의 영향이 부가저항에 미치는 영향을 평가하기 위해서 실제 선박과 유사한 선박에 대해서 유탄성을 고려한 부가저항을 살펴보았다. 실제 선박의 고유진동수는 단파장 영역에 존재하고 운동의 크기가 크지 않았기 때문에 부가저항의 큰 변화는 보이지 않았으며, 선박의 길이와 유사한 파의 영역에서 선박 구조물의 준정적 변형으로 인한 부가저항의 감소만 나타났다. 비선형 스프링잉의 발생이 부가저항에 미치는 영향에 대해서도 살펴보았다. 2차 비선형 스프링잉이 발생하는 경우 구조물의 진동으로 인해서 부가저항의 시계열에는 큰 변화가 있었지만 평균값에는 큰 차이가 발생하지 않았다. 3차 스프링잉이 발생하는 경우에 대해서도 부가저항은 큰 차이를 보이지 않았다.1. 서론 1 1.1 연구 배경 1 1.2 기존 연구 3 1.2.1 강체의 표류력 및 부가저항 해석 3 1.2.2 탄성체의 표류력 및 부가저항 해석 7 1.2.3 유탄성 해석 8 1.3 주요 연구 내용 및 목표 11 2. 이론적 배경 및 수치해석 기법 14 2.1 유체-구조 연성해석 14 2.1.1 유체-구조 연성 14 2.1.2 유체 영역 15 2.1.3 구조 영역 23 2.2 표류력 및 부가저항 해석 28 2.2.1 압력 적분법 28 2.2.2 모멘텀 보존법 41 3. 수치해석 모델의 검증 55 3.1 강체 모델의 운동응답 검증 55 3.2 탄성체 모델의 운동응답 검증 73 3.3 강체의 표류력 및 부가저항 검증 95 3.3.1 강체의 표류력 검증 95 3.3.2 강체의 부가저항 검증 101 3.4 유탄성을 고려한 표류력 및 부가저항 해석 110 3.4.1 유탄성을 고려한 표류력 해석 110 3.4.2 유탄성을 고려한 부가저항 해석 127 4. 수치해석 모델의 적용 155 5. 결론 178 6. 향후 연구 181 참고문헌 183 Abstract 192Docto

비선형 횡동요 운동 해석의 수치적 민감도 연구

학위논문 (석사)-- 서울대학교 대학원 : 산업·조선공학부, 2012. 2. 김용환.본 논문은 선박의 안정성에서 중요한 문제 중 하나인 파라메트릭 횡동요의 수치해석에 관한 내용을 다루고 있다. 오늘날 비선형 횡동요 운동을 해석하는 방법으로 수치적인 접근이 많은 관심은 받고 있다. 본 논문에서는 규칙파와 불규칙파 중에서 두 컨테이너선 모델에 대하여 방대한 양의 수치계산을 수행하고, 그 결과를 분석함으로서 관련 인자의 민감도 연구를 수행 하였다. 규칙파 중에서 두 가지 수치해석 방법 즉, 충격응답함수법 및 랜킨패널법을 이용하여 시간영역에서 파라메트릭 횡동요 해석을 수행하였다. 이 결과들을 Mathieu 방정식을 이용한 해석 결과와 비교하였다. 불규칙파 중에서는 충격응답함수법을 이용하여 두 컨테이너선 모델에 대해 체계적인 연구가 진행되었다. 특히, 파라메트릭 횡동요에 영향을 미칠 것으로 예상되는 중요한 인자들의 영향과 결과의 민감도를 파악하기 위한 연구가 진행되었다. 고려된 인자들은 파 스펙트럼의 이산화 방법 및 개수, 성분파의 위상각, 운동 해석 time window, 배의 무게중심점에서 메타센터높이까지의 거리 (GM) 이다. 해석 결과를 바탕으로 각 인자들의 민감도를 파악하였다. 마지막으로, ITTC 파라메트릭 횡동요 비교연구의 실험결과와 본 연구의 결과들을 비교하였다.Maste

A Deduction on linear Measure of ancient Buddhist temples through 7th century

학위논문(석사) --서울대학교 대학원 :건축학과,2007.Maste

노이즈 데이터에서 딥러닝을 위한 정보력 높은 특성과 샘플 선별

학위논문(박사) - 한국과학기술원 : 데이터사이언스대학원, 2024.2,[vii, 82 p. :]Deep neural networks (DNNs) have achieved remarkable success in various fields such as computer vision and natural language processing based on vast amounts of high-quality data. However, real-world data collections are invariably noisy and DNNs are reported to unintentionally memorize most of such noise, resulting in severe performance degradation. Although noise-robust learning approaches for DNNs have been actively developed, most works focus on improving the model training stage. However, such noise data disrupt DNNs not only during model training but throughout the entire model development process including sample selection, cleaning, and labeling. For example, the unlabeled noisy data obtained from out-of-distribution waste the labeling cost since a human labeler can not assign any label on them, while the non-filtered labeled noisy data can significantly degrade the model performance. This calls attention to developing a systematic method to avoid such noise and utilize highly informative features and examples throughout the model development process. In this dissertation, we propose a systemic framework that prioritizes informative features and examples to enhance each stage of the development process. Specifically, we prioritize informative features and examples and improve the performance of feature learning, data labeling, and data selection. We first propose an approach to extract only informative features that are inherent to solving a target task by using auxiliary out-of-distribution data. We deactivate the noise features in the target distribution by using that in the out-of-distribution data. Next, we introduce an approach that prioritizes informative examples from unlabeled noisy data in order to reduce the labeling cost of active learning. In order to solve the purity-information dilemma, where an attempt to select informative examples induces the selection of many noisy examples, we propose a meta-model that finds the best balance between purity and informativeness. Lastly, we suggest an approach that prioritizes informative examples from labeled noisy data to preserve the performance of data selection. For labeled image noise data, we propose a data selection method that considers the confidence of neighboring samples to maintain the performance of the state-of-the-art Re-labeling models. For labeled text noise data, we present an instruction selection method that takes diversity into account for ranking the quality of instructions with prompting, thereby enhancing the performance of aligned large language models. Overall, our unified framework induces the deep learning development process robust to noisy data, thereby effectively mitigating noisy features and examples in real-world applications.한국과학기술원 :데이터사이언스대학원

다중경로 환경에서 다기능 레이더의 적응형 빔형성에 관한 연구

학위논문(박사) - 한국과학기술원 : 전기및전자공학과, 2014.8, [ vii, 118p. ]The ship-borne radar system has been faced with increasing demands for reacting against the evolved threats such as supersonic anti-ship missiles, low flying targets, and low radar cross section targets. As a consequence, modern radar systems require numerous functionalities and great flexibility in order to support dedicated missions and to protect ship from these threats, thereby employing a phased array multifunction radar. Regarding ship self-defense, detection and tracking of low altitude fast threats are of the greatest importance. However, since target tracking over the sea surface is seriously affected by multipath, it is important to find efficient method to resolve the problem. In this dissertation, three subjects will be considered to be involved in the enhancement of performance for a phased array multifunction radar system. The subjects have close correlation among them and are aimed at estimating the angle of arrival of a target and maintaining stable communication link of a guided missile based on a phased array radar in realistic multipath environments. The difficulty in angle estimation of a low altitude target over the sea comes from highly correlated multipath signal which distorts wavefront of the target signal at the antenna face. This problem also appears in the form of intersymbol interference when a multifunction radar system establishes communication link for missile guidance. We shall, therefore, place more emphasis on these problems and aim at proposing the solutions to the problems. In the first part, wave propagation in the atmosphere is presented and analyzed to understand atmospheric effects in angle estimation. Regarding radar problem, the atmospheric conditions cause electromagnetic wave bending, thereby introducing erroneous target position measurement. So it is critical to consider the atmospheric effects to correct the erroneous results. The normal and anomalous propagation conditions are considered and those effects on the a...한국과학기술원 : 전기및전자공학과

저전력 저잡음 위상동기루프의 설계

학위논문(박사) - 한국과학기술원 : 전기 및 전자공학과, 2011.8, [ vi, 69 p. ]한국과학기술원 : 전기 및 전자공학과

kidney spheroid and method of preparing the same

본 발명은 신규 신장 스페로이드 및 이의 제조 방법, 및 이를 포함하는 삼차원 신장 모사체에 관한 것이다. 본 발명에 따른 신규 신장 스페로이드 제조 방법은 세포 집합체의 응집을 개선시켜, 신장 스페로이드의 제작 성공률을 현저히 개선한다. 이에 따라 제조된 신장 스페로이드는 우수한 신장 세포 특이적 표현형을 나타내며, 정상 신장 특성을 잘 나타내는 신장 모사체로 활용될 수 있다. 특히, 본 발명의 신장 스페로이드는 신장 수송체와 관련된 약물 반응성에 변화를 감지할 수 있어, 신독성 약물 반응을 검사하는 데에 유용하게 활용될 수 있다.국

한국 주변 해역에서의 춘계 식물플랑크톤 군집 구조 및 일차생산력

해양생태계 내에서 식물플랑크톤은 일차생산자로서 전지구적인 탄소순환에 중요한 역할을 하며, 따라서 이들의 군집구조를 파악하는 것은 해당 해역의 특성을 이해하는데 중요하다. 본 연구에서는 2016년 5월 한국 주변 해역에서 식물플랑크톤의 군집 분표 양상을 파악하기 HPLC를 이용한 식물플랑크톤 군집 조성과 flow cytometry를 이용한 초미소플랑크톤의 조성과 풍도를 조사하였다. 또한 14C를 이용하여 해당 해역의 일차생산력을 측정하였다. 현장 조사는 동해에 14개, 남해에 3개 그리고 서해에 8개 등 총 30개의 정점에서 이루어졌다. 표층 수온은 해역별로 큰 차이를 보이지 않았고, 염분은 황해에서 가장 낮았으며, 동해에서 높았다. 한국 주변 해역의 엽록소 a 농도 분포는 0.14-4.09 ㎍ ℓ-1의 범위를 보였으며, 황해에서 가장 높았고 동해에서 낮았다. 특히 경기만에 인접한 정점에는 엽록소 a를 비롯한 대부분의 지시 색소들이 높은 값을 나타내었고, 일차생산 또한 2,700 mg C m-2d-1이상으로 매우 높은 것으로 나타났다. 이는 육지로부터 영양염이 풍부한 담수의 유입으로 인한 것으로 사료된다. 반면 Synechococcus의 지시 색소인 zeathanthin은 주로 남해에 위치한 정점에서 높은 것으로 나타났으며, flow cytometry를 통해 얻은 결과와도 잘 일치하였다. 남해에서는 pico-eukaryotes도 다른 해역에 비해 1.5배 이상 높은 개체수를 보였으나 nano-flagellates 개체수는다른 해역에 비해 절반 이하로 낮았다. 한국 주변해역의 일차생산력은 평균 770.2±536.0 mg C m-2d-1로 나타났으며, 남해에서 가장 높았고, 그 다음은 황해, 동해 순으로 나타났다. 이는 남해 연안에서 형성되는 전선 구조에 따른 영양염의 공급이 남해의 일2

한국 주변 해역에서의 춘계 식물플랑크톤 군집 구조 및 일차생산력

해양생태계 내에서 식물플랑크톤은 일차생산자로서 전지구적인 탄소순환에 중요한 역할을 하며, 따라서 이들의 군집구조를 파악하는 것은 해당 해역의 특성을 이해하는데 중요하다. 본 연구에서는 2016년 5월 한국 주변 해역에서 식물플랑크톤의 군집 분표 양상을 파악하기 HPLC를 이용한 식물플랑크톤 군집 조성과 flow cytometry를 이용한 초미소플랑크톤의 조성과 풍도를 조사하였다. 또한 14C를 이용하여 해당 해역의 일차생산력을 측정하였다. 현장 조사는 동해에 14개, 남해에 3개 그리고 서해에 8개 등 총 30개의 정점에서 이루어졌다. 표층 수온은 해역별로 큰 차이를 보이지 않았고, 염분은 황해에서 가장 낮았으며, 동해에서 높았다. 한국 주변 해역의 엽록소 a 농도 분포는 0.14-4.09 ㎍ ℓ-1의 범위를 보였으며, 황해에서 가장 높았고 동해에서 낮았다. 특히 경기만에 인접한 정점에는 엽록소 a를 비롯한 대부분의 지시 색소들이 높은 값을 나타내었고, 일차생산 또한 2,700 mg C m-2d-1이상으로 매우 높은 것으로 나타났다. 이는 육지로부터 영양염이 풍부한 담수의 유입으로 인한 것으로 사료된다. 반면 Synechococcus의 지시 색소인 zeathanthin은 주로 남해에 위치한 정점에서 높은 것으로 나타났으며, flow cytometry를 통해 얻은 결과와도 잘 일치하였다. 남해에서는 pico-eukaryotes도 다른 해역에 비해 1.5배 이상 높은 개체수를 보였으나 nano-flagellates 개체수는 다른 해역에 비해 절반 이하로 낮았다. 한국 주변해역의 일차생산력은 평균 770.2±536.0 mg C m-2d-1로 나타났으며, 남해에서 가장 높았고, 그 다음은 황해, 동해 순으로 나타났다. 이는 남해 연안에서 형성되는 전선 구조에 따른 영양염의 공급이 남해의 양상을 파악하기 HPLC를 이용한 식물플랑크톤 군집 조성과 flow cytometry를 이용한 초미소플랑크톤의 조성과 풍도를 조사하였다. 또한 14C를 이용하여 해당 해역의 일차생산력을 측정하였다. 현장 조사는 동해에 14개, 남해에 3개 그리고 서해에 8개 등 총 30개의 정점에서 이루어졌다. 표층 수온은 해역별로 큰 차이를 보이지 않았고, 염분은 황해에서 가장 낮았으며, 동해에서 높았다. 한국 주변 해역의 엽록소 a 농도 분포는 0.14-4.09 ㎍ ℓ-1의 범위를 보였으며, 황해에서 가장 높았고 동해에서 낮았다. 특히 경기만에 인접한 정점에는 엽록소 a를 비롯한 대부분의 지시 색소들이 높은 값을 나타내었고, 일차생산 또한 2,700 mg C m-2d-1이상으로 매우 높은 것으로 나타났다. 이는 육지로부터 영양염이 풍부한 담수의 유입으로 인한 것으로 사료된다. 반면 Synechococcus의 지시 색소인 zeathanthin은 주로 남해에 위치한 정점에서 높은 것으로 나타났으며, flow cytometry를 통해 얻은 결과와도 잘 일치하였다. 남해에서는 pico-eukaryotes도 다른 해역에 비해 1.5배 이상 높은 개체수를 보였으나 nano-flagellates 개체수는 다른 해역에 비해 절반 이하로 낮았다. 한국 주변해역의 일차생산력은 평균 770.2±536.0 mg C m-2d-1로 나타났으며, 남해에서 가장 높았고, 그 다음은 황해, 동해 순으로 나타났다. 이는 남해 연안에서 형성되는 전선 구조에 따른 영양염의 공급이 남해의2