概率学中圆上n点共半圆问题的解决及应用

通过圆上三点共半圆概率的求解,解决圆上点共半圆问题的简便计算方法,并进而推导出圆上点同落于一段确定圆弧内概率的计算公式。以此为数学模型,介绍其在几何、统计及质量检验管理等方面的应用。     

让“活动营销”成为移动通信业务发展的利器

随着通信行业竞争加剧,三大运营商都把发展移动通信业务作为重要的竞争领地。一时间,移动通信业务市场的激烈竞争正在悄然上演。文章通过对通信行业的研究,如何让"活动营销"成为移动通信业务发展的利器,试图能给各大通信运营商的"活动营销"带来一定的启发。     

基于频繁模式挖掘的风电爬坡事件统计特性建模及预测

风电爬坡事件的统计特性建模和精准预测有利于电网的安全稳定运行。文中首先通过参数分辨率自适应算法对大型历史风电数据库进行爬坡事件检测,得到风电爬坡事件的历史学习集。对该学习集进行数据挖掘,建立了单个爬坡事件的起点、终点、持续时间以及爬坡间隔的多属性联合统计特性模型,并得到爬坡事件的基本模式。通过关联规则算法建立了多个相邻爬坡事件之间的自相关性统计特性模型。在此基础上,提出了爬坡事件序列预测算法的基本概念和模型。算例结果表明,所提算法能够更为直观地描述爬坡事件的统计特性,且基于事件序列的预测算法能够较好地进行日前的爬坡预测。     

电力市场技术支持系统人机图形组态架构及关键技术

电力市场技术支持系统需要随市场规则变化不断调整,现有的电力市场技术支持系统在人机图形展示方面主要依赖定制化开发,在运维升级方面存在明显局限。文中结合电力市场数据特点,分析电力市场数据的图形展示交互需求,提出一种电力市场多维度数据灵活展示的图形组态架构,并对其关键技术如属性引用及事件交互组态、多维数据动态关联定义、基于推送和触发模式相融合的数据交互、业务人机操作的扩展等进行了讨论。最后,通过实际应用结果验证了所提人机图形组态架构的可行性。     

基于深度高斯过程回归的视频异常事件检测方法

针对现有异常检测方法忽视异常事件发生概率小而造成虚警这个问题,基于高斯过程回归(GPR)的框架,将GPR核函数非参数化所具有的灵活性与深度神经网络的结构特性相结合,并将卷积神经网络封装在GPR的核函数中,以同时实现异常检测任务中特征提取和检测两个步骤。在测试阶段,相对于训练样本集的后验概率的对数似然较小的被判定为异常。方法在一个模拟数据集和一个完全真实的数据集上进行了实验验证,实验结果证明所提出的方法在两个数据集上分别达到了83.9%的帧级AUC和34.4%的帧级AUC,在性能上达到了现有技术发展水平。     

基于赋时Petri网的批处理系统建模

批处理系统建模是其性能评价、仿真、调度以及控制研究的基础。批处理生产系统是动态离散事件系统，串行与并行生产过程并存。为了建立批处理系统的动态模型，引入了赋时Petri网的建模概念和特征，进行了批处理系统中资源模块的建模描述。在此基础上，提出了批处理系统的通用赋时Petri网的建模方法。采用提出的批处理系统建模方法，针对具体的批处理实例系统进行了建模。同时，在实例模型基础上，进行了批处理系统的调度研究。     

无界Petri网的可达树的综述

Petri网自提出以来得到了学术界和工业界的广泛关注. Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.     

A two‐level detector of short‐term unique changes in time series based on a similarity method

In the paper, a novel two‐level algorithm of time‐series change detection is presented. In the first level, to identify non‐stationary sequences in a processed signal, preliminary detection of events is performed with a short‐term prediction comparison. In the second stage, to confirm the changes detected in the first level, a similarity method aimed at identification of unique changes is employed. The detection of changes in a non‐stationary time series is discussed, implemented algorithms are described and the results produced on a sample four financial time series are shown. General conditions for implementing the proposed algorithm as an immune‐like event detector are discussed.     

非确定型离散事件系统双模拟控制的实现

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.