因素空间理论与知识表示的数学框架(XⅢ)──描述架中概念的结构(2)

本文是［１，１２］的继续，研究描述架中概念的结构；本文讨论后半部分，内容涉及概念内涵与外延的转换，清晰关系的内投影与内变换，概念的结构＊以及有关问题的注记。     

Curvature of curvilinear 4-webs and pencils of one forms: Variation on a theorem of Poincaré, Mayrhofer and Reidemeister

A curvilinear d-web W = (F ₁ , . . . , F _d ) is a configuration of d curvilinear foliations F _i on a surface. When d = 3, Bott connections of the normal bundles of F _i extend naturally to equal affine connection, which is called Chern connection. For 3 < d, this is the case if and only if the modulus of tangents to the leaves of F _i at a point is constant. A d-web is associative if the modulus is constant and weakly associative if Chern connections of all 3-subwebs have equal curvature form. We give a geometric interpretation of the curvature form in terms of fake billiard in §2, and prove that a weakly associative d-web is associative if Chern connections of triples of the members are non flat, and then the foliations are defined by members of a pencil (projective linear family of dim 1) of 1-forms. This result completes the classification of weakly associative 4-webs initiated by Poincaré, Mayrhofer and Reidemeister for the flat case. In §4, we generalize the result for n + 2-webs of n-spaces. Received: September 23, 1996     

Difference discrete connection and curvature on cubic lattice Dedicated to Professor Sheng GONG on the occasion of his 75th birthday

In a way similar to the continuous case formally, we define in different but equivalent manners the difference discrete connection and curvature on discrete vector bundle over the regular lattice as base space. We deal with the difference operators as the discrete counterparts of the derivatives based upon the differential calculus on the lattice. One of the definitions can be extended to the case over the random lattice. We also discuss the relation between our approach and the lattice gauge theory and apply to the discrete integrable systems.     

The double exponential map and covariant derivation

We study the double exponential map which is a composition of a special form of two exponential maps on a manifold with connection. We relate this map and the composition of covariant derivations as well as the composition of pseudodifferential operators on these manifolds.     

Homogeneity and Canonical Connections of Isoparametric Manifolds

On every isoparametric submanifold M a connection with parallel second fundamental form is constructed geometrically such that M is an orbit of an s-representation if and only if the connection is a canonical one. If the rank of M is greater than one this connection is in case of homogeneity the canonical connection of the reductive decomposition given by the orbit of s-representation. This revised version was published online in June 2006 with corrections to the Cover Date.     

A Galois Connection

The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other. Mathematics Subject Classification (2000): Primary 06A15, Secondary 28E10 03B22     

All-glass open-split interface for capillary GC/MS

This paper describes a design for an all-glass GC/MS interface. The design has advantages due to low dead volume, lack of column effluent adsorption and degradation, simple interface production and installation, and ease of column mounting/dismounting.     

Protein family classification and functional annotation

With the accelerated accumulation of genomic sequence data, there is a pressing need to develop computational methods and advanced bioinformatics infrastructure for reliable and large-scale protein annotation and biological knowledge discovery. The Protein Information Resource (PIR) provides an integrated public resource of protein informatics to support genomic and proteomic research. PIR produces the Protein Sequence Database of functionally annotated protein sequences. The annotation problems are addressed by a classification-driven and rule-based method with evidence attribution, coupled with an integrated knowledge base system being developed. The approach allows sensitive identification, consistent and rich annotation, and systematic detection of annotation errors, as well as distinction of experimentally verified and computationally predicted features. The knowledge base consists of two new databases, sequence analysis tools, and graphical interfaces. PIR-NREF, a non-redundant reference database, provides a timely and comprehensive collection of all protein sequences, totaling more than 1,000,000 entries. iProClass, an integrated database of protein family, function, and structure information, provides extensive value-added features for about 830,000 proteins with rich links to over 50 molecular databases. This paper describes our approach to protein functional annotation with case studies and examines common identification errors. It also illustrates that data integration in PIR supports exploration of protein relationships and may reveal protein functional associations beyond sequence homology.     

基于单调包含度的模糊决策信息系统的知识约简

知识约简是机器学习,模式识别,信号处理等领域的主要问题之一。本文介绍了基于单调包含度的模糊决策信息系统的知识约简。证明了模糊决策信息系统的约简即是其对应信息系统的约简,从而为该种模糊决策信息系统的知识约简提供了简单直接的方法。