巧用向量的一个性质简解一类数学竞赛题

我们知道,根据向量相等的定义及向量的数量积公式,可以得到向量的一个性质：这个性质看起来很简单,却有着十分广泛的用途．可利用它来解决一类数学竞赛题,并且解答过程简洁、明了、快捷,给人们耳目一新的感觉．现采撷几道赛题说明如下：     

Gdel逻辑系统中的函数决定公式问题

以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。     

G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

在不确定观测下离散状态时滞系统的最优滤波

研究了在不确定观测下离散状态时滞系统的最优滤波问题,观测值的不确定性则通过一个满足Bernoulli分布且统计特性已知的随机变量来描述. 一般采用状态增广方法将时滞系统转换为无时滞随机系统, 再利用Kalman滤波器的设计方法解决最优状态估计问题, 但是当系统时滞较大时,转换后的系统状态维数很高, 这样增加了计算负担. 为此,基于最小方差估计准则, 利用射影性质和递归射影公式得到了一个新的滤波器设计方法, 而且保证了滤波器的维数与原系统相同.最后, 给出一个仿真例子说明所提方法的有效性.     

Brown运动增量在Hlder范数下关于(r,p)-容度的泛函极限定理

利用Brown运动在Hlder范数下关于(r,p)-容度的大偏差,证明了Brown运动增量在Hlder范数下关于(r,p)-容度的泛函极限定理.     

Upper Large Deviations for Mixing Random Sequence

In this article, we prove upper large deviations for the empirical measure generated by stationary mixing random sequence under some suitable assumptions and upper large deviations for the mixing random sequence.     

Poisson方程差分格式迭代解法中一些最优参数的有理拟合方法(英文)

本文针对二维Poisson方程五点和九点差分格式,导出了求解这些格式的SOR方法中最优松弛因子与区域剖分数的有理拟合公式,给出了Jacobi结合Chebyshev加速方法中Jacobi迭代矩阵谱半径的有理拟合公式.实际计算表明这些公式计算效果良好.     

用向量简解一类竞赛题

我们知道,根据向量相等的定义及向量的数量积公式,可以得到向量的一个性质：若│^→m│=│^→n│,且^→m·^→n=│^→m│·│^→n│,则│^→m=^→n.这仰止性质看起来很简单,却有着十分广泛的用途．可利用它来解决一类数学竞赛题,并且解答过程简捷、明了,给人们一种耳目一新的感觉．现采撷几道赛题说明如下．     

关于Weber变换的推广

该文介绍两种不同类型的推广的Weber变换,给出了第二种变换的逆变换公式,并且阐述了它们之间的联系.作为推广的Weber变换的应用,求解了无限大分形油藏中心一口井以定产量生产时的渗流问题.     

第二型曲面积分的等价变换及应用

在不要求散度为零的条件下,给出了将第二型曲面积分转化为其边界封闭曲线第二型曲线积分的计算公式,并应用该公式计算了两个例子.