瞬态信号波至点检测函数的研究

讨论了连续复小波变换在瞬态信号波至点检测中的运用,提出了一种新的信号波至点检测函数.这种检测函数运用了能量归一化的方法,它不仅能够保证信号波至点的有效检测,而且还拓宽了小波变换中用于信号检测的尺度范围.仿真实验证明,这种检测函数是有效的.     

工业铝厂富水氢氧化铝污泥冻结点的测定

依据冻结点测定原理和污泥内水分存在的多种形式 ,测定了工业铝厂富水氢氧化铝污泥冷冻过程中温度和电阻随时间变化的工作曲线 ,得到该污泥冻结点为 - 1.3～ - 3.0℃ ,与冷冻环境温度无关 .     

二连通二部图的偶泛圈性

范更华证明了如下结论:设G是具有n个点的二连通图(n≥3),若对任一对使d(u,v)=2的点有max{d(u),v(v)}≥π/2,则G是哈密顿圈的。将范氏条件限制在二部图上,已经得到二连通的二部图是哈密顿圈的一个类似充分条件。本文证明该充分条件亦保证了二部图的偶泛圈性:设二连通的平衡二部图G=(X,Y;E)每部有n个点,若对任一对使d(U,v)=2的点有max{d(u),d(v)}>π/2,则G为偶泛圈的。该结果是最好的可能。     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

一种新的四边形的生成算法

Q-Morph算法在用Delaunay方法形成三角网格的基础上，利用已有的网格拓扑关系，提出一种新的四边形生成算法。采用边界推进法来生成四边形网格。该算法生成的网格具有边界敏感性和方位不敏感性，并且能极大地减少网格中不规则点，很大程度上提高了网格质量。     

线性流形上广义次对称矩阵反问题的最小二乘解

讨论了线性流形上广义次对称矩阵反问题的最小二乘解及其逼近问题。利用矩阵的奇异值分解和矩阵分块方法，得到了最小二乘解的一般表达式。给出了线性流形上矩阵反问题的可解的充分必要条件。而且就相应的逼近问题，利用Frobenius范数的正交不变性和闭凸维上的逼近理论，得到了最佳逼近问题惟一解的表达式。     

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

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.     

第二积分中值定理“中间点”渐近值的进一步完善

本文通过引入Ｂｅｔａ函数，用统一的方法继续探讨了第二积分中值定理“中间点”的一些渐近性质，得出一系列新结论，作为本文的结论在相当大幅度上推广和概括了文（１－６）的重要结论。     

H_0~1[a,b]中的最佳数值积分公式

本文利用H10[a，b]中样条插值算子理论，讨论了H10[a，b]中的最佳逼近泛函，并给出最佳数值积分公式。     

关于Abercrombie一个结果的注记

设θ∈[1, ∞ )为任意实数,序列 B_θ={[nθ]|n∈N|叫作由θ决定的Beatty序列Beatty序列近年来由于同半群的联系而受到关注(见文献[1]及其参考文献).Abercrombie考虑了Beatty序列中的除数问题.设k≥2为固定正整数,令D_k(θ;x)=sun from n ≤x/θd_k([nθ])=sum from n≤x n∈B_yd_k(n).则文献[2]证明了,在Lebesgue,测度意义下.对几乎所有的θ≥1,有D_2(θ;x)=θ~(-1)D_2(1;x) O(X~(5/7 ε),