用人工智能原理实现大学课程表编排的探索

利用人工智能的原理，对解决大学课程表编排的有效方法进行了探索，对利用领域知识提高编排速度及减少死锁次数提出了切实可行的方法。     

工程地形图自动绘制系统

介绍了工程地形图自动绘制系统实现过程中所采用的几个有效技术。系统中开发了“地面断层”算法，并且通过对三角网的动态变化，来保证等高线走向的合理正确，同时构造了一个实用三样条函数，解决了等高线稠密区拟合时易发生相交这个较难解决的问题。并利用维消隐算法解决了地物图示符号之的１交叉覆盖问题。     

一类非自治非线性系统解的模之估计

运用向量Ляпунов函数法,对线性系统、非线性系统的稳定性已经有了一些研究,但对于它们解的模之估计却不多见。Wazewski曾就变系数线性系统,给出了一个解的模之估计。本文运用向量Ляпунов函数法和Wazewski的方法,在文[1,2,3]的基础上对一类非自治非线性系统给出其解的模之估计,并给出了一类非自治非线性系统零解不稳定的充分条件,举出了应用实例。     

脉冲运动与浮体运动响应

本文以解析法推导了浮体脉冲运动时引起的速度势与浮体运动响应关系，得出由 脉冲速度势和自由表面速度势直接确定浮体运动响应函数解析式，从而使浮体运动响 应函数的计算得到简化．     

双曲Riemann曲面上有界调和函数的共轭空间

本文证明了l是HX(R)上的有界线性泛函的充分必要条件是存在h∈L~1(v)使另外还有|l|=|h|_1.其中HX=HB、HBD; v对应地表示R的关于Wiener和Royden边界的调和测度。     

Construction of Resilient Functions

Based on the relationship Between nonlinearity and resiliency of a multi-output function, we present a method for constructing nonintersecting linear codes from packing design. Through these linear codes, we obtain n-variable, moutput, t-resilient functions with very high nonlinearity. Their nonlinearities are currently the best results for most of cases.     

A Proof for the Nonexistence of Some Homogeneous Bent Functions

By the relationship between the first linear spectra of a function at partial points and the Hamming weights of the sub-functions, and by the Hamming weight of homogenous Boolean function, it is proved that there exist no homogeneous bent functions of degree rn in n= 2m variables for m＞3.     

一类多重向量值双正交小波包的刻划

 研究向量值小波包.给出一类3尺度多重向量值双正交小波包的定义及构造.运用积分理论与算子理论,刻划了多重向量值双正交小波包的特征,得到多重向量值小波包的双正交公式.进而,得到向量值函数空间L²R,C^s×s)新的Riesz基.     

火焰原子吸收光谱法测定荔枝肉中微量元素的含量

以浓HNO3和H2O2作消化体系,采用微波消解荔枝肉,用火焰原子吸收光谱法测定了荔枝肉中的Mg、Fe、Ca、Mn、Pb等5种微量元素的含量.这些结果对荔枝的综合研究具有参考价值.     

椭圆三角函数及其在波形发生器中的应用

对普通三角函数进行了推广，给出了椭圆三角函数的定义，指出椭圆三角函数是周期函数，存在最大值和最小值，并在定义域内连续可导．对椭圆正弦函数进行了一系列仿真研究，结果表明，椭圆正弦函数可作为波形发生器的发生函数，可产生方波、普通正弦波、脉冲波、处于普通正弦波和方波之间的波形、处于普通正弦波和脉冲波之间的各种波形，且函数形式是一致的，波形的幅值、频率、初始相位都易于调整．这种波形发生函数能方便地进行数学处理与分析，波形发生原理能应用于各类相关波形发生场合．