您的位置： 专家智库 > >

董昭

作品数：11 被引量：14H指数：2
供职机构：中国科学院数学与系统科学研究院更多>>
发文基金：国家自然科学基金中国科学院院长基金国家杰出青年科学基金更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 11篇中文期刊文章

领域

  • 11篇理学

主题

  • 2篇正则
  • 2篇容度
  • 2篇拟正则
  • 2篇注记
  • 2篇半群
  • 2篇M
  • 1篇狄氏型
  • 1篇定理
  • 1篇右过程
  • 1篇软件测试
  • 1篇软件可靠性测...
  • 1篇凸空间
  • 1篇嵌入定理
  • 1篇马尔可夫
  • 1篇马尔可夫过程
  • 1篇马氏半群
  • 1篇局部凸
  • 1篇局部凸空间
  • 1篇可约
  • 1篇可约性

机构

  • 10篇中国科学院
  • 1篇北京航空航天...
  • 1篇延边大学
  • 1篇中国科学院数...

作者

  • 11篇董昭
  • 4篇巩馥洲
  • 1篇蔡开元
  • 1篇李龙振
  • 1篇马志明
  • 1篇刘克

传媒

  • 1篇河北师范大学...
  • 1篇科学通报
  • 1篇数学学报（中...
  • 1篇系统科学与数...
  • 1篇中国科学（A...
  • 1篇数学的实践与...
  • 1篇应用数学学报
  • 1篇数学物理学报...
  • 1篇应用概率统计
  • 1篇工程数学学报
  • 1篇纯粹数学与应...

年份

  • 1篇2008
  • 2篇2000
  • 2篇1999
  • 2篇1998
  • 3篇1997
  • 1篇1993
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一般状态空间上m-tight过程的首触时容度的表示及应用被引量：1
1997年
该文证明了一般状态空间上由m-tight过程的首触时导出的容度可直接地由相应集合的首触时通过积分表示出来，利用这一结果，我们证明了函数是拟连续的几个等价命题．
董昭
关键词：容度
拟正则狄氏空间的积分表现定理被引量：2
1993年
新近,人们发现了几乎对称(即满足 m-sectorial 条件)的右过程对(在等价意义下)与拟正则狄氏型之间的一一对应。并且发现局部紧可距离化空间上正则狄氏型的所有位势理论可以推广到一般拓扑空间上拟正则狄氏型的框架上。至少人们总可以用紧化的方法把一般情形归结为经典的正则情形。
董昭马志明
关键词：拟正则
关于Poisson空间上无穷粒子运动的渐进行为的一个注记
1998年
本文讨论了Poisson空间上保守遍历马氏过程所驱动的无穷粒子系统的渐进行为.
董昭李龙振
一般拓扑空间上Fellor半群所对应的马氏过程的构造
1999年
给出了一般状态空间上 Ｆｅｌｌｏｒ 半群对应过程的一个充分条件．
董昭
正泛函的积分表示定理和零容集的刻画
2000年
设Ｘ是 Ｈａｕｓｄｏｒｆｆ拓扑空间，ｍ是其 Ｂｏｒｅｌ域 Ｂ（Ｘ）上的有限测度．｛Ｔ_ｔ｝ｔ≥０。是 Ｌ~ｐ（Ｘ；ｍ）（ｐ＞１）上的次马氏半群．Ｆ_（ｒ，ｐ）。是由该半群生成的Ｓｏｂｏｌｅｖ空间．Ｃａｐ_（ｒ，ｐ）（ｒ＞ ０；ｐ＞１）是相应的容度，本文在一定条件下证明了对任意Ｆ_（ｒ，ｐ）共轭空间Ｆ_（ｒ，ｐ）~＊中的正泛函■， 存在Ｘ上唯一的σ－有限测度μ■，使得_（Ｆ（ｒ，ｐ））〈ｕ，■〉_（Ｆ（ｒ，ｐ）＊）＝∫_ｘ~ｕ（ｘ）μ■（ｄｘ），ｕ∈Ｆ_（ｒ，ｐ）， 并且对任意Ｂ∈Ｂ（Ｘ）Ｃａｐ^（ｒ，ｐ）（Ｂ）＝０的充要条件是μ■（Ｂ）＝０，■∈Ｆ_（ｒ，ｐ）~＊。
巩馥洲董昭
关于一般马氏过程遍历性的一个注记
2000年
本文讨论了一般保守右过程的遍历性和不可约性．作为应用我们证明了一类Ｄｉｒｉｃｈｌｅｔ过程的不可约性及遍历性．
董昭巩馥洲
关键词：右过程遍历性不可约性
L_P(E,m)空间上Markov过程的构造
1997年
引进拟正则Markov豫解族的概念,证明L^p(E,m)上的Markov豫解族(G_a)_(a>0)联系一个以E为状态空间的m-胎紧、m-特殊标准过程当且仅当它是拟正则的。进一步,举例说明所给出的拟正则条件是可验证的。需要指出的是这些例子不能用通常的Dirichlet型方法来处理。
董昭
关键词：马尔可夫过程L^P空间
局部凸空间上检验函数与广义函数空间的嵌入定理及其应用
1999年
设Y是局部凸向量空间，其上装配有GaussianRadon测度γ．A（Y）（或ε（Y）是Y上检验函数空间（或με（Y）是相应的分布函数空间·我们证明了：（或με（Y），并由此得到μA（Y）（或με（Y））上的Fourier变换公式.其中“*”表示复共轭算子，“”表示连续稠线性嵌入.进一步还得到了A（Y）（或ε（Y））上无穷维伪微分算子A是L2（Y，γ）上连续的充要条件是其共轭算子A’满足A’（L2（Y，γ）L2（Y，γ）．
巩馥洲董昭
关键词：嵌入定理广义函数空间局部凸空间检验函数
弱椭圆方程的解及应用
1998年
利用二阶偏微分方程的弱解理论和狄氏型理论，证明了产L2（Rd；dX）中的弱椭圆方程测度值解的存在性．作为应用证明了与之相联系的半群存在一个与Lebesgue测度绝对连续的σ-有限不变测度，并且其Radon－Nikodym导数属于H（Rd）．
董昭
关键词：半群
关于软件可靠性测试的若干问题被引量：11
2008年
软件可靠性测试是软件测试的一种形式,它强调软件测试与软件可靠性之间的定量关系,旨在定量改进和评估软件可靠性。从数学角度严格量化软件测试与软件可靠性之间的关系是一件困难的事情。本文举例说明软件可靠性测试中的几个问题,包括软件缺陷的估计、软件测试过程的数学建模、以及软件可靠度的最优估计等。由此可知,软件可靠性测试涉及到不同领域的知识和多种数学工具。
蔡开元董昭刘克
关键词：软件测试
全选 清除 导出
共2页<12>
聚类工具0