1)finitism['fainaitiz?m]有限論
1.Secondly,the finitism advanced by SSK can be seen as a further development of Kuhn s idea about the very importance of examples to paradigm.第一,正是庫恩為科學知識的社會學分析提供了現實的可能性,但由于歷史的局限,庫恩本人卻未能在這一方向上做出實質性的工作;第二,SSK所倡導的"有限論"可以被看成對庫恩關于"范例"對于"范式"特別重要性的具體闡述與進一步發展;第三,盡管庫恩關于范式不可通約性的分析為相對主義進入科學敞開了大門,但后繼的SSK的發展則已清楚地表明科學的發展有著十分光明的前景。
2)finite theory有限理論
1.The ∑_Γ-fuzzy truth degree of formula relative to the finite theory in propositional logic system ■;命題邏輯系統■中公式相對于有限理論的∑_Γ-模糊真度理論
2.The theory of ∑_Γ-fuzzy truth degree being relative to finite theory in logic system L;系統L中公式相對于有限理論的∑_Γ-真度理論
3.The Theory of Σ_Γ-fuzzy Truth Degree Relent to Finite Theory in Propositional Logic System L_n~*;命題邏輯系統L_n~*中公式關于有限理論的Σ_Γ-真度理論
3)finitism['fainaitiz?m]有極限論
英文短句/例句
1.The Foundation of Mathematics--the Hoodwinking Logic-Three Fatal Defects in Present Limit Theory數學基礎—“忽悠邏輯”—現有極限論的三大缺陷
2.The End of the Present Classical Limit Theory in Human Science(Ⅲ);人類科學中現有經典極限論的終結(Ⅲ)
3.The End of the Present Classical Limit Theory in Human Science(II);人類科學中現有經典極限論的終結(Ⅱ)
4.The End of the Present Classical Limit Theory in Human Science(I);人類科學中現有經典極限論的終結(I)
5.The calculation of sequence limit which has a wide application is the main constituent of the limit theory.數列極限的計算是極限理論的重要組成部分,有著廣泛的應用。
6.The Theory and Application of Limit Equilibrium FEM Dijktra Algorithm Related to Rock Slope Engineering;邊坡極限平衡有限元穩定分析的Dijkstra算法的理論及應用
7.Upper bound limit analysis of 3-D structures using finite element method三維結構極限上限分析的有限元方法
8.Solution of Ultimate Load for Slope and Foundation with Finite Element Lower Bound Limit Analysis Method邊坡與地基極限荷載的下限有限元解
9.minimum state finite automaton極小狀態有限自動機
10.limited information maximum likelihood method有限信息極大似然法
11.limited information maximum likelihood有限信息極大似然估計
12.The sky' s the limit.（可能花費的金額）沒有極限。（或： 沒有限制。）
13.Extreme recreation based on the connotation and characteristics of extreme sports;基于極限運動的內涵及特點論“極限休閑”
14.In spite of all its limitations, theoretical analysis of liquid jet and sheet breakup provides much useful information in several limiting cases.盡管有這些限制，液體射流和液膜破裂的理論分析，仍為一些極限情況提供了許多有用的數據。
15.The Axis are equipped with limit-stop and Hardware Emergency stop of traverse.各軸配有極限控制以及硬件沖程極限緊急控制。
16.Research on 3-D Finite Element Plastic Limit Analysis Method;三維有限元塑性極限分析方法的研究
17.The strong limit theorems for finite nonhomogeneous Markov chains;有限非齊次馬爾可夫鏈的強極限定理
18.Finite element analysis on ultimate bearing capacity of high-pile wharf crossbeam高樁碼頭橫梁極限承載力有限元分析
相關短句/例句
finite theory有限理論
1.The ∑_Γ-fuzzy truth degree of formula relative to the finite theory in propositional logic system ■;命題邏輯系統■中公式相對于有限理論的∑_Γ-模糊真度理論
2.The theory of ∑_Γ-fuzzy truth degree being relative to finite theory in logic system L;系統L中公式相對于有限理論的∑_Γ-真度理論
3.The Theory of Σ_Γ-fuzzy Truth Degree Relent to Finite Theory in Propositional Logic System L_n~*;命題邏輯系統L_n~*中公式關于有限理論的Σ_Γ-真度理論
3)finitism['fainaitiz?m]有極限論
4)theory of finite groups有限群論
5)the limited-components theory有限成分論
6)finite element theory有限元理論
1.Taking the calculation of the hanging basket structure of a certain bridge as the research object, this paper introduces the theory of and calculating methods for the structural three-dimensional simulation analysis based on ANSYS finite element theory.以某大橋的掛籃結構計算為研究對象,介紹了基于ANSYS有限元理論的結構三維仿真分析理論和計算方法。
2.On the basis of the primary concepts of thermal conduction and thermal physical property of concrete material, the causes resulting in temperature stress of the concrete structures are analyzed, a compute model for the temperature stress of concrete structures is set up by using the finite element theory, the principles to check of the structure are also given up.本文從混凝土結構的物理性能和熱傳導的基本概念出發，討論了混凝土結構產生溫度應力的原因，應用有限元理論，建立混凝土結構溫度應力的計算模型，提出了混凝土結構開裂的判劇，并用VC和Fortran語言，編制了混凝土溫度裂縫仿真程序，分析了混凝土梁在考慮溫差荷載作用下的應力情況。
延伸閱讀
有限自動機論 自動機論的次級學科，研究存儲量有限的離散數字系統的功能和結構以及兩者的關系。 自動電話交換機、開關網絡和計算機等物理系統是存儲量有限的離散數字系統的實例。有限自動機就是這種有限離散數字系統的抽象數學模型。有限自動機論的主要研究課題是分析和綜合問題：給出一個具體的自動機或實現它的邏輯網絡,分析有限自動機的功能描述;給出有限自動機的功能描述，綜合出能實現此功能的有限自動機，并由此設計出滿足要求的邏輯網絡。具體內容有邏輯網絡實現、狀態化簡、狀態分配、神經網絡、有限接收機和有限自動機的分解等。 發展簡況 1938年美國科學家C.E.仙農等應用布爾代數對繼電路接點電路進行研究，形成了開關網絡理論，為有限自動機論的建立奠定了基礎。電子數字計算機出現以后，由于對計算機進行邏輯設計的需要，開關網絡受到人們普遍重視。50年代中期，美國科學家D.A.赫夫曼和E.F.莫爾各自獨立地研究了時序網絡理論，形成了有限自動機論的雛形。從此有限自動機論得到深入和系統的研究，已成為自動機論中一個較完整、較成熟的理論。 基本內容 有限自動機也稱時序機。有限自動機的數學定義是:由輸入集合X、輸出集合Y、狀態集合Q、狀態函數δ與輸出函數λ組成的抽象系統M(X,Y,Q,δ,λ)，其中 X、Y、Q 都是有限集合，δ和λ分別是Q×X 到 Q 和Q×X到Y上的單值函數。系統對時間來說是離散的,設在某一時刻t時系統處于某狀態q∈Q,如果此時系統的輸入為x∈X，則系統的輸出為y＝λ（q,x），且在時刻t+1時，系統的狀態變為q′=δ（q，x）。例如,一個自動機的輸入集合為X＝｛0,1｝,輸出集合為Y＝｛0，1｝,狀態集合Q＝｛q0,q1,q2｝,其δ,λ函數如表1,表中第i行第j列處的內容是δ(qi，j)/λ(qi，j)。 可以用一個有向圖來描述有限自動機，這個圖叫有限自動機的狀態圖（圖1）。圖中有向弧上的標記為x/λ(q，x)。 上述有限自動機是定義在有限集合X 和Y上,但實際問題往往要求系統能處理集合X 和Y 中元素組成的序列。于是，進一步規定輸入空序列時不改變有限自動機的狀態，輸出也是空序列；輸入非空序列時的狀態和輸出為：依次輸入序列中各元素后最終到達的狀態和輸出。這樣就把函數δ和λ的定義范圍擴大到由X和Y中元素組成的序列集合X*和Y*上。 前面定義的有限自動機,對于所有輸入來說,在給定狀態下都有唯一確定的輸出和下步狀態，因此也稱完全定義的有限自動機，但實際應用中有時也考慮輸出函數δ和狀態函數δ對某些狀態無定義的情形，人們把這種情形下的自動機稱為不完全定義的有限自動機。另外，有時也考慮狀態函數和輸入函數取多值的情形，稱為非確定型有限自動機。為了區別起見，把原定義的有限自動機稱為確定型有限自動機。 邏輯網絡 基本的邏輯元件按是否具有記憶功能，可以分為兩類。一類是組合元件，如各種與、或、非門等，這類元件在時刻t的輸入可以完全決定時刻t的輸出。另一類元件是記憶元件，這類元件的輸出不僅取決于元件的輸入，而且取決于元件當前所處的狀態，元件下一時刻的狀態也由輸入和狀態決定。各種觸發器和延遲器等都屬于記憶元件。把一些基本邏輯元件按一定要求連接起來，就組成邏輯網絡。如果把邏輯網絡中進入記憶元件的輸入線去掉后所得網絡不再含有回路，則稱這樣的網絡為合式網絡。不含記憶元件的合式網絡稱組合網絡。 組合網絡不含記憶元件,所以網絡在時刻t的輸入可以完全決定它在時刻t的輸出。如果組合網絡的輸入是x1，...,xk,輸出是y1,...,yn,其功能可由下面方程組描述 yi＝f(x1,...,xk) (i＝1,2,...,n) 當所有組合元件都是二值元件時，此方程組就是描述組合網絡功能的布爾方程組。在研究組合網絡的分析與綜合時，采用布爾代數或卡諾圖等方法，把這種布爾方程組化簡，設計出結構簡單而又具有同樣功能的組合網絡。 一般邏輯網絡含有記憶元件，其輸出不僅取決于輸入，而且取決于網絡的內部狀態，所以邏輯網絡比組合網絡復雜。但是，任何合式網絡的功能都可以用一個有限自動機來描述;任何一個有限自動機所描述的功能,都可以用合式網絡實現。在工程實現上，要求對于一個給定的有限自動機建立起實現此有限自動機的邏輯網絡，為使建立的邏輯網絡盡可能簡單，人們自然考慮到有限自動機的化簡和狀態賦值等問題。 狀態化簡 在很多實際問題中，要求去掉有限自動機中起同樣作用的狀態，設計出功能相同而狀態最少的系統。這個問題反映在理論上，就是有限自動機的化簡問題。 M1和M2是兩個有限自動機，若它們具有同樣的輸入集合和輸出集合，q1是M1的一個狀態,q2是M2的一個狀態,如果q1和q2對所有的輸入序列都有相同的輸出，則說q1和q2是兩個等價的狀態。這里M1和M2可以是同一自動機，這時就有一個自動機的兩個狀態等價的概念。如果一個有限自動機的任意兩個等價的狀態必是同一狀態，則說這個有限自動機處于最簡形式。如果對于自動機M1的每一個狀態，總有自動機M2的一個狀態與之等價，反之，對于M2的每一狀態，也總有M1的一個狀態與之等價，則說有限自動機M1與M2等價。兩個狀態等價說明兩個狀態具有同樣的功能，兩個自動機等價說明兩個自動機具有同樣的功能。為使系統盡可能簡單，人們當然對等價的最簡形式的自動機感興趣。有限自動機論已經證明：在同構的意義下，任何有限自動機都有與之等價的最簡形式的有限自動機，并且這種最簡形式的有限自動機是唯一的。根據有限自動機論，對給定有限自動機，可有效地求出與之等價的最簡形式的有限自動機。 對于不完全定義的有限自動機，情形則復雜一些。相當于狀態等價與自動機等價的概念，在不完全定義的有限自動機中有狀態覆蓋和有限自動機覆蓋的概念。其他簡問題就是求覆蓋一個不完全定義的有限自動機的狀態最少的完全定義的有限自動機。 狀態分配 組成實際邏輯網絡的基本元件一般是二值元件。要構造具有多個狀態的網絡，就要使用多個基本記憶元件，利用這些記憶元件的各種狀態組合來表示不同的狀態。例如，可用3個二值元件y1、y2、y3來表示具有5個狀態的系統,對每一狀態指定一組代表基本元件狀態組合的編碼（圖2a）。 當然，把y1、y2、y3的編碼分配給每一狀態,可有多種不同的分配方案，圖2b是另外一種分配方案。一般說來，不同的狀態分配導致邏輯網絡具有不同的復雜程度。如何選擇較好的分配方案,使邏輯網絡的構造盡可能地簡單，這種狀態分配問題也是有限自動機研究的主要課題之一。 對于異步邏輯網絡，其狀態分配問題主要是考慮狀態轉換上的穩定性，實現無競爭狀態分配，因而與同步網絡的狀態分配有較大的差別。 神經網絡 1943年W.S.麥克卡洛克和W.比脫斯提出了一個神經系統的模型。根據這個模型，神經系統的基本單位是神經元。每個神經元由細胞體、神經纖維和神經末梢組成，神經纖維是由細胞體發出的一個或數個神經末梢。有限個神經元連接在一起就構成了神經網絡。在連接時，任一神經元的任一神經末梢只能同一個細胞體相接觸。每一神經末梢只能有兩種狀態，即興奮狀態和抑止狀態（圖3）。興奮神經末梢用黑點表示，抑止神經末梢用圓圈表示。這種神經網絡模型是有限自動機的一個實際例子。S.C.克林尼于1951年在麥克卡洛克和比脫斯神經網絡模型的基礎上，提出了正則事件（正則語言）的概念，證明了正則事件是可以被神經網絡或有限自動機表示的事件，而且神經網絡或有限自動機可表示的事件也一定是正則事件。 有限接收機 在形式語言理論中，有限自動機通常作為語言的識別器來使用。這種有限自動機有一個特殊的狀態q0，稱初始狀態。有一個特殊的狀態子集F,稱終止狀態集合。主要研究在初始狀態q0下,輸入字符序列集合X*中的一個字符序列后所引起的狀態轉換，不考慮輸出問題，這種有限自動機也稱作有限接收機。按其下步狀態是否完全確定，有限接收機分為確定型和非確定型兩種，它們分別與確定型和非確定型有限自動機相對應。 若有限接收機M處于初始狀態q0,對確定型有限接收機來說，如果對M輸入字符序列x后,M最終達到的狀態屬于 F，則說M能接收字符序列x。對非確定型接收機來說，輸入字符序列x后,M可達到的狀態是依次輸入x中各個元素后所有可能的狀態集合;如果此集合中有一狀態屬于F，則說M能識別字符序列x。非確定型有限接收機和確定型有限接收機都接收同樣一類語言，即正則語言。 參考書目 C.E.申南，J.麥克卡賽編，陳中基編譯：《自動機研究》，科學出版社，北京，1963。(C.E.Shannon and J.McCarthy，Automata Studies，Princeton Univ.Pr.，Princeton,N.J.,1956.) M. A. Arbib, Theories of Abstract Automata,Prentice Hall, Englewood Cliffs, N.J., 1969.
