位置：成果数据库 > 期刊 > 期刊详情页
基于DISCOVERER的Petri网不变式的自动生成
  • ISSN号：1001-3695
  • 期刊名称：计算机应用研究
  • 时间：0
  • 页码：1320-1322
  • 语言：中文
  • 相关项目：基于计算机代数的嵌入式软件分析与验证方法及工具
作者： 毕忠勤, 单美静, 陈光喜|
同期刊论文项目
基于计算机代数的嵌入式软件分析与验证方法及工具
期刊论文 44 会议论文 28 著作 1
同项目期刊论文
Termination of Linear Programs with Nonlinear Constraints
A Semi-algebraic Approach for asymptotic stability analysis
Termination Analysis of Linear Loops
Reachability Analysis of Rational Eigenvalue Linear Systems
Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems
Automatic Generation of Non-Linear Loop Invariant
零维系统保持重数的零点分解
线性程序的终止性判定
非线性循环的终止性分析
嵌套循环的终止性
非线性循环不变量的自动生成
基于随机矩阵的差分代换算法的完备化
区间上非线性程序的终止性判定
Binary bell polynomials Approach to generalized Nizhnik-Novikov-Veselov equation
基于确定性退火的中文术语语义层次关联研究
相干命题逻辑自然推理系统NR的自动证明
离散修正KdV方程的解析近似解
基于DISCOVERER的Petri网不变式自动生成
空间有理曲线的μ基及曲线隐式化
有理参数曲线的近似恰当化
利用改进的逐次差分代换证明多项式正半定性
Symmetry Analysis of Two Types of （2＋1）-Dimensional Nonlinear Klein-Gorden Equation
Symmetry reduction and exact solutions of the （3＋ 1）-dimensional Zakharov-Kuznetsov equation
Symmetry analysis and explicit solutions of the （3＋1）-dimensional baroclinic potential vorticity equation
Analytic Approximations for Soliton Solutions of Short-Wave Models for Camassa-Holm and Degasperis-Procesi Equations
Backlund Transformations and Explicit Solutions of （2d-1）-Dimensional Barotropic and Quasi-Geostrophic Potential Vorticity Equation
Symmetry and Exact Solutions of （2＋1）-Dimensional Generalized Sasa-Satsuma Equation via a Modified Direct Method
A Note on Nonclassical Symmetries of a Class of Nonlinear Partial Differential Equations and Compatibility
Symmetry Reductions and Exact Solutions of Blaszak-Marciniak Four-Field Lattice Equation
A new four-dimensional chaotic system
期刊信息
  • 《计算机应用研究》
  • 北大核心期刊（2011版）
  • 主管单位:四川省科学技术厅
  • 主办单位:四川省计算机研究院
  • 主编：刘营
  • 地址：成都市成科西路3号
  • 邮编：610041
  • 邮箱：arocmag@163.com
  • 电话：028-85210177 85249567
  • 国际标准刊号：ISSN：1001-3695
  • 国内统一刊号：ISSN：51-1196/TP
  • 邮发代号:62-68
  • 获奖情况:
  • 第二届国家期刊奖百种重点科技期刊,国内计算技术类重点核心期刊,国内外著名数据库收录期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:60049