Orientation-based unique representation for planar curves and shapes

This paper presents an orientation-based representation for planar curves and shapes. The new representation can uniquely represent all types, of planar shapes, be it convex, nonconvex, polygonal, smoothly curved, or piecewise smooth shapes. It is based on a new parameterization, theabsolute integral orientation. This representation is invariant under translation and rotation. The absolute integral orientation is a parameter invariant under scaling. As a result, matching of similar shapes (i.e., determination of the relative orientation and the scaling factor) using the absolute integral orientation as the parameter is easier than using the arclength as the parameter. In addition, the new representation has the feature of adaptive sampling, making it more compact and efficient than arc-length-based representations.     

基于参考点的模糊知识表示

本文分析了模糊关系模型的知识表示途径，并由此提出基于参考点的模糊知识表示，分析了它与人类记忆经验性知识的相信性，并证明模糊关系模型能以任意精度逼近具有有限个极值点的有界连续函数。     

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

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

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.     

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采用的数据处理方法和相应的数据文件系统。     

稀疏脉冲反演技术在井间地震反演中的应用

将传统的波阻抗反演技术应用于井间地震资料反演时，存在着方法适用的域和资料的域不同，井间地震资料的频带比地震资料的频带宽以及频率比地震资料频率高，多对井间地震资料拼接等问题。为此，在胜利油田K71井区，探讨了利用传统波阻抗反演技术（稀疏脉冲反演）进行井间地震资料波阻抗反演的一些技术问题，并用利11对井间地震资料进行了波阻抗反演，获得了较好的反演结果，在井间地震资料反演中，采用匹配滤波方的井间地震资料转换到时间域；利用高分辨率地面三维地震资料，采用统计方法提取反演子波，子波的波形和相位较稳定，频带宽；对测井资料进行标准化处理，在反演的波阻抗剖面上砂体的空间展布形态清晰，对储层的描述更精细；利用时深转换模型，将时间域的波阻抗剖面转换到深度域，直接与测井资料进行对比分析，对储层的描述更直观可靠。     

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.     

圈量子引力中的基底变换

给出了自旋网表象中的两个4价基底，证明了它们之间的变换属酉变换。用重耦理论的图式计算法，推出了体积算符对基底作用的重耦矩阵的表式，并利用体积算符的本征值得到空间量子化的结果。