Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems—part II. Heuristic hybrid search

This two-part paper presents modelling and scheduling approaches of flexible manufacturing systems using Petri nets (PNs) and artificial intelligence (AI)-based heuristic search methods. In Part I, PN-based modelling approaches and basic AI-based heuristic search algorithms were presented. In Part II, a new heuristic function that exploits PN information is proposed. Heuristic information obtained from the PN model is used to dramatically reduce the search space. This heuristic is derived from a new concept, the resource cost reachability matrix, which builds on the properties of B-nets proposed in Part I. Two hybrid search algorithms, (1) an approach to model dispatching rules using analysis information provided by the PN simulation and (2) an approach of the modified stage-search algorithm, are proposed to reduce the complexity of large systems. A random problem generator is developed to test the proposed methods. The experimental results show promising results.     

化学结构的计算机处理（Ⅱ）：化学结构的计算机内存储方式和文件格式

化学结构作为化学家最普遍使用的语言，在化学知识的记录，传播和交流中起着十分重要的作用。随着计算机的普及，广大化学工作者都希望能用计算机来帮助处理化学结构，本文介绍了目前面向计算机的化学描述方法中用得最多的几种存储方式和文件格式，它们是：邻接矩阵，邻接表，邻接多表和ＭＯＬ格式，ＳＭＤ格式，简要评述了这些存储方式和文件格式的特点，局限性的应用。     

矩阵方程 AX=B 的反问题

给出矩阵方程ＡＸ＝Ｂ的反问题具有正定实方阵解的充要条件以及解的一般形式．     

A Unified Theory of Uncalibrated Stereo for Both Perspective and Affine Cameras

This paper addresses the recovery of structure and motion from uncalibrated images of a scene under full perspective or under affine projection. Particular emphasis is placed on the configuration of two views, while the extension to $N$ views is given in Appendix. A unified expression of the fundamental matrix is derived which is valid for any projection model without lens distortion (including full perspective and affine camera). Affine reconstruction is considered as a special projective reconstruction. The theory is elaborated in a way such that everyone having knowledge of linear algebra can understand the discussion without difficulty. A new technique for affine reconstruction is developed, which consists in first estimating the affine epipolar geometry and then performing a triangulation for each point match with respect to an implicit common affine basis.     

Analysis of Matrix-Convex Functions

The properties of matrix-convex functions, which may take values from an expanded numerical axis, are analyzed. Matrix convexity is specified by a pair of matrices, a final set of matrices, or an infinite family of matrices. The results obtained are used in the theory of differential games.     

Structured Latent Curve Models for the Study of Change in Multivariate Repeated Measures.

This article considers a structured latent curve model for multiple repeated measures. In a structured latent curve model, a smooth nonlinear function characterizes the mean response. A first-order Taylor polynomial taken with regard to the mean function defines elements of a restricted factor matrix that may include parameters that enter nonlinearly. Similar to factor scores, random coefficients are combined with the factor matrix to produce individual latent curves that need not follow the same form as the mean curve. Here the associations between change characteristics in multiple repeated measures are studied. A factor analysis model for covariates is included as a means of relating latent covariates to the factors characterizing change in different repeated measures. An example is provided. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Effective stiffness and microscopic deformation of an orthotropic plate containing arbitrary holes

Many engineering materials and structures, such as cellular structures, sandwich core structures and laminated plates with holes, can be modeled by an inclusion problem with anisotropic matrix. The paper studies the effective properties and the microscopic deformation of anisotropic plates with periodic holes by using direct and mathematical homogenization. The effective stiffnesses are calculated by different homogenization methods and the microscopic deformation of a RVE is modeled by the finite element method for the plate with arbitrarily shaped holes. All of the effective stiffness coefficients, especially stretching-shear coupling coefficients are evaluated.     

Defects tracking matrix for mass customization production based on house of quality

The vision of mass customization has driven a movement toward low volume, high variety mass customization production (MCP) at low price. However, defect identification and defect tracking in such systems are extremely difficult because of the frequent reconfiguration needed by the number of different part types and the interruption of the information flow about quality with each reconfiguration of the system. It is important to quickly rebuild quality information flow with MCP system’s reconfiguration synchronously. This paper introduces a defect tracking method based on Quality Function Deployment for every MCP system module. A defects tracking matrix (DTM) based on the House of Quality directly connects manufacturing technologies with quality defects inside a MCP module. Each MCP reconfiguration requires the DTMs’ rearrangement and DTM-chain is proposed. A dynamic reconstructing algorithm synchronizes the DTM-chain with each MCP reconfiguration. A case study demonstrates the usefulness of the DTM and DTM-chain.

系数矩阵含参数分裂形式的SOR迭代法收敛性分析

给出预条件方后线性方程组的系数矩阵的一类含参数的分裂形式,使系数矩阵的分裂更加一般化,同时讨论在该形式下的SOR迭代法的收敛性,并与一般的预条件方法进行比较分析,说明这种方法收敛性更好,最后找到参数的最优选取.