In the manufacture of printed circuit boards, electronic components are attached to a blank board by one or more pick-and-place machines. Each machine has component magazines that house replaceable feeders. Since component requirements differ among board types, each change of feeders can improve processing time but indicates a machine setup. We develop an integer programming model for the joint...

The New Jersey Machine-Code Toolkit helps programmers write applications that process machine code. Applications that usc the toolkit axe written at an assembly-language level of abstraction, hut they recognize and emit binary. Guided by a short instruction-set specification, the toolkit generates all the bit-manipulating code. The toolkit's specification language uses four clements: fields and...

Abstract With the increasingly fierce competition in automotive industry, requirements for automobile wheel hub assembly line weregetting higher and higher, matching machine has become an indispensable part of line. In this paper, structure pneumatic drive servo was adopted by tire machine, which ensured production rhythm accuracy requirements. According to overall index automatic machine,the s...

In term of Compiler optimization, classical compilers implemented with an effective optimization technique called Peephole optimization. In the early stage of the implementation of this technique basically applied using string pattern matching performed on the regular expression and which are known as classical peephole optimizers. In the classical optimizers, the string pattern matching approa...

For the assembly of multi micro objects in micromanipulation, the first task is to identify multi micro parts. We present an improved support vector machine algorithm, which employs invariant moments based edge extraction to obtain feature attribute and then presents a heuristic attribute reduction algorithm based on rough set’s discernibility matrix to obtain attribute reduction, with using su...

This paper explores the feasibility of Tierra-based OBC that evolves programs through a bit inversion caused by Single-Event Upset. In particular, Tierra-based OBC is applied to the evolution of the PIC assembly programs. Additionally, this paper proposes a new method that can reliably recover the broken program to the correct one. Intensive experiments reveal that (1) Tierra-based OBC cannot o...

We present a comparison of semantic and syntactic proof methods for reasoning about typed assembly languages in Coq. We make available our complete Coq developments for a simple and easily understood benchmark system presenting both styles of soundness proof to the same interface. The syntactic proof is standard subject reduction; the semantic proof uses Gödal Löb modal logic, shallowly embedde...

Mounting machine is the most critical equipment in the SMT (Surface Mounted Technology), the production efficiency of which affects the entire assembly line's productivity dramatically, and can be the bottleneck of the assembly line if poorly designed. In order to enhance the VM(Virtual Manufacturing) of mounting simulation for PCB(Printed Circuit Board) circuit modular, the virtual reality sim...