The dynamic power management for embedded system with Poisson process

The mass of the embedded systems are driven by second batteries, not by wired power supply. So saving energy is one of the main design goals for embedded system. In this paper we present a new technique for modelling and solving the dynamic power management (DPM) problem for embedded systems with complex behavioural characteristics. First we model a power-managed embedded computing system as a controllable Flow Chart. Then we use the Poisson process for optimisation, and give the power management algorithm by the help of Dynamic Voltage Scaling (DVS) technology. At last we built the experimental model using the PXA 255 Processors. The experimental results showed that the proposed technique can achieve more than12％ power saving compared to other existing DPM techniques.     

Poisson过程的特征

给出了判断一更新过程是Poisson过程的几个充分条件．     

复合泊松过程可加性的一种证明

首先用概率母函数的方法证明了广义齐次泊松过程的可加性.由于给定了参数λ和Pk的广义齐次泊松过程是一个复合泊松过程,从而运用广义齐次泊松过程的证明思路,证明了复合泊松过程也具有与广义齐次泊松过程相似的性质--可加性.     

保险理赔的广义泊松过程模型及其破产概率

针对汽车保险中多车辆相撞事故的理赔建立起广义泊松过程模型,利用概率母泛函给出了其理赔总量在(0,t]内的均值与方差,并基于鞅分析方法证明了其破产概率的Lundberg不等式.     

带Poisson跳随机微分方程解的存在与唯一性

讨论了一类带Poisson跳的随机微分方程解的存在唯一性问题,在局部Lipschitz条件下给出了带跳随机微分方程解的存在与唯一性的充分条件.     

复合广义泊松过程的可加性

广义泊松过程常常出现在顾客成批到达或成批服务的排队问题中。已有文献运用概率母函数的方法证明了广义齐次泊松过程的可加性。在此基础上,该文运用特征函数的方法证明了复合广义泊松过程也具有与广义齐次泊松过程相似的可加性。     

二重复合广义泊松过程

通过日常生活的实例,在广义泊松过程的基础上提出了二重复合广义泊松过程的数学模型,讨论了它的一些性质且进行了验证,并举例说明了它在实际问题中的应用.     

Poisson积分的拟小波方法

用拟小波方法给出Poisson积分的数值计算公式,并用数值算例检验了我们的数值计算公式,实验表明该算法是好的.     

广义双Poisson风险模型下破产概率的若干结果

进一步将双Poisson风险模型推广到了广义双Poisson风险模型,然后对此新模型利用鞅方法研究了破产概率满足的Lundberg不等式和一般公式.     

双广义泊松风险模型

运用随机点过程理论和理论的方法,将风险模型中保费到达计数过程和索赔到达计数过程均推广为广义齐次泊松过程。得到了最终破产概率的一个上界和最终破产概率的表达式。     

案例与实验教学法在泊松过程教学中应用

本文探讨了案例教学法和实验教学法在泊松过程教学中的应用.案例教学法从四个维度上进行设计,形成由一般到特殊,再从特殊到一般的教学模式,从而避免传统教学方式的枯燥,实现知识由"点"到"线"的思维过程,最终达到由"线"到"面"的思维升华;实验教学法在设计上,从课堂内容实验,到个性化实验,再到综合性实验,形成从简单到复杂,从基...     

虚拟实训系统中软件研发过程管理研究

编程类课程的虚拟实训大都侧重于服务器响应客户端程序的算法与技术研究,而缺乏对软件研发过程管理的仿真。本文以web数据库技术这一课程的虚拟实训为载体,无需另行开发软件,借助BB平台的优势,并在其上定制,创新性地实现了对软件研发环境的模拟、研发过程的控制及工作量的考核。这种软件研发过程管理模型成本低、易于实现,对编程类课程的虚拟实训建设具有一定的参考意义。     

高职学生顶岗实习过程管理研究——基于质量管理过程方法视角

目前,高职学生顶岗实习存在着学生对实习认识不足、学校管理体系不够完善、企业视学生为负担等原因,使高职学生顶岗实习过程管理存在一定的困难。质量管理过程方法可以为高职学生顶岗实习过程管理提供有效思路。以学校为主体,构建以过程为基础的学生顶岗实习管理体系,制定相应文件,落实管理机构与职责,发挥学生主观能动性,构建多元考核、分析与评价管理体系,利用信息化手段对实习过程中的各个环节认真计划、组织、控制、改进,使PDCA循环持续改进,顶岗实习过程管理质量得到不断提升。     

基于流程管理的实验室经费管理信息系统研究

随着高校对实验室经费的投入增加,如何提高公共资金的使用效益及管理效率,降低管理风险,成为当前实验室建设管理领域的关注热点.从分析目前国内各高校实验室经费管理现状人手,提出了一种新的管理方法——流程管理,并初步探索了基于流程管理的实验室经费管理信息系统的构建方案.     

投资收益总额为poisson过程的风险模型

通过讨论投资收益总额为复合poisson过程的风险模型,得到了其Gerber-Shiu折现罚金函数满足的积分-微分方程,并且在索赔额和收益额的分布为指数分布的情况下得到了Gerber-Shiu折现罚金函数及其相关精算量满足的微分方程。     

泊松积分公式在统计物理中的应用

泊松(Poisson)积分公式是微积分中很重要的公式之一,并在许多领域中得到广泛应用.泊松积分公式可使所需解决的问题简单化.重点讨论泊松积分公式在经典统计物理中的应用,利用它能较为快捷地推导出经典统计物理中的重要原理之一———能量均分原理.     

Poisson回归模型的局部影响分析

本文讨论了Poisson回归模型的局部影响分析,分别针对方差加权扰动模型、响应变量扰动模型、自变量扰动模型得到了相应的影响矩阵和影响曲率的计算公式,并通过实际例子验证了本文诊断方法的有效性。     

阈红利策略下干扰复合Poisson模型中Gerber-Shiu函数的解析表示

构建了带干扰的复合Poisson模型下阈红利策略模型,求出了此模型下期望折扣罚金(Gerber-Shiu)函数满足的积分-微分方程,并通过无分红模型下的Gerber-Shiu函数得到它的解析表达式.     

二维泊松方程的高精度紧致差分方法

利用对称性和待定系数的基本思想，提出了数值求解泊松方程的一种新的高阶紧致差分方法。构造了二堆泊松方程的四阶和六阶紧致盖分格式。数值算倒验证了方法的精确性和可靠性。     

高职高专学院毕业实践环节过程管理初探

高职高专学院毕业实践教学体系是实现其培养目标的关键。加快建立和完善职业教育毕业实践教学环节质量保证过程管理体系,形成了以毕业实践(综合训练)为核心,以过程管理为重点,学院教务部门和各系分工负责、密切配合的毕业实践(综合训练)教学环节质量监控过程管理体系。