• 대한수학회지
• /
• 제51권4호
• /
• pp.721-734
• /
• 2014

Let M be a module over a commutative ring R, and let T(M) be its set of torsion elements. The total torsion element graph of M over R is the graph $T({\Gamma}(M))$ with vertices all elements of M, and two distinct vertices m and n are adjacent if and only if $m+n{\in}T(M)$. In this paper, we study the basic properties and possible structures of two (induced) subgraphs $Tor_0({\Gamma}(M))$ and $T_0({\Gamma}(M))$ of $T({\Gamma}(M))$, with vertices $T(M){\backslash}\{0\}$ and $M{\backslash}\{0\}$, respectively. The main purpose of this paper is to extend the definitions and some results given in [6] to a more general total torsion element graph case.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1998년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.349-354
• /
• 1998

The grid reference system (GRS) has been useful for identifying the geographical location of satellite images. In this study we derive a GRS for the KOMPSAT Electro-Optical Camera (EOC) images. The derivation substantially follows the way that SPOT defines for its GRS, but incorporates the KOMPSAT orbital characteristics. The KOMPSAT EOC GRS (KEGRS) is designed to be a (K,J) coordinate system. The K coordinate parallel to the KOMPSAT ground track denotes the relative longitudinal position and the J coordinate represents the relative latitudinal position. The numbering of K begins with the prime meridian of K=1 with K increasing eastward, and the numbering of J uses a fixed value of J=500 at all center points on the equator with J increasing northward. The lateral and vertical intervals of grids are determined to be 12.5 km about at the 38$^{\circ}$ latitude to allow some margins for the value-added processing. The above design factors are being implemented in a satellite programming module of the KOMPSAT Receiving and Processing System (KRPS) to facilitate the EOC data collection planning over the Korean peninsula.

• 한국안전학회지
• /
• 제24권6호
• /
• pp.13-19
• /
• 2009

The thermoelectric cooling system consisted of the thermoelectric module, a heat sink and a cooling fan, respectively. Also, the piezoelectric actuator was applied to improve the performance of thermoelectric cooling system and investigate the heat transfer phenomenon. The temperature distribution of test section was measured to investigate cooling characteristics of thermoelectric cooling system. The flow phenomenon of test section was visualized using visualization device. When the piezoelectric actuator was applied to the heat transfer process of thermoelectric cooling system, acoustic streaming was occurred in test section. The acoustic streaming was occurred forced convection flow, and was regularly formed the temperature distribution in test section. The results clearly show that the acoustic streaming is one of the prime effects to enhance the convection heat transfer and can enhance the performance of thermoelectric cooling system.

• Kyungpook Mathematical Journal
• /
• 제63권1호
• /
• pp.29-36
• /
• 2023

Parkash and Kour obtained a new version of Cohen's theorem for Noetherian modules, which states that a finitely generated R-module M is Noetherian if and only if for every prime ideal 𝔭 of R with Ann(M) ⊆ 𝔭, there exists a finitely generated submodule N^𝔭 of M such that 𝔭M ⊆ N^𝔭 ⊆ M(𝔭), where M(𝔭) = {x ∈ M | sx ∈ 𝔭M for some s ∈ R \ 𝔭}. In this paper, we generalize the Parkash and Kour version of Cohen's theorem for Noetherian modules to S-Noetherian modules and w-Noetherian modules.

• 대한수학회보
• /
• 제61권1호
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.

• 대한수학회논문집
• /
• 제39권1호
• /
• pp.45-58
• /
• 2024

Let R be a commutative ring with identity. If the nilpotent radical N il(R) of R is a divided prime ideal, then R is called a ϕ-ring. Let R be a ϕ-ring and S be a multiplicative subset of R. In this paper, we introduce and study the class of nonnil-S-coherent rings, i.e., the rings in which all finitely generated nonnil ideals are S-finitely presented. Also, we define the concept of ϕ-S-coherent rings. Among other results, we investigate the S-version of Chase's result and Chase Theorem characterization of nonnil-coherent rings. We next study the possible transfer of the nonnil-S-coherent ring property in the amalgamated algebra along an ideal and the trivial ring extension.

