• Title/Summary/Keyword: Turing Machine

Search Result 29, Processing Time 0.024 seconds

Extending the DEVS formalism toward Geometrical Kinematic Modeling and Simulation for Virtual Manufacturing Environment (가상제조환경을 위한 형상기구학 모델링 및 시뮬레이션으로의 DEVS 확장)

  • 황문호
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.10a
    • /
    • pp.24-29
    • /
    • 1999
  • Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

  • PDF

The Development and Evaluation of Gear Machining Cells (기어가공 CELL 개발 및 평가)

  • Kim, Sunn-Ho;Kim, Sun-Ho;Park, Hwa-Young
    • IE interfaces
    • /
    • v.5 no.2
    • /
    • pp.87-100
    • /
    • 1992
  • This paper presents FMC prototypes developed to propagate manufacuting automation for small and medium sized enterprises in Korea. The system consists of two cells used to machine oil pump drive gears, turing cell and hobbing cell. Characteristics and processes of the fears are anaylzed for the cell design. The system configuration and functions of individual component machines are described. Furthermore, the developed system is compared with the current manual system in terms of manpower and cost reduction and productivity increase.

  • PDF

개선된 병렬 논리프로그래밍 시스템의 복잡도 분석

  • 정인정
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.2 no.1
    • /
    • pp.59-77
    • /
    • 1992
  • 본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.

Effect Of Cut Depth On Rough Quality And Energy Consumption When Turing Cylindrical With The Pinacho S-90/200 Lathe

  • Sang Van Nguyen;Fadhli Ranuharja
    • International journal of advanced smart convergence
    • /
    • v.12 no.1
    • /
    • pp.101-107
    • /
    • 2023
  • Machine tools are widely used in mechanical manufacturing corporations, as well as in engineering courses at universities in Vietnam. The PINACHO S-90/200 lathe is particularly popular. This paper aims to research and select an optimal cutting depth to minimize power costs and ensure surface roughness quality when machining upper plain cylindrical turning products with the PINACHO S-90/200 lathe on C45 steel material.

Study of Hollow Letter CAPTCHAs Recognition Technology Based on Color Filling Algorithm

  • Huishuang Shao;Yurong Xia;Kai Meng;Changhao Piao
    • Journal of Information Processing Systems
    • /
    • v.19 no.4
    • /
    • pp.540-553
    • /
    • 2023
  • The hollow letter CAPTCHA (Completely Automated Public Turing test to tell Computers and Humans Apart) is an optimized version of solid CAPTCHA, specifically designed to weaken characteristic information and increase the difficulty of machine recognition. Although convolutional neural networks can solve CAPTCHA in a single step, a good attack result heavily relies on sufficient training data. To address this challenge, we propose a seed filling algorithm that converts hollow characters to solid ones after contour line restoration and applies three rounds of detection to remove noise background by eliminating noise blocks. Subsequently, we utilize a support vector machine to construct a feature vector for recognition. Security analysis and experiments show the effectiveness of this algorithm during the pre-processing stage, providing favorable conditions for subsequent recognition tasks and enhancing the accuracy of recognition for hollow CAPTCHA.

Exploring Social Impact of AI (인공지능과 사회의 변화)

  • Baek, Seung-Ik;Lim, Gyoo-Gun;Yu, Deng-Sheng
    • Informatization Policy
    • /
    • v.23 no.4
    • /
    • pp.3-23
    • /
    • 2016
  • Since Turing (1950) proposed the development of a machine or system that could think and communicate with humans, many engineers and scientists have made endless efforts to create machines and systems that can replace humans. This effort made the field of artificial intelligence. Recently, as many people have been interested in the 4th Industrial Revolution, research on artificial intelligence technology has been actively carried out not only in the university laboratories but also in the companies as the core technology for realizing the 4th Industrial Revolution. As the artificial intelligence technology has been penetrated deeply into our lives, it is true that our lives have become much easier and more comfortable than in the past, but on the other hand, we have begun to have various negative effects. In this study, we review the social changes caused by artificial intelligence in terms of intelligent products and services. By analyzing positive effects and dysfunctions in various cases of daily life and work environment, we try to identify main policy issues.

