Planning the GMAW process by constraint propagation

Although the gas metal arc welding (GMAW) process is widely used for joining metals, its planning is still a cumbersome task. The planning procedure involves many complex interrelationships among the process variables and depends heavily on empirical knowledge. Therefore, a solution method that allows a convenient way to represent the domain knowledge and evaluate the process variable relationships is needed. Further, the lack of a strong domain theory to quantify these interrelationships is a deficiency in the planning of the GMAW process. This paper presents a solution method that overcomes this deficiency and introduces a convenient knowledge representation scheme. The solution method considers the planning procedure to be a constraint satisfaction problem (CSP). The AC-4 algorithm is used to obtain arc consistency among nodes in the constraint network and the PC-4 algorithm is applied to obtain path consistency in the network. A modified version of the AC-4 algorithm is developed to reduce the search space and correspondingly reduce the computation time. An example is presented to demonstrate the capability of the method and its potential to reduce lead time.     

回转体零件的CAPP专家系统研究

提出了一种基于规则的CAPP专家系统。系统针对回转体零件 ,选择产生式知识表达方法 ;并且根据正向推理的决策机制 ,提出了工艺路线的决策规则和相应的算法。在此基础上 ,建立了系统模型和简单的数据库     

低碳钢热变形过程中铁素体的织构形成规律

利用背散射电子衍射取向成像技术定量分析了热模拟单向压缩条件下Q235碳素钢热变形时铁素体的织构形成规律。结果表明,在710℃纯铁素体热压缩过程中,形成〈100〉和〈111〉方向的线织构。〈111〉方向织构增强的速度较快,到应变为1.0时达最大值,然后随应变的加大而减弱;〈100〉方向织构在形变量较小时增强的速度较慢,在大应变时增强的速度很快。大应变时虽导致一定程度的动态再结晶,使铁素体晶粒细化,但组织不均匀,织构过强,造成强烈的各向异性。在奥氏体与铁素体两相区变形时,先共析铁素体因形变同样产生强烈的织构。随着形变温度的提高和先共析铁素体的减少,织构减弱。     

面向对象的CAPP系统工艺知识表达

知识是人们在长期的生活及社会实践中、科学研究及实验中积累起来的对客观世界的认识与经验。工艺知识表达是CAPP系统的重要部分。本文介绍了工艺知识的种类，同时介绍了对工艺知识进行表示与组织的几种方法。以工艺知识中的制造资源为例，着重介绍了面向对象方法的概念及其描述形式。     

Notes on Ginsberg's multivalued logics

The use of multivalued logics for knowledge representation and nonmonotonic reasoning has often been advocated, in particular within the general framework proposed by Ginsberg in his paper "Multivalued logics: a uniform approach to reasoning in artificial intelligence." His system is based on a multivalued logic with an arbitrary number of truth values classified with respect to two partial orders, a truth order and a knowledge order. This classification is very interesting and gives an intuitive appeal to the framework. In this paper the work by Ginsberg is critically reviewed, pointing out some flaws and ways to overcome them. Moreover, we present some ideas on how to modify the original schema in order to obtain a more semantically well-founded framework.
L'utilisation de la Iogique multivalente pour la représentation des connaissances et le raisonnement non monotone a souvent été préconisée, en particulier à l'intérieur du cadre général proposé par Ginsberg dans son article intitulé〘 Multivalued logics: a uniform approach to reasoning in artificial intelligence 〙 Son système est basé sur une logique multivalente comportant un nombre arbitraire de valeurs de vérité classées selon deux ordres partiels: un ordre de vérité et un ordre de connaissances. Cette classification est très intéressante et donne un attrait intuitif au cadre. Dans cet article, l'auteur examine le travail de Ginsberg, y relève des lacunes et propose des moyens de les corriger. De plus, il expose certaines idées en vue de modifier le schéma original et ainsi obtenir un meilleur cadre du point de vue de la sémantique.     

Banach空间Fuzzy多值隐拟变分包含

在Banach空间中并在不具紧性的条件下，引入和研究了一类fuzzy多值隐拟变分包含及相应的fuzzy隐预解算子方程，借助预解算子技巧，建立了Banach空间中fuzzy多值隐拟变分包含与预解算子方程的等价性，得到了该类fuzzy多值隐拟变分包含的迭代算法与某些解的存在性定理及解的迭代逼近。     

Linguistic Knowledge, Processing Speed, and Metacognitive Knowledge in First- and Second-Language Reading Comprehension: A Componential Analysis.

The authors report results of a study into the role of components of first-language (L1; Dutch) and second-language (L2; English) reading comprehension. Differences in the contributions of components of L1 and L2 reading comprehension are analyzed, in particular processing speed in L1 and L2. Findings indicate that regression weights of the L1 and L2 components are different. Although correlations between most processing speed components and reading comprehension are substantial, there are no unique contributions to the explanation of either L1 or L2 reading comprehension when linguistic and metacognitive knowledge are accounted for. In addition, L1 reading comprehension is shown to have a large contribution to L2 reading comprehension, supporting theories of L1-L2 transfer of reading skills. Results are discussed from a developmental perspective. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Efficient return algorithms for associated plasticity with multiple yield planes

A new return method for implicit integration of linear isotropic yield criteria is presented. The basic idea is to perform all the manipulations in the principal stress space and thereby achieve very simple formulae for calculating the plastic corrector stresses, based on the constant gradient of such criteria. The return formulae are in closed form and no iteration is required. The method accounts for three types of stress return: return to a single yield plane, to a discontinuity line at the intersection of two yield planes and to a discontinuity point at the intersection between three or more yield planes. The infinitesimal and the consistent elastoplastic constitutive matrix are calculated for each type of stress return, as are the conditions to ascertain which type of return is required. The method is exemplified with the Mohr–Coulomb yield criterion. Copyright © 2005 John Wiley & Sons, Ltd.     

Existence, uniqueness and stability of the equilibrium points of a SHARON bioreactor model

This paper addresses the dynamics of a SHARON reactor, a promising technology for ammonium removal from concentrated wastewater streams. The contraction mapping theorem is used to determine which operating conditions of a SHARON reactor with pH-control result in a unique equilibrium state. However, this approach only identifies the case of very large dilution rates, in practice corresponding with complete biomass wash-out, i.e. with complete loss of biological activity. Practical operation of a SHARON reactor aims at reaching ammonium conversion to nitrite. To identify such interesting operating points, the equilibrium points are subsequently calculated directly in terms of input variables for a simplified SHARON reactor model. The stability of the obtained equilibrium points is assessed and the corresponding phase portraits are analyzed. The influence of slightly varying parameter and input values is investigated as well.