Richard D. Gill, Product integration

一般的积分是指黎曼积分, 其计算是把区域无限细分求和并取极限, 有另外一种积分是把区域无限细分求积并取极限, 这个在生存模型中有很多应用.

生存模型

设生存的时间为随机变量\(T\), 则生存函数定义为

\[S(t):= \mathrm{Pr} (T \ge t), \: t>0,
\]

显然\(S(0)=1\). 生存函数表示, 一个个体生存时间超过\(t\)的概率.

连续情形

设随机变量\(T\)所对应的密度函数为\(f(t)\), 并定义hazard rate为

\[\alpha (t) := \mathop{\lim} \limits_{h \rightarrow 0} \frac{\mathrm{Pr}(t \le T \le t+h|T \ge t)}{h},
\]

注意到

\[\frac{\mathrm{Pr}(t \le T \le t+h|T \ge t)}{h}= \frac{\mathrm{Pr}(t\le T \le t+h)}{h \cdot \mathrm{Pr}(T\ge t)},
\]

\[\alpha(t)=f(t)/S(t).
\]

\[f(t) =\frac{\mathrm{d}F(t)}{\mathrm{d}t} = \frac{\mathrm{d}(1-S(t))}{\mathrm{d}t}=-\frac{d}{dt}S(t)=:S'(t).
\]

所以

