• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
• /
• pp.33-36
• /
• 2003

We introduce the subcategory IRel$\_$R/ (H) of IRel (H) consisting of intuitionistic H-fuzzy reflexive relational spaces on sets and we study structures of IRel$\_$R/ (H) in a viewpoint of the topological universe introduce by L.D.Nel. We show that IRel$\_$R/ (H) is a topological universe over Set. Moreover, we show that exponential objects in IRel$\_$R/ (H) are quite different from those in IRel (H) constructed in [7].

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 춘계 학술대회 학술발표 논문집
• /
• pp.29-32
• /
• 2003

We introduce the subcategories IRe $l_{PR}$ (H), IRe $l_{PO}$ (H) and IRe $l_{E}$(H) of IRe $l_{R}$(H) and study their structures in a viewpoint of the topological universe introduced by L.D.Nel. In particular, the category IRe $l_{R}$(H)(resp. IRe $l_{P}$(H) and IRe $l_{E}$(H)) is a topological universe eve, Set. Moreover, we show that IRe $l_{E}$(H) has exponential objects.ial objects.

• 대순사상과 동아시아종교
• /
• 제2권2호
• /
• pp.13-31
• /
• 2023

For centuries in the Christian era in the West, rhetoric was considered to be a pagan art, one unnecessary for, and detrimental to, religious propagation. As the Christian era gave way to a scientific one during the Enlightenment, both rhetoric and religion were considered irrational and outside the scope of Cartesian certainty. In recent decades, though, rhetorical studies have regained status in universities and rhetorical studies of religion have proliferated. Much work remains to be done, however. For example, Western rhetorical models do not typically consider religious tenets or creeds in terms of what this article will call rhetorical relationality, because creeds and tenets of Western Christianity tend to be purely exhortative. In the West, then, we lack a framework for such an analysis, but with the Four Tenets of Daesoon Jinrihoe, we are presented with Tenets that can, in fact, be analyzed relationally. In order to analyze them as such, this article draws upon philosophical, legal, and rhetorical frameworks developed by major twentieth- century rhetorician Chaim Perelman to understand the primary concern of mutuality expressed in contemporary rhetorical relationality.

• 천문학회보
• /
• 제44권2호
• /
• pp.70.3-70.3
• /
• 2019

We present a method to estimate 3-component plasma velocity (Vx, Vy and Vz) at solar photosphere near solar disk center, using the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO) called Space-weather HMI Active Region Patch (SHARP). In Heliocentric-Cartesian Coordinates, the component of Vz is obtained from Dopplergram while the components of Vx and Vy are derived from the relation of $B_z{\overrightarrow{u}}=B_z{\overrightarrow{{\nu}_t}}-{\nu}_z{\overrightarrow{B_t}}$ (Demoulin & Berger 2003) using a series of vector magnetograms by an optical flow technique NAVE (Nonlinear Affine Velocity Estimator). This velocity measurement method is applied to AR 12158 producing an X1.6 flare along with a coronal mass ejection. We find noticeable upflow motions at both ends of flux ropes which become a major eruption part, and strong transverse motions nearby them before the eruption. We will discuss the change of plasma motions and magnetic fields before and after the eruption.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.471-481
• /
• 2024

In this paper, the concept of D-sets will be applied to create D-lindelöf spaces, a new type of topological space covering the property. This is performed by using a D-cover, which is a special type of cover. The primary purpose of this work is to introduce the principles and concepts of D-lindelöf spaces. We look into their properties as well as their relationships with other topological spaces. The basic relationship between D-lindelöf spaces and lindelöf spaces, as well as many other topological spaces, will be given and described, including D-compact, D-countably compact, and D-countably lindelöf spaces. Many novel theories, facts, and illustrative and counter-examples will be investigated. We will use several informative instances to explore certain of the features of the Cartesian product procedure across D-lindelöf spaces as well as additional spaces under more conditions.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권3_4호
• /
• pp.145-151
• /
• 2004

