您的位置: 专家智库 > >

国家自然科学基金(69602008)

作品数:3 被引量:5H指数:2
相关作者:杨友社许进霍红卫更多>>
相关机构:西安电子科技大学空军工程大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 2篇理学
  • 1篇自动化与计算...

主题

  • 1篇度序列
  • 1篇图论
  • 1篇平面微分系统
  • 1篇自补图
  • 1篇微分
  • 1篇微分系统
  • 1篇惟一性
  • 1篇极限环
  • 1篇补图
  • 1篇粗粒度
  • 1篇存在惟一性
  • 1篇存在性

机构

  • 2篇西安电子科技...
  • 1篇空军工程大学

作者

  • 1篇杨友社
  • 1篇霍红卫
  • 1篇许进

传媒

  • 1篇计算机工程与...
  • 1篇西北大学学报...
  • 1篇陕西师范大学...

年份

  • 2篇2000
  • 1篇1999
3 条 记 录,以下是 1-3
排序方式:
一类平面微分系统极限环的存在惟一性被引量:3
2000年
借助 Poincare切性曲线法、旋转向量理论、环域定理和张芷芬定理对平面微分系统 x=- y+δx +(a +bx)φ(x) ,y=x2 n-1(1 +c2 x2 m) (m,n∈ N )进行全面分析 ,得到其极限环的存在性、惟一性与不存在性的完整结果。
杨友社
关键词:微分系统极限环存在性惟一性
基于关系的最粗粒度划分问题的并行算法
2000年
关系最粗粒度的划分问题 RCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法 ,其中假设标号转移系统中有 m个转移和 n个状态 ,利用 m/nε个CREW处理器算法所需的运行时间为 O( n1+ε) (对于任意固定的 ε<1 )。
霍红卫
2-重自补图论(Ⅰ)——度序列特征被引量:2
1999年
研究了可2-重度序列的基本特征.获得了两个重要结果:(1) 一个2-重图序列是可2-重自补度序列的充要条件;(2) 一个非负整数序列是可2-重自补度序列的充要条件.
许进
关键词:图论自补图度序列
共1页<1>
聚类工具0