• Journal of Internet Computing and Services
• /
• v.11 no.5
• /
• pp.27-35
• /
• 2010

In this paper, we propose a method that can compensate the geometric distortions of image caused from an arbitrary nonflat display surface(or wall) under the environment of portable overhead projector without a flat screen. In the proposed method, we first project a grid pattern to an arbitrary nonflat display surface and then derive an equation of straight line that represents the geometry relationship between the distorted grid pattern and the original grid pattern. Next, after determining the proper size of the original grid pattern according to the form of the display surface, we generate a compensation pattern from the derived equation of straight line, which can symmetrically compensate for the distorted image. Finally, we compensate for the geometric distortions of the projected image by segmenting the real image to be projected from portable overhead projector and prewarping it according to the compensation pattern. To evaluate the proposed method, we performed experiments of image compensation on inclined surface, bent surface and curved surface that are frequently occurred in the environment of portable overhead projector without a flat screen. From the experimental results, we found that the proposed method could be very effective in compensating for the general types of the geometric distortions of the projected images.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.598-600
• /
• 2001

본 논문에서는 양상 뮤 논리를 위한 속성 명세 패턴 연구를 통해 시제 논리에 대한 패턴 기반의 단일한 프레임워크를 제시한다. 본 연구에서는 Dwyer의 속성 명세 패턴 분류를 상태(S)와 행동(A)으로 세분화하고 이를 다시 강함(A)와 약함(E)으로 다시 세분했다. 이러한 의미 기반의 계층적 패턴 분류 체계를 통해 양상 뮤 논리의 속성 명세 패턴을 분석했으며 실제 모형 검사기에서 사용된 예제들의 패턴 분류에 적용했다. 그 결과 기존의 분류 체계보다 더 정확한 분류가 가능했을 뿐만 아니라, 속성 명세의 작성 및 이해가 용이하였다.

• The KIPS Transactions:PartA
• /
• v.12A no.1 s.91
• /
• pp.59-64
• /
• 2005

In this paper, we propose a method of generating a JIT compiler using JBURG. JBURG is a tool of generating the code generator using bottom-up tree pattern matching for Java. Our method can be derived from some relations over tree patterns. The proposed scheme is more efficient than JBURG because we can avoid unfruitful tests with the smaller site of the scheme. Furthermore, the relevant analyses needed for this proposal are largely achieved at non- compile time, which secures actual efficiency at compilation time.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.35S no.12
• /
• pp.8-16
• /
• 1998

In this paper, we propose the non-blocking pattern generator(NBPG) for banyan ATM switches and evaluate the performance by simulation. The proposed NBPG first classifies input cells into two groups. the conflict intended cells are assigned to their new non-blocking input addresses by the conflict table. Simulation results show that the NBPG generates non-blocking address patterns with minimal changes.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.4
• /
• pp.50-50
• /
• 2001

IDDQ 테스트는 CMOS VLSI 회로에서 발생 가능한 여러 종류의 물리적 결함을 효율적으로 검출 할 수 있는 테스트 방식이다. 본 논문에서는 CMOS에서 발생 빈도가 가장 높은 합선고장을 효과적으로 검출할 수 있는 IDDQ 테스트 알고리즘을 이용하여 패턴 생성기를 개발하였다. 고려한 합선고장 모델은 회로의 레이아웃 정보에 의존하지 않으며, 내부노드 혹은 외부노드에 한정시킨 합선고장이 아닌 테스트 대상회로의 모든 노드에서 발생 가능한 단락이다. 구현된 테스트 패턴 생성기는 O(n2)의 복잡도를 갖는 합선고장과 전압 테스트 방식에 비해 상대적으로 느린 IDDQ 테스트를 위해서 새롭게 제안한 이웃 조사 알고리즘과 고장 collapsing 알고리즘을 이용하여, 빠른 고장 시뮬레이션 시간과 높은 고장 검출율을 유지하면서 적은 수의 테스트 패턴 생성이 가능하다. ISCAS 벤치마크 회로의 모의실험을 통하여 기존의 다른 방식보다 우수한 성능을 보였다.

