隨機自動機 的英文怎麼說

中文拼音 [suídòng]
隨機自動機 英文
probabilistic automata
  • : Ⅰ動詞1 (跟; 跟隨) follow 2 (順從) comply with; adapt to 3 (任憑; 由著) let (sb do as he li...
  • : machineengine
  • : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
  • 隨機 : random stochasticrandom
  1. Firstly, the random mathematics model of the guidance system is set up, with the random factors such as the seeker, the guidance law, the automatic pilot, the dynamics, the relative kinematics taken into account

    首先進行反輻射無人系統的建模,包括導引頭、制導律、駕駛儀,力學,相對運學等,建模時必須考慮因素的影響。
  2. This thesis studies the law of affecting de - noise result and the selection of the threshold and the wavelet function, the combination of wavelet and fft in the fault diagnosis of turbine - generator sets : by the de - noise anslysis of blocks and sin signals, concludes : to blocks signals, usually adopts soft threshold ; the law of affecting de - noise result is when use wavelet auto - de - noise, with the increasing of decomposed level, the de - noise result becomes worse while the level blow the 3, when the level above 3 and when uses wavelet packet, it is the other way round ; the best de - noise methods of the signal is that uses " dbl " wavelet function, three level, soft and " rigrsure " threshold

    本文研究了分解層數對消噪結果影響的規律和閾值、小波函數的選取,結合小波分析與fft分析診斷汽輪發電組的故障。通過對brocks和sin兩信號的分析,得出:對blocks信號進行分析一般採用軟閾值;分解層數對消噪結果影響的規律為用小波降噪在分解層數小於3時,著分解層數的增加,消噪結果變好,反之,則變差,用小波包降噪時著分解層數的增加,消噪效果變好;適宜選用dbl小波軟rigrsure閾值消噪。
  3. Automatic grinder with pneumatic carriage advance, with multiple angles seat housing knifes. 3 types of grinder wheels. 1 corindon coup bell norton, 1 corindon for vee gouges hss one vee borazon diamond for tantung vee gouges. motor 1. 5 kw at 2800 rpm. net weight make yourselve profesional sharpening, forget about outside vendors

    氣壓控制調節,可以一次性同時磨兩把刀具,可配備3種磨刀石. 1杯型磨具, 1個磨高速鋼刀用磨刀石, 1個磨鎢鋼刀用的金鋼石磨刀具.馬達為1 . 5千瓦,轉速可達2800rpm .凈重為85公斤.可移式工作臺,針對所有專業刀具均可加工
  4. With the modem industrial equipment developing towards enlargement, consecution, super speed and automatization, more and more people pay attention to the failure diagnosis technology of mechanical equipment

    著現代工業生產設備大型化、連續化、高速化和化的不斷發展,械設備的故障診斷技術越來越受到重視。
  5. With the rapid development of the technology of computer and automation, the computer control system is widely used in the manufacture of al electrolysis and the efficiency is improved and the life - span of the electrobath is increased

    著計算化技術的發展,以計算為核心的控制系統已經被廣泛應用於鋁電解生產過程的控制,提高了生產效率、延長了電解槽壽命。
  6. The printed documents are then fed through an automatic inserting machine and enclosed into envelopes

    列印出的文件后投進入信,再放入信封內封口。
  7. With the ever - advancing testing requirement in the checking and controlling field and the development in both the electronical techique area and the computer techquice area, the traditional testing instrument increasing can n ' t meet the demand of the computer time. the traditional instrument is expensive, single - functioned, inadaptable, and low - automationed, and can n ' t conduct comprehensive analysis and evaluation on the system that is examined, which has : a direct effect on the improvement of testing quality as well as the testing standard

    著測控領域不斷提高的測試要求以及電子技術、計算技術的迅猛發展,傳統的測控儀器己越來越不能滿足時代的要求(傳統儀器價格昂貴、功能單一、適應面窄、化程度低,而且不能對被測系統綜合分析和評估,直接影響著測試水平和質量的提高) ,微化、化、柔性化的虛擬儀器系統是當今測控儀器的發展方向。
  8. The first one : fitting together ultimate values of every dimensions in one dimension - chain one by one, educing many equations by itself, calculating results, and comparing these results of close dimension to find maximal and minimal values. the second one : projecting all dimensions on two preestablished axis, then providing the solutions to analyze whether every projected dimensions is increscent or decreasing, and synthesize the effect of every projected dimensions to close dimension, educing many equations by itself, at last calculating the result of close dimension. the third one : according to monte carlo analysis, getting every dimensions " values from every dimensions " tolerances at random time after time, simulating the actual circumstances of mass production using these dimensions, and calculating reasonable results of close dimension economically

    鑒于這類系統在各大中小型企業的廣泛應用與相對滯后的研究水平,本文提出了三種新的能切實地解決目前尺寸鏈計算輔助分析解算中存在的各種難題的設計方案,第一種方案將尺寸鏈中各組成環能取的極值組合起來,列方程組,求解每個組合情況下的封閉環尺寸,最後比較這些結果,得出封閉環的最大最小值;第二種方案將尺寸鏈各組成環向預先設定好的兩個方向投影,之後再分析各尺寸環投影分量的增減性,並且提供了組成環兩個方向上的投影分量增減性不一的復雜情況下的解決辦法,綜合組成環各投影分量的增減性,然後列出方程組,最後根據各組成環的投影分量以及所列的方程組來確定尺寸鏈封閉環的尺寸;第三種方案以蒙特卡洛法為原理,在尺寸鏈各組成環的取值范圍內使用計算產生大量數,模擬實際大批量生產中的零件尺寸分佈情況,以更經濟更合理的方式分析、計算封閉環尺寸。
  9. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮,論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討:全面回顧了「可持續發展」概念的由來與演變,對國內外「可持續發展」的研究現狀進行了述評,並對「可持續發展」概念的科學內涵進行了深入探討;對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述,對目前仍然存在的一些錯誤觀點和混亂認識提出了己的見解;全面闡述了地下水資源變值系統理論的內容和意義,並與傳統的地下水資源計算評價方法進行了對比分析,結合實例具體說明了方法的應用;深入分析了地下水資源預測預報工作的極端重要性和復雜性,對傳統的地下水資源態預測方法進行了全面的評述,指出了各類預測預報方法的特點及適用條件,對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍,以及號稱第五代計算語言的matlab軟體和附帶的小波分析工具箱進行了介紹,並應用於地下水態過程線的分析,採用時間序列中的b ? j法,蒙特卡羅方法,與地下水資源變值系統理論相結合,探討了地下水態資料分析和地下水資源預測預報的新思路;綜合分析了現今各類地下水管理模型的特點及缺陷,將數學規劃、數理統計、過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度,使模型更準確、更實用;對保證地下水資源可持續開發的內部條件和外部條件進行了分析,內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀,科學的資源計算與評價方法,可靠的資源預測預報技術,可操作的資源管理措施,外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  10. This paper reviews the history of research of long - range dependence and self - similarity in data network traffic, introduces the related concepts and discusses the physical interpretation of long - range dependence and self - similarity along with fractional brownian motion. finally, a method for generating fractional brownian motion random series is analyzed

    本文將介紹長程依賴和相似在計算網路研究中的歷史狀況,相關數學概念,給出了基於分數布朗運的計算網路業務流呈現長程依賴和相似屬性的數學和物理解釋,討論分析分數布朗運序列生成方法。
  11. There have some problems, for example, share the data source of all sort of the measurement of equipment, develop new application system quickly, have high stability and maintain convenient, which must be resolved immediately in the measurement and control system now used, because of the widespread and rapidly development of computer technology, constantly development of automatically industry and the fast evolution of soft technology

    著計算技術的迅猛發展和普及,工業化程度的不斷提高,軟體技術的迅速發展,現有的測量與控制系統有一些急待解決問題,如各種測量設備的數據資源的共享,快速開發新應用系統,系統穩定性高,維護方便等。
  12. A contemporary twist on the aristocratic ( and narcissistic ) oil portrait above the mantel, the artwork consists of a motion - activated video camera affixed to a large flat - panel television and a computer, tracking and displaying the movements of whatever passes by : underdressed masters of the house, delivery people, ex - wives

    這件藝術品是把壁爐架上方兼具貴族氣息與戀傾向的油畫肖像進行具當代精神的改造,它包含一臺靠感應作啟的攝影,攝影再與大型平面電視及電腦連接,能追蹤並顯示任何通過鏡頭前方的物體,例如衣著便的屋主、送貨的人、諸位前妻。
  13. Fixed autoboot plugin problem with some configurations. the updated version should fix the issue

    修復一些開啟的製程序的設置。這次升級應該能夠修復此問題。
  14. Touch screen display, automatic memory status and long - term storage

    觸摸屏顯示,記錄設備狀態,長期保存。
  15. Abstract : this paper presents a solved computation method fo r non - stationary random response subjected to excitation based on the theory of vehicle dynamics, launch dynamics and random vibration the dynamic and response characteristics of the selfpropelled gun launching duping travelling are studi ed, which is of value in structural design and practical operation of the system

    文摘:該文以車輛行駛力學和火炮發射力學理論為依據,利用理論,提出了在激勵下非平穩響應的計算方法,並以某行火炮為研究對象,用該方法探討了該系統在路面上作行進間射擊時的力特性和態響應,對該類系統的結構設計和實際應用均有參考價值
  16. Finally, the design scheme of cellular automata image edge detect algorithm and gaussian random number generator algorithm applied in the system is presented, and an extended application scheme of data acquisition by the system is also provided

    在此基礎上,提出了元胞圖像邊緣檢測演算法和高斯數產生演算法在系統中應用的設計方案,並給出了系統應用於數據採集的擴展方案。
  17. Results of these researches indicate that adaptive control can efficiently reduce system ' s influences caused by model ' s uncertainties, stochastic disturbances, and quantified measuring noises. meanwhile, adaptive control can help the steering system acquire excellent performances of power - assisted and portability characteristics ; the suspension system has a good performance of reducing vibration, and can improve dynamical character of a full vehicle

    研究結果表明,適應控制能夠有效解決模型的不確定性、和量測噪聲對系統的影響,使轉向系統具有良好的助力性能和轉向輕便性,懸架系統具有較優的減振性能,從而改善了整車力學性能。
  18. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  19. This paper uses of the actual mechanics form, cantilever bending stiffness is adopted in the mega structure, however shearing stiffness in the sub structure. based on the complex mode theory, this paper gains the expression of dynamical response of the system based the model of municipal no. l building of tokyo city and analyses the affection of the main parameters ( stiffness and damping ) on the two configurations ( sustaining type and hang type ). the results indicate that the rational stiffness of the sub structure can control the deformation of the mega structure perfectly, but the acceleration of the sub structure increases at the same time

    本文採用了更接近實際的力學模型,主結構採用彎曲剛度,子結構採用剪切剛度,利用復模態理論,推導了巨型框架減振結構的力響應表達式,並以日本東京市政一號樓為基本模型,討論了巨型框架減振結構兩種結構形式(座承式和懸掛式)的主要參數(剛度和阻尼)對減振效果的影響,結果表明:與普通巨型框架結構相比,減振結構通過合理選擇子結構剛度,可以較好的控制主結構在順風向脈風作用下的位移響應,從而提高結構的安全性,但與此同時,子結構身的加速度響應也有了一定程度的提高。
  20. As the developing of electronics industry, the power supply in electronic devices developed from linear power supply to smps ( switching mode power supply ). the smps takes more and more important role in electronic industry, and is applied in many field, such as communication, computer, automation, military, industry, agriculture, etc

    著電子行業的不斷發展,電子設備中的電源由最初的線形電源發展到開關電源。開關電源在電子行業中扮演著越來越重要的角色,應用在通訊、計算化、軍事、工業、農業等各個領域。
分享友人