three-valued 中文意思是什麼

three-valued 解釋
三價的
  • three : n. 1. 三個人[東西]。2. 三歲,三時。3. 【板球】3字型。
  • valued : adj. 1. 貴重的;被尊重的,重要的。2. 估定了價格的;有(一定)價值的。
  1. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討
  2. Abstract : bridge function and generalized bridge function are all three - valued function, and are made by initial sequence according as copied or shifted ways. they include some familiar orthogonal function of non - sine, such as walsh function. this paper briefly introduced some research advance on this subject, emphasized to introduce the copy theory and generalized copy method. the process of making ( generalized ) bridge function, its property and application, were introduced briefly

    文摘:橋函數和廣義橋函數均為三值函數系,都是將初始序列經復制方式和移位方式變換后而形成的.它們包括了一些常見的非正弦正交函數,如沃爾什函數和方波函數等.簡要介紹了近10年來北京航空航天大學通信與電子系統博士點在非正弦正交函數方面研究的一些新進展,重點介紹了復制理論和廣義復制方法,橋函數、廣義橋函數的復制生成方法、性質及其應用等專題
  3. Don evans, the president ' s close friend and former commerce secretary, gave him a fishing rod, shirt, three caps and fishing bait valued at $ 208 ; a hardcover book " longhorn " worth $ 240 ; and a $ 149 sweater

    總統的好友,前商務部長唐?埃文斯送給他一根釣魚竿、一件襯衣、三頂帽子和魚餌,總共價值208美元;還有一本價值240美元的精裝書《長角牛》和一件149美元的毛線衣。
  4. It holds that western meta - ethics in revival has at least three general features : ( 1 ) the study of daily language is universally valued ; ( 2 ) normative questions have come to the fore ; ( 3 ) theoretical experimentation has brought about the contention of a hundred schools of thought

    復興中的西方元倫理學具有三個主要特徵: ( 1 )日常語言研究普遍受到重視; ( 2 )關注規范問題已成大勢所趨; ( 3 )理論創新呈現百家爭鳴之勢。
  5. First, based on the analysis of the design method of two - valued shift counter, we use the multivaled circuit ' s property of high information density to put forward the design method of three - valued shift counter. by using this method module - n three - valued shift counter can be designed. and by selecting the best design method, the simplest circuit of control logic can be made

    首先,在分析二值的移位計數器的設計方法的基礎上,利用多值電路的高信息密度,提出了三值移位計數器的設計,運用該方法可以設計任意狀態的三值移位計數器,並且通過選擇最佳設計方案使控制邏輯電路最簡。
  6. New and consistent competition advantages all result from custom ' s satisfactory and changing innovations. a thorough procedural reproduction contains three phrases. first of all, by market researching, inter - communication and other methods, we need to find problems and begin to rearrange all procedures ; secondly, by reorganizing the management procedure of valued customers, the structure of luzhou telecom corp., front and back sla service protocol and kpi performance evaluation items, it support, we can correct problems after segmental test

    一個完整的流程再造工作包括三個階段:第一,通過市場調研、內部訪談等對所有流程進行梳理,找出問題,確定重點優化流程;第二,設計瀘州電信新的大客戶管理流程和組織結構、前後端sla服務水平協議和kpi績效考核指標、 it支撐,通過局部試用,發現問題,重新調整;第三,設計計費與賬務處理流程、網路資源調配流程、滾動性網路投資流程、 it支撐,內部推廣,全面推進企業的流程再造工作。
  7. This very busy temple is devoted to kuan kung, a famous deified general who lived ( a. d. 162 - 219 ) during the three kingdoms period. a man who valued loyalty and righteousness above all things, kuan kung is worshipped as the god of war ; since he was adept at managing finances, he is also worshipped as the patron saint of businessmen

    座落於民權東路與松江路口佔地二一四零坪,主祀關聖帝君,亦即「關公」 ,由於關聖帝君是武神,也是帝業保護神,因此廟里香火鼎盛,香客不絕。
  8. Using the theories of probability, algebra and number theory comprehensively, we investigate a class of boolean functions with three - valued walsh spectrum in the first part of this dissertation : the properties of the extended semi - bent functions, which are constructed from any two bent functions, are studied, followed by the structure characteristics of the boolean functions satisfying propagation criterion with respect to all but two vectors ; the definition and cryptographic properties of k - order quasi - bent functions are proposed whose walsh spectrum takes on only three values. some sufficient and necessary conditions are offered to decide whether a boolean function is a k - order quasi - bent function ; a special method is presented to construct the k - order quasi - bent functions, whose cryptographic properties are explored by the matrix method, which is different from the method of walsh spectrum and that of autocorrelation of boolean functions ; the application of this kind of boolean functions in the fields of stream cipher, communications and block ciphers is discussed, which shows the great importance of the fc - order quasi - bent functions ; some methodology are proposed to construct the k - order quasi - bent functions, including the complete construction by using the characteristic matrices of boolean functions, and the recursive method by two known k - order quasi - bent functions we further extend our investigation to the ring zp, where p is a prime, and the similar results are presented as far as the p - valued quasi - generalized - bent functions are considered

    本文首先綜合運用概率論、代數學、數論等基礎學科的理論知識,並以頻譜理論作為主要研究工具,對一類譜值分佈相對均勻的函數? ?廣半bent函數、 k階擬bent函數和p值k階擬廣義bent函數進行了系統、深入的研究,給出了廣半bent函數定義,並探討了廣半bent函數的密碼學性質;給出了k階擬bent函數和p值k階擬廣義bent函數的定義及等價判別條件;討論了k階擬bent函數和p值k階擬廣義bent函數與部分bent函數和p值廣義部分bent函數的關系,探討了它們的密碼學性質;給出了k階擬bent函數和p值k階擬廣義bent函數的典型構造方法,並將對k階擬bent函數的密碼性質的研究轉化到對一類特殊的矩陣的研究上;利用布爾函數的特徵矩陣原則上給出了k階擬bent函數的一種完全構造方法,還給出了從已有的p值k階擬廣義bent函數出發,遞歸構造變元個數更多的p值k階擬廣義bent函數的方法;初步探討了k階擬bent函數在序列密碼、分組密碼以及通信中的應用;給出了一類布爾函數walsh譜的分解式,並利用這類布爾函數的walsh譜分解式給出了一類近似穩定的布爾函數的構造,特殊情形下為k階擬bent函數;利用代數數論的知識考察了p值k階擬廣義bent函數的譜特徵,並給出了k階擬廣義bent函數與所有仿射函數的符合率特徵等等。
  9. Three valued logic neuron model and its reasoning

    三值邏輯神經元模型及推理
  10. Shows how operator overloading can be used to implement a three - valued logical type

    演示如何使用運算符重載實現三值邏輯類型。
  11. The three big industrial park areas like " zhen an ", " an li " and " xin an " and other industrial parks set up by the villages lay focus on encouraging technologically advanced, fund - condensed, and high added - valued projects, especially products of famous brands, and new electronic products of great market potential so as to further promote the development of export - oriented economy

    該鎮開發的「振安」 、 「安力」和「新安」三大工業園區和各村新開辟的工業園區著眼于鼓勵外商興辦科技先進、資金密集、產品附加值高和規模化、集約化、系列化的項目,尤其是名牌產品和市場潛力大的電子新產品項目,以進一步促進外向型經濟的發展。
  12. Opened on 6 may 1999, this centre is named after parametric technology ( hong kong ) limited, who has generously donated three hundred licenses of the pro - engineer software ( valued at approximately hk $ 62 million ) to the vtc. the centre aims to provide quality education and training with the most advanced cad cam software for the ive students, and also short courses for the general public

    本中心於1999年5月6日由參數技術(香港)有限公司捐贈300套pro - engineer軟體認可證(總值約6 , 200萬元)而成立,旨在利用先進的軟體,提供有關cad cam方面的優質培訓予學院的學生,並為公眾人士提供短期課程。
  13. One is, based on answering the above open problem on a finite dimensional euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable - parameter three - step iterative algorithms for generalized set - valued variational inclusion problems by using - resolvent operator of set - valued mapping. two is to consider the convexity, closedness and boundedness of the solution set of general set - valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. three is to discuss directly the existence of solutions by using analytical methods for set - valued mixed quasi - variational - like inequalities and suggest a class of direct variable - parameter three - step iterative algorithms for solving generalized set - valued variational inclusions

    研究分有三個方面:一是藉助于偏序理論在有限維歐氏空間中解決了上述公開問題,在此基礎上利用集值映射的-預解運算元,研究了廣義集值變分包含問題解的存在性、逼近解的全局誤差界、參數唯一解的靈敏性,並提出了一類變參數三步迭代演算法;二是藉助于圖收斂理論研究了一般集值變分包含問題解集的凸性、閉性和有界性以及參數解集的靈敏性;三是用分析的方法直接討論了集值混合擬類變分不等式問題解的存在性並提出了一類求解廣義集值變分包含問題的直接變參數三步迭代演算法。
  14. First, analyzing technique is used to transform interval attribute valued decision table into the three - component decision table, and then the attribute reduction is induced using rough set theory

    首先利用分析技巧,將區間屬性值決策表轉化為三元決策表,其次利用粗糙集理論構建了屬性的約簡方法。
  15. In addition, by introducing three operators, judging true, judging medium and judging false, the relationship between the system mf and the classical 2 - valued logic system is discussed. based on the relationship, the resolution principles of mfm are given by taking the classical 2 - valued logic system as a tool. the resolution principles show that the resolution problems can be solved by using the theories of the classical 2 - valued logic system

    此外,通過引入判真、判中和判假三個運算元給出了mf ~ m系統與經典二值邏輯系統的關系,並以經典二值邏輯系統作為工具討論了mf ~ m系統的消解理論,該消解理論能夠完全利用經典二值邏輯系統的理論方便地解決mf ~ m的消解問題。
  16. Operators are consistent with sql s three - valued boolean type, the following predefined operators are provided

    運算符產生的結果與sql的三值布爾類型一致,提供了以下預定義的運算符:
  17. In section two, the algorithms of vector - valued rational interpolants are stated generally. then a new algorithm of brivate vector - valued rational interpolants by means of complexification of the knots and backward three - term recurrence relations is given

    然後利用插值型值點復數化的方法及向量值連分式的向後三項遞推關系式討論並給出了二元向量值有理插值的一種新演算法。
  18. Some limit properties of sequences of arbitrary b - valued random variables are studied by using truncation methods of random variables and conditional three series theorem, a class of strong limit theorems and convergence theorems for martingale difference sequences related to the conditional expectations are obtained, and some conclusions corresponding to these and some classical strong laws of large numbers are generalized

    摘要利用隨機變量的截尾方法和條件三級數定理,研究任意b值隨機變量序列的極限性質,得到了一類關于條件期望的強極限定理和鞅差序列收斂定理,推廣了與此相應的一些結果和若干經典的強大數定律。
  19. A job evaluation method based on three elements : know - how, problem - solving and accountability, with fringe benefits valued at the maximum notional value to employees, was adopted

    解決問題能力和c問責性為依據的職位評值法,而附帶福利則按其對員工的最高估計數值計算。
  20. Season - ticket holders are important enough for a franchise valued at $ 530 million that lakers owner jerry buss sent a letter to some of them in june, three weeks after bryant demanded to be traded and two weeks after renewal forms were mailed

    季票的持有人都是重要性和5 . 3億美元的專利價一樣,湖人隊的老闆傑里巴斯在6月的時候致函給他們中的一些人,那是在科比要求被交易后的三個星期,也是在兩星期後形式重新回復的時候被郵寄出去的。
分享友人