• 대한수학회지
• /
• 제53권4호
• /
• pp.795-834
• /
• 2016

The main purpose of this paper is to propose a scheme of a proof of the nonsimpleness of the group $Homeo^{\Omega}$ ($D^2$, ${\partial}D^2$) of area preserving homeomorphisms of the 2-disc $D^2$. We first establish the existence of Alexander isotopy in the category of Hamiltonian homeomorphisms. This reduces the question of extendability of the well-known Calabi homomorphism Cal : $Diff^{\Omega}$ ($D^1$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to a homomorphism ${\bar{Cal}}$ : Hameo($D^2$, ${\partial}D^2$)${\rightarrow}{\mathbb{R}}$ to that of the vanishing of the basic phase function $f_{\underline{F}}$, a Floer theoretic graph selector constructed in [9], that is associated to the graph of the topological Hamiltonian loop and its normalized Hamiltonian ${\underline{F}}$ on $S^2$ that is obtained via the natural embedding $D^2{\hookrightarrow}S^2$. Here Hameo($D^2$, ${\partial}D^2$) is the group of Hamiltonian homeomorphisms introduced by $M{\ddot{u}}ller$ and the author [18]. We then provide an evidence of this vanishing conjecture by proving the conjecture for the special class of weakly graphical topological Hamiltonian loops on $D^2$ via a study of the associated Hamiton-Jacobi equation.

• 대한기계학회논문집A
• /
• 제23권11호
• /
• pp.1982-1992
• /
• 1999

This paper presents a novel concept of cargo handling system adapted for a sea port subjected to severe time-varying tide. The proposed system can perform loading or unloading by using a sort of hydraulic elevator associated with real-time position control. In order to achieve a proof-of-concept, a small-sized laboratory model of the cargo handling system is designed and built. The model consists of three principal components container palette transfer (CPT) car, platform with lifting columns, and cargo ship. The platform activated by electro-rheological (ER) valve-cylinders is actively controlled to track the position of the cargo ship subjected to be varied due to the time-varying tide and wave motion. Following the derivation of the dynamic model for the platform and cargo ship motions, an appropriate control scheme is formulated and implemented. The location of the CPT car is sensed by a set of photoelectric switches and controlled via sequence controller. On the other hand, a sliding mode controller (SMC) is adopted as the position controller for the platform. Both simulated and measured control results are presented to demonstrate the effectiveness of the proposed cargo system.

• 융합보안논문지
• /
• 제20권3호
• /
• pp.71-78
• /
• 2020

비트코인에 기반한 블록체인 기술은 익명성이 있는 스마트 계약, 저렴한 송금, 온라인 거래 등을 가능하게 하는 하부구조를 제시하고 있다. 하지만, 비트코인을 구현하는 블록체인 기술은 처리량과 지연시간 간의 트레이드오프 관계에 있는 확장가능성 제한을 갖고 있다. 이러한 문제를 해결하기 위한 비잔틴 고장 감내 기반 블록체인 기술이 제안되었다. 이 기법은 리더를 선출하고 리더에 의해 기존 블록 내에 작업증명을 포함하지 않는 많은 마이크로 블록을 구성하여 지연시간 증가 없이 처리량을 향상시켰다. 하지만 이 기법은 리더를 선출하는 부분에서 기존 기법보다 보안성이 떨어질 수 있다. 본 논문에서는 마이크로 블록기술과 병행수행 기법을 통해 블록체인 기술의 확장가능성을 위한 기법을 제안한다. 하나의 마이크로 블록 내에는 여러 개의 거래에 대한 정보가 있다.

• 전자공학회논문지SC
• /
• 제44권4호통권316호
• /
• pp.74-78
• /
• 2007

의료용으로 사용되는 새로운 개념의 환자감시용 센서 매트와 그 신호처리방식을 제시하였다. 제시된 센서 매트와 플라스틱 광섬유를 교차시켜 배치한 구조를 갖는 내부 센서층을 갖는 구조로 제작하였다. 플라스틱 광섬유의 대구경 특성을 이용하여 불필요한 외부환경 요인에 의하여 발생되는 잡음요소들을 평균화하여 신호성분만을 통과시키는 대역통과필터를 구현하였다. 센서 출력단에 신호처리부를 부가하여 추가로 불필요한 성분들을 제거하여 잡음제거 능력을 향상시켰고 지능형 알고리즘을 사용하여 신뢰성 있는 환자호흡감지방식을 구현하였다. 신호와 주변잡음 모두에게 고감도를 보이는 기존의 기계적인 방식을 사용하는 감지방식과는 달리 본 연구에서 제시된 방식은 신뢰성 있는 호흡 감지가 가능함을 보여주었다.

• Nuclear Engineering and Technology
• /
• 제49권6호
• /
• pp.1125-1134
• /
• 2017

In this paper, we present a new multilevel in space and energy diffusion (MSED) method for solving multigroup diffusion eigenvalue problems. The MSED method can be described as a PI scheme with three additional features: (1) a grey (one-group) diffusion equation used to efficiently converge the fission source and eigenvalue, (2) a space-dependent Wielandt shift technique used to reduce the number of PIs required, and (3) a multigrid-in-space linear solver for the linear solves required by each PI step. In MSED, the convergence of the solution of the multigroup diffusion eigenvalue problem is accelerated by performing work on lower-order equations with only one group and/or coarser spatial grids. Results from several Fourier analyses and a one-dimensional test code are provided to verify the efficiency of the MSED method and to justify the incorporation of the grey diffusion equation and the multigrid linear solver. These results highlight the potential efficiency of the MSED method as a solver for multidimensional multigroup diffusion eigenvalue problems, and they serve as a proof of principle for future work. Our ultimate goal is to implement the MSED method as an efficient solver for the two-dimensional/three-dimensional coarse mesh finite difference diffusion system in the Michigan parallel characteristics transport code. The work in this paper represents a necessary step towards that goal.

• 정보보호학회논문지
• /
• 제15권5호
• /
• pp.73-92
• /
• 2005

Joux의 3자 키 교환 프로토콜은 키 합의 분야에서 가장 뛰어난 업적 가운데 하나이다. 하지만 Joux 프로토콜은 인증 기능을 제공하지 않아 man-in-the-middle 공격에 취약하다. 비록 Joux 프로토콜에 대하여 인증서 기반 그리고 ID 기반 인증기법이 제안되었지만, 아직 1 라운드에 실행되는 안전성이 증명 가능한 패스워드 기반 3자 키 교환 프로토콜은 제안된 바 없다. 본 논문에서는 Joux 프로토콜에 EC-PAK의 패스워드 인증 기법을 적용하여 안전성이 증명 가능한 1 라운드 3자 키 교환 프로토콜을 제안하였다. 그리고 렌덤 오라클 모델을 사용하여 프로토콜의 안전성도 증명하였다.

• Genomics & Informatics
• /
• 제19권3호
• /
• pp.22.1-22.5
• /
• 2021

Automatic document classification for highly interrelated classes is a demanding task that becomes more challenging when there is little labeled data for training. Such is the case of the coronavirus disease 2019 (COVID-19) clinical repository-a repository of classified and translated academic articles related to COVID-19 and relevant to the clinical practice-where a 3-way classification scheme is being applied to COVID-19 literature. During the 7th Biomedical Linked Annotation Hackathon (BLAH7) hackathon, we performed experiments to explore the use of named-entity-recognition (NER) to improve the classification. We processed the literature with OntoGene's Biomedical Entity Recogniser (OGER) and used the resulting identified Named Entities (NE) and their links to major biological databases as extra input features for the classifier. We compared the results with a baseline model without the OGER extracted features. In these proof-of-concept experiments, we observed a clear gain on COVID-19 literature classification. In particular, NE's origin was useful to classify document types and NE's type for clinical specialties. Due to the limitations of the small dataset, we can only conclude that our results suggests that NER would benefit this classification task. In order to accurately estimate this benefit, further experiments with a larger dataset would be needed.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제26권2호
• /
• pp.108-120
• /
• 2022

We considered qualitative behaviour of the generalization of Einstein's model of Brownian motion when the key parameter of the time interval of free jump degenerates. Fluids will be characterised by number of particles per unit volume (density of fluid) at point of observation. Degeneration of the phenomenon manifests in two scenarios: a) flow of the fluid, which is highly dispersing like a non-dense gas and b) flow of fluid far away from the source of flow, when the velocity of the flow is incomparably smaller than the gradient of the density. First, we will show that both types of flows can be modeled using the Einstein paradigm. We will investigate the question: What features will particle flow exhibit if the time interval of the free jump is inverse proportional to the density and its gradient ? We will show that in this scenario, the flow exhibits localization property, namely: if at some moment of time t₀ in the region, the gradient of the density or density itself is equal to zero, then for some T during time interval [t₀, t₀ + T] there is no flow in the region. This directly links to Barenblatt's finite speed of propagation property for the degenerate equation. The method of the proof is very different from Barenblatt's method and based on the application of Ladyzhenskaya - De Giorgi iterative scheme and Vespri - Tedeev technique. From PDE point of view it assumed that solution exists in appropriate Sobolev type of space.

• 디지털융복합연구
• /
• 제14권1호
• /
• pp.181-187
• /
• 2016

도로에 설치된 일반적인 재귀반사형 표지병은 우천시나 안개가 끼는 날씨에서는 야간에 운전자의 시인성에 문제를 초래한다. 반면에 LED 표지병은 이러한 조건에서 운전자에게 시인성을 확대시켜준다. 본 논문에서는 태양광을 이용한 LED 도로 표지병에 대하여 30톤급 차량의 하중량에 견디고 국제방수 IP68 규격을 만족하는 구조 설계 결과를 나타낸다. 또한 태양에너지를 충분히 충전하지 못하는 혹설기 등을 고려하여 저 전력을 소모하는 LED 구동회로 설계 기법을 제시한다. 본 LED 표지병은 국내는 물론 해외에서 자동차 전용도로와 자전거 도로에 설치되어 운용되고 있다.

• 융합신호처리학회논문지
• /
• 제16권4호
• /
• pp.122-128
• /
• 2015

멀티미디어 정보들이 인터넷 공간에 확산됨에 따라서 원래 정보 소유자의 권리 보호와 원본 증명 등의 문제가 대두되고 있다. DCT, DFT, DWT 등의 여러 영상 변환들을 이용하여 소유권의 징표로 워터마크를 원본 영상에 삽입하는 방법을 많이 사용하였으나, 보다 최근에는 수치해석 분야에 많이 쓰이는 SVD(Singular Value Decomposition) 방법을 부가적으로 사용하고 있다. 본 논문에서는 SVD의 특이 벡터와 동시에 Gabor 코사인과 사인 변환을 이용하여 디지털 표지 영상에 워터마크를 삽입하고 추출하는 방법을 제안한다. 워터마크가 삽입된 영상에 잡음, 공간 변형, 필터링, 압축 등의 공격을 가한 후, GCST-SVD의 워터마크 추출 알고리즘을 적용한다. 워터마킹 성능을 평가하기 위해서 삽입한 워터마크와 추출한 워터마크 사이의 유사성 척도로써 정규화한 상관계수값을 측정한다. 또한 추출한 워터마크 영상으로부터 시각적으로 직접 원본 워터마크인지를 판단한다. 가장 낮은 수직 교류 주파수 대역에 워터마크를 삽입한 실험으로부터 SVD의 특이 벡터를 이용한 워터마킹 방법은 대부분 공격에서 0.9이상의 큰 상관값과 삽입한 워터마크의 특징들을 시각적으로 파악할 수 있었다.