A Study on the Effect of Tool Thermal Deformation on Surface Profiles for Turing Process (선삭에서 공구열변형이 표면 형상에 미치는 영향에 관한 연구)

  • 염철만;신근하;홍민성
    • Transactions of the Korean Society of Machine Tool Engineers
    • /
    • v.10 no.4
    • /
    • pp.33-39
    • /
    • 2001
  • During the turning of the workpiece, cutting heat causes thermal deformation of the cutting tool which influences the surface characteristics of the machined part. This paper presents a study of thermal deformation of the cutting tool. For this purpose, cutting tool is modeled based of Pro/Engineering and the thermal deformation is simulated by means of the finite element method. The thermal effect on the surface roughness profile is simulated by using surface-shaping system. It has been shown that the results of simulation are similar to those of experiment.

  • PDF

A study of Pickup Lens manufacturing in diamond turing machine (초정밀가공기를 이용한 광 저장용 렌즈의 절삭특성)

  • 김건희;홍권희;김효식;박지영;박원규
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1997.10a
    • /
    • pp.891-894
    • /
    • 1997
  • The asphericals lenses are used as objective lens of optical pickup. To examine the design factor the sample product is made before manufacturing of injection mould of lens. The optimum cutting condition of PMMA lens sample with ultra precision SPDT, he main spindle sped, the depth of cut, the feedrate are found. The demanded surface roughness 10nm Ra, aspherical form error 0.5${\mu}{\textrm}{m}$ P-V for aspherical lens of optical data storage device are satisfied.

  • PDF

Analysis of Thermal Displacement of PCBN Tool Holder for Machining Accuracy in Hard Turning (하드터닝에서 CBN 공구홀더의 열변형이 가공정밀도에 미치는 영향)

  • 노승국;이찬홍;하재용
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2003.06a
    • /
    • pp.363-366
    • /
    • 2003
  • The hard turning is a turning operation performed in high strength alloy steels (HRC>30) in order to reach surface roughness close to those obtained in grinding. This is possible because of availability of improved tool materials (polycrystalline cubic boron nitride. PCBN), ad more rigid machine tools. According to many previous work of hard turning mechanism, the maximum temperature of cutting can be raised up to 100$0^{\circ}C$. As the heat generation rate is very high, the thermal displacement of tool holder cannot be negligible. Therefore, the aim of this paper is to analyze effects of high heat generation at CBN tool tip to the thermal displacement of a tool holder in hard turning and finally geometric accuracy. The thermal behavior of a CBN tool holder is investigated by numerical simulation and experiment, and the result shows thermal elongation of microns order is possible during hard turning process.

  • PDF

An experimental Study on the Effect of Relief Angles on the Chatter Vibration in Turing (공구 여유각 변화가 선삭가공의 채터 진동에 미치는 영향에 관한 연구)

  • 최영휴
    • Proceedings of the Korean Society of Machine Tool Engineers Conference
    • /
    • 2000.04a
    • /
    • pp.685-690
    • /
    • 2000
  • In this study relationship between relief angles and chatter vibration in turning was examined by using the direct cutting test, in which the cutting depth of a tapered workpiece is varied continuously and the limiting depth of cut is measured at the time when chatter occurs. Test results reveal that 1) limiting depth of cut increases is proportion to side relief angles between 0$^{\circ}$ and 3$^{\circ}$, 2) limiting depth of cut does not show any evident change in spite of side relief angle increased from 3$^{\circ}$ to 12$^{\circ}$, 3) also limiting depth of cut does not change despite front angle change from 0$^{\circ}$ to 12$^{\circ}$.

  • PDF