自動機規模 的英文怎麼說
中文拼音 [zìdòngjīguīmó]
自動機規模
英文
automata size-
Igts is by means of normalized designing of torpedo ' s main model, standardized and visualized designing of interface, and backing of database technology. the integrated and automatized function of modeling, simulation and statistic comes true in igts
該軟體通過魚雷武器系統主要模型的規范化設計,人機界面的標準化、可視化設計,實現了魚雷武器系統的模擬建模、模擬實驗和模擬結果統計的一體化和自動化。In first productive department of yu xie cigarette manufacture, there are twenty - one british passim 12k cigarette machines, ten germanic protos 90s cigarette machines, twenty germanic compas 500 packing machines, eleven italian gd 2000 hard package, thirty - one linked devices of curled pack, and thirty - one focke sealed machines, in addition, we have built automatic material flow systems which were from korea. the systems are mainly used to transport adjuvant and finished products, and now the enterprise is able to produce millions boxes every year
玉煙生產一部擁有世界一流的英國passim12k卷煙機21臺,德國protos90s卷煙機10臺,德國compas500包裝機20臺,義大利gd2000型硬包機11臺,卷包連接裝置31套, focke封箱機31臺,並建有韓國引進自動物流系統(高架倉庫) ,負責輔料成品輸送,已形成具備年產百萬箱的生產規模。The restriction factors are lack of government and policy support, the small production scale, the low degree of farmer ' s organization, the construction of industrialization management scheme was weak, internal mechanism was needed to be improved, the proportion of breed was inconsequence, low utilization ratio of resource, low research level, behindhand production technique, low science and technology content of produce, trade was lack of self - discipline, competition without orders, low level of marketing and currency, the market system was not healthiness, the scales of leading enterprises were small, so they were short of ability of bringing along others
當前制約菏澤市牡丹產業發展的主要因素是政府行為不規范、支持力度不夠;生產規模普遍較小,農民組織化程度低,產業化經營組織建設還很薄弱,內部機制有待完善;牡丹品種結構不合理,資源利用率低;科研水平低,生產技術落後,產品科技含量低;行業自律性差,無序競爭嚴重;產品營銷、流通水平低,市場體系不健全;龍頭企業弱小,帶動能力不強。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 )改進的二維沙堆自動機所模擬的系統在沙粒暴發頻率對暴發規模的關繫上服從負冪律分佈。Urban development predictions, cellular automata model and transition rules
細胞自動機模型及轉換規則The paper improves the velocity ' s control rules of a first - order microcosmic stochastic traffic cellular automaton model and incorporates it ' s stochasticity as a deceleration parameter in the construction of the fundamental diagram used by a macroscopic first - order continuum traffic model
摘要本文對微觀一維隨機元胞自動機交通流模型的速度控制規則進行了改進,並將其隨機特性轉化為減速參數合併到宏觀一階連續介質理論交通流模型中,重新構建了反映流量密度的交通流基本圖。The paper are investigating several alternatives for example quantum dot cellular automata and single electron transistor to substitute conventional field effect transistors ( fet ’ s ) for ultra large scale integrated circuit ; and i take research on the modeling of single electron transistor and single electron cicuit
基於以上考慮,本文研究一些新的基於量子力學原理的器件如量子點細胞自動機( qca ) 、單電子晶體管( set )取代以fet器件為基礎超大規模集成電路,主要在單電子晶體管建模和單電子電路綜合做了一些研究工作。An approach of learning fuzzy rules based on learning automata arrays
基於學習自動機陣列的模糊規則學習方法A variable time - headway car following model was presented based on time - headway distributing rule in actual traffic and one dimensional cellular automaton modeling theory
摘要依據不間斷車流的車頭時距分佈規律和一維元胞自動機建模理論,提出了一種可變時距跟車模型。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
在此基礎上給出桿系的細胞自動機模型、單元劃分方法、單元特性和演化規? ?則。並列出了該方法的計算步驟。通過數值計算分析,驗證了該方法的正確性,算例表明該方法對結點位移和桿內力收斂速度較快。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
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率Analysis on the evolution of industrial clusters scale based on cellular automaton
基於元胞自動機模型的產業集群規模演化初探The extended finite state automation ( efsa ) is adopted to match pattern written by asl in the thesis. it is also said that the rules are translated into efsa while compiling the rules, the method have high performance in the run time, the pattern matching time is insensitive to the numbers of rules
文中模式匹配採用了擴展的有限狀態自動機( efsa )演算法,也就是在編譯規則的時候將規則轉換成擴展的有限狀態自動機,這個方法提高了運行時執行的效率,使得匹配的時間與規則的多少基本無關。Analyzing the rules and features of the crew scheduling problem in china with emphasis on the experience and measures in manual shift arrangement of civil airlines, consequently proposing the model and methods for automatic scheduling problem ; 2. fulfilling the automatic generation of crew task through algorithm simulation based on the current flight information and shift arrangement rules of hainan airlines ; 3. comparing the simulating result to the practical manual result and testifying the method ’ s feasibility and validity
本文主要作了以下幾個方面的研究工作:一是整理分析了國內機組排班的規則和特點,重點分析了國內某航空公司手工排班的經驗和方法,並在此基礎上提出了實現自動機組任務配對的模型和方法;二是以國內航空公司現行的航班資料和排班準則為基礎,通過演算法的模擬實現,實現了機組任務配對的自動產生;最後是將模擬的結果與實際的手工排班結果進行比較分析,證明此方法是可行並且有效的。This dissertation presents a model for composite event detection based on the framework for large - scale event notification services, discussing the ced based on the event model, time model and observation model, and then presents a ced model based on finite state automata extended with a time model, parameterization and concurrent model. based on the above studies, a dynamically extensible and configurable architecture of distributed event notification service is designed, which is presented based on configuration management and meta - service mechanisms with the ability to customize and extend the subscription, event description, interaction protocol and configuration languages
論文在大規模事件通知服務的通用框架基礎上,分別從事件系統的事件模型、時間模型和觀察模型探討了復合事件的檢測技術,在傳統的有窮狀態自動機基礎上擴充了時間模型、參數化機制和並發模型,提出了一種基於自動機的有效復合事件檢測方法,並將該方法與各種主流方法進行了對比分析。The proposed learning automata model and bidding algorithm need not to know the uncertain information in the marketplace, such as the competitors " biding behaviors, etc., and need not to conduct complicated optimization tasks, therefore it is very easy to implement, and applicable to the dotermination of individual market participant ' s bidding strategy in large scale electricity markets
所提出的學習自動機模型和競價演算法不需知道其餘市場競爭者的競價行為等不確定信息,且不需要進行復雜的優化計算,因而非常容易實現,可適用於實際大規模電力市場中獨立市場成員的競價問題。We make a vital model of cellular automata based on two - dimension. we make tests with this model and get some significant results. this simulating program proves cellular automata can simulate phenomena of life and life - like behavior
我們首先建立了一個具有生命規則的二維細胞自動機模型並作了模擬演示實驗,這個模擬程序說明細胞自動機可在計算機上模擬生命現象或類似於生命的行為。In the thesis, i choose the horizontal and symbiotic industrial cluster basing on the natural resources as the objects to study, and make full use of knowledges from many subjects, including : economy, management, complex science, math, computing simulation, etc. through the idea of " down to up ", i make every individuality ( company ) inside the industrial clusters as a cell ; and choose techological support, labor supply, natural resourses reserve, maket overlay, intermediary service, public foundation, govenment policies as the outside influencing features ; and choose total assets, total production value, output ratio of capital as the indexes of system characters. then, i establish a computing simulation model on the optimal scale of industrial clusters basing on cellular automata model by matlab software, and simulate the shifts of characters of sigle cell according to the changing environments
本文主要以基於自然資源稟賦的水平共生型產業集群為研究對象,綜合應用現代經濟學、管理學、復雜性科學、數學和計算機模擬方法等多學科的知識,吸納「自下而上」的思想,選取技術支撐、勞動力供給、自然資源、市場輻射、中介服務、公共基礎、政府政策七個變量作為集群成長的外部影響因素以及總資產、總產值和資金產出率作為集群的系統特徵指標,以產業集群(系統)內部的個體企業為單位元胞,參照自適應、自組織的自然演化機制模擬單位元胞自身特質受到周邊環境的變化而改變,採用元胞自動機模型和matlab軟體,建立一個基於元胞自動機模型的產業集群規模演化的計算機模擬模型。The establishment of efficient traffic models to reveal fundamental traffic characteristics is an essential requirement in the design, planning and operation of transportation systems. cellular automata ( ca ) are non - liner dynamical system in which space, time and state values are discrete, using simply rules, ca has attained very good results in simulating several complex natural phenomena and physical problem. that enlightens people to simulate traffic flow by ca method. urban major road performs critically on dredging traffic, therefore, it is very necessary to study the control and manage for urban main - road
交通系統的規劃、設計和運作要求有能反映交通現象基本特徵的交通模型。元胞自動機是空間、時間和狀態都離散的非線性的動力學系統,它用簡單的規則在計算機上模擬各種復雜的自然現象和物理現象,並取得了很好的結果,啟發人們用它來模擬交通問題。城市主幹道擔負疏導交通的重要作用,因此對主幹道交通流的控制與管理的研究是非常必要的。Through the analysis of new techniques currently used in tablet pressing and tablet press machine at abroad, it is indicated that the most main development directions in table tpressing technique and machine are seal reliability, modularity, automation and advantage inspection
探索當今國外新的壓片機及壓片技術,闡述密閉性、模塊化、自動化、規模化及先進的檢測技術將是壓片機及壓片技術最主要的發展方向。分享友人