乘积测度的表示与集的截口的测度的可测性

设T,X是完备可分的度量空间,T×X是乘积空间.设ν是T上的完备的Borel概率测度,τ是X上的预测度.从ν和τ出发,可以通过两种不同方式定义乘积空间T×X上的测度.证明在τ是σ-有限的情形下,这两种方式定义的测度都等于T×X上的乘积测度ν×τ*,其中τ*表示由τ按方法Ⅰ所构造的外测度;在τ是非σ-有限时,证明了在一定的条件下函数τ(Et)与τ*(Et)都是T上的可测函数,其中E T×X,Et={x∈X;(t,x)∈E}.     

有限个一致李普希兹渐近拟非扩张映像强收敛定理

在任意Banach空间中,给出了有限个一致李普希兹渐近拟非扩展映像强收敛于其公共不动点的问题,此结果推广了以前的结论.     

Banach空间中2类压缩映射不动点的具误差的Ishikawa迭代序列的收敛性

讨论了Banach空间中拟压缩映射对和广义压缩映射的具误差的Ishikawa迭代序列的收敛性问题,得出了在一定条件下,这2类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.     

矩阵力学与波动力学等价性证明的历史分析

矩阵力学和波动力学是量子力学的两种早期形态.前者由海森堡、约当、玻恩提出,后者由薛定谔提出.1926年,薛定谔给出二者之间等价性的证明.随后,泡利、狄拉克、约当、冯·诺伊曼等人或是为等价性证明给出新的版本,或是给出了间接的论证.这两种力学现在已被表述为海森堡绘景和薛定谔绘景,而数学家近来又从量子化问题出发对其等价性做出...     

扩散方程的具有振动边值的Dirichlet问题

令(D)表示d 1维欧氏空间Rd的有界子集.利用概率方法和时空布朗运动,对(D)上如下扩散方程1/2△u(x(t)) q(x(t))u(x(t))=()/()u(x(t)),x(t)∈(D)的随机Dirichlet问题进行了推广,其中q是给定的定义在(D)上的有界H(o)lder连续函数.证明了上述扩散方程具有振动边值的Dirichlet问题的存在性.     

一个操作系统不确定性的讲解实例

用一个简洁的C程序,实际演示1 1!=2,到达用程序来证明操作系统不确定性问题.     

人HtrA1基因的生物信息学分析

丝氨酸蛋白酶1(High-temperature requirement factor A1,HTRA1)属于HTRA家族的重要成员.为了对人HtrA1基因编码的蛋白质进行结构特征和分子功能分析,运用多种生物信息学数据库分析人HTRA1蛋白的同源性、理化性质、亲/疏水性、信号肽以及亚细胞定位,构建二级/三级蛋白质空间结...     

一个基于同义词证据扩展的信念网络检索模型

归并不同证据资源扩展用于信息检索的信念网络是当前一个重要的研究方向。以同义词为证据扩展基本信念网络模型,得到一个扩展的信念网络检索模型。实验证明,扩展模型的检索性能优于基本模型。     

非完备策略的少数者博弈

提出一种全新的非完备策略的少数者博弈模型,它允许参与者的策略包含部分随机位,并且规定当主规则随机选择时,由次规则顶替指导。计算分析和数值模拟表明,该模型通过两种效应,即缺席的等级制度和扩展的最大无关联策略集,以更小的记忆步长和更稳定的策略组成,获得优于基本MG模型一个数量级以上的系统性能。     

基于人车协同的感应式路段行人过街信号控制系统设计

城市道路中信号控制路段行人过街往往因不合理的信号导致行人不愿遵守交通信号规则,造成机动车与行人通行冲突,给道路交通带来了极大地安全隐患.通过对路段行人过街现状调研分析,以人车协同控制为目标,充分考虑不同行人数量下行人过街的等待时间、过街需求及机动车的通行效率,设计了一套基于人车协同的感应式路段行人过街信号控制系统,通过...