云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(10371047)

国家自然科学基金(10371047): 作品数：22被引量：17H指数：2; 导出分析报告; 相关作者：徐森林许志才刘士喜方贤文邓勤涛更多>>; 相关机构：华中师范大学滁州学院安徽理工大学同济大学更多>>; 相关期刊：《计算机工程与设计》《Acta Mathematica Scientia》《Chinese Quarterly Journal of Mathematics》《数学物理学报（A辑）》更多>>; 相关主题：HYPERSURFACEDESITTER空间类空超曲面可信赖性更多>>; 相关领域：理学自动化与计算机技术更多>>

基于随机Petri网的冗余备份系统可信赖性研究被引量：1: 《安徽理工大学学报（自然科学版）》2009年第3期48-53,共6页刘士喜许志才方贤文; 国家自然科学基金资助项目(10371047);安徽省教育厅自然科学基金资助项目(KJ2009B235Z);滁州学院自然科学基金资助项目(2008kj002B); 可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Pe...; 关键词：可信赖性随机PETRI网冗余备份系统

基于随机Petri网的机群系统可信赖性研究被引量：2: 《计算机工程与设计》2008年第24期6190-6192,6217,共4页刘士喜许志才方贤文; 国家自然科学基金项目(10371047);安徽省教育厅青年教师基金项目(2006jq1077); 随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分...; 关键词：随机PETRI网可信赖性机群系统分配器/服务器

Clifford环面S^m((m/n)～(1/2))×S^(n-m)(((n-m)/n)～(1/2))的刚性定理被引量：1: 《数学物理学报（A辑）》2008年第1期128-132,共5页张运涛徐森林; 国家自然科学基金(10371047);江苏省教育厅项目(04KJD110192)资助; 设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))等距.; 关键词：极小超曲面数量曲率 Clifford环面

Zygmund微分映射的正则点: 《数学物理学报（A辑）》2008年第1期35-38,共4页徐栩张运涛; 国家自然科学基金(10261002，10371047)资助; 该文的主要结果是:对任意Zygmund类C^(p,Z)映射f:R^n→R^m,若(n-m)/2≤p≤n-m-1,则有mesK_f>0或者mesC_f>0.这个结果给出了Hirsch问题的部分回答.; 关键词：正则点可微性 Zygmund类

平面图的3-染色问题研究: 《华东师范大学学报（自然科学版）》2007年第5期85-88,共4页张雪媛陈藏苗连英; 国家自然科学基金(10371047);中国矿业大学科技基金(OZK4566); 研究了3-可染色平面图的结构特征,利用discharging方法证明了不含4圈和5圈且三角形间的距离至少是2的平面图是3-可染色的.; 关键词：平面图 3-染色 discharging方法

基于Petri网软件过程执行机制的研究被引量：1: 《安徽理工大学学报（自然科学版）》2007年第3期57-61,共5页刘士喜许志才方贤文; 国家自然科学基金资助项目(10371047);安徽省教育厅青年教师基金资助项目(2006jq1077); 在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式...; 关键词：分层机制软件过程 PETRI网过程建模形式化语义

anti-de Sitter空间中紧致类空超曲面的积分公式及其在常高阶平均曲率下的应用被引量：8: 《数学物理学报（A辑）》2007年第2期302-308,共7页徐森林胡自胜; 国家自然科学基金(10371047)资助; 该文对anti-de Sitter空间H1n+1中的紧致类空超曲面建立了积分公式,并应用它们在常高阶平均曲率的条件下讨论了H1n+1中紧致类空超曲面的全脐问题．; 关键词：anti—de SITTER空间类空超曲面高阶平均曲率积分公式

Small Excess and the Topology of Open Manifolds with Ricci Curvature Negatively Lower Bounded: 《Chinese Quarterly Journal of Mathematics》2007年第1期16-21,共6页XU Sen-lin HU Zi-sheng; Supported by the National Natural Science Foundation of China(10371047); In this paper, we study the relation between the excess of open manifolds and their topology by using the methods of comparison geometry. We prove that a complete open Riemmannian manifold with Ricci curvature negativ...; 关键词：open manifolds Ricci curvature conjugate radius critical point Excess function triangle comparison theorems

Excess函数的应用(英文): 《应用数学》2007年第1期1-5,共5页徐森林邓勤涛; Supported by the National Natural Science Foundation of China(10371047); 在本文中,我们研究了曲率有下界的开流形的拓扑,并推广了文[7]中的结果,证明了截曲率有下界的开流形如果它的excess函数被它的临界半径的某个函数所界定时,它就具有有限拓扑型或者微分同胚于Rn.; 关键词：Excess函数有限拓扑型临界点比较定理

Open Manifolds with Nonnegative Ricci Curvature and Large Volume Growth: 《Chinese Quarterly Journal of Mathematics》2006年第4期475-481,共7页XU Sen-lin SONG Bing-yu; supported by the NNsF of china(10371047); in this paper,we prove that a complete n-dimensional Riemannian manifold with nonnegative kth-Ricci curvature, large volume growth has finite topological type provided that lim r→∞{（vol[B（p.r]/ωnrn-αM）rk（n-1...; 关键词：Excess function large volume growth nonnegative kth-Ricci curvature

国家自然科学基金(10371047)