• 대한수학회지
• /
• 제60권2호
• /
• pp.407-464
• /
• 2023

Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

• Computers and Concrete
• /
• 제33권5호
• /
• pp.519-533
• /
• 2024

Many materials including cementitious concrete-type materials undergo material property changes during high-rate loading. There is a wealth of research regarding this phenomenon for concrete in compression and tension. However, there is minimal knowledge about how mortar material used in concrete masonry unit (CMU) construction behaves in high-rate shear loading. A series of experiments was conducted to examine the bond strength of mortar bonded to CMU units under high-rate shear loading. A novel experimental setup using a shock tube and dynamic ram were used to load specially constructed shear triplets in a double lap shear configuration with no pre-compression. The Finite Element Method was leveraged in conjunction with data from the experimental investigation to establish if the shear bond between concrete masonry units and mortar exhibits any rate dependency. An increase in shear bond strength was observed when loaded at a high strain rate. This data indicates that the CMU-mortar bond exhibits a rate dependent strength change and illustrates the need for further study of the CMU-mortar interface characteristics at high strain rates.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
• /
• pp.238-238
• /
• 2012

Ag (silver)의 일함수는 T-OLED (Top Emission Organic Light Emitting Diode)의 전극소자로 사용하기에는 다소 낮다는 단점이 있다(~4.3 eV). 이러한 단점을 해결하기 위한 대안으로 Ag 박막의 표면을 플라즈마 처리, UV 처리 및 열처리를 통하여 일함수를 높이는 연구가 진행 되어왔다(>5.0 eV). 하지만 현재의 대부분 연구는 후 처리된 박막의 일함수에 초점을 맞춰 연구가 진행 되어 박막의 nano-mechanical property에 대한 연구는 매우 부족하다. 따라서 본 논문에서는 AgOx 박막의 nano-mechanical property에 초점을 맞춰 분석을 실시하였다. 연구에 사용된 샘플은 Ag 박막을 유리기판 위에 rf-magnetron sputter 장치를 이용하여 100 W의 power로 150 nm 두께로 증착하였다. 증착된 Ag 박막은 $O_3$ 발생 UV 램프를 이용하여, 다양한 시간동안 UV 처리하였다(0~9분). 증착된 샘플은 Four-point probe, nanoindenter 장비를 이용하여 nano-mechanical property를 분석하였다. 실험 결과 UV 처리 시간이 0, 1분에서 면저항이 0.16, 0.50 ${\Omega}$/sq로 급격한 변화가 나타났으나, 반면 3분 이후 9분의 샘플의 경우, 0.55 ${\Omega}$/sq에서 0.24, 0.20, 0.15 ${\Omega}$/sq로 감소하여 전기적 특성변화를 볼 수 있었다. 또한 nanoindenting 결과 UV 처리한 박막의 극 표면 경도 값의 변화는 0~5분 처리한 샘플의 경우, 물리적인 경도가 증가하는 형태를 보이며 UV 처리를 5분간 했을때 7.89 GPa로 최고의 경도를 가진다. 그 이후부터는 6.97, 3.46 GPa의 결과로 박막의 경도가 감소되는 결과를 얻었다. 이러한 결과로부터 Ag 박막의 후처리에 따른 Ag 물질의 산화 및 결정상태에 따라 박막 내에 존재하는 residual stress를 분석할 수 있다.

• 한국전자통신학회논문지
• /
• 제6권4호
• /
• pp.523-531
• /
• 2011

지하수 자원을 사용하기 위해 설치된 많은 관정들이 사용 후 폐공처리 소홀로 인하여 지하수 오염원이 된다. 또한 폐공된 관정에서는 중금속 및 유기화합물 등의 유해물질이 지하수로 유입 되는 문제점이 발생하여 지하수 수질 악화를 초래한다. 따라서 본 논문에서는 이러한 문제점을 개선하기 위해 유비쿼터스 센서 노드와 GIS 기술을 접목한 u-GIS 환경 하에서 관정의 위치정보와 지하수 센싱 정보를 실시간으로 모니터링하고 분석할 수 있는 지하수 관리 시스템을 설계 및 구현한다. 아울러 UML 2.0을 활용하여 시스템을 이용하는 사용자의 다양한 요구사항, 시스템 내부 모듈들 간의 상호작용 및 데이터 흐름을 분석하여 시스템을 모델링한다. GIS 맵과 웹 환경, 스마트폰 기반의 모바일 단말기 등의 다양한 플랫폼을 통해 원격지에 있는 각 관정의 지하수 상태 및 관정 관련 속성 정보를 모니터링을 하기 위한 사용자 인터페이스를 제공한다.

• 한국산학기술학회논문지
• /
• 제14권10호
• /
• pp.5115-5122
• /
• 2013

본 논문은 급경사지(산사태 및 사면붕괴, 축대 등)붕괴 등으로 인하여 많은 생명과 재산피해 방지를 목적으로 붕괴 위험성을 감지하고 신속히 대응을 할 수 있도록 하기 위하여 u-IT기반의 급경사지 붕괴예측 감시용 실시간 모니터링 시스템을 개발하였다. 급경사지붕괴 감시에 중요한 계측기로서 강우량 계측기, 간극수압 계측기, 지표변위 계측기, 지중경사 계측기, 함수비계측기, 영상분석 계측기 등을 선정하고 테스트베드에 적용하였다. 각 계측기의 신뢰성 검증에 필요한 동작기능 및 성능확인은 현장에 설치된 계측기 별로 실험을 통하여 확인하였다. 본 연구에서 개발한 급경사지붕괴 감지를 위한 USN기반의 실시간 급경사지 모니터링 시스템을 급경사지 붕괴감지뿐만 아니라 도로변 절개사면과 암반사면 등에 상시계측을 통하여 붕괴위험 예측에도 적용할 수 있으므로 인명피해와 재산피해를 최소할 수 있을 것으로 판단되며, 이 시스템은 본 연구의 시범적용 결과를 바탕으로 급경사지 전역에 확산될 계획에 있다.

