多态X—演算

来源 :计算机科学 | 被引量 : 0次 | 上传用户:kk666
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 1 引言计算模型是计算机科学研究的重要问题之一。计算机科学家对顺序计算的研究已处于较成熟的阶段,并提出了相应的计算模型,其中尤以λ-演算最为经典。与顺序计算相比,我们对并行计算的认识处于较肤浅的水平。自Milner提出CCS以来,计算机科学家提出了一系列并行与并发计算模型。在这些模型中Milner等人提出的π-演算是较为成熟的。和λ-演算一样,π-演
其他文献
针对水动力参数非线性导致直驱式波浪发电系统控制效果不佳问题,文章采用混沌飞蛾捕焰优化控制算法解决。该算法初期引入具有非周期性和遍历性的混沌算子,采用多精英组合的直
在发酵温度为35℃和原料干物质(TS计)质量固定的条件下,研究了淘米水的投加对花生渣厌氧发酵过程中有机质溶出的影响。试验设置淘米水与花生渣干物质比(TS)分别为1∶0(1#),1∶1(2#),1
针对光储交流微电网,考虑光伏阵列、蓄电池和负荷之间的多种能量供需情况,提出了一种孤岛运行模式下的能量管理协调控制策略。该控制策略采用主从控制方式,作为主源的蓄电池
针对含双馈风机的配电网无功优化问题,采用拉丁超立方采样和场景削减技术,得到多场景下的风速及场景概率。根据风速获得风机有功功率,并结合转子侧最大电流限制条件确定无功
在低速风洞中对两种非对称翼型(3734和GOE382)小型垂直轴风力机的自启动性能和功率输出性能进行了测试,研究了叶片数和来流风速对两种翼型的风力机性能的影响。结果显示,非对
针对兆瓦级风力发电机在实际工作中叶片根部载荷大、强度高、对空气利用效率低等问题进行研究。结合叶素-动量理论和普朗特叶尖损失因子修正方法,设计了一个额定功率为5 MW的
为了减少太阳墙的换热损失,提高其集热效率,文章提出了一种扰流板式太阳墙,并对普通太阳墙和扰流板式太阳墙进行数值模拟。研究结果表明:典型工况下,扰流板式太阳墙的平均集热
文章以ZSM-5分子筛为催化剂,采用Py-GC/MS反应装置研究不同反应条件(热解温度和热解时间)下杨木粉催化热解制备芳香烃类化合物的反应性能,并重点分析芳香烃化合物的组成及其产
风电机组减载运行可以保障系统拥有充足的一次备用容量,增强系统的一次调频能力。文章考虑了风电参与一次调频对常规发电机组组合的影响,以风电弃风减载量最少和常规发电机组
针对电动汽车快速充电和动力电池换电功率大,造成变流器不均流问题,文章提出群系统一致性策略对群充电桩进行协同控制。考虑充电桩节点间的通信拓扑和信息交互权值以及有充电