自動變量 的英文怎麼說
中文拼音 [zìdòngbiànliáng]
自動變量
英文
automatic variables-
In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。Second, the starting and stopping behaviors under disturbed condition are analyzed and calculated by using the dynamic concentrative parameter model, which gives some advice to better prescribe refrigeration system and set theoretic foundation for carrying out automatic control of refrigeration system. third, the normal running process is analyzed and calculated by means of rational matching theory, which gives some advice on how to better understand the parameter change under steady state and the affection of inlet - parameter on evaporator. fourth, the simulation software with dynamic characteristic is designed, which can be applied to calculate thernio - parameter of cryogen, air humidity and frost thickness under different initial and boundary conditions, and to carry out dynamic simulation under conditions of dryness, wetness and frostiness, at the same time, to achieve detection and simulation at any stage from starting to stopping
本文的主要內容如下： 1 ）對翅片管蒸發器結構特點進行分析，選取適當的微元控制體，就干、濕和霜工況下對每個微元分別進行傳熱傳質分析，基於經驗關系式確定霜的有關參數，對于霜工況下的霜生長建立模型，經適當假設，運用質量守恆、能量守恆和動量守恆方程建立適合動態模擬的蒸發器數學模型，為系統模擬奠定基礎； 2 ）對蒸發在大擾動下的開、停機過程，運用動態集中參數模型進行分析和計算，為更好地描述製冷系統運行的全過程奠定基礎，同時也為製冷系統實現自動控制提供一定的理論基礎； 3 ）對蒸發器正常運行過程，運用動態分佈參數和參數間定量耦合的觀點來分析和計算，為更好地了解穩態工況下各點參數的變化情況及各入口參數對蒸發器動態特性的影響即蒸發器性能對各參數變化的敏感性； 4 ）編寫翅片管蒸發器動態特性模擬計算程序，可以計算不同邊界條件和初始條件下的製冷劑熱力參數、空氣溫濕度和霜厚度分佈場，實現對翅片管蒸發器在干、濕和霜工況下的動態模擬。In the system, the collimation semiconductor laser - scanned beam scanning two perpendiculars direct of one plane of the measured workpiece at the same time is made. the beams with the dimension information of two perpendiculars direct are processed by the scanning receive system, the high - speed photoelectric transition and electronic data process. two measured results of the diametric directs and ellipse tolerance, etc, parameter, of the turning workpiece on the same plane are obtained by non - contact automatic measurement
在單向激光掃描檢測技術的基礎之上，提出了一種雙向激光掃描檢測系統，其採用激光掃描檢測技術與特殊光學系統相結合，用準直半導體激光掃描光束對被測工件徑向某一截面的兩個相互垂直方向同時掃描，經掃描接收光學系統、高速光電變換、電子學系統和微機數據處理系統，對將攜帶有垂直方向被測量信息的光束進行處理，實現了回轉體工件同一截面兩個垂直方向的徑向尺寸和橢圓度等參數的非接觸自動測量，解決了同時非接觸測量回轉體零件同一截面兩個徑向尺寸的難題，它具有高速，高精度和非接觸自動測量等特點。In this dissertation, through computer simulation, the problems of modeling, control and guidance of auvs are presented. the first part of this dissertation addresses the problem of dynamically modeling of auvs, and derives thrusters " two - dimension nonlinear dynamic model, which has axial flow speed and propeller rotational velocity as two state variables, voltage or current of motor as inputs, and thruster force and torque as output. the second part focuses on the nonlinear adaptive sliding mode control of auvs in diving plane and steering plane
本論文系統研究了自主式水下航行器的建模、非線性自適應滑模控制、以及深度調整和水平面導引方法等問題，具體成果和創新點如下1 、根據流體力學理論，建立了螺旋槳推進器的動態模型，它以螺旋槳來流速度v _ p和螺旋槳轉速n為狀態變量，以電機施加轉矩為輸入，螺旋槳推力t和轉矩q為輸出。The farina press brakes which are equipped with tms, are able to measure without any delay of the bending process, the real thickness of the sheet. this system is totally automatic and updates all of the bending parameters accoring to the new thickness aquired
裝有tms系統的法瑞納的折彎機能夠準確無誤地測量初薄板彎曲加工厚度，全自動系統可根據要求的厚度自動改變參數。Apply computer chip to control the circuit ; omron opto - elecrtonic control - ler and panasonic and mitsubishi inverter have stable performance, high precision, rapid reaction and long life - span ; the controlling plate applies tactile operation board which is handled easily ; vertical structural screen is easy to adjust the vertical printing pressure so as to ensure the quality of printing ; the frame lift is driven by electrical motor and installed with imported linear guide rails, of which the speed - adjust device, scraper and scraping blade can be adjusted within15 to 45 and can be set for many times so as to repeatedly printing with good precision and output, the flat bed is made of 2mm stain - less steel plates which are flat, smooth and indeformable ; it is also equiped with micromatic setting device in order to ensure the precision of multi - color overprint and auto air - intake device to ensure strong adsorption
採用電腦板控制電路，歐姆龍光電控制器，松下，三菱變頻器，行直穩定.精度高，反應快，壽命長，控制面板採用觸摸式操作面板，操作方便，六式結構型網版垂直升降印刷壓力可調保證印刷質量，機架升降採用電機驅動安裝進口直線導軌，刮刀、回墨刀可在15一45角調整，可設置多次，重復印刷保證產品精度.平臺板採用2毫米不銹鋼板製作，平整光滑不變形配有微調裝置，確保多色套印精度，配自動吸氣裝置，確保強有力的吸附。Several regression models, with an independent variable of sea surface geostrophic current, were set up to simulate the real trajectories of drifters
對南海中伴隨渦旋運動的2個浮標模擬試驗顯示，諸多模型中以海表地轉流、風海流及背景流為自變量的回歸模型模擬浮標漂流軌跡效果較好。The influence of the cloud droplet spectrum character and the spectrum growth and change is considered, which does not use a cut - off value for conversion from cloud water into rain water process. in the continuous coalescence equation, the particles fall velocity difference is not moved out from the integral, but is integrated in the equation as the function of diameter d to avoid the error of using particles average fall velocity. in the new scheme, generation rate of graupel due to the collection of snow by graupel and the collection of cloud ice by graupel are included
雲中凝結核ccn的數濃度採用超幾何函數表示；雲水向雨水的自動轉換過程採用grabowski （ 1999 ）的公式，考慮了雲滴譜的特徵和發展變化對該過程的影響，而不是採用原方案給定閾值的方法描述該過程；對連續碰並方程不再將粒子落速差作為常量提出積分號外，而是直接作為粒子直徑函數在積分號內求解，這樣處理可以迴避使用粒子群的平均落速帶來的誤差；增加了霰和雪、霰和冰晶的碰並微物理過程。A. hydraulic pressure adapts constant power variable axial piston pump for energy saving
液壓泵採用恆功率自動變量軸向柱塞泵，以節省能源。Development and application of a variable rate fertilizer applicator for precision agriculture
一種精確農業自動變量施肥技術及其實施Deadlock prevention and surprise dismount handling during this process require heroic efforts, including a mechanism whereby a file system driver can stash a pointer to an automatic variable ( that is, one allocated on the call / return stack ) to be used in deeper layers of recursion within the same thread
在這個過程請求宏大結果的時候， （進行）死鎖預防和意外卸下處理，包括一個機制，憑借這個機制文件系統驅動可以中斷在相同線程中用於深層遞歸的自動變量的指示器（就是說，在調用/返回堆棧上分配一個） 。The factory is an advanced unit in jiangsu quality control, a " good credit standing of contract and honor " unit judged in continuous 8 years, one and only factory under authority with city quality control office in the sane area. our company specially manufactures various kinds of washing equipment such as water cleaning, dry cleaning, ironing, stone - scrubbing, sand - scrubbing, dyeing. they are widely used in various fields such as hostel, restaurant, hospital, train, schools and launeries. especially the automatic speed controlled by frequency conversion washing and dehydrating machine gained the gold reward on ' 97 shanghai international washing and ironing machine exhibition, new model wide ribbon no pressing tracks ironing, leading the advanced level in the same area in china
公司所屬廠系江蘇省質量管理先進單位，連續八年被評為市「重合同守信用單位」 ，是泰州市同行業中唯一受市質檢所監制的廠家，專業生產各類水洗、乾洗、整燙、石磨、沙洗、染色、噴砂等系列設備，廣泛用於紡織、印染、絲綢、服裝、化工、賓館、飯店、醫院、列車段、院校等各種行業，其中全自動變頻懸浮洗脫兩用機獲97年上海國際洗整機械設備及用品博覽會金獎，新型變頻調速無壓痕燙平機在國內同行業中具有領先水平。1 external and static variables are initialized to zero by default. automatic variables for which is no explicit initializer have undefined ( i. e., garbage ) values
外部變量和靜態變量初始的時候默認值為零，自動變量在初始的時候是沒有默認值的。Kernel - mode programs use structured exceptions by establishing exception frames on the same stack that ' s used for argument passing, subroutine calling, and automatic variables
內和模式程序通過在用於沖突經過、子程序調用和自動變量的相同堆棧上建立異常結構來使用結構性異常。An area of memory that contains a last - in - first - out queue of storage for parameters, automatic variables, return addresses, and other information that must be maintained across function calls
一個包含后進先出隊列的內存區域，用來存儲參數、自動變量、返回地址和其他一些必須在函數調用中進行維護的信息。1 dfp flat panel display parts and components diffuser plates, polarizing plates drawing processing work automatic dimension measurement device gs series a product optimized for precision dimension measurement in the sheet metal industry work size : a wide variation available t enable measurement of work pieces ranging from 100 x 100mm to 1500 x 1200mm
下面為以1 fpd平板顯示器零件元件散光板偏光板製造商2切削加工行業3精密金屬薄板加工行業為主的能達到微米級精度的加工製造商介紹一款最適合進行「精密尺寸測量」的商品。尺寸自動測量裝置gs系列：變化豐富，可測定從100100mm .到15001200mm的各種尺寸的工件。Provide automatic test function of fiber diameter, directly observe fiber configuration on screen, and display the actual diameter of all fiber on - time. fast test speed, simple operation, and reduced personal error. automatically compute mean diameter, coefficient of variation and standard deviation of the tested fiber, the tested date can be printed out by excel
提供了纖維直徑自動測量功能，可直接在顯示器上觀察纖維形態，實時顯示每根纖維的實測直徑；測量速度快，操作簡便，減少了人為誤差；可自動計算已測纖維的直徑平均值、變異系統和標準差，測試數據可以excel報表形式列印輸出。According to the features of precision, efficiency, inspection dimension and accuracy varying great range, designed closed - loop control system composition of servomechanism and grating to assure system ’ s precision, smooth, efficiency, and to realize the great dimension range measurement ; designed image capture system composition of ccd, automatic variable power lens and self - adaptive lighting, to realize integration of large inspection precision range ; designed electric control and software system to make the inspection convenience and fast. finally, developed the prototype instrument
針對微電子產品視覺檢測的精密、高效、檢測精度和測量范圍變換大的特點，設計了伺服驅動、精密光柵採集組成閉環控制系統以保證運動精密、平穩、高效，和大的尺寸測量范圍;設計了由ccd攝像機、大范圍自動變倍鏡頭和自適應光源組成的圖像採集系統，集不同精度等級的檢測於一體;設計了電氣控制和軟體系統使檢測方便快捷。An automatic measurement system of transfer function of the interference network is developed, and the anti - interference characteristic of a relay protective equipment is analyzed using this system
5 、提出了一種基於電磁拓撲概念的變電站瞬態電磁干擾機理的系統分析方法。基於該方法，開發了一套傳導干擾網路傳輸函數的自動測量系統。An acronym for auto indexing mass storage. indicates the aims specification which is a standard card interface for storing large data such as image and multimedia files
自動變址大容量存儲器的縮寫。 aims技術規范為大量數據如圖像和多媒體文件存儲提供標準卡介面。分享友人