排序方式: 共有15条查询结果,搜索用时 0 毫秒
11.
许志才 《淮南矿业学院学报》1995,15(4):73-76
设M是实双曲空间H^n+1中的具有常数平均曲率的紧致超曲面,通过引进一个二阶对称张量Φ,本文给出了一个使得M是全脐的或是环面的条件。 相似文献
12.
对高层体系结构(HLA)中数据分发管理(DDM)的研究,主要目标是在符合HLA标准的前提下,提高数据的过滤效率,同时减少计算量,并提供较好的可扩展性适应于各种规模的分布式仿真应用。Lookahead是分布式模拟时间管理协议中的一个重要概念,各模拟实体使用Lookahead把自己产生事件的时间标记情况更早地通知给其它实体,以加快程序的运行。采用颜色Petri网和Lookahead的数据分发机制,能够很好地对数据进行过滤,提高数据的过滤效率,并能保证数据收发的成功率。仿真实验结果表明:基于颜色Petri网和Lookahead的数据分发机制是优于区域匹配方法的。 相似文献
13.
为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性. 相似文献
14.
15.