概率空间

摘要： 轨道乘客出行路径选择模型在轨道站台设计、线网规划、运营管理等领域应用广泛.为解决传统换乘路径分配方法在考虑乘客出行自主性方面及在应对供需动态演化方面存在不足的问题,提出一种基于时变网络载体的轨道交通出行路径动态选择模型,可用于真实模拟不同时段的客运强度与设施服务对路径选择的影响.并结合全网乘客进出站信息、轨道运行时刻表、人工调查、静态线网结构等数据,分析个体出行与网络整体满载情况的相关性.在此基础上,将基于站点的轨道网络简化为基于换乘区间的拓扑结构,并结合客流指标获取算法,进行武汉市轨道乘客出行特征仿真测试.实验结果表明,该模型强调网络环境的时效差异,能够更加精细、完备地模拟出行偏好,模型具有普适性,并具有与轨道交通规划、土地利用规划等专项规划相结合的潜力.

摘要： 全概率公式是概率论中的一个重要公式,通过对“完备事件组”条件的弱化,得到了全概率公式的第一个推广形式;通过对“事件列两两互斥”条件的两种方式的弱化,得到了第二个和第三个推广形式;最后将全概率公式在条件概率下进行推广,得到了第四个推广形式.这些推广形式扩大了全概率公式的使用范围.

摘要： 概率空间是概率论中的重要概念,是所有知识和问题的依赖平台,本文通过思辨教学的形式解释了概率空间的来源,并利用概率空间的不同建立方式来解决问题,有利于培养学生多维度思维能力。

摘要： 利用Doob鞅收敛定理研究给出了非齐次树上m重连续状态马氏链的若干强偏差定理.

摘要： 强偏差定理一直是国际概率论界研究的中心课题之一.利用Doob鞅收敛定理研究给出了非齐次树上连续状态马氏链关于伽马分布的一个强偏差定理.

摘要： 本文研究给出了非齐次树上m重非齐次马氏链的一个强偏差定理.

摘要： 概率空间是概率论的平台,文章从概率空间的三个要素分别讨论了教学中应该注意的一些问题,样本空间由基本事件构成;事件域的构造原则是够用就好;概率是面积的泛化,强调测度属性.

摘要： 在概率密度演化理论的框架下,发展了基于概率空间剖分的多维空间选点方法.引入点集 Voronoi域内的概率作为点集的赋得概率,对点集的F-偏差进行了以赋得概率替代均匀概率的修正.在此基础上,进行误差估计,提出了以点集的修正F-偏差、一阶偏差和二阶偏差均尽可能小为准则的点集选取方法一两步选点法.分析实例表明,基于概率空间剖分的选点方法具有较高的精度和效率.文中最后指出需要进一步研究的问题.

摘要： 本文用Paulson归纳法描述并发系统,对系统执行的不确定性进行建模,给出了一种适合定义测度的产生集合,利用测度评估函数将产生集合的测度与有限执行序列的测度联系起来;证明执行序列集合上的测度满足非负性和可列可加性,利用测度扩张定理构造并发系统执行序列集合上的概率空间.所有证明脚本经过定理证明工具Isabelle/HOL/Isar的检查.

摘要： 基于测度论在Isabelle/HOL/Isar中形式化了概率论,给出了概率空间在Isabelle/HOL中的形式化定义,形式化验证了概率测度的主要性质。形式化验证了测度扩张定理,为在Isabelle/HOL中构造各种概率空间、形式化验证概率算法和概率系统奠定了基础。

摘要： 随着经济全球化的不断深入,信息经济、知识经济越来越突现出重要的地位和作用,伴随着管理决策的信息化指数也越来越高,在决策分析过程中信息价值成分也越来越大,本文就博弈中的信息问题首先提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析.

摘要： 随着经济全球化的不断深入,信息经济、知识经济越来越突现出重要的地位和作用,伴随着管理决策的信息化指数也越来越高,在决策分析过程中信息价值成分也越来越大,本文就博弈中的信息问题首先提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析.

摘要： 随着经济全球化的不断深入,信息经济、知识经济越来越突现出重要的地位和作用,伴随着管理决策的信息化指数也越来越高,在决策分析过程中信息价值成分也越来越大,本文就博弈中的信息问题首先提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析.

