Let TM(k, l) be the set of one-tape Turing machines with k states and l symbols. It is known that the halting problem is decidable for machines in TM(2, 3) and TM(3, 2). We prove that the decidability of machines in TM(2, 4) and TM(3, 3) will be difficult to settle, by giving machines in these sets for which the halting problem depends on an open problem in number theory. A machine in TM(5, 2) ...

Low qualified rate and inferior quality frequently occurring in the general deep drawing process of a certain box-shaped part, now use hydroforming to optimize forming process, in order to study the effect of hydroforming for improving the quality and formability, purposed five process schemes: general deep drawing, active hydroforming, passive hydroforming, general deep drawing combined with a...

AIM To evaluate the influence of post design and roughness and cement system (dual- or self-cured) on the retention of glass fibre posts. METHODOLOGY Two tapered and smooth posts (Exacto Cônico No. 2 and White Post No. 1) and two parallel-sided and serrated posts (Fibrekor 1.25 mm and Reforpost No. 2) were adhesively luted with two different resin cements--a dual-cured (Rely-X ARC) and a self...

suggests are either slight or problematical themselves. But given that the profession still refuses to listen, the long, sad story of the scholarly tradition in English metrics cannot be told too often. Both experienced prosodists and those who are only occasional visitors to this field will find RM a useful and enjoyable guide to what Holder calls ’the muddled kingdom of meter’ (Chapter 1), ’t...

The technique consists of forming a surface pitot-tube by placing a small segment of razor blade on the surface with its tapered cutting edge above a static-pressure hole. The effects of limited changes in the razor-blade geometry on the measured pressure have been determined in a two-dimensional turbulent boundary layer and a calibration curve for a particular standardised geometry deduced. Th...

In the present study, the author’s previous experimental investigations on the vortex induced vibration of uniform and tapered circular cylinders are numerically simulated. The circular cylinders have medium mass ratios (5.93, 6.1), low mass-damping parameters (0.0275, 0.0279) a mean diameter of 0.028m and an aspect ratio of about 14. A fully coupled two-way fluid-structure interaction (FSI) an...

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instruction, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including s...

In the deep drawing process, scatter of friction coefficient between blank and tool interfaces as well material properties positions in coil or different coils significantly influences part quality. These uncontrollable fluctuations increase risk waste. To avoid this problem, currently, new era Industry 4.0 aims at developing control algorithms able to in-line adjust process parameters always m...

Measuring deformation mostly is based on the contact type of measurements which utilize gauges and instruments. But this will lead to error in precise measurement because errors by contact, measuring instruments, human. So, feel proud introduce image processing field measurement. Here, study deals deep drawing specimen called as free method. This invasive method two dimensions.Deep process an i...