有限可表示的 的英文怎麼說

中文拼音 [yǒuxiànkěbiǎoshìde]
有限可表示的 英文
finitely representable
  • 有 : 有副詞[書面語] （表示整數之外再加零數）: 30 有 5 thirty-five; 10 有 5年 fifteen years
  • 限 : Ⅰ名詞（指定的范圍; 限度） limit; bounds Ⅱ動詞（指定范圍, 不許超過） set a limit; limit; restrict
  • 表 : Ⅰ名詞1 （外面;外表） outside; surface; external 2 （中表親戚） the relationship between the child...
  • 示 : Ⅰ動詞（擺出或指出使人知道; 表明） show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] （給...
  • 的 : 4次方是 The fourth power of 2 is direction
  • 有限 : limited; restricted; finite; a little; not much
  • 表示 : show; express; mean; indicate; expression; presentation; signifying; remark; representation
  1. The importance of tone is limited in the modern shanghainese, especially in the atonic syllables. one marks only the accentuated tones

    由於現代上海話聲調作用有限，聯拼時候只需標出重讀音節，用西班牙語重音符號? ，表示去聲以外的聲調（平聲、入聲） ；非重讀音節可以不標調。
  2. Use division transformation, the rational number must be expressed by limited decimal or unlimited circulating decimal

    利用帶余除法公式，給出有理數必可表示為有限小數或無限循環小數的證明。
  3. The signal we named it fundamental wave ; according to the fundamental wave, coefficients of the fundamental wave can be lined in a sequence. when the unique of the dissolve of the fundamental wave can be confirmed, the sequence of the coefficients can be regarded as one of representation forms of the signal itself ; theory of dissolvable signal shows that when order of the matrix of fundamental wave sampling equals to number of fundamental waves, the sequence of the sampling values from sampling points must be matched one by one with the sequence of the coefficients of fundamental waves. the sampling composed by sequences of the sampling values must be full sampling ; the relevant deductions of the theory of dissolvable signal shows that when sampling the signal, sampling frequency must be lager than the ratio of the number of fundamental waves to the occupation time of the fundamental waves ; to band - limited signals, when the fundamental wave is a sine signal, the results from the relevant deductions of theory of dissolvable signal is coherent to the classic sampling theory

    本文通過分析認為，當信號集中的任一信號可表示為一系列已知信號的線性代數和時，信號集便構成可分解信號集，已知信號稱為基波信號；對可分解信號而言，基波系數構成一序列，當對指定的基波信號集分解唯一確定時，系數序列本身便是信號的一個表示；可分解信號采樣定理指出當基波樣值矩陣的秩等於基波數時，則由采樣點處的采樣樣構成的樣值序列必與基波系數序列一一對應，從而由該樣值序列構成的采樣必為完全采樣；可分解信號采樣定理中的推論指出，對信號集進行采樣，采樣頻率必須大於其信號分解的基波數與其對應時長之比；對有限帶寬信號，若基波信號為正弦信號時，由可分解信號采樣定理推論給出的結論與經典采樣定理一致。
  4. If it is not possible to repeal such a law completely, the catholic politician, recalling the indications contained in the encyclical letter evangelium vitae, " could licitly support proposals aimed at limiting the harm done by such a law and at lessening its negative consequences at the level of general opinion and public morality ", on condition that his " absolute personal opposition " to such laws was clear and well known and that the danger of scandal was avoided. this does not mean that a more restrictive law in this area could be considered just or even acceptable ; rather, it is a question of the legitimate and dutiful attempt to obtain at least the partial repeal of an unjust law when its total abrogation is not possible at the moment

    如果無法完全廢除這樣的法律，公教從政者要謹記生命的福音通諭中的話，只要他對這法律的個人立場是堅決反對，而這立場又是眾人皆知，並避免了惡表的危險，他便可以支持限制這法律所造成的傷害的法案，或支持減輕這法律對大眾輿論及公共道德造成的不良後果的法案。 18這並不表示在這方面較嚴謹的法律，可被視為合理或甚至可以接受的而是說，在目前無法徹底廢除這不義的法律時，要有合法和負責的意圖，設法廢除至少部分不義的法律。
  5. From roundwood reservoir in county wicklow of a cubic capacity of 2, 400 million gallons, percolating through a subterranean aqueduct of filter mains of single and double pipeage constructed at an initial plant cost of 5 per linear yard by way of the dargle, rathdown, glen of the downs and callowhill to the 26 acre reservoir at stillorgan, a distance of 22 statute miles, and thence, through a system of relieving tanks, by a gradient of 250 feet to the city boundary at eustace bridge, upper leeson street, though from prolonged summer drouth and daily supply of 12 1 2 million gallons the water had fallen below the sill of the overflow weir for which reason the borough surveyor and waterworks engineer, mr spencer harty, c. e., on the instructions of the waterworks committee, had prohibited the use of municipal water for purposes other than those of consumption envisaging the possibility of recourse being had to the importable water of the grand and royal canals as in 1893 particularly as the south dublin guardians, notwithstanding their ration of 15 gallons per day per pauper supplied through a 6 inch meter, had been convicted of a wastage of 20, 000 gallons per night by a reading of their meter on the affirmation of the law agent of the corporation, mr ignatius rice, solicitor, thereby acting to the detriment of another section of the public, selfsupporting taxpayers, solvent, sound

    但是由於夏季久旱，再加上每天供水一千二百五十萬加侖，水位已降到低於排水口。都市監察官兼水道局技官土木工程師斯潘塞哈蒂奉水道局的指示鑒于有可能會像一八九三年那樣被迫利用大運河和皇家運河那不宜飲用的水，除了飲用外，下令一律禁止使用市裡供應的自來水。尤其是南都柏林濟貧院，盡管限定用六英寸的計量器，每個貧民每日配給十五加侖水，然而在市政府法律顧問辯護律師伊格內修斯賴斯的監督下，經查表證實，每夜要浪費兩萬加侖水，從而使院外的社會各階層也就是自費並有支付能力的納稅者們蒙受損害。
  6. Each type of permission clearly defines extreme states representing either all or none of the permissions expressible within the type

    每個權限類型均明確定義了極端的狀態，表示該類型中可表現的所有權限或沒有任何權限。
  7. According to previous work suggesting that event interest, risk constraint, and financial constraint will affect potential attendees ’ desire to attend and their sense that it is feasible to attend, this paper makes use of the confirmatory study to establish the theory construct, and confirms it in the empirical study. the significance in theory and its implication for. 2008 beijing olympic games are proposed finally. main conclusions of this paper are : event interest and constraints fully mediated the effects of motives and background on respondents ’ sense that it was feasible for them to attend. financial constraint did affect desire to attend. the desire to socialize and eustress had direct and positive effects on interest in the event and the desire to attend the event. results suggest the value of segmented sport event marketing that appeals to both travel and fan motives. in the last, this paper, according to the results of this research and the holding experiences of the successive olympic games, from the angle of special tourism events marketing, puts forward some olympics tourism strategies, for example destination branding marketing strategy, and emphasizes some advertent problems in olympic tourism marketing works, aims to pose some rational propositions for the operation of olympics tourism marketing

    以往的研究表明事件吸引力、風險限制因素、財務限制因素都會影響潛在參與者渴望參與的程度以及對于參與可實行性的感知，基於此，本文採用驗證性研究方法，首先建立理論架構，然後在實證研究中加以驗證，並提出了研究的理論意義及對2008年北京奧運會的現實意義和啟示。本文得出的主要研究結論包括:事件吸引力和人們對于限制因素的感知程度作為中間變量完全削弱了旅遊動機和潛在參與者背景對于參與奧運會旅遊可實行性的影響;財務方面的限制因素會影響人們參與奧運會的渴望程度;渴望社交和追求勵志性對事件吸引力和人們渴望參與奧運會的程度有一個直接和積極的作用和影響。研究結果還表明作為奧運會舉辦方，應該認識到體育事件市場細分的重要性。
  8. Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology, the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used, which enables the system to be a truly " open system " with infinitely many problems and solutions, instead of just a compilation of fixed ones ; about the function of the system, it incarnates the constructivism and it has excellent human - machine interface, concurrence, and openness

    Par方法可以說清「問題程序」的全過程，可以解決現有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現技術方面，借鑒了當代流行的泛型思想，並將人工智慧在知識表示、自動推理等研究中形成的思想方法和成果應用於程序設計icai系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  9. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  10. Firstly, we generalize and analyze the advantages and present research of elliptic curve cryptography ; secondly, we study the basic theory of the ecc ; thirdly, we illustrate the safety of the ecc and discuss the elliptic curve key agreement scheme, elliptic curve encryption scheme and elliptic curve digital signature algorithm ; fourthly, we study fast algorithms of the multiplication and inversion multiplication of the element of in the underlying finite field f2m whose characteristic is two represented by the two basis of optimal normal basis and polynomial basis. we make improvements to the fast algorithm of the polynomial basis multiplication by hankerson and base on the experiments, we describe the properties and compare the advantages of the multiplication and inversion multiplication of the elements in f2m field under optimal normal bases and polynomial basis. results concluding from the study car be used as references in the realization of the elliptic curve cryptosystem ; fifthly, we overview the current fast algorithm of point multiplication, improve the fix base point comb algorithm, advance the speed of the whole system and remark the advantages and disadvantages of the popular algorithms based upon the experimental datas ; sixthly we realize the algorithm library of elliptic curve cryptography based on the f2m. only change slightly in our algorithm library can we realize the ecdh, eces, ecdsa based onf2m of anysize ; seventhly, we realize the ecc on two secure elliptic curves, including ecdh, eces, ecdsa

    本文首先介紹並分析了橢圓曲線密碼體制的優點及研究現狀；其次研究了橢圓曲線密碼體制的基本理論；第三，分析了橢圓曲線密碼的安全性並介紹了密鑰共享，加密，數字簽名等橢圓曲線密碼體制；第四，深入研究了特徵為2的有限域f _ 2m中的元素在多項式基和最優正規基表示下的乘法運算和乘法逆運算的快速演算法，並對hankerson等人提出的多項式基下的乘法運算的快速演算法作了改進，而且在實驗的基礎上不僅分析研究了f _ 2m域中元素在多項式基和最優正規基表示下的乘法和乘法逆運算的性能，還對這兩種基表示下的f _ 2m域中元素運算效率的優劣作了比較和研究，所得的結論可供在實現橢圓曲線密碼體制時參考；第五，研究了目前流行的計算橢圓曲線標量乘法的快速演算法，同時改進了固定基點梳形法，提高了整個系統的速度，並在實驗的基礎上分析研究了流行演算法的優劣；第六，實現了基於f _ 2m的橢圓曲線密碼體制的演算法庫，在我們的演算法庫中只需稍微改變便能實現基於任意尺寸的f _ 2m上的ecdh ， eces ， ecdsa等橢圓曲線密碼體制；第七，實現了兩條安全橢圓曲線上的橢圓曲線密碼體制，包括ecdh ， eces ， ecdsa 。
  11. However, a floating point value cannot represent all real values ; therefore, there are limits on the range of dates that can be presented in dt date

    但是，浮點值無法表示所有真實值；因此，可以在dt _ date中顯示的日期的范圍受到限制。
  12. Established in 1994, xinyi meter plant ( shanghai xinyi meter co., ltd ) is specialized in the development and production of simulation current meters and voltmeters. they are widely used in collaboration with mili - tary equipment, various electronic communication facilitles, measuring instruments and auto control equipment to display all kinds of quantity of electricity and other readings. xinyi meters are of plenty of assortments and complete functions. they sell well in the domestic and overseas markets and appeal to the customers with their stable and reliable quality, considerate service and sound market reputation

    新藝儀表廠（上海新藝儀表有限公司）創辦於1994年，主要開發和生產門類齊全，品種繁多的模擬和安裝式電流、電壓表，廣泛用於軍工配套和各種電子通迅設備、測量儀器和自動化控制設備上，以顯示各種電量和非電量、新藝儀表品種多，功能齊全，以其穩定可靠的質量、周到的服務、良好的市場信譽行銷國內外、深受用戶的歡迎。
  13. A range in relation to an optical system, such as a camera lens, representing distances great enough that light rays reflected from objects within the range may be regarded as parallel

    （聚焦區）無限遠與光學系統（如照像鏡頭）有關的一個范圍，表示距離是如此之遠，以至於從在這一距離的物體上反射回來的光可以視為平行光線
  14. Then we propose the problems that will be discussed in the following papers. also, we introduce the theory in the field of feasible region for semi - infinite programming, and concluded that in some area around the feasible points, feasible region can be expressed by finite inequality constraints, this results gives a base to the following algorithms

    接著介紹了半無限規劃可行域的結構和穩定點的穩定性，指出了關于可行域結構理論研究的現狀，並指出在一定的條件下，在可行點的局部鄰域內，可行域可以有有限個不等式約束來表示，這為第二、三章半無限規劃問題的演算法提供了理論基礎。
  15. Some services may be subject to additional terms and conditions governing their provision which additional terms will be made known to you upon you expressing your intent to use those services

    某些服務可能會受到額外的條款及條件規限，該等額外條款及條件將在閣下表示有意使用該等服務時知會閣下。
  16. Under the assumptions that media are piece wise, and that the permittivity of each piece can be expressed as a polynomial with limited terms, all oefficients of permittivity function of each piece, which maximize the objective function, are determined by genetic algorithm piece by piece

    在假設地下介質是分塊的，且每塊介質的介電常數可以用有限項的與空間坐標有關的多項式函數來表示的前提下，用遺傳演算法由淺至深逐塊確定使目標函數達到最大的多項式函數的各項系數從而確定介電常數。
  17. It is shown that if l is a modular lattice with finite length, and with 0, 1 the least and the largest elements in l respectively, then 1 is the union of some minimal elements in l if and only if 0 is the intersection of some maximal elements in l, if and only if each non - zero element in l is the union of some minimal elements in l. by using these results, we give the necessary and sufficient conditions of an algebra module, module, ring, group and semigroup, respectively, to be semisimple

    最後得出有限生成的ps -系是noetherian （ artinian ）系的充要條件是它關于本質子系滿足升鏈（降鏈）條件。第二章給出了一個模格是半單的若干充要條件。得到：有有限長度的模格l上，最大元1是若干極小元的並當且僅當最小元0是若干極大元的交，當且僅當l中任意非零元可表示為若干極小元的並。
  18. According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models

    根據過程執行的特點，定義了一種以活動為中心的反應式過程元模型，並為其提供了一種圖形表示，同時為此元模型指定了一種體現過程運行時行為的動態語義，該語義可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確性
  19. Aside from the somewhat annoying verboseness of xslt, it is limited in its expressiveness - the things you can say are expressed rather clearly and functionally, not procedurally, but you quickly bump up against all the things that you simply cannot say in xslt

    Xslt除了有些冗長外，它的表達力也有所限制您可說的事情可以清楚地表達（是功能地，不是過程地） ，但您很快增加許多無法簡單地在xslt中表示的事情。
  20. A finite element analysis ( fea ) was eventually conducted, using mori - tanaka model and j - integral, to further explain the toughening mechanisms and fracture behaviour of the particle interleaved composites. the aim of the analysis was to examine the influence of the particle concentration and size, and the interaction between the particle and the crack tip. fea results indicate that interlayer zones can effectively lower j - integral and stress around the crack tip, and the high stress distribution in the region close to the interface can be the driving force for interfacial failure

    本文的最後還藉助于有限元方法對層間增韌復合材料進行了宏觀和細觀斷裂韌性分析，基於mori - tanaka等效夾雜理論，計算了顆粒含量和尺寸對j積分的影響，有限元分析的結果同樣表明層間增韌可以有效的降低裂紋尖端應力水平，並暗示界面是可能存在的失效原因，所進行的數值分析起到了進一步支持和解釋增韌機理的作用。
分享友人
分享到 Line

分享到臉書