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.     

语言判断矩阵满意一致性的判定方法

研究语言判断矩阵的满意一致性问题．在给出语言判断矩阵及其满意一致性有关概念的基础上，提出一种关于具有严格偏好关系的语言判断矩阵满意一致性的判定方法．依据所给出的判定方法，可相应地得出关于语言判断矩阵的方案优劣的排序方法．最后通过两个算例说明了所给出方法的有效性。     

一种融合PCA 和KFDA 的人脸识别方法

提出一种融合PCA和KFDA的人脸识别方法，即在进行非线性映射之前，首先利用经典的主分量分析(C—PCA)进行降维，然后执行KFDA．为进一步降低整个算法的计算时问，又提出一种I—PCA KFDA方法，它直接基于图像矩阵的主分量分析(I—PCA)．ORL标准人脸库的试验结果表明，与现有的核Fisher鉴别分析方法相比，两种方法可将特征抽取的速度分别提高3倍和7倍，其识别精度没有丝毫的降低．     

矩阵分解的多变量模型参考自适应控制

研究了基于高频增益矩阵分解的多变量模型参考自适应控制 .为此首先基于矩阵分解构造出新的参数化方程 ,选取必然等价自适应控制律 .然后 ,引入规范化信号和类Lyapunov函数 ,获得了规范化自适应律 .并进一步给出了虚拟规范化信号的有用性质 .最后 ,严格地给出了闭环系统的稳定性和收敛性分析     

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.