在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算...

在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算（英语：Calculus of communicating systems）的基础上设计而成。...

theory）框架和并发系统的实际实现（英语：Actor model implementation）基础。演员模型和其他类似工作的关系讨论可见于演员模型和进程演算（英语：actor model and process calculi）。 演员模型推崇的哲学是“一切皆是演员”，这与面向对象编程的“一切皆是对象”类似。...

在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。C...

在计算中，通道（channel）是通过消息传递进行进程间通信和同步的编程模型。作为一个流，消息可以经由通道发送，另一个进程或线程能够接收它已经引用的经由通道发送的消息。通道的不同实现，可以没有缓冲区也可以有缓冲区，消息传递相应的可以是同步的也可以是异步的。 通道是并发的进程演算方式的基础，并起源于通信顺序进程...

幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群（英语：Trace monoid）和歷史幺半群（英语：History monoid）則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題（英语：Star height problem）。 幺半群是一個帶有二元運算...

a表达式书写的一个简单函数。需要支持适当尾调用，因为在续体传递风格下没有函数会返回，所有调用都是尾调用。 续体被用于计算模型，包括λ演算、指称语义、演员模型和进程演算。这些模型仰仗于编程者或语义工程师书写数学函数时采用“续体传递风格”（continuation-passing...

为了公平地调度进程，循环调度程序通常采用分时机制，为每个作业分配一个时间片或时间量 （CPU 时间），如果用完这一分配的时间还没有完成，则中断该进程。下次为该进程分配时间时，该进程将恢复执行。如果进程在其时间片内终止或将其状态更改为等待（或阻塞），则调度程序会选择就绪队列中的第一个进程来执行。...

next，縮寫：SJN），也称为最短进程优先，是一个调度策略，从等待运行的进程中选择执行时间最短的那个来运行。SJN是一个non-preemptive算法。最短剩余时间是用来控制SJN的变量。 最短任务优先有一些优点，比如简单，并且这种策略减小了所有进程的平均运行时间。 然而，它的缺点是，如果不断地有新的短期进程...

并发性（concurrency）是系统的一种性质，这类系统可以同时执行多个可能互相交互的计算。一些数学模型，如Petri网、进程演算和PRAM模型，被建立以用于通用并发计算。分布式系统将并发性的思想扩展到了多台由网络连接的计算机。同一分布式系统中的计算机拥有自己的私有内存，它们之间经常交换信息以达到一个共同的目的。...

nt可重定目标occam编译器（KRoC（英语：KRoC））的后期版本所实现的occam变体的共用名字。这个名字反映了将π-演算运算介入到occam，特别是涉及到移动主体（进程）和数据的概念。 Handel-C 并发编程语言 occam 2.1 Reference Manual (PDF). SGS-Thomson...

先进先出算法（英語：first in, first out，简称 FIFO）是一種計算機科學的排程演算法。它描述了一個佇列所使用的先到先得服務方式：先進入佇列的工作將先被完成，之後進來的則必須稍候。 一個C++語言的範例 #include <iostream> #include <stdexcept>...

ISBN 9787301135488 （中文（中国大陆））. 经过20世纪60-70年代的大发展，量子场论已经不仅仅是一门深奥的学间，而更像是一种精湛的技艺，每一套精细纤巧而且专门的演算技巧，都可以写成篇幅浩瀚的专门著作。现在量子场论的教科书也是林林总总，信手数来就有数十种。书也越写越厚，往往使初学者望而却步... Weinberg的书是三卷本大部头...

这个开放问题在1990年代随着博弈语义和涉及逻辑关系的技术的发展基本解决了。 详情请参见PCF语言。 把一个程序语言转换成另一个语言经常是有用的。例如一个并发编程语言可被转换成进程演算；高级编程语言可以被转换成字节码(实际上，常规指称语义可以被看作把编程语言解释成域的范畴的内部语言)。 在这个语境中，来自指称语义的概念，不如完全抽象，有助于满足安全关注。...

银行家算法（英語：Banker's Algorithm）是一个避免死锁的著名算法，是由荷蘭計算機科學家艾兹赫尔·戴克斯特拉在1965年为T.H.E作業系統设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。 在银行中，客户申请贷款的数量是有限的，每个客户在第一次申请贷款时要声明完成该项目所...

並無異樣而另一幅則顯示大壩有扭曲變形的情況。7月初，已引发中国大陆舆论关注。其後三峽集團澄清，指Google衛星圖並非由衛星直接拍攝，而是基於一系列演算法處理形成，因此在顯示某些場景時會出現偏差，更表示大壩運行正常。出现扭曲狀況图拍摄于2018年2月23日，而Google地球2018年9月拍摄的另一...

节点v的那条边的起始节点。这一过程一直进行到已发现从源节点可达的所有节点为止。如果还存在未被发现的节点，则选择其中一个作为源节点并重复以上过程，整个进程反复进行直到所有节点都被访问为止。这种算法不会根据图的结构等信息调整执行策略[來源請求]。 深度优先搜索是图论中的经典算法，利用深度优先搜索算法可以...

