系統定義函數 的英文怎麼說
中文拼音 [xìtǒngdìngyìhánshǔ]
系統定義函數
英文
system-defined function- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 定 : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 函 : 名詞1. [書面語] (匣; 封套) case; envelope 2. (信件) letter 3. (姓氏) a surname
- 數 : 數副詞(屢次) frequently; repeatedly
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
- 函數 : [數學] function函數計算機 function computer; 函數計算器 function calculator; 函數運算 functional operation
-
Tools and algorithms for the construction and analysis of systems, part of etaps, genova, italy, april, 2001, pp. 389 - 403. 16 jose l fernandez. acceptance testing of object - oriented systems
盡管我們的模型可以用在帶有函數調用的過程系統中,但是它更適用於面向對象系統, ecfg對實時動態綁定的連通性方法更具有啟發意義。You actually are defining a transforming function, which is where the lambda comes in
系統,實際上是在定義一個轉換函數,這就是lambda發揮作用的地方。The basic idea of this method is to produce particles from the posterior densities, and these weighted samples provide approximations to the densities. in this dissertation, sequential monte carlo method and its applications in communication are investigated. firstly, its basic idea, method and improved method are introduced, then induce the bound of particles, which determines the performance of the system, and the more particles are chosen, the higher computation is done, finally, a new detector based on new importance function is proposed, which deals with the joint channel estimation and detection in flat fading channels
首先介紹了它的基本思想、基本方法、及當前研究現狀;在此基礎上推導出樣本數選擇的界,樣本數的選擇決定了系統的性能,但是若選的太多,計算復雜度也會隨之增大,因而給出這個界是十分有意義的;最後提出了一種基於新的重要函數的檢測器用來解決平坦衰落通道下的聯合通道估計和檢測問題,並通過模擬證明了我們提出的新檢測器的有效性。Jdl is an interpretative language system. it has data types, expression, control flow statements and user - defined function just like the imperative programming language, but also has data types and statements such as job control statements, task control statements, wait statement, parallel statement and monitor statements particular to jms
Jdl是一種解釋型語言系統,既有一般命令式語言所具有的數據類型、表達式、控制流語句和用戶自定義函數等要素,也另有作業管理系統所特有的數據類型、作業控制語句、任務控制語句、等待語句、并行語句和監聽語句等。A on - line method for identifying robot load parameters based on robot ' s wrist force sensor is presented aiming at the points that the load parameters must be identified on - line and real - time, and the identification steps are given clearly. 4. experiments of on - line identification inertial parameters of the robot ' s end - effector and load are shown in chapter 4, experiments are done on robot puma562, the work pieces which inertial parameters are already known, are as robot ' s end - effector and load respectively
第七章以一種十字梁多維力傳感器為例,以bernoulli一eulerbeam為基礎,建立傳感器的動力學模型,定義了傳感器維間禍合的禍合函數,研究傳感器各維的固有頻率與傳感器的幾何參數等的關系,傳感器動態應變與傳感器幾何參數、貼片位置等的關系,傳感器的禍合函數與傳感器幾何參數、貼片位置等的關系,力圖揭示傳感器的動態特性的本質關系,為傳感器的動態設計和傳感器結合機器人對機器人系統的影響的研究提供理論基礎The article has expatiated the definition of the entropy function of thermodynamics, and discussed enough the irreversible process of entropy - transtion compute about the thermodynamics system
摘要闡述了熱力學熵函數的定義,並對熱力學系統的不可逆過程的熵變計算作了充分的討論。Equation of state ( eos ) is, in a broad sense, the functional expression which gives the relationship of the vary parameters for the substance system, which shows the properties of the substance in the condition of thermodynamics
從廣義上講,物態方程是泛指描述處于熱力學平衡態的物質系統的各種狀態參量之間關系的函數表達式,用來表達在一定熱力學條件下物質的性狀。To investigate the influencing law of technical elements in enterprise production, based on certain assumptions, a three - element ( technology, labor and capital ) output function is defined ; through conceiving and solving an optimization model under the condition of invariable total production cost and maximum output, this paper deduces the optimal proportioning relationship between optimum technical growth rate and conventional production factors - labor and capital, further constructs the optimization model of technical growth rate under total production cost constraint, and design a genetic algorithms program to solve such model
摘要為了考察企業生產中技術要素的作用、規律,在一定的假設條件下,對其技術要素下了定義,認為其產出函數包括技術、勞動及資本要素;通過構建與求解生產總成本,構建最大條件下的優化模型,推導出技術最優增長率與傳統生產要素勞動與資本的優化配比關系,進一步構造了企業在生產總成本約束下的技術增長率優化模型,並設計了遺傳演算法程序對模型進行求解。Intelligent pid can be regarded as a hybrid control. then the hybrid model, lyapunov theorem for hybrid control systems are studied and two methods of designing hybrid control which make sure the hybrid control system stable are also introduced
總結了保證整個混雜控制系統李亞普諾夫意義上(指數)穩定的兩種混雜控制器設計方法以及如何通過求解lmis獲得李亞普諾夫函數的方法。Through describing the space sampling process of ccd, the composing factors of modulate transfer function ( mtf ) of ccd integral sampling process are analyzed. meanwhile, an effective method to analyze the mtf of discrete sampling image system is put forward and is used to analyze and compare mtfs of sub - pixel image system and singlechip ccd system. as a result, definitions of ccd optical transfer function ( otf ) and optical mtf are presented and effective methods to measure ccd mtf are brought forward
本文通過對ccd器件空間采樣過程的描述,詳細分析了ccd積分采樣過程調制傳遞函數的構成要素,提出了分析離散采樣成像系統調制傳遞函數的有效方法,並用該方法分析比較了亞像元成像系統與單片ccd系統的mtf ,給出了ccd器件光學傳遞函數( otf )和光學調制傳遞函數( mtf )的定義,提出了檢測ccd調制傳遞函數有效方法,採用幾種不同測量方法測定了tdiccd的調制傳遞函數,並進行了比較分析。Based on the primitive system, a logical device coordinate and its normalization function were defined to enhance the ability of device - independent, an input - output hierarchy model of application system in distributed interactive simulation was proposed, and an instance of the model was listed based on com
在研究分析已有原語系統的基礎上,通過定義邏輯設備坐標系及其中的歸一化函數強化了設備無關性,提出了一個分散式交互模擬應用系統輸入輸出層次模型,並基於com技術對該模型進行了具體實現。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函數與所有仿射函數的符合率特徵等等。The data processing system further includes a discrete transforming means for performing a discrete transform on the input data at the first sampled frequency for trans forming the input data to a discrete function in a second - variable - domain at the first sampling frequency
此資料處理系統也包含一個離散轉換裝置,用來對以第一個取樣頻率所取樣的輸入資料作離散轉換,也就是將輸入資料轉換成以第二個取樣頻率為頻率及第二個變數為定義領域的離散函數。The data processing system further includes a convoluted inverse transforming means for inversely transforming the discrete function in a second - variable - domain back to the time domain at a second sampling frequency for converting t he input data to a set corresponding data sampled at the second sampling frequency
此資料處理系統也包含一個旋積的逆轉換裝置,用來對以第二個變數為定義領域的離散函數,逆轉換回以第二個取樣頻率為頻率及以時間為定義領域的函數,也就是將資料轉換成以第二個取樣頻率所取樣的資料。The dissertation refers to comparatively full literatures in the field of vsc, and the development history and characteristics of vsc are summarized, and the elementary concepts, elementary definitions, elementary properties, elementary principles and design methods are particularly introduced, and the causes of the chattering phenomenon are systematically analysed, and the study status of the chattering phenomenon and the main methods to eliminate the chattering are elaborated. for the deficiencies of traditionary methods, three improved methods are developed, which are improved exponent reaching law solution, variable boundary layer solution and the solution by adding an auxiliary continuous control term. for uncertain linear systems, an adaptive fuzzy integral variable structure control stategy ( afivsc ) is put forward to eliminate the chattering around the sliding plane, which introduces fuzzy logic to soften the non - linear discontinuous sig nal in the control variable and utilizes adaptive theory to adjust output membership function according to how much the uncertainty of the system is
比較全面地查閱了關于變結構控制理論的文獻,總結了滑模變結構控制的發展歷史和特點,詳細介紹了變結構控制的基本概念、基本定義、基本性質、基本原理以及設計方法;系統分析了變結構控制系統抖振產生的機理,並闡述了國內外目前對抖振問題的研究現狀以及消除抖振的主要方法;針對傳統抑制和消除抖振方法的不足,改進了傳統方法,得到了三種新的消除抖振的方法? ?即改進的指數趨近律法、可變邊界層法和附加連續項法;針對不確定性線性系統,在變結構控制策略中引入模糊邏輯和自適應理論來消除滑動平面上的抖振,提出了一種自適應模糊積分變結構控制方案( afivsc ) ,利用模糊邏輯來柔化控制量中非線性不連續部分,採用自適應理論,根據系統不確定性大小在線調整模糊輸出量的隸屬函數,另外,鑒于模糊控制本質上是有靜差的,所以本文選擇了帶積分項的切換函數,由於積分項的存在使系統較正為無靜差系統。The paper is concerned with periodic solutions to nonautonomous second order hamilton systems where, m : [ 0, t ] - s ( rn, rn ) is a continuous mapping in the space s ( rn, rn ) of symmetric real ( n x n ) - matrices, such that for some u > 0 and all ( t, z ) [ 0, t ] x rn, ( m ( t ) x, x ) > u | x | 2. a s ( rn, rn ), f : [ 0, t ] x rn r is continuous and f : [ 0, t ] xr r exists, is continuous and we study the existence of periodic solutions of the systems by using ekeland variational principle and the saddle points theorem. we suppose that the nonlinearity vf and potential f belongs to a class of unbounded functional. our work improves the existed results. we obtained the results of multiplicity of periodic solutions of the systems by using lusternik - schnirelman category theory and the generalized saddle points theorem, and the functional does not need the condition of constant definite. at last, we obtained the existence of infinity many distinct periodic solutions of the corresponding non - perturbation systems by using the symmetric mountain pass theorem
( ? , ? )為r ~ n中內積, | ? |為對應范數。 f [ 0 , t ] r ~ n r連續, ? f ( t , x )存在且連續, h l ~ 1 ( 0 , t ; r ~ n ) 。利用ekeland變分原理和鞍點定理討論了該系統周期解的存在性,把非線性項和位勢函數放寬到一類無界函數,推廣了這方面工作的一些已有結果;利用廣義鞍點定理和lusternik - schnirelman疇數理論得到了該系統的多重周期解,取掉了泛函的常定要求;最後利用對稱山路定理得到沒有擾動時系統的無窮多周期解。Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的編程題自動評分模型的基礎上,對結構體的語法結構和實現原理進行研究,並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則,主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外,還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。Executes a command string or character string within a transact - sql batch, or one of the following modules : system stored procedure, user - defined stored procedure, scalar - valued user - defined function, or extended stored procedure
執行transact - sql批中的命令字元串、字元串或執行下列模塊之一:系統存儲過程、用戶定義存儲過程、標量值用戶定義函數或擴展存儲過程。User - defined functions cannot include nondeterministic built - in system functions
用戶定義函數不能包含不確定性內置系統函數。Transact - sql user - defined functions can include most nondeterministic built - in system functions
Transact - sql用戶定義函數可包含大多數不確定性內置系統函數。分享友人