• 대한수학회보
• /
• 제46권5호
• /
• pp.867-871
• /
• 2009

A module M over a ring R is said to satisfy (P) if every generating set of M contains an independent generating set. The following results are proved; (1) Let $\tau$ = ($\mathbb{T}_\tau,\;\mathbb{F}_\tau$) be a hereditary torsion theory such that $\mathbb{T}_\tau$ $\neq$ Mod-R. Then every $\tau$-torsionfree R-module satisfies (P) if and only if S = R/$\tau$(R) is a division ring. (2) Let $\mathcal{K}$ be a hereditary pre-torsion class of modules. Then every module in $\mathcal{K}$ satisfies (P) if and only if either $\mathcal{K}$ = {0} or S = R/$Soc_\mathcal{K}$(R) is a division ring, where $Soc_\mathcal{K}$(R) = $\cap${I 4\leq$ $R_R$ : R/I$\in\mathcal{K}$}.

• 한국음향학회지
• /
• 제19권8호
• /
• pp.63-67
• /
• 2000

본 논문에서는 화자인식의 성능향상을 위한 dynamic time warping (DTW) 기반의 문맥 제시형 화자인식에 대해 연구하였다. 화자인식에 있어 중요한 요소인 화자의 특성을 잘 반영할 수 있는 참조패턴을 생성하기 위해 유전자 알고리즘을 적용하였다. 또한, 문맥 종속형과 문맥 독립형 화자인식의 단점을 개선하기 위해 문맥 제시형 화자인식을 수행하였다. Clos set에서 화자식별과 open set에서 화자확인 실험을 하였으며 실험결과 기존 방법의 참조패턴을 이용하였을 경우보다 유전자 알고리즘에 의한 참조패턴이 인식률과 인식속도 면에서 우수함을 보였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 추계종합학술대회 논문집
• /
• pp.228-231
• /
• 1999

This paper describes the design and implementation of an application specific instruction-set processor developed for embedded DSP applications. The instruction-set has an uniform size of 16 bits, and supports 3 types of instructions: Primitive, Complex, and Specific. To reduce code size and cycle count we introduce complex instructions that can be selected according to the application under consideration, which leads to 50% code size reduction maximally. The processor has two independent data memories to double the data throughput and the address space. The processor is synthesized by 0.6$\mu$m single-poly double-metal technology. Critical path simulation shows that the maximum frequency is 110MHz and total gate count is 132, 000.

• 한국지능시스템학회논문지
• /
• 제15권3호
• /
• pp.337-342
• /
• 2005

이 논문에서는 서로 독립이고 동일한 분포를 갖는 집합치 랜덤 변수의 합에 대한 중심극한정리의 일반화로서, 수준연속인 퍼지 집합치 랜덤 변수의 합에 대한 중심극한정리를 연구하였다.

• 대한산업공학회지
• /
• 제26권3호
• /
• pp.220-226
• /
• 2000

The problem (P) of optimizing a linear function $d^Tx$ over the set of efficient points for a multiple objective linear program (M) is difficult because the efficient set is nonconvex. There are some interesting properties between the objective linear vector d and the matrix of multiple objectives C and those properties lead us to establish criteria to solve (P) with a linear program. In this paper we investigate a system of the linear equations $C^T{\alpha}$ = d and construct two linearly independent positive vectors u, v such that ${\alpha}$ = u - v. From those vectors u, v, solving an weighted sum linear program for finding an efficient extreme point for the (M) is a way of getting an optimal solution of the problem (P). Therefore the theorems presented in this paper provided us an easy way of solving nonconvex program (P) with a weighted sum linear program.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.299-306
• /
• 2006

