您的位置： 专家智库 > 作者详情>蒋翔宇

蒋翔宇

作品数：5 被引量：7H指数：1
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

题名
作者

文献类型

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

领域

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

主题

  • 2篇互模拟
  • 2篇Π-演算
  • 2篇CCS
  • 2篇并行计算
  • 2篇并行计算模型
  • 1篇数据访问
  • 1篇数据访问接口
  • 1篇数据库
  • 1篇接口
  • 1篇计算机
  • 1篇计算机科学
  • 1篇访问接口
  • 1篇ODBC
  • 1篇VB语言
  • 1篇VISUAL...

机构

  • 4篇上海交通大学

作者

  • 4篇蒋翔宇
  • 1篇傅育熙

传媒

  • 1篇微型机与应用
  • 1篇计算机科学

年份

  • 4篇2000
共 5 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
相关度排序
多态x-演算
2000年
1 引言计算模型是计算机科学研究的重要问题之一。计算机科学家对顺序计算的研究已处于较成熟的阶段,并提出了相应的计算模型,其中尤以λ-演算最为经典。与顺序计算相比,我们对并行计算的认识处于较肤浅的水平。自Milner提出CCS以来,计算机科学家提出了一系列并行与并发计算模型。在这些模型中Milner等人提出的π-演算是较为成熟的。和λ-演算一样。
蒋翔宇傅育熙
关键词：计算机科学
多态χ-演算
在该文中主要对多态χ-演算的代数性质进行了系统、深入的研究.给出了多态χ-演算完整的模型描述.主要工作包括以下几个方面:1、给出多态χ-演算的语法结构;2、给出了多态χ-演算的操作语义,引入了替换操作的概念,并证明了一些...
蒋翔宇
关键词：CCSΠ-演算并行计算模型互模拟
文献传递网络资源链接
Visual Basic中数据访问接口的比较和探讨被引量：7
2000年
对Ｖｉｓｕａｌ Ｂａｓｉｃ中３种不同的数据访问接口进行比较，并提出相互的转化关系。
蒋翔宇
关键词：数据访问接口VB语言数据库ODBC
多态χ-演算
在该文中主要对多态χ-演算的代数性质进行了系统、深入的研究.给出了多态χ-演算完整的模型描述.主要工作包括以下几个方面:1、给出多态χ-演算的语法结构;2、给出了多态χ-演算的操作语义,引入了替换操作的概念,并证明了一些...
蒋翔宇
关键词：CCSΠ-演算并行计算模型互模拟
全选 清除 导出
共1页<1>
聚类工具0