• 대한수학회지
• /
• 제54권1호
• /
• pp.59-68
• /
• 2017

Let $F=R^{(n)}$ be a free R-module of finite rank $n{\geq}2$. In this paper, we characterize the prime submodules of F with at most n generators when R is a $Pr{\ddot{u}}fer$ domain. We also introduce the notion of prime matrix and we show that when R is a valuation domain, every finitely generated prime submodule of F with at least n generators is the row space of a prime matrix.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.260-261
• /
• 2006

This paper describes a real time digital simulation method for the application of HTS tape to power devices. At present, in order to extend the power capacity of some area which has a serious problem of power quality, especially metropolitan complex city. there are so many problems such as ROW for cable line routes, space for downtown substations, and the environmental protection, etc. HTS technology is one of the best solutions. Simulation is required for safety before install of HTS power cable, a fabrication model used at the power system simulation. Here, in this paper, authors developed an algorithm connected with HTS by using Real-Time Digital Simulator(RTDS).

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2009년도 IWAIT
• /
• pp.737-741
• /
• 2009

This paper addresses the factorization method to estimate the projective structure of a scene from feature (points) correspondences over images with occlusions. We propose both a column and a row space approaches to estimate the depth parameter using the subspace constraints. The projective depth parameters are estimated by maximizing projection onto the subspace based either on the Joint Projection matrix (JPM) or on the the Joint Structure matrix (JSM). We perform the maximization over significant observation and employ Tardif's Camera Basis Constraints (CBC) method for the matrix factorization, thus the missing data problem can be overcome. The depth estimation and the matrix factorization alternate until convergence is reached. Result of Experiments on both real and synthetic image sequences has confirmed the effectiveness of our proposed method.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.496-498
• /
• 2000

동영상 비디오 시퀸스에서 필요로 하는 장면을 빠르고 쉽게 찾을 수 있도록 해주는 내용 기반 검색에 대한 연구가 활발히 이루어져 오고 있다. 특히, 내용 기반 검색 시스템의 기초 기술인 비디오 데이터의 샷(shot)에 따른 분할 연구는 다양한 방법으로 소개되었으나 정확도가 높은 분할 알고리즘이 아직 개발되지 않고 있는 실정이다. 본 논문에서는 비압축 비디오에서 컷(cut) 검출의 효율성을 향상시키기 위해 기존의 히스토그램 비교법과 시공간 영상을 활용하는 계층적인(hierarchical) 방법을 제안한다. 이를 위해 먼저 동영상의 각 프레임에서 한 행(row)씩 추출하여 동영상 전체를 대표하도록 시공간 영상을 생성하고, 생성된 시공간 영상에서 수평 에지(edge)를 이용한 프레임(frame) 특징값으로 장면 전화의 후보 영역을 선택하였다. 그리고 선택된 후보 영역을 히스토그램 비교법으로 분석하게 된다.

• 건축역사연구
• /
• 제31권4호
• /
• pp.29-44
• /
• 2022

This thesis is a study to Haengnang(行廊, a series of buildings) of Sijeon(市廛, licensed markets), which was built along with palaces, Jongmyo(宗廟) and roads in order to establish Hanyang(漢陽) as the capital of Joseon (朝鮮). Sijeon, built on Jongno and Namdaemun-ro, the main roads in Hanyang, created two-row lands on both sides of the road, and formed Pimat-gil as an inner road between the Jeonbang and Doga. The formation of the city proceeded along with the maintenance of the water path, and the situation of the water path parallel to the flow of Sijeon was achieved. The Sijeon building was a spatial structure managed by independent rooms as a result of reflecting the unique operation method of Sijeon. The Sijeon of Hanyang had an impact on the formation of land, architecture, roads, and waterways, and acted as a major factor in determining the urban spatial structure of Hanyang City.

• 대한수학회보
• /
• 제60권2호
• /
• pp.475-484
• /
• 2023

Let R be a commutative ring with identity. In this paper, we characterize the prime submodules of a free R-module F of finite rank with at most n generators, when R is a GCD domain. Also, we show that if R is a Bézout domain, then every prime submodule with n generators is the row space of a prime matrix. Finally, we study the existence of primary decomposition of a submodule of F over a Bézout domain and characterize the minimal primary decomposition of this submodule.

• 대한인간공학회지
• /
• 제31권2호
• /
• pp.309-317
• /
• 2012

Objective: The aim of this paper is to inquire into the influences form factors and control types affect a search time and comfort at list menu of full touch phone. Background: Various studies have been proceeded that are related to the optimum touch area for enhancing usability of control and legibility in mobile touch device. In the environment of list menu which is widely used to provide various information effectively, however, not only comprehensive consideration for legibility and control is to be seek but also research for control type which is to scroll a list. Method: This study executed form factor experiment to inquire into the influence that font size, height of row and fixed area affect searching time and comfort in the while information processing even if the information on the list is unsorted in alphabetical order. Among the result of form factor experiment, control type experiment was executed by selecting shortest performance time, highest legibility comfort and control comfort. Control type experiment was implemented to figure out the influence which existing flicking type, scrolling bar type, newly established button page type and button raw types affect performance time and subjective comfort depending on location of the information. Results: Font size 12pt, height of row 7mm and fixed area 15mm was shortest performance time and got highest comfort and legibility score in form factor experiment. A Button page which was newly proposed type was shortest performance time and got highest comprehensive comfort in control type experiment. Conclusion: Form factor experiment showed similar results with the study through reading a long passage of character or controlling a grid icon type. However, height of row turned out to affect not only touch area for control but also legibility by ruling space between the lines. Button page type which was newly proposed showed shortest performance time and got highest comprehensive comfort. Because Button page type needs few finger movements than other control types and implements search in the fixed form, unlikely other type which list keeps moving. Application: This study should be applied in deciding form factors and control type for scroll when designing a list menu of full touch phone.