Using a level set method and topological derivatives, a topological shape optimization method that is independent of an initial design is developed for linearly elastic structures. In the level set method, the initial domain is kept fixed and its boundary is represented by an implicit moving boundary embedded in the level set function, which facilitates to handle complicated topological shape changes. The 'Hamilton-Jacobi (H-J)' equation and computationally robust numerical technique of 'up-wind scheme' lead the initial implicit boundary to an optimal one according to the normal velocity field while minimizing the objective function of compliance and satisfying the constraint of allowable volume. Based on the asymptotic regularization concept, the topological derivative is considered as the limit of shape derivative as the radius of hole approaches to zero. The required velocity field to update the H -J equation is determined from the descent direction of Lagrangian derived from optimality conditions. It turns out that the initial holes is not required to get the optimal result since the developed method can create holes whenever and wherever necessary using indicators obtained from the topological derivatives. It is demonstrated that the proper choice of control parameters for nucleation is crucial for efficient optimization process.

• 미생물학회지
• /
• 제52권4호
• /
• pp.487-494
• /
• 2016

출아 효모에서의 Paf1 복합체는 총5개의 단백질로 구성되어있고, 구성성분들은 출아효모, 초파리, 식물들, 그리고 인간에 이르기까지 구조적으로, 기능적으로 잘 보존되어 있다. RNA 중합효소 II와 결합한 상태로 전사 개시부위부터 종결부위까지 함께 이동하며, 여러 전사인자들의 유입을 위한 매개체로 작용하여, 유전자 발현 조절의 핵심적인 역할을 수행한다. Paf1 복합체는 H2BK123 monoubiquitination에 기여하고, histone crosstalk에 의해 간접적으로 H3K4의 di-, tri-methylation에 기여하는 것이 알려져 있다. 하지지만, Paf1 복합체 구성요소들의 개별적인 기능에 대해서는 연구가 되어있지 않다. 이 연구에서는, Paf1 복합체 구성요소들의 단일 결핍 돌연변이 균주를 만든 후, 이들의 H2BK123 monoubiquitination 및 H3K4 mono-, di-, tri-methylation에 미치는 영향을 관찰했다. 놀랍게도, ${\Delta}paf1$, ${\Delta}rtf1$, ${\Delta}ctr9$ 돌연변이 균주에서는 H2Bub에 영향을 받는 H3K4me2와 H3K4me3뿐 아니라, H2B monoubiquitination에 영향을 받지 않는 H3K4 monomethylation의 심각한 감소를 관찰했다. 그러나, methyl기 전달 효소인 Set1의 발현 정도는 이 돌연변이 균주들에서 변하지 않았다. 이러한 결과로부터, Paf1 복합체가 Set1의 활성이나 Set1 복합체의 안정성을 직접 조절함으로써 H3K4 methylation을 조절할 수 있음을 제시한다.

• 영재교육연구
• /
• 제5권2호
• /
• pp.37-54
• /
• 1995

The radical development of modern mathematics is due to the appearance of Collection Theory by George Cantor. The Set Theory is independent as an area and also closely interrelated with other areas. So its content becomes a common sense and a basic part across the whole area of modern mathematics. Accordingly, the basic element of modern mathematics is helping young children get familiar with set as early as possible. The thinking of set by which children can categorize, make partial sets and correspondences, understand the general characteristic, and conceptualize the discovered relationships is very important for young children. At this point where the Math education for young children is emphasized under the influence of the modernization movement of Math education, the systematic education for building up the set concept as the basic background of number concept during the early childhood is required. On current mathematics education for young children, graphs, the foundation of geometry, time, and patterns have been included in the traditional and practical content related to numbers. However, the education on collection which is the foundation of number concept is insufficient. A study shows that the level of young children's understanding on set is quite high, but the set concept isn't reflected in current Math curriculum for young children. And basic activities neccesary on building up the set concept, such as categorization, comparison, etc. are conducted in kindergardens but unsatisfactory because of those kindergarden teachers' premature understanding on the set concept. In conclusion, the curriculum for young children should be reorganized based on the set concept as the kernel concept. Also, the reappraisal of the training curriculum and the supplementary efucation for kindergarden teachers are urgent for raising the teaching ability of those kindergarden teachers.