본 논문에서는 배열에서 구간 최소값 위치를 상수 시간에 찾기 위한 효율적인 자료구조를 제시한다. 최근의 생물 정보학 분야에서 빠른 DNA 서열의 검색을 위해 접미사 배열이 많이 사용되고 있는데 이 접미사 배열을 생성하는 문제는 구간 최소값 위치 문제를 포함하고 있다. 이 접미사 배열을 생성할 때는 구간 최소값 위치 문제를 빠르게 푸는 것뿐만 아니라 공간 효율적으로 해결하는 것도 중요하다. 그 이유는 DNA 서열이 수백만 개에서 수십 억 개의 염기를 가진 굉장히 큰 데이타이기 때문이다. 배열의 구간 최소간 위치를 상수 시간에 찾기 위해 지금까지 알려진 가장 효율적인 자료구조는 배열의 구간 최소값 문제를 Cartesian 트리에서의 LCA(Lowest Common Ancestor) 문제로 바꾸고 이 트리에서의 LCA 문제를 다시 특수한 배열에서의 구간 최소값 문제로 바꾸어 푸는 방법을 이용한 자료구조이다. 이 자료구조는 이론적으로 O(n) 공간을 사용하여 O(n) 시간에 생성된다. 하지만 이 자료구조는 배열의 구간 최소값 문제를 두 번에 걸쳐 다른 문제로 변환하는 과정을 포함하고 있기 때문에 실제로 사용되는 공간은 상당히 큰 13n이며 또한 많은 시간이 요구된다. 본 논문에서 제시하는 자료구조는 배열의 구간 최소값 문제를 다른 문제로 변환하지 않고 직접 구하는 자료구조이다. 따라서 이론적으로 O(n) 공간을 차지하며 O(n) 시간에 생성될 뿐만 아니라 실제적으로도 5n의 적은 공간을 사용하며 빠른 시간에 생성된다.

• 대한전자공학회논문지TC
• /
• 제47권9호
• /
• pp.1-8
• /
• 2010

DPM (Digital Phase wrapping Modulation) open-loop polar transmitter는 in-phase와 quadrature 신호를 진폭(envelope) 신호와 위상(phase) 신호로 변환한 후 신호의 사상화 과정을 거쳐 광대역 통신 시스템에서의 효율적인 적용이 가능하다. 사상화 과정은 일반적인 통신 시스템에서의 양자화와 유사하며 그 과정에서 발생하는 오차를 고려할 때 좌표계 변환부에 CORDIC (COordinates Rotation DIgital Computer) 알고리듬 대신 테일러 급수 근사 기법의 사용이 가능하다. 본 논문에서는 테일러 급수 근사 기법을 광대역 OFDM (Orthogonal Frequency Division Multiplexing) 시스템용 DPM polar transmitter의 직교 좌표계-극 좌표계(cartesian to polar coordinate) 변환부에 적용하는 방안에 대한 연구를 수행하였다. 기존의 방법은 CORDIC 알고리듬을 채용하고 있다. 이것을 효율적으로 적용하기 위해 모의 실험을 통해 각각의 기법에 대한 평균제곱오차 (MSE : Mean Square Error) 성능을 측정하고, 설계 관점에서 허용된 CORDIC 오차를 기준으로 알고리듬의 최소 반복횟수와 테일러 급수의 최소 근사 차수를 찾는다. 또한 FPGA 전달 지연속도를 비교한 결과에 의하면 CORDIC 알고리듬 대신 낮은 차수의 테일러 급수 근사 기법을 사용해 좌표 변환부의 처리 속도를 향상시킬 수 있음을 확인하였다.

• 한국항해항만학회지
• /
• 제27권1호
• /
• pp.41-48
• /
• 2003

현재 육상에서의 GPS는 자동차 항법체계(Car Navigation System)와 개인휴대용 단말기를 이용한 위치정보체계 등이 활발히 활용되고 계속 연구되고 있는 추세에 있지만 해양에서는 그렇지 못한 실정으로 원래 GPS는 선박의 항해용 목적으로 개발된 것이지만, 해상에서 선박의 운항에 정확도는 크게 어려움을 주지 않는다는 이유로 선박의 항로확인을 위한 근사적인 위치의 표현만을 수행해왔다. 최근 항만이 복잡해지고 선박의 증가로 해양에서도 선박의 정밀한 유도가 필요하게 되었다. 본 연구에서는 GPS에서 사용하고 있는 타원체인 WGS84 타원체의 자리좌표를 우리나라에서 사용하고 있는 타원체인 BESSEL 타원체의 지리좌표로 변환하는 요소인 3-parameter에 의한 타원체변환알고리즘 및 육도와 해도에서 사용하고 있는 평면 직교좌표계인 TM투영과 UTM투영의 알고리즘제작 하였다. 또한, 현재 항법용 GPS 센서가 가지고 있는 정확도를 검증하기 위해 GPS의 정적측량, 동적측량에 의한 오차량을 비교검토하였으며, 선박의 항로추적을 위해서 선박에서 수신된 위치 정보의 편차량을 분석하였다. 이렇게 검토된 자료를 기본으로 하여 실시간 선박항로를 추적할 수 있는 저가의 항로추적시스템 개발을 본 연구의 최종목표로 연구를 수행하였다.