\[\alpha(t)=-\frac{S'(t)}{S(t)}=-\frac{\mathrm{d}}{\mathrm{d}t} \log S(t),
\]

\[S(t)=\exp \{ -\int_{0}^t \alpha(s) \mathrm{d}s\}, \: t>0.
\]

离散情形

此时假设\(f(t)=\mathrm{Pr}(T=t)\),

\[\alpha(t):=\mathrm{Pr}(T=t|T\ge t)=f(t)/S(t),
\]

可以证明

\[S(t)= \prod_0^t (1-\alpha(s)),
\]

注意, 这里的\(\prod\)个人感觉都没法用极限去理解, 只能用无限(即便是不可数)个1相乘仍为1理解.

不妨设\(f(t)\)仅在\(0<t_1 < t_2 < \cdots\)处非零, 则

\[S(t)=1, \: t\le t_1, \\
S(t)=1-f(t_1)=1-\alpha(t_1), \: t_1 < t \le t_2, \\
\]
\[S(t)=1-f(t_1)-f(t_2)=1-\alpha(t_1)- \alpha(t_2)S(t_2)=(1-\alpha(t_1)(1-\alpha(t_2)), \: t_2 < t \le t_3 \\
\cdots
\]

统一

记连续情况下

\[A(t) = \int_0^t \alpha(s) \mathrm{d}s
\]

离散情况下

\[A(t) =\sum_0^t \alpha(s),
\]

这里的\(\sum\)请用勒贝格积分理解, 二者在实变函数下统一为

\[A(t) = \int_0^t \frac{1}{S(s)} \mathrm{d}S(s).
\]

\(A(t+h)-A(t)\)可以理解为个体在\([t,t+h]\)内死亡的概率, 则

\[S(t)= \lim_{\max |t_i - t_{i-1}| \rightarrow 0} \prod_0^t (1-(A(t_i)-A(t_{i-1}))=:\prod_0^t (1-dA(s))
\]

意思就是, 个体想活过\(t\), 必须前面的每一个阶段都是活着的(严格的推导, 以及极限存在等等不知).

还有在矩阵和马尔可夫上的推广, 一知半解, 就不记录了.

Product Integration的更多相关文章

  1. [ZZ]From QA to Engineering Productivity

    http://googletesting.blogspot.com/2016/03/from-qa-to-engineering-productivity.html In Google’s early ...

  2. CMMI-4中19个PA的大致描述

    组织过程资产库下面有组织级标准过程库, 这个库里一共有19各PA(就是标准过程啦) PA的英文是Process Area       CM(配置管理过程,英文是Configuration Manage ...

  3. Apache Solr vs Elasticsearch

    http://solr-vs-elasticsearch.com/ Apache Solr vs Elasticsearch The Feature Smackdown API Feature Sol ...

  4. CMMI 3级精简并行过程综述

    “精简并行过程”(Simplified Parallel Process,SPP)是基于CMMI以及软件工程和项目管理知识而创作的一种“软件过程改进方法和规范”,它由众多的过程规范和文档模板组成.SP ...

  5. CMMI 2,3,4,5级涉及的过程域(PA)介绍

      CMMI中的PA即Process Area的缩写,中文称为过程域.简单的说就是做好一个事情需要的某一个方面,对于软件开发来说,就是做好软件开发需要的某一个方面. CMMI2.3级共有18个过程域( ...

  6. CMMI能力成熟度模型集成的过程域

    什么是CMMI CMMI全称是Capability Maturity Model Integration, 即能力成熟度模型集成,是由美国国防部(Office of the Secretary of ...

  7. The Business Of Open Source

    http://oss-watch.ac.uk/resources/businessofopensource by Matthew Langham, Indiginox on 3 February 20 ...

  8. Email feedback to product team about TFS and SharePoint Integration 2017.2.15

    SharePoint与Team Foundation Server的集成,一直是许多研发团队所关注的问题. 通过这种集成,开发团队可以实现下面的几个功能: 1.  搭建一个与团队项目集成的门户网站,并 ...

  9. MAGENTO - APACHE SOLR INTEGRATION - PART II (SETUP)

    MAGENTO - APACHE SOLR INTEGRATION - PART II (SETUP) Tue, 03/01/2011 - 18:30 Tweet Development E-Comm ...

随机推荐

  1. 一道题目学ES6 API,合并对象id相同的两个数组对象

    var arr2=[{id:1,name:'23'}] var arr1=[{id:1,car:'car2'}] const combined = arr2.reduce((acc, cur) =&g ...

  2. ubantu打开摄像头失败

    摘要-针对ubantu20 sudo apt install v4l-utils v4l2-ctl --list-devices - cv2 install on ubantu20```针对ubant ...

  3. Data Calendar

    1.Date对象 Date类在java.util包中.使用Date类的无参数构造方法创建的对象可以获取本地当前时间. 用Date的构造方法Date(long time)创建的Date对象表 示相对19 ...

  4. Classs类

    Classs类如何获得 获得Class对象 方式一: 通过Object类中的getClass()方法 方式二: 通过 类名.class 获取到字节码文件对象( 方式三: 通过Class类中的方法(将类 ...

  5. 看看线程特有对象ThreadLocal

    作用:设计线程安全的一种技术. 在使用多线程的时候,如果多个线程要共享一个非线程安全的对象,常用的手段是借助锁来实现线程的安全.线程安全隐患的前提是多线程共享一个不安全的对象 ,那么有没有办法让线程之 ...

  6. Windows下搭建FFmpeg开发调试环境

    背景 如果你是一个FFmpeg的使用者,那么绝大部分情况下只需要在你的程序中引用FFmpeg的libav*相关的头文件,然后在编译阶段链接相关的库即可. 但是如果你想调试FFmpeg内部相关的逻辑,或 ...

  7. 『学了就忘』Linux服务管理 — 79、源码包安装的服务管理

    目录 1.源码包服务的启动管理 2.源码包服务的自启动管理 3.让源码包服务被服务管理命令识别 1.源码包服务的启动管理 # 通过源码包的安装路径,找到该服务的启动脚本, # 也就是获得该服务的启动脚 ...

  8. 数据恢复binlog2sql

    目录 一.原理及其使用 用途 闪回原理简析 binlog 有三种可选的格式: 来实例演习下来实例演习下 二.准备工作 一.原理及其使用 生产上误删数据.误改数据的现象也是时常发生的现象,作为运维这时候 ...

  9. 分布式可扩展web体系结构设计实例分析

    Web分布式系统设计准则 下面以一个上传和查询图片的例子来说明分布式web结构的设计考虑和常用的提高性能的方法.该例子提供上传图片和下载图片两个简单功能,并且有一下假设条件?: - 可以存储无上限数量 ...

  10. MySQL管理之道,性能调优,高可用与监控(第二版)pdf下载

    MySQL管理之道,性能调优,高可用与监控(第二版) 书中内容以实战为导向,所有内容均来自于笔者多年实践经验的总结和新知识的拓展,同时也针对运维人员.DBA等相关工作者会遇到的有代表性的疑难问题给出了 ...