• Bulletin of the Korean Space Science Society
• /
• 2009.10a
• /
• pp.37.3-37.3
• /
• 2009

태양물리연구실에서는 춘 추분기를 전후한 일정 기간 사이에 수분 정도 발생하는 태양간섭 현상을 예측하기 위하여 프로그램을 개발하였다. TU 미디어에서 제공해준 3개의 통신위성 PAS-8, TELSTAR-10, MEASAT-1에 대한 2006, 2007년도 춘 추분기의 통신장애 자료와 계산한 자료를 비교 분석하였고, 이를 이용하여 2009년도 추분기의 태양간섭 현상 시간을 예측하였다. 태양위치변화 계산은 NASA/JPL에서 발행하는 DE406 역서 자료를 이용하여 정밀도를 높였으며, 지구 타원체 모델을 통해 기지국에서의 정확한 태양 및 위성의 고도, 방위각을 구하였다. 또한 기지국 안테나 이득률을 계산하여 기지국 안테나에서 예상 되는 태양 간섭 시간을 얻어 냈다. 기지국 안테나의 빔 패턴은 안테나의 중심 부근에서 가장 강하게 나타나며, 중심에서 멀어질수록 특수한 감쇄 형태를 보인다. 이러한 빔 패턴은 안테나의 이득률과 관련이 있으며, 빔 패턴의 적분을 통해 얻어진 이득률과 태양 디스크가 얼마나 안테나의 범위에 들어오는가에 따라 안테나에 수신되는 전파의 강도가 달라진다. 이러한 강도 변화량을 계산함으로써 태양 간섭 시간을 계산할 수 있다. 본래 안테나 빔 패턴은 개개의 안테나에 따라 다르며 직접 측정하여 얻을 수 있다. 사용한 빔 패턴 모델은 ITU에서 채택된 WARC-79 모델을 이용하였고 모든 위성 기지국 안테나의 빔 패턴은 이 모델에서 벗어나지 않는다. 이 연구에서는 빔 패턴 모델을 적용하여 기존의 TU미디어 성수기지국에서의 태양간섭 시간을 다시 계산하였다. 또한 새롭게 KT 용인 위성 관제센터의 자료를 추가하여 태양 간섭시간을 계산하고 예측하였다. 위성데이터는 기존의 PAS-8, TELSTAR-10, MEASAT-1 통신위성과 KT에서 운용하고 있는 무궁화 3호와 무궁화 5호 통신위성 자료를 사용하였다. 이러한 계산 방법은 전국 임의의 지역에서 춘 추분기에 발생할 수 있는 태양간섭 시간을 예측하고 적용할 수 있다.

• Education of Primary School Mathematics
• /
• v.1 no.1
• /
• pp.3-22
• /
• 1997

본 연구는 첫째로는 수학교육에서 패턴이 강조되는 이론적 근거를 찾고자 역사적 맥락에서 수학의 성격변화를 탐색하였다. 수학의 성격 변화를 통하여 수학은 수의 탐구, 기하의 탐구, 운동ㆍ변화ㆍ공간의 탐구, 수학 연구의 도구에 대한 탐구로 그 영역을 점차 확대하여 왔으며, '수학은 패턴의 과학이다'라는 정의는 수학이 폭넓어짐에 따라 수학이 무엇인가에 대한 수학의 본성에 접근하는 논의라고 할 수 있다. 이러한 수학에 대한 새로운 관점은 수학교육의 새로운 방향 모색에 시사하는 바를 살펴보고, 특히 수학교실의 변화에 따른 패턴의 강조를 살펴보았다. 둘째로는 수학적 패턴을 밝힘과 동시에 수학 교육에서 수학적 패턴 분석의 틀을 마련하고자 수학적 패턴의 유형화를 시도하였다. 패턴의 속성에 따른 유형화와 패턴의 생성 방식에 따른 유형화를 통하여 수학적 패턴의 유형을 마련하였다. 초등학교 수학에서 다루어지는 패턴은 어떠한 것인가를 현행 4학년 수학교과서 및 익힘책에 제한하여 유형화한 틀로서 조사 분석하였다. 셋째로는 수학적 패턴에 관한 지도 방안의 모색으로서, 지도의 기본 방향을 설정하고 수학적 패턴에 관한 교수 전략을 마련하였다. 교수전략은 크게 패턴에서의 규칙 찾기, 패턴을 변형ㆍ확장하기, 자신의 새로운 패턴 만들기, 패턴을 수학적으로 설명하기로 나누고, 각각에 3-4개의 세부 전략과 세부 전략에 따른 예를 제시하였다.

