飞行管理模型的线性化处理方法

编者按：该答卷针对飞行管理问题的实际背景，采用计算机模拟和线性规划相结合的方法较好地解决了问题。论述条理清晰，计算结果正确。所采用方法的特点是运算时间短，普适性较强具有一定的启发性，特将有关部分予以发表。一、模拟与线性规划模型要解决飞行角度调整问题，首先要判断出哪些飞机会在区域内发生碰撞，令Li,j（t）=（xi（t)一xj(t))2十（yj(t）一yj（t）)2一64，整理得其中两架飞机Pi和Pj在区域内发生碰撞的条件是：1）两架飞机间的最短距离小于等于8公里；2）刚达到距离8公里时两飞机仍在区域内。由条件1）可得约束且两飞机…     

在可交换四元数空间中的双曲方程的特征边值问题

讨论了一阶和二阶双曲复方程的特征边值问题.对其中两种线性方程,分别在不同的情况下获得通解和可解条件.而对于拟线性的二阶双曲复方程,证明了解的存在性和唯一性.     

色彩校正方法及应用

介绍了色彩校正的几种基本方法、不同模式之间转换的计算方法及色彩管理的应用.将这些方法运用到计算机的输入、输出及显示器的色彩校正中,使色彩通过三种物理设备之间的转换后还原再现,达到色彩保真的效果.     

平方协变差和连续半鞅的推广Ito^公式

令X是连续半鞅，f是R上的局部可积函数。本文我们将证明，只要∫0tf(Xs)ds存在，那么平方协变差存在且等于-∫Rf(a)daLta,Lat是X的局部时。因此对具有导数f的绝对连续函数F，有推广的Ito^公式F（Xt)=F(X0) ∫0tf(Xs)dXs 1/2[f(X),X]t。     

可允许集上的广义向量拟均衡问题

主要讨论可允许集上的广义向量拟均衡问题,推广L in的一些结果.     

G可积函数的Lebesgue可测性

Botsko在连续和可导的知识基础上推广了Riemann积分,得到了一种新的积分,称为G积分．G积分既不同于Riemann积分也不同于Lebesgue积分．本文通过对G积分的研究,得到了G可积函数一定Lebesgue可测,从而有界G可积函数一定Lebesgue可积;同时我们还证明了这两个积分值相等．     

一类平面七次多项式系统赤道环的稳定性与极限环分支

本文研究一类平面七次多项式系统赤道环的稳定性和极限环分支，给出了系统的前12个奇点量公式，可积性条件及在赤道附近存在3个极限环的条件，较为精细地指出了极限环的存在位置。     

亚皮秒光脉冲在密集色散管理光纤中的传输特性

文章从包含高阶效应的非线性薛定谔方程出发,基于一种二阶和三阶色散都作了完全补偿(零路径平均色散)的光纤级联系统模型,用数值法对亚皮秒(几百飞秒)高斯光脉冲在密集色散管理光纤(放大周期远远大于色散补偿周期,La>>Lc)中的传输特性做了研究.结果表明啁啾化亚皮秒光脉冲在短周期色散补偿光纤中可以实现稳定传输.色散管理的密集化程度越高,即色散补偿周期越短,光脉冲在光纤中传输时的呼吸度越小,前后脉冲间的相互作用也越弱,有利于提高光纤传输系统的性能.此外,由于色散管理孤子的系统功率较小,因此高阶非线性项的影响不大.     

正态分布下任意秩有限总体中的Minimax预测

对于任意秩有限总体,在二次损失下,有关文献已给出了线性可预测变量在齐次线性预测类中的唯一线性Minimax预测．本文在正态假设下,证明了这个线性Minimax预测也是线性可预测变量在一切预测类中的唯一Minimax预测．     

确定线性偏微分方程组可积系统的对合特征集方法

基于Ritt-Wu特征集方法和Riquier-Janet理论,给出一种将线性微分方程组化成简单标准形式的有效算法．该算法通过消去冗余和添加可积条件获得线性微分方程组的完全可积系统(有形式幂级数解)或不相容判定．该算法不仅适用于常系数的线性偏微分方程组,而且对于变系数(以函数为系数)仍然有效．作者还给出了完全可积系统判定定理及其严格证明．