• 생명과학회지
• /
• 제19권5호
• /
• pp.620-624
• /
• 2009

동면 개시인자로 알려진 DADLE는 여러 연구에 의해 in vivo와 in vitro 상에서 유사 동면 상태를 야기한다. 본 연구는 인체혈구암세포인 U937 세포주의 세포 사멸과 세포 주기 둥에 대한 DADLE의 영향을 살펴보았다. DADLE가 처리된 U937세포는 8${\sim}6$10 ${\mu}$M의 높은 농도에서 세포 증식이 감소하였으며, 0${\sim}6$ ${\mu}$M의 낮은 농도에서 영향이 없었다. DNA flow cytometer를 이용하여 세포 주기를 분석해본 결과 DADLE에 의한 세포 주기 억제가 관찰되었다. DADLE처리에 따른 세포 증식률 감소 및 세포 주기 억제효과를 전사 수준에서 조사한 결과 Bcl-XL, c-IAP-2의 발현 및 survivin의 발현 감소가 관찰되었으며, COX-2의 발현 역시 COX-1의 변화 없이 감소함을 확인하였다. 또한, cyclin E 와 cdk-2, -4 그리고 -6의 발현 역시 감소하는 것을 관찰하였다. Telomere 조절 관련 유전자의 경우도 c-myc과 TERT의 감소, 그리고 TEP-1가 증가하는 현상을 관찰하였다. 이상의 결과는 DADLE를 U937 암세포주에 처리했을 때 세포 주기의 억제를 통하여 life-time을 증가시킬 가능성을 시사하며 이에 관한 지속적인 연구가 필요할 것으로 사료된다.

• 전자공학회논문지
• /
• 제52권1호
• /
• pp.175-181
• /
• 2015

본 논문에서는 무선 LAN을 기반으로 u-Hospital 서비스를 지원할 수 있는 임베디드 리눅스 기반의 2.4GHz ISM 대역용 플랫폼 시제품을 개발하였다. 개발된 시스템은 ARM920T 프로세서 보드와 FPGA 보드가 서로 연동되게 설계되었고, 무선 접속을 위해 IEEE 802.11b PHY 보드, AD/DA(10Bit), 그리고 RF(2.4GHz) 보드가 연결되도록 설계하였으며, 임베디드 리눅스를 탑재하여 IEEE 802.11b/g Access Point(Option: IEEE 802.11a/b/g) 시험이 가능하여 임베디드 시스템 설계에 응용될 수 있다. 또한 개발된 시스템은 무선 접속 기술과 Modem(OFDM etc) 및 IP(Intellectual Property) 회로를 시험하고 검증할 수 있으며, 홈&모바일 헬스 케어 및 웰 니스 서비스로의 응용 확장이 가능하다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 지질공학
• /
• 제9권2호
• /
• pp.89-100
• /
• 1999

핵폐기물 처분장 공학방벽재로서의 우리나라 제 3 기층에서 산출되는 벤토나이트와 제올라이트의 활용 가능성을 물리화학적 특성을 중심으로 평가하였다. 연일 및 감포일대 제 3 기층의 9개 대표적인 벤토나이트 광산과 6개의 제올라이트 광산에서 채취한 자연산 시료와 관련회사의 추천상품시료에 대해 X-선 회절 분석, 팽윤도 측정, 양이온교환능 측정, 비표면적 측정, 몬모릴로나이트의 함량계산, 유기탄소함량 분석, 시차 열분석(DTA), 편광현미경 관찰, 주사전자현미경(SEM)관찰 및 전자현미분석(EPMA)을 실시하여 각 분석항목을 비교 평가하였다. 연구결과를 종합하면 U-41 및 G-46의 광산에서 산출되는 벤토나이트와 대도 및 Y-1호 광산의 제올라이트가 인공방벽재료로 갖추어야할 물리화학적 특성이 최적인 것으로 평가된다.

• 한국통신학회논문지
• /
• 제25권1A호
• /
• pp.74-80
• /
• 2000

본 논문에서는 초고속 통신망의 대안기술로 부각되고 있는 HFC 전속망을 기본 전송망으로 하는 CATV/LAN망에서 새로운 MAC프로토콜을 제안하고 성능해석을 수행하였다. CATV/LAN 전송망에서 주요 해석의 대상인 상향채널은 단방향 채널 특성과 단말의 위치에 따라서 우선적으로 접속되는 특성이 발생한다. 이런 전송망에서 공정성 문제를 해결하기 위하여 전송할 데이터가 발생하면 그 즉시 데이터를 전송하지 않고 Pi확률로 데이터를 전송하는 CSMA-CD/U/P(Unsoltted Pi-persistent CSMA-CD)프로토콜을 제안한다. 성능해석과 시뮬레이션 결과 전송망에서 공정성을 이루는 데이터 전송 확률값인 Pi의 분포를 구하였으며, 전송망의 공정성이 이루어 졌을 때 평균 지연 시간(mean delay time)을 구했다. 또한, 지연시간의 분산값을 구하였으며 단말의 버퍼큐에서 큐길이(queue length)분포도 구하였다. 평균 지연 시간과 큐길이 분포는 부하가 커질수록, 단말의 수가 많아 질수록 증가 하는 양상을 보인다.