• International journal of advanced smart convergence
• /
• 제13권2호
• /
• pp.35-43
• /
• 2024

In this paper, we propose two 127-bit LFSR (Linear Feedback Shift Register)-based OTP (One-Time Password) generators. One is a 9-digit decimal OTP generator with thirty taps, while the other is a 12-digit OTP generator with forty taps. The 9-digit OTP generator includes only the positions of Fibonacci numbers to enhance randomness, whereas the 12-digit OTP generator includes the positions of prime numbers and odd numbers. Both proposed OTP generators are implemented on an Arduino module, and randomness evaluations indicate that the generators perform well across six criteria and are straightforward to implement with Arduino.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 추계종합학술대회 B
• /
• pp.673-676
• /
• 2008

블루투스와 같은 무선통신의 경우, 베이스밴드에서는 송신단과 수신단의 데이터의 모뎀 인터페이스를 통과한 데이터에 대해 보안성 및 회로의 안정성을 위해 DC 바이어스를 제거해주어야 한다. 송신단에서는 송신할 데이터를 랜덤하게 섞어 에러 정정 모들에 보내주어야 하며 수신단에서는 랜덤하게 평준화된 데이터들을 원래 상태로 복구하여야 한다. 이러한 화이트닝 블록은 필터링을 위한 고유다항식을 목적에 맞게 선택하는 것이 매우 중요하다. 본 논문에서는 하드웨어의 효율성을 높이고 면적을 줄이기 위하여 고유다항식을 $g(D)=D^7+D^4+1$로 선택하여 화이트닝 블록을 설계하였다. 설계한 하드웨어 화이트닝 블록은 Verilog HDL로 기술하고 검증하여 자동 합성방식으로 합성하였다. 합성된 화이트닝 블록은 기준으로 삼는 베이스밴드 마이크로콘트롤러의 동작주파수인 40MHz에서 정상적으로 동작하였다.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1998년도 춘계 학술발표회 논문집
• /
• pp.235-242
• /
• 1998

Aiming at one of decisive alternatives for long term aspect of nuclear power concerns, an integral and closed nuclear system, AMBIDEXTER (Advanced Molten-salt Break-even Inherently-safe Dual-mission Experimental and TEst Reactor) concept is under development. The AMBIDEXTER complex essentially comprises two mutually independent loops of the radiation/material transport and the heat/energy conversion, centered at the integrated reactor assembly, which enables one to utilize maximum benefits of nuclear energy under minimum risks of nuclear radiation. And it provides precious radioisotopes and radiation sources from its waste stream. Also the reactor operates at very low level of fission products inventory throughout its lifetime. The nuclear and thermalhydraulic characteristics of the molten TH/$^{233}$ U fuel salt extend the capability of the self-sustaining AMBIDEXTER fuel cycle to enhance resource security and safeguard transparency. The reactor system is consisted of a single component module of the core, heat exchangers and recirculation pumps with neither pipe connections nor active valves in between, which will significantly improve inherent features of nuclear safety. States of the core technologies associated with designing and developing the AMBIDEXTER concept are mostly available in commercialized form and thus demonstration of integral aspects of the concept should be the prime area in future R＆D programs.

• Journal of Power Electronics
• /
• 제14권2호
• /
• pp.402-412
• /
• 2014

This paper proposes a novel electric propulsion system for naval ships, which consists of Active Front End (AFE) converters directly connected to battery Energy Storage Modules (ESMs). Employing the proposed AFE converters with ESMs in the power systems of naval ships can enhance the reliability and quality of the electric power. Furthermore, the fuel-efficiency of the generator can be improved by a higher loading factor of the generator and its prime movers. The proposed AFE configuration does not require an additional dedicated DC/AC converter for the ESMs. Instead of that, the AFE converter itself can control the DC link voltage and the discharging and/or charging of the ESMs. A control scheme to achieve these control objectives is also presented in this paper. The overall power system, including the generators and electrical loads of a naval ship, is implemented by a small scaled Power Hardware-In-the-Loop (PHIL) simulator. Through this experimental setup, the proposed system configuration and the power control strategies are verified. It is shown that the fuel-efficiency and transient dynamics can be improved in the normal and contingency operation modes.