無窮自動機 的英文怎麼說
中文拼音 [wúqióngzìdòngjī]
無窮自動機
英文
infinite automaton- 無 : 無Ⅰ動詞(沒有) not have; there is not; be without Ⅱ名詞1 (沒有) nothing; nil 2 (姓氏) a surn...
- 窮 : Ⅰ形容詞(貧窮) poor; poverty stricken Ⅱ名詞1 (窮盡) limit; end 2 (姓氏) a surname Ⅲ副詞1 (...
- 自 : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
- 機 : machineengine
- 無窮 : 1. (沒有窮盡; 沒有限度) infinite; endless; boundless; inexhaustible 2. [數學] infinite
-
The cable - strut tensile structures are the self - stress equilibrium systems composed by tensional cables and struts. in this paper, the basic concept of the structures was described. the analysis methods of the structural characteristics ( statically and kinematically determinate or indeterminate ) and the geometrical stability were presented. it is indicated that the cable - strut tensile structures are in stable equilibrium with first - order infinitesimal mechanisms. the ranks of equilibrium matrix were calculated by employing the singular value decomposition, and the independent modes of inextensional mechanisms and the states of self - stress were also obtained in the same way. this paper contains some typical examples which illustrate all of the main points of the work
索桿張力結構是指由張力索和壓桿組成的、具有預應力自平衡的新穎結構體系.本文詳細闡述這種結構的基本概念和結構特徵,討論結構靜動定體系特性和幾何穩定性判定分析方法,指出索桿張力結構應具有一階無窮小機構的幾何穩定體系.文中採用奇異值分解方法計算結構平衡矩陣的秩,並計算獨立機構位移模態和自應力模態.最後,對幾種典型的索桿張力結構進行了算例分析Thus, the pair of lovers could be jarred apart by misunderstood motives, by accident of fate, by jealous rivals, by irate parents, by crafty guardians, by scheming relatives, and so forth and so forth ; they could be reunited by a brave deed of the man lover, by a similar deed of the woman lover, by change of heart in one lover or the other, by forced confession of crafty guardian, scheming relative, or jealous rival, by voluntary confession of same, by discovery of some unguessed secret, by lover storming girl s heart, by lover making long and noble self - sacrifice, and so on, endlessly
比如兩人拆散的原因可以是對對方動機的誤解可以是命運的意外可以是妒忌可以是父母的反對,監護人的狡猾,親戚的干擾,如此等等。兩人的團圓可以是由於男方的英勇行為女方的英勇行為一方的回心轉意狡猾的監護人或蓄意破壞的親戚或情敵被迫承認錯誤某種意外機密的發現男方激動了女方的感情情人做了長期的高貴的自我犧牲,或諸如此類,可以變化無窮。This one - constraint - less property of the kruppa equations is their inherent deficiency and is independent of camera motion. this deficiency is due to their failure of automatic enforcement of the rank - three - ness on the absolute quadric
從而, kruppa方程的獨立個數比基於絕對二次曲面或基於無窮遠平面的自標定方程的獨立個數少1 ,這是源於kruppa方程不能保證絕對二次曲面的秩為3 ,是由kruppa方程自身的特性決定的,而與攝像機的運動無關。Salt industry ’ s prosperity shaped the unique style of the city, gave great motive force for city ’ s development, for which zi gong city was named “ the salt capital ”. but, in recent years, with the salt resources being exhausted and market ’ s shrinking, the city ’ s development gradually has slowed down
鹽業的蓬勃發展給予城市無窮的發展動力,賦予了城市勃勃生機,塑造了城市獨特魅力,成為聞名中外的千年鹽都。但近幾年,隨著鹽鹵資源的逐漸枯竭,市場的萎縮,自貢城市發展逐漸失去了往日的生機與活力。A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率分享友人