計算自動機 的英文怎麼說
中文拼音 [jìsuànzìdòngjī]
計算自動機
英文
calculating automaton- 計 : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
- 算 : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
- 自 : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
- 機 : machineengine
- 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
-
Finite automata model for one type of dna computing system
計算系統的有限自動機模型Through the experiment, we test its feasibility. 3 、 to solve the insufficiency of the svm method, the thesis proposes another algorithm based on similarity computing for verb subcategorization acquisition, and use two different sentences similarity getting algorithms to the acquisition : vector space model and the algorithm for sentence structure similarity getting that based on word class cluster
3 、針對支持向量機方法在自動獲取性能方面的不足,探索提出了基於相似度計算的動詞次范疇獲取演算法,並分別使用了兩種不同的句子相似度獲取演算法:向量空間模型和基於詞類串句子結構相似度獲取演算法,用於動詞次范疇類獲取。The paper build a model of electric ship power system, include the model of motor and generator derived from simulink, the model of propeller build by the author, the model of load flow. after the process of model simulation, the dynamic curve of electrical ship were drawn out
應用simulink已有的電機模塊,再自行建立螺旋槳的simulink模型,結合數據庫模塊和用戶自定義的s函數模塊,建立了電力推進船的船?機?漿匹配模型,並進行了模擬計算和動態特性模擬,並進行了模擬結果分析。Cnc took over glass cutting, pattern making, electrical discharge machining, steel - mill roll grinding, coordinate measuring, electron beam welding, tube bending, drafting, printed circuit manufacturing, coil winding, functional testing, robots, and many other processes
從玻璃切割、樣式設計、發電機電流負載、鋼廠滾動打磨、坐標測量、電子束焊接、彎管製作、起草方案、印刷電路製造、線圈纏繞、功能檢測到自動機械等許多過程都已由數字計算機控制系統控制完成。1 ranjan d, chang r, hartmanis j. space bounded computations : review and new separation results. theoretical computer science, 1991, 80 : 289 - 302. 2 geffert v. nondeterministic computations in sublogarithmic space and space constructability
交替式下推自動機進入存在狀態,可以在多種可能性中選擇一個可行的而進入萬能狀態時,就協同地對多種可能性進行并行計算,當且僅當所有可能性都可行時,整個計算才是可行的。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
索桿張力結構是指由張力索和壓桿組成的、具有預應力自平衡的新穎結構體系.本文詳細闡述這種結構的基本概念和結構特徵,討論結構靜動定體系特性和幾何穩定性判定分析方法,指出索桿張力結構應具有一階無窮小機構的幾何穩定體系.文中採用奇異值分解方法計算結構平衡矩陣的秩,並計算獨立機構位移模態和自應力模態.最後,對幾種典型的索桿張力結構進行了算例分析And we use statistical computation and relativity analysis for the first time. so we make the conclusion that the simulation system obeys the power - law frequency - area distribution by improved 2 - d ca model. and by relativity analysis we know simulation sequences are long correlative
通過改進的二維沙堆自動機模型的構建和模擬,本文得到了一系列模擬數據,並在此基礎之上,首次通過統計計算和相關性分析,得到如下結論: ( 1 )改進的二維沙堆自動機所模擬的系統在沙粒暴發頻率對暴發規模的關繫上服從負冪律分佈。Based on lotfi a. zadeh ’ s work, mingsheng ying ’ s work and daowen qiu ’ s work, the author proposed two new formal models of computing with words, namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar. the formal model of computing with words is expored and investigated
本文在lotfia . zadeh教授、應明生教授、邱道文教授等人的工作基礎上,提出了詞計算的兩種新的形式模型? ?基於格值有限狀態自動機的詞計算形式模型和基於格值正則文法的詞計算形式模型,對詞計算的形式模型作了進一步研究和探討。The business scope of tiandi science & technology co., ltd. are the product and sale of electricity product, mine electricity products ; the design and contract of underground project, coal cleaned and chosen project, coal comprehensive usage project, environmental protection project and net work project, mine construction and the design of production system, technology promotion, consultation, contract and service of external project
簡介:天地科技股份有限公司主要技術和產品包括:採煤機,掘進機,全礦井綜合自動化系統,計算機軟體技術,礦井提升機自動化控制,煤礦裝車、配煤、計量自動控制系統,液壓支架電液控制系統,液壓支架設計與開發;煤炭洗選設備;煤礦建設項目的設計、咨詢和工程總承包,地下建設施工程,建築物加固技術與材料;煤炭開采,特殊採煤技術,煤礦錨桿支護成套技術與設備,工作面支護技術,綜采工作面自動監測技術。This system integrates visual basic with autocad, microsoft excel and other application software, including such six modules as determination of irrigation parameter, irrigation canal system, drainage canal system, evaluation of engineering cost and economic analysis. depending upon the requirements of irrigation district planning and through man - machine conversations, calculations in design, cross - sectional drawing of canals and printing of design results can be automatically done
本文運用microsoftvisualbasic6 . 0 ( vb6 . 0 )開發了灌區規劃計算機設計系統,該系統集成了vb6 . 0 、 autocad 、 microsoftexcel等應用軟體,充分利用了它們各自的特點,並結合灌區規劃設計的要求,實現了通過人機對話的方式,自動計算、自動繪制斷面圖及列印等功能。The sms representation scheme allows a given specification to be decomposed into an ordered sequence of sub - sms, and attempts to match each sub - sms with one or more stored basic mechanical units. thus, the possible solutions are generated. the data structures, the decomposing and the synthesis algorithm are presented according to the established mathematical models and the data base system
同時,結合關系型數據庫系統對運動方案設計知識庫的組織管理(包括基本變換單元信息的存儲、提取操作及數據流間的復雜關系建立) ,提出了方案設計的綜合求解演算法,實現了在計算機上進行方案設計的可計算自動求解。Based on multiple patterns match algorithm - deterministic finite state automata ( dfsa ), a dfa has been designed, which can identify multiple kind numbers
摘要基於有限自動機的多模式匹配演算法( dfsa演算法) ,設計出同時識別多種數的有限自動機。4. the image explanation is performed by way of advanced information processing technology. the automatic identification techniques of two phase flow regime in the pipe are researched based on image explanation, as well as the calculation model of average concentration and mass flowrate of flowing particles
利用現代信息處理技術進行圖像解釋,研究了基於圖像解釋的兩相管道流流動狀況(流型)的自動機識別技術,以及建立了基於圖像解釋的流動顆粒平均濃度和質量流量的計算模型。Cellular automata ( ca ) is nonlinear dynamical system in which space, time and state values are discrete. by using simply rules, ca has attained very good results in simulating variable complex natural phenomena and physical problems
Ca模型的時間、空間、狀態均為離散的,易於在計算機上進行運算且靈活可調,近年來在對交通流的研究中,元胞自動機模型得到了廣泛的應用。Cellular element method is a new numerical computing method. in this method the integer analysis of structure is changed into a series of part analysis by using the idea of cellular automata. it may have a good future in the aspect of large structure because it hardly have any special request on the capability of computer. simultaneity, it can be developed into a high parallel arithmetic to suit for the request of parallel computer in the future
元胞單元法是新近出現的一種數值計算方法,它引用元胞自動機的思想將有限元對結構的整體分析變成局域求解,對計算機容量要求低,在大型復雜結構的計算方面具有良好的前景,同時可望形成一種高度并行的演算法,適用於未來并行機的要求,是一種富有發展潛力的新的數值方法。Then we also formulate the model of computing with values via lattice - valued finite state automata, as well as the state transition function of the model of computing with words via lattice - valued finite state automata and the language accepted by lattice - valued finite automata
然後,給出了基於格值有限狀態自動機的數值計算的形式模型。同時,建立了輸入是詞的格值有限狀態自動機的轉移函數以及格值有限狀態自動機所接收的語言的定義。Simulation results for non - isothermal flow pass plate have been shown. the spatial correlations in a fluid subjected to an external temperature gradient have been computed by using cellular automata simulations of a simple lattice - gas model with temperature. but, this theory is found limitedly applied to mechanics
並給出了平板非等溫流體繞流流動現象的模擬結果;通過採用一個含有溫度的簡化格子氣模型,用細胞自動機方法,模擬計算了服從于外部溫度梯度的二維流體中的平衡與非平衡空間相關函數,數值結果表明:該方法的計算結果和由漲落流體動力學理論的預言在是性上是完全符合的; bernsdorf等人用ca討論在復雜障礙物情況時的流體流動問題。In the paper the characteristics and dividing methods of cells, as well as some relevant computer programmes are given, which have proved to be correct by several examples of structures of bar system the calculation of the new method is simpler because it need not form the global stiffness matrix that is necessary in fem, and solve the boundary problems of partial differential equations
在此基礎上給出桿系的細胞自動機模型、單元劃分方法、單元特性和演化規? ?則。並列出了該方法的計算步驟。通過數值計算分析,驗證了該方法的正確性,算例表明該方法對結點位移和桿內力收斂速度較快。Cellular automata was applied to solve mechanical problem of plane truss, and the feasibility of which was discussed in this article. the characteristic of cell and the way of dividing cell were studied while presenting a program and its frame chart. the work load of the new method was not much because it neednt form a partial differential set or a general finite element robustness matrix. numerical computing results show that the new method has a rapid speed of convergence to nodal displacement and internal force of element, so it probably has a good prospect in solving solid mechanical problems
嘗試用細胞自動機作平面桁架力學分析,探討了該方法的可行性.給出元胞的劃分方法和特性,列出計算框圖並編制了相應的程序,由於不必形成結構的偏微方程集或有限元的總體剛度矩陣,計算工作量小.算例表明,該方法對結點位移和桿內力的收斂速度均較快,是一種分析固體力學問題有前景的新方法Winfree proved that self - assembling tile systems in a plane are capable of doing universal computation, and when restricted to a line are exactly as powerful as discrete finite automa
Winfree已經證明平面上的片裝配系統能做通用的計算,而線性自裝配模型的計算能力相當于離散的有限自動機。分享友人