• 한국컴퓨터정보학회논문지
• /
• 제18권5호
• /
• pp.113-120
• /
• 2013

본 논문은 지금까지 NP-완전인 난제로 알려진 4-색 정리를 $O(n)$선형시간 복잡도로 수기식과 컴퓨터를 활용하여 증명하는 알고리즘을 제안하였다. 제안된 알고리즘은 그래프 $G=(V_1,E_1)$의 정점 집합 V를 최대 독립집합 $\bar{C_1}$와 최소 정점 피복 집합 $C_1$으로 정확히 양분하는 기법을 적용하여 $\bar{C_1}$에 첫 번째 색을 배정하고, $C_1$ 집합의 정점들로 축소된 연결 그래프 $G=(V_2,E_2)$를 대상으로 $\bar{C_2}$와 $C_2$로 양분하여 $\bar{C_2}$에 두 번째 색을 지정하였다. $C_2$ 집합의 정점들로 축소된 연결 그래프 $G=(V_3,E_3)$를 대상으로 $\bar{C_3}$와 $C_3$로 양분하여 $\bar{C_3}$에 세 번째 색을 지정하였다. 마지막으로$C_3$를 $\bar{C_4}$로 하여 4번째 색을 배정하였다. 2개의 실제 지도 그래프와 2개의 평면 그래프를 대상으로 제안된 알고리즘을 적용한 결과 모든 그래프에서 채색수 ${\chi}(G)=4$를 찾는데 성공하였다. 결국, 제안된 "4-색 알고리즘"은 평면 그래프의 4-색을 결정하는 일반적인 알고리즘으로 적용할 수 있을 것이다.

• 대한방사선치료학회지
• /
• 제13권1호
• /
• pp.126-129
• /
• 2001

I. 목적 : Half beam을 이용하여 인접한 조사면 치료시, 경계부위에서 발생할 수 있는 Jaw Position에 의한 기하학적 오차는 정확한 선량전달에 문제를 일으킨다. 이에 본 저자는 QA용 필름을 이용하여 조사면 setting 방법과 조작자간의 오차를 분석하고 이를 최소화할 수 있는 방법을 찾고자 한다. II. 대상 및 방법 : 본 실험은 6MV선(CL2100C, Varian, USA)을 대상으로 하였으며, 폴리스틸렌팬톰($25{\times}25cm2$)을 SSD 100 cm으로 고정한 후, 측정용 필름(X-omat V2, Kodak, USA)을 5 cm 깊이에 위치 시켜 조사면의 중심에서 경계를 이루는 비대칭 조사면 ($0/7.5{\times}15,7.5/0{\times}15 cm$)을 쌍으로 조사하였다. 조사된 필름은 자동현상기를 이용하여 현상한 후 농도계(Densitometer, Multidata, USA)를 이용하여 중심축상에서의 농도분포를 측정하여 인접한 조사면에서의 오차를 분석하였다. 조작방법과 조작자간의 오차를 분석하기 위하여 5명의 방사선사를 대상으로 auto및 manual set-up을 실시하였고 각 방법의 평균 오차를 분석하기 위해 5회 반복하였다. III. 결과 : 필름 농도곡선을 이용하여 두 조사면이 만나는 경계에서의 오차를 분석한 결과, remote console set-up의 경우 주변 조사면에 비해 $-0.16{\pm}3.44\%$, pendant방식에서는 $+5.04{\pm}4.37\%$로 나타났고, 조작자간의 유의성이 관찰되었다. IV. 결론 : 비대칭 조사면을 이용한 근접 조사면의 치료시 pendant 방식보다 remote console 방식에서 오차가 적 게 나타나므로 Auto set-up 기능의 이용은 치료시에 조사면 경계에서의 선량 오차를 최소한으로 줄이는데 도움이 될 것으로 생각된다. 또한 manual 방식으로 set-up 시 오차의 편차가 크게 나타나므로 치료시에 세심한 주의가 필요할 것으로 사료된다.