This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and Sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen & Qui and Güzel Karpuz; we then ...

The aim of the paper is to present computer software which analyse a geometric design of product and determine which part of product will be done with CNC milling and which part will be done with additive technology. Subsequently it split the CAD model of product on two or more part and save part for CNC milling in format which is used for making CNC code and save part for additive manufacturin...

New software standards supporting integration of manufacturing and engineering systems are emerging at a rapid pace. Two groups, the OMG (the Object Management Group) 1 and the community producing STEP (formally known as ISO 10303: the Standard for the Exchange of Product Model Data), dominate in the production of standards for manufacturing and engineering industries. Their standards are based...

New generation manufacturing systems are involved in a transformation process which aims for more reliable production processes and with a lower response time to the demand of the market. This work presents an application of arti®cial intelligence planning techniques for the automatic generation of the control program for a manufacturing system expressed as a safe and live Petri net. The advant...

Abstract: Quality assessment during dc motor manufacturing should be accomplished by quality controls in order to detect the different fault conditions associated to the components included in the machine. However, some defects can be produced by the automatic manufacturing process during the assembly of the individual components. Among others, inter-turns short-circuit, turn to earth short-cir...

The design process of control programs that drive the operation of new generation manufacturing systems has to respond quickly to the changes of a evolutionary market. The improvement towards a completely automated design process is actually arising from the eld of Artiicial Intelligence. This work presents an application of artiicial intelligence planning techniques for the automatic generatio...

The International Technology Roadmap for Semiconductors (ITRS) identifies production test data as an essential element in improving design and technology in the manufacturing process feedback loop. One of the observations made from the highvolume production test data is that dies that fail due to a systematic failure have a tendency to form certain unique patterns that manifest as defect cluste...

In recent years, a great deal of research has been focused on preventing deadlock in Flexible Manufacturing Systems. Policies based largely on Petri net models have been presented in the literature. Recently, a quite different approach has been developed based on supervisory control theory, and it has been adapted to solve the nonblocking maximally permissive control problem in various resource...

Rapid Prototyping (RP) presents the automatic production of physical parts using by additive manufacturing technology. The start techniques for Rapid Prototyping became available in the late 1980s and were used to produce models and prototype parts. Today they are used for a much wider range of applications and are even used to manufacture productionquality parts in relatively small numbers. Ra...