几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

Reasoning with Intensional Negative Adjectivals: Semantics, Pragmatics, and Context

Intensional negative adjectives alleged , artificial , fake , false , former , and toy are unusual adjectives that depending on context may or may not be restricting functions. A formal theory of their semantics, pragmatics, and context that uniformly accounts for their complex mathematical and computational characteristics and captures some peculiarities of individual adjectives is presented.
Such adjectives are formalized as new concept builders, negation‐like functions that operate on the values of intensional properties of the concepts denoted by their arguments and yield new concepts whose intensional properties have values consistent with the negation of the old values. Understanding these new concepts involves semantics, pragmatics and context‐dependency of natural language. It is argued that intensional negative adjectives can be viewed as a special‐purpose, weaker, conntext‐dependent negationin natural language. The theory explains and predicts many inferences licensed by expressions involving such adjectives. Implementation of sample examples demonstrates its computational feasibility. Computation of context‐dependent interpretation is discussed.
The theory allows one to enhance a knowledge representation system with similar concept building, negation‐like, context‐dependent functions, the availability of which appears to be a distinct characteristic of natural languages.     

On the solvability of the positive real lemma equations

In this paper, we consider the classical equations of the positive real lemma under the sole assumption that the state matrix A has unmixed spectrum: σ(A)∩σ(−A)=. Without any other system-theoretic assumption (observability, reachability, stability, etc.), we derive a necessary and sufficient condition for the solvability of the positive real lemma equations.     

Synthesis and Spectral Properties of Mixed-Ligand Complexes of Lanthanide Perchlorate with Bis-(phenylsulfinyl)ethane and Organic Lewis Bases

ＳｙｎｔｈｅｓｉｓａｎｄＳｐｅｃｔｒａｌＰｒｏｐｅｒｔｉｅｓｏｆＭｉｘｅｄＬｉｇａｎｄＣｏｍｐｌｅｘｅｓｏｆＬａｎｔｈａｎｉｄｅＰｅｒｃｈｌｏｒａｔｅｗｉｔｈＢｉｓ（ｐｈｅｎｙｌｓｕｌｆｉｎｙｌ）ｅｔｈａｎｅａｎｄＯｒｇａｎｉｃＬｅｗｉｓＢａｓｅ...     

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.     

彩电机壳结构CAD(Ⅳ) 第四讲 TV-HCCS的表示模型和数据处理

彩色电视机机壳结构CAD系统要处理的数据量是相当大的。本文首先将需要处理的数据分类,然后阐述TV-HCCS表示模型的选取,最后介绍TV-HCCS采用的数据处理方法和相应的数据文件系统。     

Determination of gust action stress cycle counts for fatigue checking of line-like steel structures

The classical spectral analysis of structural response to a gusty wind is applied to the prediction of fatigue damage as expressed by the rate of accumulation of Miner's quotient, using the rainflow algorithm to establish stress-range cycle counts. A general solution in chart form is given for the effect of the broad-band (quasi-static) part of the response spectrum, together with an algebraic formulation for its combination with the effect of narrow-band (quasi-resonant) response.A procedure for integration of the long-term expectation of Miner's quotient is indicated. It is concluded that quasi-static response alone is unlikely to pose a serious fatigue problem. With generally anticipated levels of dynamic response, fatigue damage is greatly increased, but can be controlled at acceptable levels by care to avoid features especially sensitive to fatigue.     

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.     

Spectral estimation of video signals

Spectrum analyzers are ubiquitous in laboratory work concerning one dimensional signals. This is because linear operators are best examined in the frequency domain. Linear operators, such as linear filters, DCT coders, line shufflers, etc., dominate also the video systems scenario. Their frequency domain study is as appropriate and informative as it is in the case of their one-dimensional counterparts. This paper considers the problems associated with the introduction of two well-known spectral estimation techniques, the periodogram and AR estimates, to the context of television signals. The potential for application of spectral estimation to video problems is exemplified by a number of applications related to the fields of enhanced quality television and HDTV. Special attention is paid to the computational aspects, whose effective solution conditions the practical applicability of the proposed spectral estimation techniques.R. Rinaldo is currently at the Department of Electrical and Computer Engineering of the University of California, Berkeley.