立方的八个顶点分别对应各自的类型系统，简单类型lambda演算位于表达能力最低的顶点上，而构造演算（calculus of constructions）则位于表达能力最强的顶点上。 一阶依赖类型 λ Π {\displaystyle \lambda \Pi } ，对应于逻辑框架 LF，是通过把简单类型lambda演算的函数空间一般化为依赖乘积类型而获得的。...

可見的加強裝甲和右手上的內建雙管雷射砲。此機器人的設計包含若干標準戰鬥機器人的零件，訊號接收器和感知單元位於胸部的裝甲下，而較高的重心由程式化的動作演算法加以平衡。 不過超級戰鬥機器人依然只有著相當初步的程式化並缺乏組織攻擊的能力，至少在戰鬥中可以全速奔跑投入作戰。此機器人除了內建的武器，也能以有限...

與比利·片桐為舊識，在雷夫·埃夫曼教授指導下一起攻讀碩士學位。但盡力向比利隱瞞自己身為天上人一員的事實。 官方外傳中表示，皇·李·諾瑞加擁有天人組織量子型演算系統Veda的等級四的讀取權限，比之高達使者的第三級還要高一級。 第二季介紹： 有感於自己的戰術預報無力改變世界而令酗酒問題惡化，2年間居於比利·片桐家中。...

演算與高階函數等等。Erlang函数大致寫法如下，以整數階乘模組为例： -module(fact). -export([fac/1]). fac(N) when N > 1 -> N * fac(N-1); fac(1) -> 1. 以下是快速排序演算法的Erlang實作： %%...

德克爾於1958年獲得阿姆斯特丹大學博士學位。他的論文題目是《集合與空間的矛盾分解》。 德克爾發明了一種演算法，允許兩個進程在不發生衝突的情況下共享單次使用的資源，只使用共享記憶體進行通信，這種演算法被命名為德克爾演算法（英语：Dekker's algorithm）。 In memoriam Dirk Dekker (1927-2021)...

Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛...

于函数或算子上——求值策略定义何时和以何种次序求值给函数的实际参数，什么时候把它们代换入函数，和代换以何种形式发生。经常使用用来研究函数的形式系统λ演算来建模求值策略，这里它们通常叫做归约策略。求值策略分为两大基本类，严格的和非严格的，基于如何处理给函数的实际参数。一个语言可以组合多种求值策略；例如...

，並影響其後的明朝。宋代時發明的火藥、印刷術、指南針、製瓷器技術、針灸醫術傳入阿拉伯世界，再輾轉輸往歐洲地區；在南宋中期則由阿拉伯世界傳入數學的「筆演算法」及「阿拉伯數字」。女真人建立的金與蒙古人建立的元亦將「胡樂番曲」帶入中國，形成詩與詞的變化文學體裁——曲。...

演算是这种范型最重要的基础，λ演算的函数可以接受函数作为输入參數和输出返回值。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。 阿隆佐·邱奇在1930年代开发的λ演算，是建造自函数应用（英语：Function...

是由於国际象棋目標明確，只要殺死國王即可（係出同源的象棋、將棋狀況也差不多），因此演算法較為簡單；但圍棋目標不一定需要圍殺對方棋子，每一步有數百種以上的走法，黃庭堅有詩：「心似蛛絲游碧落，身如蜩甲化枯枝。」，因此演算法的困難度明顯要高得多。 在宋代的《梦溪笔谈》中探討了圍棋的局數變化數目，作者沈括...

Reynolds）（和后来的Jean-Yves Girard（英语：Jean-Yves Girard））正式的将这种多态概念发展为对lambda演算的扩展（叫做多态lambda演算或系统F）。任何参数多态函数都必然在能做什么上受到限制，工作在数据的形状而不是它的值之上，这导致了parametricity（英语：parametricity）的概念。...

C语言中，把内存地址的底层细节实化为指针。例如：char* buffer = (char*) 0xB800000; 基于λ演算的函数式程序设计语言，把过程抽象（procedure abstraction）与过程应用（procedure application）的概念实化为λ表达式。...

可能推斷出客戶把封包傳送至哪個目的地。LASTor於2012年發表了一篇論文，當中提出如何預測處於上述兩條路徑的自治系统的方法，並建議如何在路徑選擇演算法中避免選擇由同一個自治系统管轄的路徑。在這篇論文中，作者們也以選擇較短路徑的方式來改善延遲性。 瑞典安全顧問丹·艾格斯塔德（Dan...

己需要的一種動作。輸入的事件可以放進事件迴圈或者是經由已經註冊的中斷處理器來與硬體事件互動；而許多的軟體系統使用了混和這兩種技術的處理。預先設計好的演算法確定了一件事，那就是當他們被需要的時候，就會在適當的時機被觸發。也因此提供了一個模擬中斷驅動環境（interrupt driven...