不變式（invariant）是1993年公布的數學名詞。
基本介紹
- 中文名：不變式
- 外文名：invariant
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
不變式
相關詞條
- 不變式
不變式（invariant）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 循環不變式
循環不變式是在循環體的每次執行前後均為真的謂詞。循環不變式體現了循環程式中循環變數的變化規律。簡介 在早期程式理論里最重要的不變式是循環不變式。在有關程式正確性證明的早期工作中，Floyd引入了循環不變式的思想。其後，Dijkstra和...
- 相對論[性]不變式
相對論[性]不變式 相對論[性]不變式（relativistic invariant）是2019年公布的物理學名詞。公布時間 2019年，經全國科學技術名詞審定委員會審定發布。出處 《物理學名詞》第一版。
- 基本不變式
基本不變式 基本不變式（basic invariant）是1993年公布的數學名詞。公布時間 1993年經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 阿貝不變式
阿貝不變式是光學公式，在近（傍）軸條件下，光經單球面折射時，有關物理量會滿足下列關係，傳統球面成像公式符號規則為實正虛負，判斷較繁瑣。阿貝不變式採用坐標規則，更方便解決單球面折射。或 其中n、n′分別為物方空間和像方空間...
- 擴展的線性時段不變式的模型檢驗
《擴展的線性時段不變式的模型檢驗》是依託同濟大學，由張苗苗擔任項目負責人的面上項目。中文摘要 擴展的線性時段不變式（ELDI）是時段演算中描述系統區間性質的一類重要公式，然而因ELDI的決策問題在離散和連續時間下是不可判定的，對ELDI...
- 代數不變式論
代數不變式論 代數不變式論（theory of algebraic invariants）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 有限反射群的不變式論
有限反射群的不變式論 《有限反射群的不變式論》是1998年上海交通大學出版社出版的圖書，作者是萬哲先。
- 變式
變式，通過變換同類事物的非本質特徵的表現形式，變更觀察事物的角度和方法，從而突出事物的本質特徵，突出那些隱蔽的本質要素，讓學生在變式中思維，從而掌握事物的本質和規律。簡單解說 變式一是指通過變更對象的非本質特徵以突出對象的本質...
- 變式檢驗
變式檢驗（Variance test）是是指通過變更對象的非本質特徵以突出對象的本質特徵而形成的表現形式。二是指通過變更對象的本質特徵以突出對象的非本質特徵，從而顯示概念的內涵發生了變化。特點 通過變更人們觀察事物的角度或方法，以突出對象...
- 程式循環
循環變式是一個初值不為負的整數表示式，在每次運行循環時循環變式的數值需減少，但在正常的循環運行過程中循環變式的數值不會變成負值。循環變式用來確保循環會結束。 循環不變式是一個和循環有關的判斷式，在第一次進入循環之前，循環...
- 近世代數(抽象代數)
對有限群的不變式具有有限基給出一個構造性證明。她不用消去法而用直接微分法生成微分不變式，在哥廷根大學的就職論文中，討論連續群（李群）下不變式問題，給出諾特定理，把對稱性、不變性和物理的守恆律聯繫在一起。1920~1927年間她...
- 契約式設計
契約式設計或者Design by Contract (DbC)是一種設計計算機軟體的方法。這種方法要求軟體設計者為軟體組件定義正式的，精確的並且可驗證的接口，這樣，為傳統的抽象數據類型又增加了先驗條件、後驗條件和不變式。這種方法的名字里用到的“...
- 緩衝器
不變式 標記、位置、限制和容量值遵守以下不變式：0 清除反轉重繞 除了訪問位置、限制、容量值的方法以及做標記和重置的方法外，此類還定義了以下可對緩衝區進行的操作：clear()使緩衝區為一系列新的通道讀取或相對放置操作做好準備：它...
- 抽象代數(研究各種抽象的公理化代數系統的數學學科)
1907 ~ 1919年，她主要研究代數不變式及微分不變式。她在博士論文中給出三元四次型的不變式的完全組。還解決了有理函式域的有限有理基的存在問題。對有限群的不變式具有有限基給出一個構造性證明。她不用消去法而用直接微分法生成...
- 程式正確性證明方法
本書在前人研究的基礎上，利用符號計算的思想和方法研究了程式驗證領域的三個基本問題：循環不變式生成、程式終止性分析以及前置條件生成。本書主要研究了多項式循環程式的不變式生成問題。首次將有限點集消去理想的思想和方法套用於多項式循環...
- 機構運動微分幾何學分析與綜合(2015年機械工業出版社出版的圖書)_百度...
第1、3章的前面簡單概述微分幾何學基礎知識，在第3章以微分幾何學方法討論了機構中幾種常見約束曲線與約束曲面的不變數與不變式。第1、4、6章分別為剛體平面、球面和空間運動微分幾何學，以已知剛體運動參考點（線）軌跡曲線（曲面）的...
- 廣義協變導數與平坦時空的協變形式不變性
6.2協變微分不變式 6.3有潛在物理意義的協變微分不變式 6.4協變微分變換群 6.5協變微分變換群的諸等價形式 6.6度量張量的協變導數計算式 6.7廣義協變導數的協變性 6.8Eddington張量的協變導數計算式 6.9度量張量行列式及其...
- 先決條件
這種方法要求軟體設計者為軟體組件定義正式的，精確的並且可驗證的接口，這樣，為傳統的抽象數據類型又增加了先驗條件、後驗條件和不變式。這種方法的名字里用到的“契約”或者說“契約”是一種比喻，因為它和商業契約的情況有點類似。因...
- 晶格動力學理論
23 無限晶格模型與普遍性不變式 24 晶格波 25 均勻形變法的失效與長波法 26 長波聲學振動 27 非離子晶體的彈性常數 28 平衡條件（零應力）和其他不變式 29 中心力 30 偶極晶格中的庫侖場——埃瓦爾德方法和巨觀場的分離 31 離子...
