函數描述語言 的英文怎麼說
中文拼音 [hánshǔmiáoshùyǔyán]
函數描述語言
英文
function-descriptive language- 函 : 名詞1. [書面語] (匣; 封套) case; envelope 2. (信件) letter 3. (姓氏) a surname
- 數 : 數副詞(屢次) frequently; repeatedly
- 描 : 動詞1. (照底樣畫) copy; depict; trace 2. (在原來顏色淡或需改正之處重復塗抹) retouch; touch up
- 述 : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
- 語 : 語動詞[書面語] (告訴) tell; inform
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 函數 : [數學] function函數計算機 function computer; 函數計算器 function calculator; 函數運算 functional operation
- 描述 : describe; represent
- 語言 : language
-
It can give bdd presentation of boolean function or arbitrary combination logic circuits which are presented by cdl, and can realize different operation of boolean function by the operation to bdd
能完成對任意基於cdl語言描述的組合邏輯電路或布爾函數,實現其bdd表示並通過對bdd的操作實現對相應組合電路或布爾函數的操作。This method combines the rich output of function and the powerful semantic express ability of predicate and can be used to build precise and detailed ' information needs descriptions for workflow activities. this method can also be used as the request expression language for user query
該方法吸收了函數的豐富輸出和謂詞的強大語義表達能力,用於為工作流活動建立準確、詳細的信息需求描述,同時也可以作為人工推動的信息檢索的需求表達語言。The tdp system is based on the objectarx technique, autocad database and the vc + + development language. the characteristics of the configuration class is described based on the object - oriented technology and series of modules and algorithm of detecting interference are designed. in the end, the packing result without constraints of the arbitrary geometry component is realized
本文基於objectarx技術,以autocad數據庫為操作背景,用vc + +作為開發語言,根據模擬退火法構建了多目標函數,通過面向對象技術對布局類進行了特徵描述,設計了一系列的操作模塊和干涉檢驗的演算法,完成了對無約束的任意形狀三維實體的布局。In order to made his theory of confirmation have exact rules, he constructed a first - order logical language system and gave the definitions and theorems to some important concepts such as state description, structure desciption and the range of state description etc. in the given language system, some functions such as m - function, c - function etc. collected with the theory of inductive confirmation are introduced, m - function is the basis of c - function
在構建的語言系統中,引入了測度函數m 、確證函數c ,其中測度函數是確證函數的基礎,由語句所滿足的狀態描述的測度函數m值來確定確證函數c的值,研究了歸納確證問題。According to the basic theory of iir filters, a scheme of hardware implementation is worked out combining with the fact that coefficients of numerator and denominator of transfer function are fixed and the structural feature of selected hdpld. from the clew of implementing a stratified , modularized and parameterized design , the thesis describes the hardware implementation of the iir filter with vhdl and schematic diagram design method. two examples that are iir notch filter and iir low - pass filter are given , the stability of filters and the effects of quantification of coefficient are also analyzed
以iir數字濾波器的基本理論為依據,結合濾波器的傳遞函數分子、分母系數固定這一事實和選用的高密度可編程邏輯器件的特點,確定了iir數字濾波器的硬體實現方案;按照層次化、模塊化、參數化的設計思路,採用vhdl硬體描述語言和原理圖兩種設計技術進行了iir濾波器的硬體設計;本文給出了iir陷波濾波器和低通濾波器兩個設計實例,對設計的濾波器都進行了穩定性分析和系數量化影響分析;最終將完成的iir濾波器的硬體設計配置到晶元中,並在製作的實驗電路中進行了實際濾波效果測試。Web services technology provides the foundation for the dynamic binding of distributed computing systems to enable the exchange and interaction of data and functions among heterogeneous computer networks through the web services description language wsdl interface
通過web服務描述語言( wsdl )介面, web服務技術為分散式計算系統的動態綁定提供了基礎,使得它們可以在異構的計算機網路間實現數據和函數的傳輸和交互。The relevant program of both the dongle and the computer have also been developmented. a parallel port and a serial port are provided for the pcb. there is a program ( in vhdl, vhsic hardware description language ) carrying out in the pld which implementi ng the parallel protocol. an encrpt arithmetic is designed and embeded in pld. to providing a interface for the user, a dll ( dynamic link library ) is developmented in c + + builder
所設計的電路板上可以選擇連接串列口或者并行口,在pld內用vhdl ( vhsichardwaredescriptionlanguage ,硬體描述語言)實現了並口的通信協議和一個自行研製的密碼演算法,並在c + + builder環境下開發了配套的上位機軟體,主要是提供了dll (動態鏈接庫)和一些函數用於pc機和加密鎖之間進行通信。Mpi library provides the description using c and fortran, which is named as c binding and fortran binding respectively
Mpi函數庫提供了c語言和fortran語言描述,分別稱為c語言或fortran語言綁定。分享友人