一类边值问题的解集结构

本文给出了一类边值问题的唯一性及解集的结构，同时，对ＰＢＶＰ和ＢＶＰ，证明了当右端函数ｆ关于ｕ单调不减时，上，下解的存在性等价于解的存在性，其主要结果改进和推广了Ｖ．Ｌａｋｓ，Ｅ．Ｌｉｚ和Ｊ．Ｊ．Ｎｉｅｔｏ等人的相应结果。     

T(X)-Subpramart和适应序列的a.s.收敛

引言设(Ω,F,P)即是一概率空间,(F_n)_(n≥1)是F的上升子σ-代数列,T~s和T分别表示(F_n)_(n≥1)的简单停时和有限停时全体。X=(x_n,F_n)_(n≥1)表示适应序列。为叙述简洁常省去“n≥1”记号而把(F_n)_(n≥1),(x_n)_(n≥1),(x_n,F_n)_(n≥1)记成(F_n),(x_n)和(x_n,F_n)。记     

《乐章集》中人性意识之体现——兼与《花间集》比较

柳永的《乐章集》不仅在艺术成就上远胜《花间集》,在表现男女情欲、人的意识的初步觉醒上,更写出了《花间集》所未能表达出的思想。这不仅和作者本人的生活经历有关,更和时代、社会密切相关。《乐章集》的创作丰富了词这种文学体式所表达的内容。     

关于点到集映射连续性的几点注记

本文证明了在[1]、[2]和[3]中定义的点到集映射的闭性、上半连续性和下半连续性之间的关系。     

森的第k个特征根的Sharp下界

设λ_k是n个顶点森的第k个特征根,q是边独立数。本文证明了关于λ_k（2≤k≤q-1）的一个猜想,同时给出了λ_k的下界;并且关于森获得了λ_k的Sharp下界,关于树在k较小时获得了λ_k的Sharp下界。     

某些偏微分方程的定向振荡解

本文研究了在应用中颇为重要的几类非线性偏微分方程的振荡解。首先,我们讨论了修正KdV方程、二维KdV方程和Boussinesq方程,利用Jacobl椭圆函数作出了这些方程转化后的常微分方程的解,从而证明了原方程行波振荡解的存在性。其次,我们研究了高维约比波动方程。对所归结的微分方程构造了它的一个幂级数解,导出了此解与Bessel函数的关系,然后由Bessel函数的实零点的分布结果证明了高维约化波动方程的柱面振荡解的存在性。     

供电可靠性经典预测方法研究

可靠性预测评估方法很多,其中最基本的方法有:解析法、模拟法、新型算法,其中解析法中又包括故障模式后果分析法(FMEA)、最小路法、网络等值算法、故障扩散法、基于马尔科夫模型的解析法、故障遍历算法;模拟法中包括时序蒙特卡罗模拟法;新型算法中包括人工神经网络算法(ANN)、模糊数学评估法、贝页斯方法、灰色预测方法等。     

有限集上二元关系传递闭包的构造

二元关系的传递闭包是关系逻辑中的重要内容。直接由定义求传递性闭包不好求,所以,通过例子研究有限集上二元关系传递闭包的构造,给出相应的结论及其简化结论,并进行了证明和应用。     

Todd-Coxeter算法的证明

提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依椐.     

Bluefin Tuna

系统以eBox4300和WinCE为核心，集单片机、传感器、短波通信、太阳能供电、GPS导航、远程监控等多项技术于一体。硬件上。集成了太阳能电池板、单片机控制电路、GPS装置、短波收发装置、视频采集装置、船壳及舵机等；软件上，运用到了C#编程语言和Visual Studio 2005等工具；功能上，实现了自动导航、自动避障、实时数据采集、水样采集、视频监控、特殊点定位、水上救援等功能。该作品可应用于湖泊、海洋及恶劣水域的环境监测和渔业资源开发等方面。