智能建筑及其关键技术

在比较智能建筑、智能大厦、智能家具和智能社区概念、组成、特点、联系与区别的基础上,本文进一步分析了它们所涉及到的关键技术,并说明了这些关键技术的发展趋势。     

建筑、结构、表现形式的有机融合--迁安综合体育馆建筑设计

结合迁安体育馆方案设计,对小型体育馆的总体平面设计、建筑平面设计、建筑立面造型设计、体育馆结构设计、音质和照明设计等方面进行了探讨,并在小型体育馆建筑设计、结构设计以及表现形式的有机融合方式方面进行了综合探索.     

关于射影半对称联络的某些特征

本文在前文工作的基础上给出了有关射影半对称联络的某些特征。首先考查了射影半对称联络的不变量并利用该不变量给出了类似于文[4]的某些结论。     

用回转变换张量法求解FANUC S—5机器人的运动学问题

本文就一台六轴通用机器人ＦＡＮＵＣ Ｓ－５，建立了它的运动学模型，利用回转变换张量法求解出运动学正逆问题的封闭式解。在求解逆问题的过程中，根据ＦＡＮＵＣ Ｓ－５的结构特点分析了其可能的所有解，从而为机器人的运动空间分析、轨迹规划以及在此基础上开发应用系统提供了运动学理论依据。     

ORACLESQL* FORMS触发器运行分析

对ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ触发器运行的分析，表明触发器的运行机制与普通的程序设计技术既有相似之处，又有区别，正确掌握触发器的运行机制是触发器设计过程的重要一环。     

球面中子流形的余维数减少定理

研究了Ｓ＾ｎ＋ｐ（１）中具有平行平均曲率向量且法丛可分离的子流形，得到了一个关于第二基本形式模式的平方的Ｐｉｎｃｈｉｎｇ定理，在增加一个条件时，改进了Ｓ，Ｔ，Ｙｏｕ的结果。     

增量式模糊控制与模糊系统的稳定性

本文介绍了增量式模糊控制（ＩＦＣ）的原理与设计思想，指出ＩＦＣ是ＦＣ系统实现渐近稳定控制的有效方法。文中运用模糊增量、隶属度增量及模糊目标的可达性概念，给出一种模糊变量的动态描述，并且给出了能与传统李雅普诺夫稳定性定义相一致的ＦＣ系统稳定性的统一定义     

计算等谱可积方族Lax表示的新框架

建立了计算等谱可积方程族的Ｌａｘ表示的一个新框架．作为例子，分别求出了ＫｄＶ型ＴＣ型等谱方程族Ｌａｘ表示的统一显式．     

Finsler几何中Cartan联络的存在性

用纤维丛理论证明Ｃａｒｔａｎ联络的存在性。先利用对偶原理，指出Ｆｉｎｓｌｅｒ联络（Ｔ，Ｎ）可改由一次微分式ω＾ａ ｂ，（θ＾ｕ）＾ａ确定，然后提出ω＾ａ ｂ（θ＾ｖ）＾ａ的系数Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ及Ｎ＾ｉ ｊ应满足的充要条件，最后验证了由Ｃａｒｔａｎ联络的５条公理得出的函数组Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ，Ｎ＾ｉ ｊ满足这些条件，从而证明了Ｃａｒｔａｎ联络的存在性。     

无穷级整函数对数级与对数型的一些性质

本文是研究整函数的增长性.应用无穷级整函数的对数级与对数型的定义,以及参考文献[2]中的一些结果,进一步得到了关于无穷级整函数对数级与对数型的一些重要性制裁.现将主要结果叙述于下:定理1:设整函数f(Z)=sum from n=0 to ∞ a_nZ~n的对数级为ρ1,则有ρ1=（?）定理2:设整函数f(Z)=sum from n=0 to∞(a_nZ~n)的对数级为ρ_1,并且0<ρ_1<+∞,其对数型为σ_1,则有定理3:设整函数f(z)=sum from n=0 to∞( a_nZ~n),存在,并且0<ρ<十∞,则当0<ν<+∞时,ρ必为f(Z)的对数级,进而ν为f(Z)的对数型.定理4:设f(Z)=sum from n=0 to∞(a_nZ~n)为无穷级整函数,则f(Z)与它的导函数f’(z)具有相同的对数级与对数型.