• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권4호
• /
• pp.549-565
• /
• 2013

To help students understand the deduction system in the proof, we analyzed the textbook on mathematics at first. As results, we could find that the textbook' system of deduction is similar with the Euclid' system of deduction. The starting point of deduction is different with each other. But the flow of deduction match with each other. Next, we searched for the example of circular argument and analyzed. As results, we classified the circular argument into two groups. The first is an internal circular argument which is a circular argument occurred in a theorem. The second is an external circular argument which is a circular argument occurred between many theorems. We could know that the flow of deduction system is consistent in internal-external dimension. Lastly, we proposed the desirable teaching direction to help students understand the deduction system in the proof.

• 복식문화연구
• /
• 제17권5호
• /
• pp.866-877
• /
• 2009

The purpose of this study was to develop the dimension of hand pattern-making for Korean glove. The glove pattern-making has difficult problem in combination of anthropometric and engineering aspects. In addition, existing dimension data are not enough for glove pattern-making. Therefore, to develop the dimension for glove this study comprehensive list of candidate hand data was reviewed and the manufacturers(career over the 15 years) were interviewed on the method of glove. The result of comparing between the structures in hand and existing glove pattern, there draw deduction from follows. Pattern-making for glove need size of hand length, thumb length, index finger length, middle finger length, ring finger length, hand circumference, thumb-ring finger circumference and maximum hand thickness.

• 정보처리학회논문지B
• /
• 제10B권3호
• /
• pp.273-280
• /
• 2003

추천 시스템은 구매할 상품을 사용자가 찾는 것을 도와주는 시스템이다. 추천 시스템에서 사용되고 있는 여러 가지 방법 중에 대표적인 방법인 협력적 여과는 유사한 사용자들에 기초하여 그 사용자들이 선호하는 상품을 교차 추천해주는 방법이다. 사용자들에 대한 정보는 상품을 평가한 등급에 기초하고, 유사한 사용자는 평가 패턴의 유사성으로 판단된다. 순수한 협력적 여과는 사용자가 증가함에 따라서 평가 자료의 차원이 증가한다. 평가 자료의 고차원성은 자료의 희소성을 증가시켜 협력적 여과의 성능이 저하되는 문제점을 가지고 있다. 따라서, 본 논문에서는 SVD를 이용하여 평가 자료의 차원을 감소시켜 희소성을 최소화하는 방법을 고찰하며, 협력적 여과에 미치는 영향을 실험적으로 제시한다. 결과적으로 SVD를 이용한 협력적 방법은 순수한 협력적 여과 방법과 비교하여 충분히 정확한 성능을 보였다.

• 한국인터넷방송통신학회논문지
• /
• 제12권3호
• /
• pp.29-35
• /
• 2012

본 논문에서는 MPEG(Moving Picture Experts Group) 영상 디코더에서 영상을 압축, 비교, 복원, 저장한후 디코딩 처리하는 방법을 종래의 픽셀 단위로 처리하는 방법과는 다르게 영상의 단위 화소 주변을 군집화소로 분류한 후 이를 클러스터링하여 오버랩정도를 결정 한다. 오버랩 정도의 임계치값을 결정하는데는 패턴식별을 취한후 샘플 패턴에 대한 기하구조의 파악과 결정함수의 도출로 활용된다. 특징공간이 4차원 이상이면 주어진 패턴 구조를 시각적으로 관찰할 수 없다. 이 때, 분포구조를 고찰해 볼수 있는 방법은 군집중심간의 거리, 군집별 패턴의 수 및 표준편차 등을 이용하는 방법이다. 임계치 값을 넘는 중복화면은 소거되고 넘지않는 군집화면은 패턴인식으로 복원된후 동영상으로 구현된다. 이방법이 기존의 픽셀 단위 처리하는 방법 과는 20%정도의 메모리 감축과 15%정도의 화면 복원에 성능이 향상된 것으로 판정된다.

• 한국디지털건축인테리어학회논문집
• /
• 제1권1호
• /
• pp.46-50
• /
• 2001

