您的位置: 专家智库 > >

国家自然科学基金(11005054)

作品数:3 被引量:0H指数:0
相关作者:岳园田双亮何安平更多>>
相关机构:西北民族大学兰州大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价性验证
  • 1篇电路
  • 1篇学费
  • 1篇组合电路
  • 1篇逻辑
  • 1篇教育
  • 1篇可满足性
  • 1篇家庭收入
  • 1篇高校学费
  • 1篇高等教育
  • 1篇高校
  • 1篇SHORT-...
  • 1篇CORREL...
  • 1篇ENERGY...
  • 1篇CENTRA...
  • 1篇RAPIDI...

机构

  • 2篇西北民族大学
  • 1篇兰州大学

作者

  • 2篇岳园
  • 1篇何安平
  • 1篇田双亮

传媒

  • 1篇计算机工程与...
  • 1篇西北民族大学...
  • 1篇Chines...

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
3 条 记 录,以下是 1-3
排序方式:
Centrality and energy dependence of rapidity correlation patterns in relativistic heavy ion collisions
2011年
The centrality and energy dependence of rapidity correlation patterns are studied in Au+Au collisions by using AMPT with string melting, RQMD and UrQMD models. The behaviors of the shortrange correlation (SRC) and the long-range correlation (LRC) are presented clearly by two spatial-position dependent correlation patterns. For centrality dependence, UrQMD and RQMD give similar results as those in AMPT, i.e., in most central collisions, the correlation structure is flatter and the correlation range is larger, which indicates a long range rapidity correlation. A long range rapidity correlation showing up in RQMD and UrQMD implies that parton interaction is not the only source of long range rapidity correlations. For energy dependence, AMPT with string melting and RQMD show quite different results. The correlation patterns in RQMD at low collision energies and those in AMPT at high collision energies have similar structures, i.e. a convex curve, while the correlation patterns in RQMD at high collision energies and those in AMPT at low collision energies show flat structures, having no position dependence. Long range rapidity correlation presents itself at high energy and disappears at low energy in RQMD, which also indicates that long range rapidity correlations may come from some trivial effects, rather than the parton interactions.
乐天许明梅吴元芳
关键词:RAPIDITY
基于多元化因素的高校学费定价模型
2012年
文章通过对所收集的国家生均拨款、培养费用、家庭收入等相关数据的分析,建立了基于多元化因素的高校学费定价模型.根据此模型对不同地区、学校、专业和教育层次等多元化因素影响的高校学费标准进行了定量分析.
岳园田双亮
关键词:高等教育家庭收入
使用逻辑锥分割的组合电路等价性验证
2013年
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。
岳园何安平
关键词:等价性验证可满足性
共1页<1>
聚类工具0