目录
約束 (數學)
在數學中，約束是一個最佳化問題的解需要符合的條件。約束可分為等式约束及不等式约束。符合所有約束的解的集合稱為可行集（feasible set）或是候選解（candidate solution）。.
線性無關
在線性代數裡，向量空間的一組元素中，若沒有向量可用有限個其他向量的線性組合所表示，则稱為線--性無關或線--性獨立（linearly independent），反之稱為線性相關（linearly dependent）。例如在三維歐幾里得空間R3的三個向量(1, 0, 0)，(0, 1, 0)和(0, 0, 1)線性無關。但(2, −1, 1)，(1, 0, 1)和(3, −1, 2)線性相關，因為第三個是前兩個的和。.
查看 普法夫約束和線性無關
运动规划
运动规划（Motion Planning）是一个过程，用来寻找从起始状态到目标状态的移动步骤。运动规划常常需要在运动受到约束的条件下找到最优解。运动规划多用于机器人学。 例如，一个清洁机器人在楼层里打扫卫生，它不能撞墙，也不能从楼梯口掉下去。给定一个任务，运动规划算法计算出一个动作序列，告诉机器人前进多少米，然后左转右转多少度。如果机器人要操作物品或者探测未知地形等等，运动规划就变得很复杂了。 除了机器人学，运动规划在计算机游戏里也用来模拟人物或车辆的运动。.
查看 普法夫約束和运动规划
机器人
机器人（Robot）包括一切模拟人类行为或思想與模拟其他生物的机械（如机器狗，机器猫等）。狭义上对机器人的定义还有很多分类法及争议，有些电脑程序甚至也被称为机器人。在当代工业中，機器人指能自動執行任务的人造機器裝置，用以取代或协助人类工作，一般會是機電裝置，由電腦程式或是電子電路控制。 機器人的範圍很廣，可以是自主或是半自主的，可以從本田技研工業的ASIMO或是的等擬人機器人到工业机器人，也包括多台一起動作的，其至是奈米機器人。藉由模仿逼真的外觀及自動化的動作，理想中的高仿真機器人是高级整合控制论、机械电子、计算机与人工智能、材料学和仿生学的产物，目前科学界正在向此方向研究开发。有关机器人的话题，常见于科幻作品中。 機器人學是有關機器人設計、組裝、運作及應用的技術研究，以及控制機器人的電腦系統、感測器回授以及信息處理等。機器人可以代替人類在一些危險的環境或是製造程序中工作，或是在外貌、行為或認知上取代人類。許多機器的概念都來自自然界，因此有仿生機器人學的出現。 在工業時代機械技術提昇後，像自動化設備、遙控甚至無線遙控也日益成熟，電子學的進展成為機器人發展的動力。第一個電子式自動機是於1948年在英國的布里斯托尔由William Grey Walter發明，第一個數位化，由電腦控制的自動機是在1954年由George Devol發明，命名為，後續在1961年賣給奇異電氣，用在紐澤西州的工廠中，用來將壓鑄設備中的熱金屬上移。 機器人可以作一些重複性高或是危險，人類不想做的工作，也可以做一些因為尺寸限制，人類無法作的工作，甚至是像外太空或是深海中，不適人類生存的環境。 社會上對越來越多的機器人及其角色有些疑慮，機器人因為在越來越多方面可以取代人類，因此被認為是增加失業人口的主因之一 。戰爭中使用的機器人也有道德上的疑慮。機器人自主的可能性及其影響是科幻小說的主題之一，以後也可能變成實際會發生的問題。.
查看 普法夫約束和机器人