• 철학연구
• /
• 제147권
• /
• pp.239-260
• /
• 2018

기술의 시대에 새롭게 등장한 비인간존재인 인공지능로봇(A.I)은 인간에게 위협적인 존재인가 아니면 인간과의 상호협력 또는 앙상블을 이루는 존재인가? 인간이 과학기술의 힘을 빌어 자연을 지배하고자 하는 욕망은 인간이 자신을 소멸시킬 수 있다는 두려움으로 나타나고 있다. 본 연구는 이러한 물음과 두려움의 근저에 있는 데카르트적 인식론의 문제를 확인하고 시몽동과 라투르의 존재론 및 기술철학을 활용하여 메를로-퐁티의 몸살존재론을 토대로 이 물음들에 답하려는 시도이다. 데카르트 철학이 도출한 코기토는 인간-이성을 주체로 하여 '주관과 객관이라는 이분법적 인식론의 구조'의 토대가 되었다. 인간이 중심인 세계에서 인간 아닌 모든 존재들은 인간을 위한 도구이거나 통제의 대상이었다. 근대인의 문제는 인간을 비롯한 자연을 통제하는 방식에 자연과학적 방법에서 도움을 얻을 뿐 아니라, 과학적 방법만이 세계를 이해하는 유일한 방법이라고 생각한다는데 있다. 이를 비판하면서 메를로-퐁티는 몸이 인간과 비인간존재들을 매개한다는 것을 보여주며, 살존재론으로 그것이 가능한 존재론적 토대를 마련한다. 메를로-퐁티의 현상학적 방법론과 존재론은 기술철학자이자 현상학의 영향 아래에 있는 시몽동에 의해 새롭게 전개된다. 시몽동에 의해 인간과 비인간존재의 관계는 인간과 기술적 대상의 앙상블 또는 인간과 기술적 대상과의 상호협력적 공진화로 나타난다. 특히 라투르는 시몽동에서 한발 더 나아가 근대의 핵심 개념인 주체를 부정하고 세계에 거주하는 모든 몸들을 행위자네크워크이론으로 규정한다. 메를로-퐁티의 현상학적 관점은 기술시대의 철학적 논의에 새로운 가능적 근거가 될 수 있다. 우리는 근대적 두려움이 현상학적 태도로 전환함으로써 그 문제 자체가 해소될 수 있음을 확인할 것이다.

• 한국지반환경공학회 논문집
• /
• 제25권4호
• /
• pp.21-28
• /
• 2024

본 연구에서는 SPH 해석을 위한 다면체영역분할 기법이 소개된다. SPH 기법은 유체 유동 모사를 위한 수치해석기법으로 무요소기법(meshless method) 중 하나이다. 유동성 지반 또는 고체-유체 상호작용 해석 등에 유용하게 쓰일 수 있다. SPH는 입자기반 해석이기 때문에 입자가 많을수록 결과의 정확도는 높아지지만 수치적 효율성은 떨어진다. 일반적으로 해석의 효율성을 높이기 위해 병렬 프로세싱 알고리즘과 함께 쓰이는데 직교좌표계 기반의 영역분할 기법이 대표적이다. 그러나 복잡한 기하학적 형태나 동적 경계조건에서 유동 모사 등을 병렬 해석하기 위해서는 직교좌표계 영역분할 방법이 적합하지 않다. 소개하는 다면체영역분할 기법은 이와 같은 문제에서 병렬효율성을 높일 수 있는 장점을 갖는다. 다양한 형태의 3차원 다면체 요소로 분할하여 문제에 적합하게 모델링할 수 있다. SPH 입자들의 물리적 값들은 smoothing 길이 이내의 주위 입자들 정보를 이용하여 계산된다. 영역분할 시 물리적으로 분리될 수 있는 입자정보들을 코어간 공유할 수 있는 방법과 병렬효율성이 떨어질 수 있는 cross-point에서의 정보공유 방법이 소개된다. 수치해석 예제를 통하여 제안된 방법의 병렬효율성은 12코어까지 95%에 근접하였다. 이후 코어가 증가할수록 코어간 공유되는 정보량이 많아져 병렬효율성이 떨어지는 문제가 발생되기도 하였다.