• Journal of Nutrition and Health
• /
• v.54 no.2
• /
• pp.165-178
• /
• 2021

Purpose: This study examined the eating-out patterns of Korean infants and school-aged children and compared diet quality. Methods: Data were obtained from the 2016-2018 Korea National Health and Nutrition Examination Survey. The subjects were 306 children aged 3 to 11 years old that ate dinner at restaurants. Percentage energy intakes of 24 food groups were calculated, and cluster analysis was used to identify eating-out patterns. Diet quality was assessed by calculating percentage energy and nutrient intakes using one-third of the 2015 Dietary Reference Intakes for Korean (KDRIs), nutrient adequacy ratio (NAR), mean adequacy ratio (MAR), and index of nutritional quality (INQ). Results: Cluster analysis identified 2 eating-out patterns, that is, a 'rice-centered' (53%) and a 'mixed diet' (47%) pattern. For those with the mixed diet pattern, ratios of carbohydrates, protein, and fat to total calories were 48:20:31, whereas for the rice-centered pattern, ratios were 62:15:21 (p < 0.001). Intakes of energy and most nutrients in the mixed diet pattern were excessive, but the intakes of the most nutrients in the rice-centered pattern were much lower than their KDRIs. MARs were higher for the mixed diet pattern than the rice-centered pattern (0.74 vs. 0.66) (p < 0.001), and INQs for vitamin C (p = 0.007) and calcium (p = 0.018) were lower for the rice-centered pattern, whereas INQ for iron (p = 0.003) was lower for the mixed diet pattern. Conclusion: The quality of meals for infants and school-aged children depended on eating-out patterns, but the rice-centered and mixed diet patterns both failed to provide an appropriately balanced meal pattern. The results of this study suggest that healthy menus need to be developed for children in restaurants.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.82-82
• /
• 2001

스페클 패턴은 다중모드 광섬유 내를 전파하는 모드 사이의 간섭현상 때문에 발생하는 검은 무늬로서, 외부 섭동 (perturbation)의 크기에 따라 패턴이 바뀌게 된다. 이 현상을 이용하여 본 연구에서는 스페클 센서를 제작하여 실험을 통해 시설물을 원거리, 실시간 원격 감시가 가능하고 매우 민감한 침입자 센서로 응용 가능함을 확인하였다. 본 연구에서는 감도를 높이고 구조를 간단하게 하기 위해, 공간필터를 사용하는 대신 광검출기 홀더를 길이 가변이 가능하도록 지그를 제작하여 사용하였으며, 정류기와 FVC를 사용하여 외부 섭동의 지속시간과 크기를 알 수 있었다.

• Journal of the Korean Geographical Society
• /
• v.30
• /
• pp.62-76
• /
• 1984

이 글에서는 다음의 내용을 다루었다. 1. 연구지역과 분석방법, (1) 연구지역, (2) 분석지표와 자료, (3) 분석방법 2. 공간적 자기상관의 측도와 검정, (1) 공간적 자기상관의 개념, (2) 공간적 자기상관의 측도, (3) 공간적 자기상관의 검정 3. 공간적 패턴의 형성과정, (1) 제1기 (1960-1966년), (2) 제2기 (1966-1970년), (3) 제3기(1970-1975년), (4) 제4기(1975-1980년)