It is known that to automate the quantity take-off process enables you to increase the productivity best among the construction business field. However, the limitation of 2D(Two-dimension) CAD System prevented a cost-estimating system which makes the great effects on the quantity take-off process from being developed. This study aims that you can automate both the itemized statements and the quantity take-off process by using commercially available object-oriented CAD system. The commercially available CAD system today does not give us entire satisfaction. This study shows the deduction of the old boundaries of the object-oriented CAD system and the solution of those problems. And it also studied about the quantity take-off process and the automated cost-estimating system that can be used in the simple and plain repair-maintenance work such as the execution drawing which doesn't need the complicated drawings.

• 디지털융복합연구
• /
• 제10권10호
• /
• pp.447-456
• /
• 2012

공간과 형태 디자인에 있어서 스터디모델은 완성될 공간이나 형태가 디자인되는 공간과 형태에 구체적인 시각적 매개체를 제공하며, 보다 근본적으로 디자인도면에 대한 상호 보완적 수단으로서 이용된다. 즉 스터디모델은 2차원적인 속성을 지니는 디자인 도면에 3차원적인 이해 수단을 추가적으로 부여한다. 따라서 디자인이 진행되는 동안 구체적인 공간의 형태와 공간구성을 디지털스터디모델을 이용하여 자유로운 각도에서 시각적으로 감지하며 공간과 형태를 분석하게 해준다. 일반적으로 유형적인 재료를 사용하여 제작되는 스터디모델은 디자인 과정에서 디자인 내용의 변경과 스터디모델의 용도에 따라서 여러 번 제작되어야 하며, 디자인도면과 모델의 관계는 공간의 지각과 이해를 통해서만 이루어진다. 이것은 디자인도면과 스터디모델 매체사이의 상호보완성이 동시에 이루어지지 않기 때문이다. 그러나 본 연구에서 제안된 3차원 디지털 디자인 프로세스를 이용하면, 즉각적인 시각적 표현과 더불어 디자인 단계에서 다양한 분석과 디지털 디자인모델 결과물들을 얻어낼 수 있게 된다. 결국 디자인계획과 디자인 구체화 단계에서 디지털디자인 프로세스를 활용할 경우 입체적 표현을 실시간으로 적용할 수 있으며, 3차원 디지털모델을 시각화하여 최종 디자인을 위한 공간과 형태의 다양한 분석이 가능하게 된다.

• 한국디지털건축인테리어학회논문집
• /
• 제6권2호
• /
• pp.9-16
• /
• 2006

The research want to know about form creation method's special quality that found in digital construction design process that using digital media, and they comparison analysis that who positive using digital media, Frank O. Gehry, Peter Eisenman, Greg Lynn, UN studio's work. First, In digital design process using digital media is make full use to design unfolding step and application way can change by architect's recognition difference of using digital media and each architect's design general idea unfolding process, and it means form creation process can change. Second, In digital design process a building form doesn't design adaptation to construction system, they directly design the third dimension form. So, they deduction a new form that unification and integration. Third, the architect that appear's in digital design process's part is existing, data from position of the master which it selects the coding selects the outcome goods which appears in computer operation with coordinator role of the originality and construction sense which it is visible.

• 한국통신학회논문지
• /
• 제39B권2호
• /
• pp.86-94
• /
• 2014

광 패킷 스위칭은 미래 광 인터넷을 위한 스위칭 기술로 고려되고 있다. 광 패킷 스위칭 내부의 경합 해결을 위해 파장 변환 기법이 광 지연 선로 버퍼와 함께 일반적으로 사용되어 진다. 본 논문에서는 공유형 혹은 아웃풋 광 지연 선로 버퍼를 갖는 비동기 광 패킷 스위칭 시스템의 비용 효율적인 설계를 위해 가변 파장 변환기를 공유함으로써 필요한 파장변환기 개수의 감소를 도출한다. 비동기 가변길이 패킷들을 비용 효율적 설계를 위해 고려하였고, 그러한 광 패킷 스위칭 시스템 내부에 필요한 가변 파장 변환기 개수를 도출하기 위해 출력 단의 채널뿐아니라 유용 가능한 가변 파장 변환기와 내부 파장 또한 찾아 주는 스케쥴링 알고리즘을 제안한다. 제안된 알고리즘을 공유형 혹은 아웃풋 광 지연 선로 버퍼를 갖는 비동기 광 패킷 스위칭 시스템에 적용하여 비용 효율적 설계를 위해 필요한 가변 파장 변환기 및 내부 파장 개수를 도출하였다.