A method of virtualization technology of manufacturing resources was analyzed and designed in Cloud Manufacturing environment toward the new type of networked manufacturing. Diverse-grained information such as the abstract, description, interface, packages have been put forward on basis of resource virtualization technology of manufacturing grid in order to implement resource virtualization. Virtualization of manufacturing hardware and software resources were mainly analyzed and researched in this paper. The primary research shows that this resource virtualization technology of Cloud Manufacturing can provide an important basis and premise for the further development of Cloud Manufacturing theory.

Electrical performance of bonding wire is critical to the reliability of electrical interconnection systems of chip-level packaging for high frequency operation. In this paper, the electrical performance of various bonding wires between chips and packages is presented. The impact of the length, spacing, height and diameter between the bonding wires was carefully examined. In order to investigate the impacts of bonding wire configuration parameters on signal transmission performance, a design of experiment (DOE) was set up. Based on data of DOE, two parameter equations were obtained to express the Radio Frequency characterization of bonding wires. From these equations, the optimized geometric structure parameters were obtained by optimization design. Compared with the previously reported geometric structure, the optimized geometric structure has better electrical performance, making the return loss and coupling decrease 3dB and more than 10 dB, respectively.

A new type of networked manufacturing — cloud manufacturing is forming and developing with the development of information technology and manufacturing industry. This paper gives the definition of cloud manufacturing and puts forward a structure of cloud manufacturing system. At the same time we discuss the key technologies for realization of resource encapsulation of cloud manufacturing by using EDDL technology.

On the basis of run semantics and breadth-first algebraic semantics, the algebraic characterizations for a classes of formal power series over complete strong bimonoids are investigated in this paper. As recognizers, weighted pushdown automata with final states (WPDAs for short) and empty stack (WPDAs) are shown to be equivalent based on run semantics. Moreover, it is demonstrated that for every WPDA there is an equivalent crisp-simple weighted pushdown automaton with final states by run semantics if the underlying complete strong bimonoid satisfies multiplicatively local finiteness condition. As another type of generators, weighted context-free grammars over complete strong bimonoids are introduced, which are proven to be equivalent to WPDAs based on each one of both run semantics and breadth-first algebraic semantics. Finally examples are presented to illuminate the proposed methods and results.

At present, there is a big gap between education level of Chinese universities and that of North American universities, especially compare with US universities. The paper studied the key factors for the success of North American university education according the authors experience and analyzed the problems existing in Chinese university education. Taking the curriculum of Data Structure as an example, the paper developed a teaching reform scheme focusing on cultivating students abilities. Two years practical teaching results showed that the teaching reforms proposed in this paper can stimulated the students initiative to learn. The students were able to apply the theoretical knowledge to solve the practical problems. Accordingly teaching efficiency has been improved significantly.