• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.239-242
• /
• 2000

The purpose of this paper is to establish an effective inspection system by using OMM(ON-Machine Measurement) system. This allows us to reduce the manufacturing lead time by separating the inspection process from manufacturing system. As a first step, the inspection process planning is accomplished by determining the number of measuring points, their locations, measuring path and their sequence. Subsequently, we generate measuring G-codes to be transferred to the machining center through RS232C, and then the inspection process will be performed for each shape. Analysing obtained measuring data, the dimensional tolerance will be validated.

• 대한수학회보
• /
• 제53권5호
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

• 한국정밀공학회지
• /
• 제9권4호
• /
• pp.36-43
• /
• 1992

This paper presents a hierarchical real-time operation control and monitoring scheme of the FMS/CIM center which has been implemented at the Automation and Systems Research Institute of Seoul National University. The hierarchical structure of the whole scheme consists of three lavers. The upper layer is in charge of on-line scheduling, computer network control, shop-floor monitoring and command generation for AGV dispatching, machining, assembly, inspection, set-up, etc. The middle layer has six modules, which are installed in the FMS host computer with the upper layer and run on the multi-tasking basis. Each module is connected to one of six cell controllers distributed in the FMS model plant and transfers operation command down to each cell controller through the Ethernet/TCP-IP local area network. The lower layer is comprised of six cell control software modules for machining cell, assembly cell, inspection cell, set-up stations. AS/RS and AGV. Each cell controller reports the status of the manufacturing facilites to the middle layer as well as ecxecuting the appropriate sequence control of the manufacturing processes.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2008년도 제38차 하계학술발표논문집 16권1호
• /
• pp.291-295
• /
• 2008

오늘날 정보기술(IT)은 다양한 산업분야 융화되어 기존 산업의 경쟁력을 강화하고 생산성 및 품질 향상의 견인차 역할을 수행하고 있다. 특히 생산 및 물류 분야에서 IT 융합을 통한 새로운 시너지 창출을 시도하고 있는 것이 RFID 기술이라 할 수 있다. 이미 정부 주도의 시범사업이 끝났으며, 2008년 공공기간 확산사업이 성공적으로 마무리되면, 본격적으로 산업분야 확산이 기대되고 있다. 본 논문에서 자동차 산업에서의 RFID 응용 모델로서 RFID 기반 지능형 직서열 생산시스템의 설계 및 구현에 대하여 기술한다. 직서열 시스템은 완성차 생산라인의 조립시간과 순서에 맞춰 모듈과 부품을 공급하는 협업 생산시스템이다. 자동차 조달물류 프로세스 혁신을 위하여 RFID 기술을 도입함으로써 협력기업간 정보 교환을 원활하게 지원하며 실시간 추적관리 체제의 구현을 이루고자 한다. 본 논문에서 제안하는 시스템은실시간 재고 파악 및 생산물량 예측이 가능하며, 이기종 부품 장착에 의한 조립불량률을 현저히 줄일 수 있는 장점이 있다.

• 대한산업공학회지
• /
• 제17권2호
• /
• pp.1-16
• /
• 1991

This paper deals with some critical activities of CAPP system such as generation of part description database, part feature recognition, process and operation selection, and sequencing method for turning operation of symmetric rotational parts. The part description database is generated by data conversion module from CAD data, and the part feature is recognized by using both pattern primitives and feature recognition rules. Machining processes and operations are selected based on machining surface features and its sequence is determined by rules acquired from process planning expert. AutoCAD is employed as CAD system and computer program is developed by using Turbo-C on IBM PC/AT compatible system.

• 한국공작기계학회논문집
• /
• 제10권5호
• /
• pp.71-77
• /
• 2001

On-machine measuring system of Numerically Control(NC) machines permit computer control of basic material cutting processes of moulds. A part of mould designed within a CAD/CAM system can be manufactured by generation of tool paths by the measuring systems. Since the three-dimensional geometry by AutoCAD of the part is contained in the data base, the manufacturing specialist combined with the appropriate software simulation, can not only create the commands to drive the virtual measuring and standardization of measuring modules but also can check for mistakes by viewing the computer graphics simulation of the tool cutting sequence.

• 대한수학회보
• /
• 제31권1호
• /
• pp.35-44
• /
• 1994

