元組變元 的英文怎麼說

中文拼音 [yuánzǔbiànyuán]
元組變元 英文
tuple variable
  • 組 : Ⅰ名詞1 （由不多的人員組成的單位） group 2 （姓氏） a surname Ⅱ動詞（組織） organize; form Ⅲ量詞（...
  1. 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是轉換的集合。
  2. ( 3 ) the left - linear and right - linear recursive transformation and traditional magic transformation are contrasted with the factorizing magic transformation. afterward, the cost of tuple id is analyzed in factorizing magic transformation. based on the analysis two further optimization methods were put forward

    （ 3 ）把分解的魔集轉換分別與左、右線性遞歸變換和傳統的魔集轉換做了分析對比，並對分解的魔集轉換中引入的元組id號帶來的開銷做了分析。
  3. Scripts whose characters change shape depending on their position, or when combined with other characters, such as arabic, indic, and thai characters

    腳本的字元根據其位置或在與其他字元組合時改變形狀，如阿拉伯語、印度語和泰語字元。
  4. Handling of long fields. returns number of bytes to variables. 0 means passthru

    處理long類型的欄位。返回變量的位元組數， 0代表通過（
  5. Ultramafic rock fragments, which almost is altered to ophite, distributed in structural zone and displayed structural lens. so far, 9 fragments were discovered and mapped in nujinshan and bujing area ultramafic rock can be divided two kinds according to it ' s geochemical characteristics. one can be correlated with metaperidotite, which represented residual part that primary pyrolite underwent moderate partial melting, from some representative ophiolite melange in the world

    按超鎂鐵巖類的地球化學特徵可將其劃分為兩類：一類具有較高而穩定的mgo 、較低的al _ 2o _ 3 、極低的cao ， m f值為8 . 0 ? 8 . 4 ，按標準礦物組合進行分類可定為方輝橄欖巖，且均為fa _ （ 100 ） 、 en _ （ 100 ）的鎂質端元組分；可與世界上一些典型的蛇綠巖套中變質橄欖巖進行對比，代表了原始地幔中等部分熔融作用后殘余物。
  6. One gigabyte one billion bytes. one terabyte one trillion bytes. total accessible capacity varies depending on operating environment

    1 gigabyte gb 10億位元組總的可訪問容量的變化是根據操作環境的變化而變化的。
  7. Taking it for example that zhujiabaobao section of panzhihua vanadic titano - magnetite deposit, the paper detailedly analysed its change regularity in ore texture and structure, mineral composition and content, ore chemical composition, mineral chemical composition, rare element " s change feature of rock and ore, exploding temperature of mineral inclusion. on the basis of above, the feature of rhythmic texture of ore body in panzhihua vanadic titano - magnetite deposit was researched

    本文以攀枝花釩鈦磁鐵礦朱家包包礦段為例，詳細分析了該礦段中礦石組構、礦物成分及含量、礦石化學成分、礦物化學成分、巖石及礦石稀土元素變化特徵、礦物包裹體爆裂溫度等的變化規律，進而研究了攀枝花釩鈦磁鐵礦礦體中的韻律結構特徵。
  8. Through researching the rhythmic change regularity of ore texture and structure, mineral composition and content, rare element " s change feature and the exploding temperature of mineral inclusion, combining the theory of magmatic ore - forming, the forming process of panzhihua vanadic titano - magnetite deposit could be divided into four periods : rock - forming period, main ore - forming period, hydrothermal period and surficial processing period

    通過對礦石組構、礦物成分及含量、稀土元素變化特徵、礦物包裹體爆裂溫度的韻律式變化規律的研究，結合巖漿成礦理論，將攀枝花釩鈦磁鐵礦礦床的形成過程劃分為四個期：成巖期、主成礦期、熱液期、表生期。
  9. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  10. Based on the distinction of monetary effect and efficiency and taken the monthly data of 1999. 12 - 2006. 6 as sample, this paper studies the relations of integrated variables with the method of canonical correlation analysis, empirically tests the combined transmission efficiency of monetary policy based on multicomponent reaction models, and finally it indicates that, in the sample range, monetary operation tools married up better, the holistic transmission efficiency is relatively high, while there exists efficiency derogation in external transmission system, but also a big space of promotion

    摘要在區分貨幣政策效果和效率的基礎上，本文以1999年12月2006年6月的數據為樣本，藉助典型相關分析，對貨幣政策傳導中同屬性變量進行整組壓縮，研究整組變量間的關系，並結合交互影響的多元反饋模型，對我國貨幣政策傳導的綜合效率進行了檢驗，得出結論：樣本區間內，貨幣政策工具實現了良好的配合，整體傳導效率高，外部傳導存在著效率減損，但有很大提升空間。
  11. Through analysising the characteristics of the power system with floating neutral point deeply, the paper puts forward a new plan of single - phase to ground fault line selection on the base of s ' s signal injecton method and gives the hardware and software design. in this design, the high speed sampling and data processing is carried out through using dsp processor ; the large electrice current is drived through the application of a high - performance audio power amplifier and transformer ; the communication between host computer and detectors is realized through rs485 bus technology ; the difference multilevel frequency - selected amplifier is designed and the feeble signal of space is sampled on the base of the theory of magnetic induction ; the interface between dsp and exterior chip and rs485 interface logical is designed through using fpga ; the using of lcd module and keyboard interfacing chip makes the interface between human and machine ; the programme of host computer and detectors is designed through using blocking design method

    在本設計中，採用高速的dsp處理器，實現了對故障特徵信息的高速採集與處理;採用大功率的功放晶元與變壓器配合的方法，實現了大電流信號的驅動輸出;採用485總線技術，組建了裝置主機與多探測器之間的主從式通訊網路，實現了多干擾條件下裝置主機與多探測器的可靠通訊;設計了差分式多級選頻放大電路，採用磁感應的方法實現了對空間微弱信號的接收;利用fpga技術，實現了控制器與多外設的介面及數字信號的串並轉換;採用了先進的lcd液晶顯示模塊及鍵盤介面晶元，設計了人機信息交互的介面;採用了模塊化的軟體設計方法，開發了裝置主機及探測器的軟體程序。
  12. First we give the conception of multimedia - instance model, which consist of 7 - tuple mi ( s, f, a, a, fi, sv, fj ' 9, where s is a set of states, which captures a certain structure to store information. f is a set of features, which presents pieces of information of given states, a is a map from sto 2 ". a " is a set of feature - state relations on 2f xs, which reflects the relation between characteristics of state, fi is a set of relations defined on s. which reflects the relation between states

    我們首先定義媒體實例的概念，該媒體實例為7元組mi =口，幾且， o ，盡sv ， 919其中， s是一個狀態集，一個狀態捕獲一個確定的用於存儲信息的結構； f是一個特徵集，一個特徵反映給定狀態中一則有意義的信息；允： s 2 ?是一個從狀態到特徵冪集的映射，反映一個給定狀態中所具有的特徵； "是一個在2 ? s上的關系集，它反映狀態中特徵之間的關系；膽是一個在s上的關系集，反映狀態之間的關系； sv是一個狀態變量集； fv是一個特徵變量集。
  13. Some of the areas that can require special attention are interprocess communication, packaging, intersystem communication client - server between aix and linux or solaris and linux, persistent storage because of endian - ness, data - exchange formats, and so on

    需要特別注意的方面包括進程間通信、打包、系統間通信（ aix與linux ，或者solaris與linux之間的客戶機-服務器） 、一致存儲（出於位元組次序的因素） 、數據變換格式，等等。
  14. Presents the system established by taking variable - speed torque converter with adjustable guide blades as a pilot control unit and forming an open or closed loop feedback control system, and its outstanding advantages, such as high capacity, simplicity, reliability and good transmission efficiency owned by hydrodynamic drive, and the dynamic model developed for variable - speed torque converter with adjustable guide blades by means of theoretical analysis and regression analysis of experimental data, and concluds that the model is sophisticated and simple enough to be used as a tool for design, analysis and computer simulation of a hydrodynamic control system

    以導葉可調式液力變矩器作為控制單元組成的開環或閉環液力控制系統，具有液力傳動裝置能容大、系統簡單可靠、傳動效率較高等顯著的優點.通過理論分析和試驗數據的回歸分析方法建立了導葉可調式液力變矩器的數學模型，模型既簡單，又有足夠的工程應用精度，為液力控制系統的設計、動態分析和性能預測提供了必要的理論基礎
  15. 4 - intersection theory in point set topology is cited into time domain and topological relation between several temporal forms are analyzed in detail. besides, the paper uses temporal topological relation to describe cadastral changing process particularly

    把點集拓撲學中的四元組理論引用到了時間域中，詳細地分析了幾種時間形式之間的拓撲關系，用四元組描述的時態拓撲關系對地籍變更過程進行了詳細的描述。
  16. To change from serial - by - bit to parallel - by - byte

    從按位串列的方式改變為按位元組并行。
  17. An entity is a value, object, subobject, base class subobject, array element, variable, function, instance of a function, enumerator, type, class member, template, or namespace

    實體是一個值，對象，子對象，基類子對象，數組元素，變量，函數，函數的實例，枚舉符，類型，類成員，模板，或名字空間。
  18. Unfortunately, as changes are made to the data sources, maintaining the quotient cube is non - trivial since the partitioning of the cube cells must also be updated. in this paper, the authors design incremental algorithms to update a quotient cube efficiently for both sum and median aggregate functions

    然而，當數據源發生改變的時候， quotient數據立方體很難進行維護，尤其是針對median這樣的非分步型聚集函數，因為當插入新的元組時， quotient數據立方體中的等價類有的需要進行拆分，有的還需要重新生成。
  19. By applying the common used message digest algorithms, we can compute the test paper content with tester code to generate a fixed length contract which is sensitive to any change in the test paper

    摘要通過採用網路安全技術中經常使用的「報文摘要」演算法，將考生的試卷內容和考生的考號進行摘要計算，然後生成一個固定長度的摘要，而考生試卷中的任何一個位元組變化都會影響到該摘要，從而保證考卷的數據完整性。
  20. If you compare the code staticdata values in each of the summaries, you ll see that the " shareable " bytes have become " shared, " thereby reducing the incremental footprint by a small amount

    只要比較每個結果的code / staticdata部分，就會發現「 shareable 」位元組變成了「 shared 」 ，從而稍微降低了內存佔用的增加。
分享友人
分享到 Line

分享到臉書