• 환경영향평가
• /
• 제28권1호
• /
• pp.23-34
• /
• 2019

지구온난화는 해수면 상승이나 전 세계의 변덕스러운 기후와 같은 심각하면서 부차적인 문제를 야기한다. 2015년 여름에 심각한 폭염이 있은 이래로, 도시열섬에 대한 큰 관심이 모아졌다. 폭염 자체에 대한 연구뿐만이 아니라, 많은 연구가 온난화된 기후와 미시 기후에 적응하는 방법에 중점을 둔다. 기존 연구들의 상당부분은 도시열섬 효과를 완화하는 것인데, 이는 다양한 활동을 하고 있는 인구가 많은 도시 지역에 거대한 불침투성 표면이 존재하고 있기 때문이다. 또한 이 열 환경이 열 취약성에 의한 사망을 초래할 가능성이 높다는 것은 심각한 문제이다. 여름철 그린인프라의 냉각효과에 대한 논문이 많이 있어왔지만, 본 연구는 도시 협곡과 인접한 그린인프라 유형을 고려하여 가로수의 냉각 효과를 측정하는 데에 집중했다. 이 정량적 접근은 ENVI-met 시뮬레이션을 통해 서울의 상업지역 블록에서 진행되었다. 연구결과로 밀도가 높은 2열 식재가 단열식재보다 온도 변화에 더 민감하다는 것을 발견했다. 2열 식재 시나리오 중 가로수와 지표면 사이의 공간이 좁은 관목은 주간에 열을 저장하여 야간에 저장열 방출을 막아 더 높은 온도를 유지하는 것으로 밝혀졌다. 식생 공간의 냉각 효과를 정량화하면 미래의 비용 및 편익 평가 연구에 기여할 것으로 기대된다.

• 한국지반공학회논문집
• /
• 제16권4호
• /
• pp.171-181
• /
• 2000

성토지지말뚝 상부의 성토지반내에서 발생되는 지반아칭효과에 의하여 성토하중이 말뚝에 전달되는 효과를 조사하면서 제안된 이론해석의 신뢰성을 확인하기 위하여 일련의 모형실험을 수행하였다. 본 모형실험에서 말뚝은 성토 아래에 일렬로 수열의 줄말뚝으로 설치하였으며, 말뚝캡보는 성토의 길이방향에 직각방향으로 말뚝두부에 설치하였다. 성토재의 하중전달에 가장 큰 영향을 미치는 요인으로는 말뚝캡보사이의 간격과 성토고를 들 수 있다. 이전의 이론적인 연구에 의해 제안된 지반아치의 반경보다 약 33%정도 큰 최소소요성토고보다 높게 성토를 실시할 경우 지반아치는 완벽하게 발생될 뿐만 아니라, 실험치와 이론치는 잘 일치함을 모형실험결과 확인할 수 있다. 모형말뚝캡보에 작용하는 성토하중의 분담률은 말뚝캡보사이의 간격이 증가함에 따라 감소하는 반면, 성토고가 높아짐에 따라 증가하였다. 따라서, 설계시 말뚝의 성토하중지지효과를 극대화시키기 위해서는 성토고를 충분히 높게한 상태에서 말뚝캡보의 간격비를 감소시켜야 한다. 여기서 말뚝캡보의 간격비를 감소시키려면 말뚝캡보사이의 간격을 감소시키거나 말뚝캡보의 폭을 증가시켜야 한다.

• 한국주거학회논문집
• /
• 제18권5호
• /
• pp.1-10
• /
• 2007

This study is to analyze the residential spatial composition structures of vernacular agricultural village which to be called Wanggok in Yeongdong area. The results of this study are as follows; ${\cdot}$ The backyard of farmhouses is surrounded by a fence and a frontyard is open to the road, so that the spatial realm system from the road to the backyard is classified as public-semi public-private realm. ${\cdot}$ The plan type of this village is mainly composed of ㅡ type Gyeobjib (the two row rooms under one roof) and ㄱ type Gyeobjib, the Anmaru (the inner wood floor to be surrounded with wall) in both of which plays an important role that connects Sarangbang (the men's main room) with Anbang (the women's main room) in the residential space. ${\cdot}$ The particular item that not found out in another area is the Sarangbang kitchen which located to Sarangbang's side wall to be furnished with a fire hole. ${\cdot}$ The houses represent the socio-cultural environmental elements of those built days, such as while Sarangbang is faced on a frontyard to be open to the neighborhood, Anbang is faced on a backyard surrounded with a fence to be closed to the one. ${\cdot}$ The Gyeobjib with Anmaru appeared by cultural transformation connecting the 田-shaped house of Hamgyeongdo with the Gyeobjib with Anmaru of Gangwondo and Gyeongsangbukdo. ${\cdot}$ The ㄱ type Gyeobjib is preferred to ㅡ type Gyeobjib because of the sea wind and the north-east wind occurring by geographical and climatic environment elements, the privacy protection according to look into a frontyard, the muck drainage of cowshed to make use of ground unevenness, the economic gains called material saving and the intention to enlarge the frontyard as to be concentrated in a residential space and etc.