您的位置： 专家智库 > >

颜锋

作品数：2 被引量：6H指数：1
供职机构：解放军理工大学理学院更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇等价
  • 1篇等价关系
  • 1篇多态
  • 1篇问卷
  • 1篇问卷调查
  • 1篇互模拟
  • 1篇公理
  • 1篇公理化
  • 1篇公理系统
  • 1篇Π演算

机构

  • 2篇解放军理工大...

作者

  • 2篇颜锋
  • 1篇严榴香
  • 1篇谭金锋
  • 1篇田作威

传媒

  • 1篇数学的实践与...
  • 1篇计算机工程与...

年份

  • 1篇2012
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
多态π演算的互模拟等价关系及其公理化被引量：1
2010年
类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。
颜锋田作威严榴香
关键词：多态互模拟公理系统
编序式问卷调查的模糊偏序排序法被引量：5
2012年
讨论了现有的编序式问卷调查排序方法的不足之处;提出了基于模糊偏序关系的编序式问卷调查的排序方法,给出了模糊偏序排序法的数学模型,论证了用模糊偏序关系对编序式问卷调查进行排序是一种较好的方法;并用实例分析了模糊偏序排序法应用于编序式问卷调查的具体操作步骤.
谭金锋颜锋
全选 清除 导出
共1页<1>
聚类工具0