• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.803-807
• /
• 2003

Tele-operation and remote monitoring techniques are essential and important technologies for performing the inspection and repair tasks effectively in nuclear power plants. This paper presents the application of a mobile robot for the remote monitoring and inspection of the Calandria faces, where human access is limited because of the high-level radioactive environments during full power operation. The mobile robot was designed with reconfigurable crawler type of wheels attached on the front and rear side in order to pass through the ditch. The extendable mast, mounted on the mobile robot, can be extended up to 8 m vertically. This robot was also equipped a visible CCD/thermal infrared inspection head module and a stereo camera module for the enhancement of visual inspection.

• 대한수학회지
• /
• 제45권3호
• /
• pp.871-881
• /
• 2008

In this paper, we study the core stability of the dominating set game which has arisen from the cost allocation problem related to domination problem on graphs. Let G be a graph whose neighborhood matrix is balanced. Applying duality theory of linear programming and graph theory, we prove that the dominating set game corresponding to G has the stable core if and only if every vertex belongs to a maximum 2-packing in G. We also show that for dominating set games corresponding to G, the core is stable if it is large, the game is extendable, or the game is exact. In fact, the core being large, the game being extendable and the game being exact are shown to be equivalent.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.339-344
• /
• 2007

The relationships between binding number and fractional edge (vertex)-deletability or fractional k-extendability of graphs are studied. Furthermore, we show that the result about fractional vertex-deletability are best possible.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.725-731
• /
• 2023

Following the new description of an oriented full transformation on a finite chain given recently by Higgins and Vernitski in [4], in this short note we present a refinement of this description which is extendable to partial transformations and to injective partial transformations.

• Nuclear Engineering and Technology
• /
• 제51권6호
• /
• pp.1616-1625
• /
• 2019

Measuring occurrence times of random events, aimed to determine the statistical properties of the governing stochastic process, is a basic topic in science and engineering, and has been the subject of numerous mathematical modeling approaches. Often, true statistical properties deviate from measured properties due to the so called dead time phenomenon, where for a certain time period following detection, the detection system is not operational. Understanding the dead time effect is especially important in radiation measurements, often characterized by high count rates and a non-reducible detector dead time (originating in the physics of particle detection). The effect of dead time can be interpreted as a suitable rarefied sequence of the original time sequence. This paper provides a limit theorem for a high rate (diffusion-scale) counter with extendable (Type II) dead time, where the underlying counting process is a renewal process with finite second moment for the inter-event distribution. The results are very general, in the sense that they refer to a general inter arrival time and a random dead time with general distribution. Following the theoretical results, we will demonstrate the applicability of the results in three applications: serially connected components, multiplicity counting and measurements of aerosol spatial distribution.

• 전자공학회논문지D
• /
• 제36D권5호
• /
• pp.11-20
• /
• 1999

마이크로 프로세서의 동작 속도가 빨라지면서 메모리의 데이터 전송 폭이 시스템 성능을 제한하는 중요 인자가 되고 있다. 또한 CPU와 메모리 및 입출력회로가 하나의 반도체에 집적되는 실장 제어용 마이크로 프로세서의 가격을 낮추기 위해서 메모리 크기를 줄이는 것이 중요하다. 본 논문에서는 코드 밀도가 높은 32 비트 마이크로 프로세서 구조로 가칭 확장 명령어 세트 컴퓨터(Extendable Instruction Set Computer: EISC)를 제안한다. 32 비트 EISC는 16개의 범용 레지스타를 가지며, 16 비트 고정 길이 명령어, 짧은 오프셋 인덱스 어드래싱과 짧은 상수 오퍼랜드 명령어를 가지며, 확장 레지스타와 확장 프래그를 사용하여 오프셋 및 상수 오퍼랜드를 확장할 수 있다. 32비트 EISC는 FPGA로 구현하여 1.8432MHz에서 모든 기능이 정상적으로 동작하는 것을 확이하였고, 크로스 어셈블러와 크로스 C/C++ 컴파일러 및 명령어 시뮬레이터를 설계하고 동작을 검증하였다. 제안한 EISC의 코드 밀도는 기존 RISC의 140-220%, 기존 CISC의 120-140%로 현격하게 높은 장점을 가진다. 따라서 데이터 전송 폭을 적게 요구하므로 차세대 컴퓨터 구조로 적합하고, 프로그램 메모리 크기가 작아지므로 실장 제어용 마이크로 프로세서에 적합하기 때문에 폭 넓은 활용이 기대된다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 춘계학술대회 논문집
• /
• pp.739-742
• /
• 1997

A remote drum grappling device coupled to the anti-swing crane has been developed by KAERI to cope with problems involved in manually treating low level waste drums. In order for this grappling device to be operated effectively, multi-sensors including CCD camera were employed. As an activity representation scheme of the device, Extended State Machine (ESM) was used to descibe its operation sequences. The performance testing of the device was conducted successfully, and consequently its application could be extendable to industrial operation environment.

• 디지털콘텐츠학회 논문지
• /
• 제2권1호
• /
• pp.63-71
• /
• 2001

본 연구는 많은 홈페이지를 관리, 유지하는 국내대학의 홈페이지 체계에서 @ 도메인과 홈페이지 빌더를 활용하여 대학 내의 공식적인 모든 홈페이지를 성격별로 구분하여 일관된 도메인 시스템과 체계적이며 합리적인 정보를 제공하며, 짜임새 있는 디자인을 접목시켜 기능성과 디자인에서 확장성이 있는 홈페이지를 구축하고자 하는 관점에서 연구되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.700-702
• /
• 2002

본 논문은 16-비트 고정된 명령어 형식을 갖는 32-비트 EISC(Extendable Instruction Set Computer) 코어 구현에 대하여 기술하였다. EISC구조는 코드 밀도가 높은 확장 오퍼랜드(operand) 형식을 사용하여 메모리 크기를 줄일 수 있으므로 ASIC 구현시 저전력 시스템 및 소형화된 임베디드 시스템을 위한 프로세서 구현을 가능하게 한다. 설계된 프로세서는 AE32000 명령어 셋과 호환이 가능하도록 설계되었으며 5단 파이프라인을 적용하여 프로세서의 성능을 높였다. 또한 BTB(Branch Target Buffer)를 사용하여 분기 지연을 줄여 낮은 CPI(Clock Per Instruction)을 유지하게 하였다.

• 전기학회논문지P
• /
• 제59권1호
• /
• pp.77-82
• /
• 2010

This study evaluated the characteristics and reliability of an auger crane with a built-in hydraulic extender. The field test of the hydraulic extender was performed with the hydraulic lines filled with hydraulic fluid and free of air. The pressure generated during the test was measured with a digital pressure gauge. The crane was considered to have undergone one cycle of the excavation process after it had performed excavation under three conditions at the same location. This process was performed three times in total. From the results of the excavation using the hydraulic extender, it was found that the maximum pressure and torque measured were 19.9 [MPa] and 895.4 [$kgf{\cdot}m$], respectively. The rotation force of the auger crane generated at this time signifies a horizontal force. If the excavation diameter of the auger crane is increased, the rotation speed is reduced causing the circumferential speed to also be reduced. The torsional shear stress of the extendable auger crane was calculated to be approximately 23.5 [MPa]. However, the rotation shaft material used for this system was carbon steel for machine structural use (SM45C). Since the minimum torsional yield stress is greater than 150 [MPa] according to KS D 3752, it means the equipment has secured a safety factor greater than 6. Therefore, it was found that when performing work using the extendable auger crane, it exhibited no problems with the safety and reliability of its shaft.