磁悬浮飞轮系统陀螺效应的抑制

针对磁悬浮飞轮系统的陀螺效应，采用交叉反馈控制进行抑制．分析了引入交叉反馈控制的飞轮系统稳定性，当转速超过某临界转速时，飞轮系统保持稳定，交叉反馈控制可以对陀螺效应进行完全补偿．临界转速与控制器参数以及转子的惯性矩有关，可根据实际需要通过控制器参数进行调整．实验比较了分散PID控制与交叉反馈控制下飞轮系统的性能．实验数据分析的结果表明，分散PID控制下的飞轮系统在12000r／min时由于陀螺效应而失稳，引入交叉反馈控制后，系统在转速达到25000r／min时仍平稳运行．交叉反馈控制对陀螺效应的抑制是有效的．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

一类笛卡积图的交叉数

确定了一类6阶图与路的笛卡尔积图的交叉数。     

雌二醇衍生物的HQSAR研究

应用基于分子全息的QSAR方法, 对30种雌二醇衍生物与羔羊子宫雌激素受体作用的lgRBA值建立了相关模型, 研究了碎片区分参数及碎片长度对模型质量的影响. 最佳全息条件下产生的模型的相关系数r²为0.991, 交叉验证相关系数q_LOO² 为0.897. 结果表明所建模型具有良好的拟合效果, 同时具有较高的预测能力.     

利用基因重组策略改进遗传算法

为了克服标准遗传算法的早熟现象，提高遗传算法的全局收敛性，提出了一种基于基因重组策略的遗传算法。该算法定义了一种新的交叉算子，即移位逻辑交叉算子(包括蝶形移位交叉算子和洗牌移位交叉算子)，用它们对染色体的部分基因实现有规律的交叉重组。实验结果表明，该算法比经典的遗传算法具有更好的收敛性和稳定性。     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

对拉普拉斯金字塔和对比度金字塔图像融合方法的性能比较

图像融合作为信息融合的一个重要领域 ,已经广泛应用于遥感、计算机视觉、医学、军事目标探测和识别等方面。因此 ,探索有效的图像融合算法是当前的热点课题。近年来有不少学者提出了各种图像融合的方法 ,归结起来占主流的是源于多分辨率的方法 ,这类方法一大类是基于图像的高斯金字塔分解 ,然后派生出拉普拉斯金字塔 ,对比度金字塔等 ;另一大类是基于小波分解的算法 ,基本思想是把图像分解到不同分辨率下的一系列子图像 ,其中每一级包含一个包含了低频信息的模糊子图像和三个行、列、对角线方向上的高频细节子图像。这两类方法的共同之处都是在不同的分辨率下各自按一定的规则融合 ,得到一个融合后的图像序列 ,然后重构图像。虽然这些方法在实用中效果很好 ,但是目前还没有对各类图像融合都普遍适用的理想方法 ,因此对不同方法的融合效果进行主观和客观的评价是重要的。图像融合效果的评价也是一个目前讨论的热点问题 ,目前融合效果的评价有主观视角效果评价和客观指标评价两种 ,首先应进行详细的主观评价 ,因为到目前为止还没有能非常准确描述融合质量的客观物理指标 ,在某些情况下可以通过融合图像和标准图像比较来评价融合效果 ,但是在大多数情况特别是实际应用中 ,标准图像几乎是不可能存在的 ,所     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

最简线状李代数

作者定义了一类线状李代数，即所谓的最简线状李代数，它是一类结构最简单的线状李代数，也是Luis Boza, Francisco J. Echarte 和 Juan Nunez在1994年对复数域上的10维线状李代数的分类中所提到的参数全为零的代数μ₁₀¹³⁰的推广。设g是域F上的n维最简单的线状李代数（n≧4）,确定了g的导子代数，并且证明了当F 的特征为0或p＞n-2时g的导子代数不可解的完备李代数。 还计算了g的自同构群，并证明了当∣F∣≥n时它是一个无中心的可解群。此外，对于素特征的的情形，还考虑了g 的可限制的充要条件，并对非可限制的情形确定了g 的极小p—包络。     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.