• 대한수학회논문집
• /
• 제30권2호
• /
• pp.109-121
• /
• 2015

In this paper, we investigate horizontal lightlike hypersurfaces of Robertson-Walker spacetimes. Some results involving the unique existence of the screen distribution and the symmetry of the induced Ricci curvature tensor of horizontal lightlike hypersurfaces are presented. We also obtain some properties concerning the symmetry and the parallelism of the second fundamental forms of such lightlike hypersurfaces.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.792-795
• /
• 2005

The guide-ways of precision machine tools are one of important element of machine tools. It has usually a pair of surfaces for constraint of one direction with bearing. In the case of precision machine tools, non-contact bearing such as hydrostatic bearing and aerostatic bearing is adopted usually. In this case, profiles of rails has effect on straightness and the clearance of bearing has effect on stiffness of guide way, which changes to higher if clearance changes to smaller. The clearance is varied along moving table according to relative distance of pair of rails. The relative distance of pair of rail can be divided by three properties. First and second properties are straightness of each pair of rail and bearing pad. And, third is parallelism about pair of rails and pairs of bearing pad. There are several methods for measuring straightness of each surface such as reversal method, sequential two point method, and way straightness. These straightness measuring methods are always acquiring deviation of profile from eliminating linear fitted inclined line and don't have the information of parallelism. Therefore, to get the small clearance for high stiffness, the straightness of rail and bearing pad and parallelism about pair of rails and pair of bearing pads are measured for correction such as regrinding, reassembling and lapping. In this research, new and easy method for measuring parallelism of pair of rails is suggested. Two displacement probe and sensor stage, which is carry on the displacement sensor, are needed. The simulation and experiment was accomplished about pair of horizontal guide way to confirm the measurement of parallelism. And, the third probe is added to measure the straightness of each rails by sequential two point method. From the estimation of combined these two methods, it is confirmed that the profiles of a pairs of rails can be measured.

• 충청수학회지
• /
• 제25권4호
• /
• pp.731-738
• /
• 2012

Let L(M) be the bundle of all linear frames over $M,\;u$ an arbitrarily given point of L(M), and ${\nabla}\;:\;\mathfrak{X}(M)\;{\times}\;\mathfrak{X}(M)\;\rightarrow\;\mathfrak{X}(M)$ a linear connection on L(M). Then the following results are well known: the horizontal subspace and the connection form at the point $u$ may be written in terms of local coordinates of $u\;{\epsilon}\;L(M)$ and Christoffel's symbols defined by $\nabla$. These results are very fundamental on the study of the theory of connections. In this paper we show that the local expressions of those at the point $u$ do not depend on the choice of a local coordinate system around the point $u\;{\epsilon}\;L(M)$, which is rarely seen. Moreover we give full explanations for the following fact: the covariant derivative on M which is defined by the parallelism on L(M), determined from the connection form above, coincides with $\nabla$.

• 대한전자공학회논문지
• /
• 제21권3호
• /
• pp.13-18
• /
• 1984

Horizontal microprogram에서 MO'S(microoper&titans)의 concurrency와 resource의 할당을 고려하여 MO'S을 병렬로 수행할 수 있는 알고리즘을 제안한다. 본 알고리즘은 SLM(straight line microprogram) 상에 있는 각 MO에 weight를 부여함으로써 병렬 실행될 수 있는 MO'S을 1개의 MI(microinstruction)으로 결합하여 전체 MI수를 최소화시킴으로써 실행 시간과 microprogramed 디지탈 시스템의 제어기억장치 크기(space)를 감소시키는 결과를 얻을 수 있다.

• 대한의용생체공학회:의공학회지
• /
• 제6권2호
• /
• pp.13-14
• /
• 1985

We have developed a microprogramir!able signal processor for real-time ultrasonic signal processing. Processing speed was increased by the parallelism in horizontal microprogram using 104bits microcode and the Pipelined architecture. Control unit of the signal processor was designed by microprogrammed architec- ture and writable control store (WCS) which was interfaced with host computer, APPLE- ll . This enables the processor to develop and simulate various digital signal processing algorithms. The performance of the processor was evaluated by the Fast Fourier Transform (FFT) program. The execution time to perform 16 bit 1024 points complex FF7, radix-2 DIT algorithm, was about 175 msec with IMHz master Clock. We can use this processor to Bevelop more efficient signal processing algorithms on the biological signal processing.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1449-1453
• /
• 1987

A microprogrammable Bit Slice Sinal Processor for image processing is implemented. Processing speed is increased by the parallelism in horizontal microprogram using 120bits microcode, pipelined architecture, 2 bank memory switching that interfaces with the Host through DMA, a variable clock control, overflow checking H/W,look-up table method and cache memory. With this processor, a DCT algorithm which uses 2-D FFT is performed. The execution time for $512{\times}512{\times}8$ image is 12 sec when 16 bit operation is runned, and the recovered image has acceptable quality with MSE 0.276%.

• 대한의용생체공학회:의공학회지
• /
• 제6권2호
• /
• pp.15-22
• /
• 1985

