• 대한수학회보
• /
• 제56권4호
• /
• pp.961-976
• /
• 2019

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.

• 정보보호학회논문지
• /
• 제29권3호
• /
• pp.515-518
• /
• 2019

타원곡선 상수배 연산은 사영좌표계를 기반으로 대부분 모듈러 곱셈으로 계산되므로 모듈러 곱셈의 효율성은 타원곡선암호의 성능에 크게 영향을 미친다. 본 논문에서는 FIPS 186-4의 224비트 소수체에서 효율적인 모듈러 곱셈 방법을 제안한다. 제안하는 방법은 Karatsuba 곱셈과 새로운 모듈러 감산을 수행한다. 제안하는 모듈러 곱셈은 기존방법에 비하여 25%정도 빠르며, 모듈러 감산만 비교하면 기존 방법보다 50% 연산으로 계산이 가능하다.

• Smart Structures and Systems
• /
• 제23권4호
• /
• pp.359-371
• /
• 2019

As part of a structural health monitoring system, the relative geometric relationship between a ship and bridge has been recognized as important for bridge authorities and ship owners to avoid ship-bridge collision. This study proposes a novel computer vision method for the real-time geometric parameter identification of moving ships based on a single shot multibox detector (SSD) by using transfer learning techniques and monocular vision. The identification framework consists of ship detection (coarse scale) and geometric parameter calculation (fine scale) modules. For the ship detection, the SSD, which is a deep learning algorithm, was employed and fine-tuned by ship image samples downloaded from the Internet to obtain the rectangle regions of interest in the coarse scale. Subsequently, for the geometric parameter calculation, an accurate ship contour is created using morphological operations within the saturation channel in hue, saturation, and value color space. Furthermore, a local coordinate system was constructed using projective geometry transformation to calculate the geometric parameters of ships, such as width, length, height, localization, and velocity. The application of the proposed method to in situ video images, obtained from cameras set on the girder of the Wuhan Yangtze River Bridge above the shipping channel, confirmed the efficiency, accuracy, and effectiveness of the proposed method.

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• 정보보호학회논문지
• /
• 제18권4호
• /
• pp.135-141
• /
• 2008

사이버 침해사고와 해킹의 위험성이 증대되고 있다. 이를 해결하기 위하여 정보보호기술중에서 보안위험분석 분야의 연구가 활발하게 이루어지고 있다. 하지만 평가를 위해서는 적지 않은 평가비용, 수개월의 평가기간, 평가 참여인원, 평가후의 보안대책비용, 보안관리비용에 대한 부담이 클 수밖에 없다. 이에 따라, 본 논문에서는 정량평가 형태의 위험분석평가를 프로젝트단위로 관리하며, 평가기간 및 적정 평가자 선정을 위한 사례기반추론알고리즘을 이용한 위험분석방법론 제안한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2022년도 학술발표회
• /
• pp.14-14
• /
• 2022

홍수시 하천의 유량측정은 매우 어렵고 위험하며 많은 노력과 비용이 드는 작업이다. 이러한 홍수시 유량측정을 위해 영상을 이용하여 하천의 표면유속을 측정하고 여기서 유량을 산정하는 기술은 하천 유량 측정의 자동화와 안전한 유량 측정을 위한 대안으로 크게 주목받고 있다. 그런데, 유속측정을 위해 20~40초 정도의 영상의 평균유속을 구하고자 하면, 방대한 양의 영상처리에 많은 시간이 소요되어 실시간 측정이나 분석이 어렵게 된다. 본 연구는 영상을 이용하여 홍수시 하천의 유량을 실시간으로 측정하기 위해 투영변환과 시공간영상 분석법을 적용하여 실용적인 표면영상유속계를 개발하기 위한 것이다. 이를 위해, 3차원 투영변환(11변수 변환)을 적용하여 측정선과 유속측정점의 위치를 영상내에 특정하고 이 부분만을 추출하여 시공간 영상(spatio-temporal images)으로 구성하고, 이 시공간 영상을 분석하여 유속과 유량을 산출하는 기법을 개발하였다. 즉, 하천의 주흐름 방향의 유속만을 산정하도록 하여 영상의 분석에 소요되는 계산량과 계산시간을 단축하였다. 또한, 시공간 분석과정도 기존의 CASTI (Correlation Analysis of Spatio-Temporal Images)를 훨씬 간단하고 빠르게 계산할 수 있도록 개량하였다. 그 결과 영상의 유속분석 및 유량산정에 소요되는 시간을 획기적으로 줄일 수 있었으며, 실시간으로 유량 측정이 가능하게 되었다.