摘要： 随着经济全球化的不断深入,信息经济、知识经济越来越突现出重要的地位和作用,伴随着管理决策的信息化指数也越来越高,在决策分析过程中信息价值成分也越来越大,本文就博弈中的信息问题首先提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析.

摘要： 随着经济全球化的不断深入,信息经济、知识经济越来越突现出重要的地位和作用,伴随着管理决策的信息化指数也越来越高,在决策分析过程中信息价值成分也越来越大,本文就博弈中的信息问题首先提出了博弈悖论,继而介绍了信息熵理论和博弈中的信息价值分析.

摘要： 以统一的概率型有限自动机模型为基础，通过将人工神经网络和全局分枝一约界算法相结合，建立了随机ＤＥＤＳ可靠性分析模型框架体系和算法结构，并对该体系的普适性和有效性进行了系统的论证。

摘要： 以统一的概率型有限自动机模型为基础，通过将人工神经网络和全局分枝一约界算法相结合，建立了随机ＤＥＤＳ可靠性分析模型框架体系和算法结构，并对该体系的普适性和有效性进行了系统的论证。

摘要： 本发明提供了一种基于空间、颜色和中央偏置先验的概率超图构造方法，包括：将输入图像过分割成多个图像区域，计算各图像区域的特征，并将各个图像区域定义为概率超图的顶点；基于空间先验为每个顶点构造一条空间超边，基于颜色先验为每个顶点构造一条颜色超边，基于中央偏置先验为每个位于图像边缘的顶点构造一条中央偏置超边，超边中各顶点属于超边的概率等于顶点与质心点的特征相似度；超图中的超边是三种超边的集合，将超边权重定义为超边中各顶点属于超边概率的平方和。本发明充分考虑空间先验、颜色先验和中央偏置先验构造概率超图，能够有效描述复杂自然场景图像中各图像区域之间的复杂关系，有助于在复杂自然场景图像中进行显著目标检测。

摘要： 本申请提供一种空间中断概率分析方法、装置及电子设备，将空间中断概率作为物理层安全的保密性能衡量指标，利用合法设备的位置信息和信道响应函数构建了空间中断概率，通过对窃听设备的位置信息进行建模，在空间中断概率的构建过程中考虑了窃听设备位置的随机性，这样，能够定义窃听设备服从均匀分布情况下的空间中断概率。通过求解空间中断概率平均值的闭式解，这样可以得到天线参数对空间中断概率的影响。

摘要： 本发明提供一种考虑土体参数空间变异性的边坡地震滑移概率分析方法，包括：确定土体参数空间分布的统计特征，构造参数随机场变量的联合概率密度函数f(x)；根据函数f(x)，产生土体参数随机场样本x(i)；构建边坡稳定性分析模型，计算土体参数随机场样本x(i)对应的边坡临界加速度系数并记录临界滑动体的位置；根据具体边坡抗震设计条件，挑选地震动加速度时间历程构建边坡临界滑动体多自由度永久位移分析模型，计算随机场样本x(i)和地震动加速度时程对应的滑动体永久位移D(i,k)；对所得的永久位移样本进行统计分析，计算在某个设计基准期TD下滑动体永久位移对设计位移阈值d的超越概率Pd。本发明考虑了土体参数空间变异性，计算效率较高，适用于边坡工程抗震设计实践。

摘要： 本发明公开了一种顾及空间分区的土地利用适宜性概率生成方法，顾及土地利用变化驱动机制的空间差异性，定量描述土地利用变化建模中各驱动因素的贡献度，有助于了解各驱动因素对于土地利用变化的影响；还围绕空间分区、驱动因素数据集的构建、各驱动因素贡献度的计算以及适宜性概率的训练，解决了土地利用变化模拟中由于时空异质性考虑不充分导致模拟精度降低的问题；基于卷积神经网络，构建了自然地理和社会经济驱动因素与土地利用变化的复杂非线性关联，进而获得各土地利用的适宜性概率，有助于加深对研究区域土地利用变化时空异质性的理解，提高对邻域空间内多土地利用驱动因素的感知能力，也为长时序的土地利用变化时空模拟和预测做准备。

