隨機正文生成 的英文怎麼說

中文拼音 [suíjīzhēngwénshēngchéng]
隨機正文生成 英文
random text generation
  • 隨 : Ⅰ動詞1 （跟; 跟隨） follow 2 （順從） comply with; adapt to 3 （任憑; 由著） let （sb do as he li...
  • 機 : machineengine
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 文 : Ⅰ名詞1 （字） character; script; writing 2 （文字） language 3 （文章） literary composition; wri...
  • 生 : Ⅰ動詞1 （生育; 生殖） give birth to; bear 2 （出生） be born 3 （生長） grow 4 （生存; 活） live;...
  • 成 : Ⅰ動詞1 （完成; 成功） accomplish; succeed 2 （成為; 變為） become; turn into 3 （成全） help comp...
  • 隨機 : random stochasticrandom
  • 正文 : main body; text
  • 生成 : create; generate; produce生成演算法 generating algorithm; 生成文法 generating grammar; 生成物 pro...
  1. As iso9000 system evolved in different historical period, the first edition ( 1987 ), the second edition ( 1994 ) and the latest one, the third edition ( 2000 ) of that were constantly updated and upgraded. the latest edition of 1s09000 system not only fully embodied the eight principles of quality management, which were generally recognized and accepted by quality control circles in the world, with the china ' s successfully admission to wto membership, as an evaluating rule to measure the level of an enterprise quality management, iso9000 system under constant evolution for excellence will surely give an impulse to enterprise to perfect their quality strategy so as to satisfy the need of market under the new situation. only by equipping proper concept of quality value and quality culture, develop quality strateg ) suitable to new market rule and international economy situation, our enterprise can elevate the comprehensive competitive strength by continuously quality improvement, that will pave a way for enterprises in 21s1 century to survive permanently

    隨著iso9000系列標準在不同歷史時期的演變，第一版（ 1987年） 、第二版（ 1994年）及最新的第三版（ 2000版）的iso9000系列標準得到不斷修訂和調整，最新版的iso9000標準充分體現了當今世界上質量界最普遍接受和認同的質量管理八項原則，隨著2001年12月我國加入wto的契機， iso9000系列標準作為企業質量管理水平的評價準則，它的不斷進化必然促使企業不斷調整質量戰略來滿足新形勢下的市場要求，只有建立正確的質量價值觀並注重培育企業的質量文化，制訂適應于新的市場運作規則利國際市場環境的質量戰略，才能使我國企業通過不斷提高質量管理的水平，來提升企業的綜合競爭實力，這已成為二十一世紀企業的長久生存之道。
  2. In this paper i calculate the reasonable possession quantity of port handling machineries with chance - constrained linear programming. first in the paper is the background and meaning of this research ; then analysis present situation of port machinery management both in practice and theory ; in chapter 3, i qualitatively discusses characters influencing machinery quantity, which include lifting ton, intact rate and using rate, age of machinery, machinery purchase and working cost and so on. in chapter 4, i take the influencing characters to mathematic model of chance - constrained linear programming, aiming to maintain the need of production and reduce machinery cost

    文章首先介紹了選題的背景、意義以及主要工作；第2章介紹了港口機械管理在港口企業管理中的地位與作用，以及我國港口機械設備管理與配置現狀，並簡要介紹目前港機合理擁有量的理論研究方法；第3章從技術與經濟角度定性分析了各種因素對港機擁有量的影響，其中主要包括機械起運量、完好率與利用率、機械設備役齡、購置與營運成本等；第4章將各種影響因素引入模犁，提出以完成生產任務、機械成本最低為目標，應用隨機線性規劃模型計算港口流動機械合理擁有量的方法；第5章以大連港大港區為例對模型進行應用，選擇四種型號叉車為研究對象，對其歷史經濟與技術數據進行統計分析，其中重點對隨機變量單位臺時維修費用進行了正態分佈擬合。
  3. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
分享友人
分享到 Line

分享到臉書