国家自然科学基金(69602008)

作品数：3被引量：4H指数：1
导出分析报告
相关作者：杨友社许进霍红卫更多>>
相关机构：西安电子科技大学空军工程大学更多>>
相关期刊：《西北大学学报（自然科学版）》《陕西师范大学学报（自然科学版）》《计算机工程与科学》更多>>
相关主题：存在性存在惟一性极限环惟一性微分系统更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类平面微分系统极限环的存在惟一性被引量：2
《西北大学学报（自然科学版）》2000年第6期481-483,486,共4页杨友社 
国家自然科学基金资助项目(69602008)
借助 Poincare切性曲线法、旋转向量理论、环域定理和张芷芬定理对平面微分系统 x=- y+δx +(a +bx)φ(x) ,y=x2 n-1(1 +c2 x2 m) (m,n∈ N )进行全面分析 ,得到其极限环的存在性、惟一性与不存在性的完整结果。
关键词：微分系统 极限环 存在性 惟一性 
基于关系的最粗粒度划分问题的并行算法
《计算机工程与科学》2000年第4期40-42,共3页霍红卫 
国家自然科学基金!资助项目 ( 6960 2 0 0 8);"九五"预研项目!资助 ( 16.1.4.2 )
关系最粗粒度的划分问题 RCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法 ,其中假设标号转移系统中有 m个转移和 n个状态 ,利用 m/nε个CREW处理器算法所需的运行时间为 O( n1+ε) (对于任意固定的 ...
关键词：最粗粒度划分问题 并行算法 标号转移系统 
2-重自补图论(Ⅰ)——度序列特征被引量：2
《陕西师范大学学报（自然科学版）》1999年第4期1-6,共6页许进 
国家自然科学基金!(69602008)
研究了可2-重度序列的基本特征.获得了两个重要结果:(1) 一个2-重图序列是可2-重自补度序列的充要条件;(2) 一个非负整数序列是可2-重自补度序列的充要条件.
关键词：图论 2-重自补图 2-重图序列 自补图 度序列 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部