摘要： 本发明涉及一种基于机动行为识别的空间非合作目标运动概率预测方法，包括：获得空间目标不同方向速度增量与开普勒六要素变化之间的映射关系；依据所述速度增量与开普勒六要素变化之间的映射关系，获得机动行为判断函数；依据外部测量获得的空间非合作目标历史轨迹数据以及机动行为判断函数，采用层次支持向量机(H‑SVM)获得非合作目标机动行为判别模型；依据空间非合作目标的开普勒六要素历史时序数据与机动行为判别结果，采用DeepAR时间序列概率预测模型，获得空间非合作目标的轨道运动预测结果。根据本发明实例中提供的空间非合作目标的运动预测方法，更好地剖析空间目标的运动能力与运动规律，在展示目标高概率到达区域的同时，通过分布的离散程度评估预测的不确定性，以侧面反映出目标潜在的机动倾向。

摘要： 本发明提供了一种基于概率黎曼学习空间量化的运动想象脑电信号识别方法，将脑电信号用空间协方差矩阵来表示，将空间协方差矩阵看作黎曼空间中的点，采用黎曼仿射不变距离计算点间的距离；利用该黎曼距离建立数据的类高斯混合模型，以此构建概率学习黎曼空间量化方法，采用贝叶斯理论为各类别脑电信号学习若干个带标签的原型，并学习类高斯混合函数中的方差参数；采用最大后验概率的方法进行最终的识别，将待识别样本的最大后验概率所对应的标签预测为该样本的类别。本发明采用空间协方差矩阵作为输入特征，避免复杂的脑电信号预处理计算；不需要大量的学习样本并且能够产生概率输出，有助于建立性能稳定的脑机接口系统。

摘要： 一种基于空间位置概率的NGSO卫星系统干扰与信道容量获得方法，涉及电子与通信技术领域，是为了解决解决目前无法获得NGSO卫星系统干扰与信道容量的问题。本发明对低轨卫星系统建模，计算不同倾斜角度轨道下卫星的空间位置分布概率，然后结合ITU标准中NGSO卫星及地面站天线辐射模型，利用载干比等计算公式，计算不同维度卫星地面站的受干扰程度，并结合卫星的发射接收参数等计算信道容量。本发明适用于NGSO卫星系统干扰与信道容量获得的场合。

摘要： 本发明涉及光伏技术领域，尤其涉及一种分布式光伏空间相关性出力概率建模的方法，包括：S1、确定N个位置晴空指数之间的经验相关性，得到相关矩阵；S2、利用相关性矩阵来定义多元高斯分布；S3、从多元高斯分布中提取样本；S4、从一元高斯累计分布函数中得到相关的均匀分布值；S5、从晴空指数的分布中的得到相关样本；S6、建立考虑空间相关性的分布式光伏出力概率模型。本发明研究空间相关性的分布式光伏出力建模方法能够进一步挖掘分布式电源出力之间的相关性对配电网消纳潜力的影响，同时利用高斯Copula函数提升分布式电源出力建模的准确性，为促进新能源消纳的配电网规划提供指导意见。

摘要： 本发明公开了一种区域地震概率空间分布生成方法，该方法包括获取目标区域的地震观测记录样本并进行初始化处理，采用马尔可夫链方法计算具有地震观测记录的单元区域发生地震的稳态概率，采用线性克里格方法插值估计其它单元区域发生地震的稳态概率，根据所有单元区域发震稳态概率绘制目标区域地震概率空间分布图。本发明解决了传统概率统计类方法无法获取较高精度的区域内部地震概率空间分布的问题，实现保证较高精度同时高效获取区域地震概率空间分布。

摘要： 本发明涉及信息处理领域中的一种穿越欧几里德空间与概率空间的距离的获得方法，其特征在于：在欧几里德空间中至少存在着一个概率空间，在穿越概率空间的一个区域时，该区间的概率距离与所经过的区域的概率值有关。本发明实施效果是：提出了可穿越欧几里德空间与概率空间的距离的严格定义，为严格得到不同概率分布之间的远近关系提供了理论依据，还揭示了概率空间是在欧几里德空间中存在的，而且在一个欧几里德空间里可以存在无限个概率空间以及揭示了概率空间距离一定具有不对称性的特点。为提高模式识别的精度，为提高机器学习结果的数据精度，以及提高机器学习的效率提供了理论依据。