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

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

THE RELATIONSHIP BETWEEN PROJECTIVE GEOMETRIC AND RATIONAL QUADRATIC B-SPLINE CURVES

For two rational quadratic B-spline curves with same control vertexes, the cross ratio of four eollinear points are represented; which are any one of the vertexes, and the two points that the ray initialing from the vertex intersects with the corresponding segments of the twocurves, and the point the ray intersecting with the connecting line between the two neighboring vertexes. Different from rational quadratic Beeier curves, the value is generally related with the loeation of the ray, and the necessary and sufficient condition o5 the ratio being independent of the ray‘s loeation is showed. Alsn another cross ratio o5 the following four collinear points are suggested, i.e. one vertex, the points that the ray from the initlal vertex intersects respectivdy with the curve segmentt the line connecting the segments end points, and the line connecting the two neighboring vertexes. This cross ratio is concerned only whh the ray‘s location, butnot with the weights of the curve. Furthermore, the cross ratio is projective invariant under the projective transformation between the two segments.     

THE EXISTENCE THEOREM OF THE CONE-WEAK SUBDIFFERENTIAL OF SET-VALUED MAPPING

In this paper, the existence theorem of the cone-weak subdiflerential of set-valued mapping in locally convex topological vector space is proved.     

圆锥曲线

1)重点：三种圆锥曲线的定义、标准方程、几何性质(包括范围、轴、顶点、焦点、离心率、准线，对于双曲线还有渐进线)及其应用；直线与圆锥曲线相交弦的中点轨迹问题；待定系数法、运动变化思想、数形结合思想的应用．     

D—AKNS族的换位表示

本文根据曹策问教授的想法,求得了与D-AKNS族发展方程相联系的特征值之泛函梯度与Lenard算子对;并由此得到了D-AKNS族非线性发展方程的换位表示。文末还讨论了换位表示与定态D-AKNS方程之间的关系.     

Segal－Bargmann－Hall Transform and Geometric Quantization

Using geometric methods, Hall has proved that the Segal-Bargmann transform for a con-nected Lie group K of compact type is an isometric isomorphism [H1] and is unique when Kis simply connected [H7]. Furthermore, Hall considered geometric quantization of T~*(K), K'scotangent bundle [H9]. Using the vertical polarization and a natural Khler polarization obtainedby identifying T~*(K) with the complexified group KC, Hall concluded that the pairing map be-tween the two Hilbert Spaces induced by these two polarizations coincides with the generalizedSegal-Bargmann transform C_t (up to constant).     

K-强凸空间的一些性质

结合Banach空间的Drop性，利用K维体积给出了K—强凸空间的一个新的定义，同时也给出了K—强光滑空间定义的K维体积表示，然后利用单位圆的切片证明了K—强凸空间是自反空间，进而证明了K—强凸空间与K—强光滑空间是一对对偶空间．最后利用Drop性的切片描述证明了K—强凸空间具有Drop性．     

非线性Schroedinger方程的包络形式解

扩展了最近提出的F展开方法以构造非线性演化方程更多的精确解，即将F展开法中的一阶非线性常微分方程和单变量的有限幂级数代之以类似的一阶常微分方程组和两个变量的有限幂级数，这两个变量是一阶常微分方程组的解分量．作为例子，用扩展的F展开法解非线性Schroedinger方程，得到了很丰富的包络形式的精确解，特别是以两个不同的Jacobi椭圆函数表示的解．显然，扩展的F展开方法也可以解其他类型的非线性演化方程．