We have developed a microprogramir!able signal processor for real-time ultrasonic signal processing. Processing speed was increased by the parallelism in horizontal microprogram using 104bits microcode and the Pipelined architecture. Control unit of the signal processor was designed by microprogrammed architec- ture and writable control store (WCS) which was interfaced with host computer, APPLE- ll . This enables the processor to develop and simulate various digital signal processing algorithms. The performance of the processor was evaluated by the Fast Fourier Transform (FFT) program. The execution time to perform 16 bit 1024 points complex FF7, radix-2 DIT algorithm, was about 175 msec with IMHz master Clock. We can use this processor to Bevelop more efficient signal processing algorithms on the biological signal processing.

• 대한소아치과학회지
• /
• 제28권1호
• /
• pp.185-194
• /
• 2001

측두 규격방사전사진 촬영시 피사체의 정중시상면과 필름의 평행관계가 유지된 상태에서 피사체의 수직회전 그리고 피사체의 정중시상면과 필름의 평행이 이루어지지 않는 피사체의 수평회전에 따른 확대율의 변화를 평가하고자 하였다. 이를 위하여 수직회전 및 수평회전을 정밀하게 재현할 수 있는 입체적 기구를 제작하여 측두 규격방사선사진을 촬영한 후, 현상된 필름 상에서 선계측치 및 각도계측치에서의 확대율, 그리고 피사체의 정중시상면을 중심으로 한 좌우 대칭적인 해부학적 구조물 간의 거리차에 의한 확대율의 차이를 비교하였다. 그 결과, 측두 규격방사선사진을 촬영시 피사체의 정중시상면과 필름의 평행관계가 유지된 상태에서 두부 고정장치의 양측 귀꽂이를 중심축으로 한 수직회전은 모든 계측치의 확대율에 영향을 미치지 않으나, 정중시상면의 수평회전이 커질수록 수평계측치에서는 대체로 확대율의 감소가 커지는 반면. 필름 우측의 수직계측치에서는 확대율의 점진적인 증가가, 좌측의 수직계측치에서는 확대율의 점진적인 감소가 나타나며, 동일한 회전량일 때 수직계측치에서보다 수평계측치에서 대체로 더 큰 차이가 나타나 측두 규격방사선사진의 촬영 시에는 피사체의 정중시상면과 필름과의 평행관계 유지의 중요성과 함께 피사체의 수평회전의 정도에 따른 필름의 부위별 확대율 변화의 유형을 숙지해야 할 것으로 가늠된다.

• 한국정보통신학회논문지
• /
• 제12권4호
• /
• pp.699-706
• /
• 2008

H.264/AVC는 블록킹 현상을 제거하기 위해 디블록킹 필터를 채용한 영상 이미지의 압축을 위한 새로운 국제 표준이다. 본 논문에서는 H.264/AVC에 존재하는 디블록킹 필터의 효율적인 아키텍처를 제안한다. 이웃한 $4{\times}4$ 블록사이의 데이터 종속성 을 이용하여 메모리의 사용량을 줄이고, 디블록킹 필터처리의 쓰루풋을 향상시켰다. 본 논문에서 설계된 디블록킹 필터는 매크로블록 내에서는 수평 필터링과 수직 필터링을 파이프라인 방식으로 수행하고, 매크로블록 간에는 겹침 방식을 채용함으로써 병렬성을 한층 향상시켰다. 구현 결과는 기존의 디블록킹 필터와 비교할 때 1.95에서 4.73배까지 성능을 향상시키는 것으로 나타났다. 따라서 본 논문에서 제안한 디블록킹 필터의 아키텍처는 고해상도 비디오 응용에서 실시간으로 디블록킹을 수행할 수 있을 것으로 예견된다.

• 대한전자공학회논문지SD
• /
• 제46권8호
• /
• pp.102-116
• /
• 2009

최근 멀티코어 프로세서의 이용이 증가함에 따라, 멀티코어환경에서 고성능 H.264/AVC 코덱을 구현하기 위한 다양한 병렬화 기법들이 제안되고 있다. 이러한 기법들은 병렬화 기법 적용 방식에 따라 태스크 레벨 병렬화 기법과 데이터 레벨 병렬화 기법으로 구분된다. 태스크 레벨 병렬화 기법을 이용한 파이프라인 병렬화 기법은 H.264 알고리즘을 파이프라인 단계로 나누어 구현하며, 일반적으로 화면 사이즈가 작고 복잡도가 낮은 비트스트림에 유리하다. 그러나 프로세싱 모듈별 수행시간 차이가 커서 로드밸런싱이 좋지 않고, 파이프라인 단계의 수가 제한적이라 성능 확장성에 제한이 있어 HD 비디오같이 해상도가 큰 비트스트림 처리에는 적합하지 않은 단점이 있다. 본 논문에서는 로드밸런싱 및 성능 확장성을 고려하여 매크로블록 라인 단위로 쓰레드를 할당하는 수평적 데이터 레벨 병렬화 기법을 제안하고, 이에 대한 성능 예측 수식 모델을 통하여 성능을 예상한다. 또한 성능 예측의 정확성을 검증하기 위해 JM 13.2 레퍼런스 디코더에 대한 데이터 레벨 병렬화 기법을 ARM11 MPCore 환경에서 구현하고 이에 대한 성능 검증을 수행하였다. SoCDesigner를 이용한 사이클 단위의 성능 측정 결과, 본 논문에서 제시하는 쓰레드 증가에 대한 병렬화 기법의 성능 변화를 비교적 높은 수준의 정확도로 예측 가능하였다.