您的位置： 专家智库 > >

吴悦

作品数：3 被引量：5H指数：1
供职机构：中国科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 2篇学位论文
  • 1篇期刊文章

领域

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

主题

  • 2篇仿真
  • 1篇形式化
  • 1篇形式化描述
  • 1篇奇点
  • 1篇子群
  • 1篇稳定子
  • 1篇稳定子群
  • 1篇黎曼面
  • 1篇模空间
  • 1篇仿真系统
  • 1篇复杂仿真系统
  • 1篇PETRI网
  • 1篇N

机构

  • 3篇中国科学技术...
  • 1篇哈尔滨工业大...

作者

  • 3篇吴悦
  • 1篇周二辉
  • 1篇杨明
  • 1篇邵晨曦
  • 1篇白方周
  • 1篇王子才

传媒

  • 1篇系统仿真学报

年份

  • 1篇2020
  • 2篇2006
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种新的Petri网模型建立方法被引量：4
2006年
提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出,由这种方法得到的Petri网是安全可行的。
邵晨曦周二辉吴悦杨明白方周王子才
关键词：PETRI网
黎曼球上n点组的模空间奇点
对黎曼面上n≥5个无序点构成的模空间的奇点的稳定子群进行了分类，并用算法实现了分类。　　Mg，n是亏格为g的紧黎曼面上n个无序点的等价类构成的模空间。众所周知，Mg,n既是一个复轨形，又是一个3g-3+n维不可约拟射影丛...
吴悦
关键词：黎曼面稳定子群
基于定性仿真的复杂仿真系统概念模型验证
复杂仿真系统评估是个动态过程，而复杂仿真系统概念模型评估方法则是评估过程中重要的问题，可以保障复杂仿真系统概念模型能够作为仿真系统开发人员设计和实现复杂仿真系统的重要基础。概念模型是由静态描述与动态描述两部分组成。静态部...
吴悦
关键词：复杂仿真系统形式化描述
文献传递
全选 清除 导出
共1页<1>
聚类工具0