您的位置: 专家智库 > >

国家自然科学基金(10371047)

作品数:22 被引量:24H指数:3
相关作者:徐森林许志才刘士喜方贤文邓勤涛更多>>
相关机构:华中师范大学滁州学院安徽理工大学更多>>
发文基金:国家自然科学基金安徽省高等学校优秀青年人才基金安徽省高校省级自然科学研究项目更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 22篇期刊文章
  • 1篇会议论文

领域

  • 18篇理学
  • 5篇自动化与计算...

主题

  • 7篇曲率
  • 5篇曲面
  • 5篇超曲面
  • 4篇流形
  • 3篇RICCI曲...
  • 3篇HYPERS...
  • 2篇定理
  • 2篇英文
  • 2篇映射
  • 2篇有限拓扑型
  • 2篇数量曲率
  • 2篇随机PETR...
  • 2篇拓扑型
  • 2篇微分
  • 2篇下界
  • 2篇开流形
  • 2篇可信赖性
  • 2篇类空超曲面
  • 2篇极小超曲面
  • 2篇非负RICC...

机构

  • 9篇华中师范大学
  • 3篇安徽理工大学
  • 3篇滁州学院
  • 2篇同济大学
  • 2篇徐州师范大学
  • 1篇江苏技术师范...
  • 1篇武汉大学
  • 1篇中国矿业大学

作者

  • 9篇徐森林
  • 5篇许志才
  • 4篇方贤文
  • 4篇刘士喜
  • 3篇邓勤涛
  • 2篇金亚东
  • 2篇张运涛
  • 1篇张雪媛
  • 1篇杨飞
  • 1篇陈藏
  • 1篇宋冰玉
  • 1篇徐栩
  • 1篇胡自胜
  • 1篇苗连英

传媒

  • 3篇数学物理学报...
  • 2篇应用数学
  • 2篇Northe...
  • 2篇Chines...
  • 2篇数学研究
  • 2篇安徽理工大学...
  • 2篇Analys...
  • 1篇华东师范大学...
  • 1篇数学学报(中...
  • 1篇华中师范大学...
  • 1篇系统仿真学报
  • 1篇计算机工程与...
  • 1篇纯粹数学与应...
  • 1篇Acta M...

年份

  • 1篇2009
  • 3篇2008
  • 5篇2007
  • 5篇2006
  • 5篇2005
  • 4篇2004
22 条 记 录,以下是 1-10
排序方式:
THE SPECTRUM OF COMPACT HYPERSURFACE IN SPHERE
2004年
Let M be a compact minimal hypersurface of sphere Sn+1(1). Let M be H(r)-torus of sphere Sn+1(1).Assume they have the same constant mean curvature H, the result in [1] is that if Spec0 (M, g) =Spec0(M, g),then for 3 ≤ n ≤ 6,r2 ≤n-1/n or n > 6,r2 ≥ n-1/n, then M is isometric to M. We improvedthe result and prove that: if Spec0(M, g) =Spec0(M, g), then M is isometric to M. Generally, if Specp(M,g) =Specp(M, g), here p is fixed and satisfies that n(n - 1) ≠ 6p(n - p), then M is isometric to M.
XuSenlinDengQintaoChenDongmei
关键词:SPECTRUMISOMETRIC
基于随机Petri网的机群系统可信赖性研究被引量:4
2008年
随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。
刘士喜许志才方贤文
关键词:随机PETRI网可信赖性机群系统
anti-de Sitter空间中紧致类空超曲面的积分公式及其在常高阶平均曲率下的应用被引量:8
2007年
该文对anti-de Sitter空间H1n+1中的紧致类空超曲面建立了积分公式,并应用它们在常高阶平均曲率的条件下讨论了H1n+1中紧致类空超曲面的全脐问题.
徐森林胡自胜
关键词:SITTER空间类空超曲面积分公式
Remarks on Complete Spacelike Hyper-surfaces with Constant Mean Curvature in the de Sitter Space
2005年
Let M be an n(≥ 3)-dimensional completely non-compact spacelike hypersurface in the de Sitter space S1^n+1 (1) with constant mean curvature and nonnegative sectional curvature. It is proved that M is isometric to a hyperbolic cylinder or an Euclidean space if H ≥ 1. When 2√n-1/n〈 H 〈 1, there exists a complete rotation hypersurfaces which is not a hyperbolic cylinder.
张运涛徐森林
基于Petri网软件过程执行机制的研究被引量:2
2007年
在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。
刘士喜许志才方贤文
关键词:PETRI网形式化语义
Compact Maximal Space-like Submanifolds in a Pseudo-Riemannian Spacetime S_p^(m+p)被引量:1
2006年
Abstract: This paper concerns space-like submanifolds in a pseudo-Riemannianspace-time Sp^m+p∪→Ep^m+p+1 (P ≥ 1), and proves that connected compact maximalsuace-like submanifolds in a pseudo-Riemannian spacetime Sp^m+p∪→Ep^m+p+1 (P ≥ 1) must be totally umbilical, and also totally geodesic. Particularly, when p = 1, our result is just Montiel's in case of H = 0.
徐森林胡自胜
基于随机Petri网的冗余备份系统可信赖性研究被引量:1
2009年
可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。
刘士喜许志才方贤文
关键词:可信赖性随机PETRI网
Zygmund微分映射的正则点
2008年
该文的主要结果是:对任意Zygmund类C^(p,Z)映射f:R^n→R^m,若(n-m)/2≤p≤n-m-1,则有mesK_f>0或者mesC_f>0.这个结果给出了Hirsch问题的部分回答.
徐栩张运涛
关键词:正则点可微性
Clifford环面S^m((m/n)~(1/2))×S^(n-m)(((n-m)/n)~(1/2))的刚性定理被引量:2
2008年
设M为n+1维单位球面S^(n+1)(1)中的一个极小闭超曲面,如果n≤S≤n+2/3,则有S=n且M与某一Clifford环面S^m((m/n)~1/2)×S^(n-m)(((n-m)/n)^(1/2))等距.
张运涛徐森林
关键词:极小超曲面数量曲率
曲率下界与有限拓扑型
2005年
证明了对于R icc i曲率R icM≥-(n-1)的完备非紧n维R iem ann流形M,若其在某一点的Excess有某个上界时,它就有有限拓扑型或微分同胚于n维欧氏空间.
徐森林杨飞
关键词:RICCI曲率有限拓扑型
共3页<123>
聚类工具0