• 대한수학회보
• /
• 제60권6호
• /
• pp.1687-1695
• /
• 2023

In this paper, we study the Green ring r(𝔴⁰_n) of the weak Hopf algebra 𝔴⁰_n based on Taft Hopf algebra H_n(q). Let R(𝔴⁰_n) := r(𝔴⁰_n) ⊗_ℤ ℂ be the Green algebra corresponding to the Green ring r(𝔴⁰_n). We first determine all finite dimensional simple modules of the Green algebra R(𝔴⁰_n), which is based on the observations of the roots of the generating relations associated with the Green ring r(𝔴⁰_n). Then we show that the nilpotent elements in r(𝔴⁰_n) can be written as a sum of finite dimensional indecomposable projective 𝔴⁰_n-modules. The Jacobson radical J(r(𝔴⁰_n)) of r(𝔴⁰_n) is a principal ideal, and its rank equals n - 1. Furthermore, we classify all finite dimensional non-simple indecomposable R(𝔴⁰_n)-modules. It turns out that R(𝔴⁰_n) has n² - n + 2 simple modules of dimension 1, and n non-simple indecomposable modules of dimension 2.

• Structural Engineering and Mechanics
• /
• 제90권1호
• /
• pp.97-106
• /
• 2024

This paper presents a significant contribution to aided design by conducting an analytical examination of geometric links with the aim of establishing criteria for assessing an analogy measure of the extrinsic geometric and kinematic characteristics of the Variable Compression Ratio (VCR) engine with a Geared Mechanism (GBCM) in comparison to the existing Fixed Compression Ratio (FCR) engine with a Standard-Reciprocating Crankshaft configuration. Employing a mechanical approach grounded in projective computational methods, a parametric study has been conducted to analyze the kinematic behavior and geometric transformations of the moving links. The findings indicate that in order to ensure equivalent extrinsic behavior and maintain consistent input-output performance between both engine types, precise adjustments of intrinsic geometric parameters are necessary. Specifically, for a VCR configuration compared to an FCR configuration, regardless of compression ratio and gearwheel radius, for the same crankshaft ratios and stroke lengths, it is imperative to halve lengths of connecting rods, and crank radius. These insights underscore the importance of meticulous parameter adjustment in achieving comparable performance across different engine configurations, offering valuable implications for design optimization.

• 한국지리정보학회지
• /
• 제13권2호
• /
• pp.11-20
• /
• 2010

본 연구에서는 임분의 수고생장이 GIS기반의 가시권분석에 미치는 영향을 분석하고자 하였다. 이를 위해 관악산 지역을 대상으로 수치표고모델(DEM)과 임분수고 주제도의 지도대수분석을 통해 수치표면모델(DSM)을 구축하였다. 임분의 수고주제도는 산림과학원에서 구축한 임상도, 입지도 및 수확표를 이용하여 작성하였으며, 분석기간은 40년으로 하였다. 또한 투시도면화기법을 적용하여 시가지 사거리에 위치한 2개의 조망점을 추출하고, 각 조망점에서 가시권 분석을 수행하였다. 분석결과에 따르면 현 시점에서의 가시지역 면적은 DSM을 적용하는 경우 DEM을 적용하는 경우에 비해 약 17% 감소하는 것으로 나타났다. 또한 시간의 흐름에 따라 임분 수고가 생장하면서 가시권역이 줄어들고, 비가시권의 깊이가 점차 증가하는 경향을 보이는 것으로 나타났다.

• 정보교육학회논문지
• /
• 제18권4호
• /
• pp.605-614
• /
• 2014

기존의 많은 치유 프로그램들은 정신적, 신체적으로 나타나는 문제들을 치료하고 있다. 스마트환경에서 발생하는 역기능으로 인한 마음 상처는 단순히 드러나는 측면만을 치료하는 것이 아니라 근본적인 마음의 원인까지 파악하여 치료하는 정신분석학적 치유가 필요할 것이다. 따라서 본 논문에서는 스마트 환경에서의 역기능에 대한 기존의 논문들과 치유 프로그램 분석을 통해서 스마트 환경에서 발생하는 역기능에서 나타나는 심리적, 감성적 변인들을 찾아냈다. 분석 결과를 통해 얻어진 변인들을 투사적인 기법을 활용하여 시각적 요소인 그림으로 표현하였으며, 마음 치유용 디지털 워크북 개발에 적용 방법을 모색하였다. 스마트환경에서의 역기능에 관한 심리치료 프로그램의 효과성을 위해서 심리치료를 일정한 척도를 부여할 수 있는 디지털 형태로 접근시킬 수 있는 가능성을 볼 수 있었다.