In this paper we study exponential growth of Betti numbers over artinian local rings. By the Change of Tor Formula the results in the paper extend to the asymptotic behavior of Betti numbers over Cohen-Macaulay local rings. Using the length function of an artinian ring we calculate an upper bound for the number of generators of modules, this is then used to maximize the number of generators of sygyzy modules. Finally, applying a filtration of an ideal, which we call a Loewy series of an ideal, we derive an invariant B(R) of an artinian local ring R, such that if B(R)>1, then the sequence $b^{R}$$_{i}$ (M) of Betti numbers is strictly increasing and has strong exponential growth for any finitely generated non-free R-module M (Theorem 2.7).).

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.21-38
• /
• 2023

Let R be a commutative ring with identity. Let R be an integral domain and M a torsion-free R-module. We investigate the relation between the notion of e-exactness, recently introduced by Akray and Zebari [1], and generalized the concept of homology, and establish a relation between e-exact sequences and homology of modules. We modify some applications of e-exact sequences in homology and reprove some results of homology with e-exact sequences such as horseshoe lemma, long exact sequences, connecting homomorphisms and etc. Next, we generalize two special drived functor T or and Ext, and study some properties of them.

• 대한토목학회논문집
• /
• 제33권1호
• /
• pp.363-375
• /
• 2013

오늘날 숙련된 굴삭기 운전자의 부족현상은 갈수록 심화되고 있으며, 자원개발 및 새로운 생활공간 창출 등을 목적으로 운전자가 접근하기 어려운 극한환경에서 토공작업의 필요성이 증가함에 따라 전 세계적으로 토공완전자동화를 위한 무인화 굴삭로봇 개발의 노력이 경주되고 있다. 국내에서도 지난 2006년 말부터 국토해양부 건설기술혁신사업의 일환으로 '지능형 굴삭시스템' 연구단을 구성하여 연구를 지속하고 있다. 본 논문에서는 지능형 굴삭시스템의 작업계획생성시스템이 갖추어야 할 세부요소기술 중, 굴착작업의 위치, 범위, 목표, 순차 등 굴삭로봇의 운용단위 작업명령정보를 생성하기 위한 정보화단위를 제공하는 로컬영역설계모듈의 연구개발내용에 대하여 설명한다. 로컬영역의 설계는 굴삭로봇의 제원, 작업메커니즘, 휴리스틱 및 구조적안전성 등 여러 영향요소가 고려되어야 안전하고 효율적인 굴착작업을 보장하는 작업계획을 생성할 수 있다. 따라서 로컬영역의 설계요소를 분석하기 위하여 현장조사를 통한 개념적 설계를 수행하고, 상세설계를 통해 설계변수를 도출하였으며, 휴리스틱 및 구조적 해석요건을 만족하도록 설계내용을 정량화하였다. 마지막으로 로컬영역설계모듈을 개발하기 위한 알고리즘을 구축하고, 개발된 모듈을 검증하였다.

• 생명과학회지
• /
• 제16권3호
• /
• pp.454-458
• /
• 2006

출아효모인 Sacharomyces cerevisiae S288C균주를 이용한 효모의 게놈이 완성된 후 S. cerevisiae는 다양한 연구 모델로 이용되어져 왔다. 현재까지 효모를 이용한 기능 유전체학 측면에서의 연구는 laboratory strainin인 S288C 균주 또는 그 유래의 균주들이다. 그러나 자연에서 분리된 효모 또는 산업적으로 이용되어지고 있는 S. cerevisiae의 유전학 측면에서의 연구는 낮은 포자형성률 및 형질전환률, 그리고 S288C 균주와의 게놈상의 상이성 때문에 거의 이루어지지 않고 있다. 여기서 우리 연구진은 자연에서 분리된 Saccharomyces cerevisiae KNU5377 균주를 이용하여 random spore analysis를 통해 MATa 및 $MAT{\alpha}$ 타입의 각각의 haploid cell을 분리 후 이미 보고된 KanMX module를 가지고 round PCR기법에 의한 short flanking homology 기법을 이용하여 전사조절인자인 HSF1 유전자가 치환된 변이주를 구축할 수 있었다. 덧붙여, 모든 유전자에 이 기법을 적용할 수는 없다는 것을 확인하였다. 앞으로 이 변이주를 통해 기능 유전체학적인 측면에서 이 유전자의 스트레스와의 관련성을 연구하고자 한다.