語法核對器 的英文怎麼說
中文拼音 [yǔfǎhéduìqì]
語法核對器
英文
dsssl syntax checker- 語 : 語動詞[書面語] (告訴) tell; inform
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 核 : 核構詞成分。
- 對 : Ⅰ動詞1 (回答) answer; reply 2 (對待; 對付) treat; cope with; counter 3 (朝; 向; 面對) be tr...
- 器 : 名詞1. (器具) implement; utensil; ware 2. (器官) organ 3. (度量; 才能) capacity; talent 4. (姓氏) a surname
- 語法 : grammar; syntax
- 核對 : check; collate; verify; collating; verification; verifying; checking
-
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方法為主要內容。At last the algorithm of ddmf is achieved by the investigation tool of altera company ? quartus ii and the vhdl language, and its ip core is also achieved which is used not only in the satellite navigation position system, but also in the long pn code dsss system. ddmf investigated in the dissertation gives a good way to design the rapid pn code acquisition in the beidou project, and the technology has the definite theory and practice significance
此外還應用altera公司的最新的fpga開發工具quartusiiv5 . 1 ,採用了國際標準的硬體描述語言? vhdl語言,對數字差動匹配濾波器和傳統匹配濾波器演算法予以實現,開發了該演算法的軟ip核,可以對所應用的擴頻碼長度, a / d采樣后的數據量化階數,所用擴頻碼等可進行隨意改寫。To realize nolinear excitation controller, it must be improved that the disposal speed of nolinear excitation control " s signal. with analyzing and comparing all kinds of microcomputer excitation controller, a new microcomputer excitation control scheme is offered that is based on dsp controller while the cpld chip is utilized for realizing the function of pulse trigger. it is described in detail that the method of realizing controllable silicon digital logic by verilog hardware describe language and the designed digital pulse trigger " s veracity was validated by digital simulation
論文進一步針對非線性勵磁控制要求信號處理速度高、信息量大的特點,在對目前微機勵磁控制器分析基礎上,提出採用dsp控制器晶元作為核心處理器的微機勵磁控制器的解決方案,運用復雜可編程邏輯器件cpld晶元實現可控硅同步脈沖觸發單元,並簡要說明了verilog硬體描述語言和數字脈沖形成邏輯的方法,通過電路數字模擬對所設計的數字觸發單元進行了驗證。The core algorithm of still image compression standard jpeg2000 are simulated with watcom c, including the algorithm of ebcot, the lifting wavelet transform and mq arithmetic coder
同時,本文還對靜止圖象壓縮標準jpeg2000的核心演算法進行了c語言實現,包括ebcot演算法、小波提升演算法、 mq算術編碼器等。In the next, we discuss the system of the meg - 1 layer i. the paper centers on the two kernel sub - parts : filtering coding and psychoacoustic model, do some research work in sub - band coding ( cbc ) theory and the relate theory such as quadrature mirror filter ( qmf ) and analyse sub - band filter ; also do research work in psychoacoustic theory especially the part related to the mpeg - 1 layer i. in the third chapter, introduce the ti tms320c6000 series dsps and their characteristics, also about the software development flow and the ti dsp / bios operating system of it. the forth chapter is the most important, firstly, according the algorithm flow in protocol, using c language validate the algorithm ; then, transplant and optimize the coding in dsp. in the processing of optimize, acording the assembler program characteristic of ti dsp, the paper put forward the analyse sub - band filter dsp optimization algorithm base on the eight spot idct. the algorithm has been optimize have greatly improved the work efficiency. make use of the technology of the dsp / bios host channels, data io pipe, software interrupt, we implement the musicam algorithm base on dsp / bios
論文首先對當前語音編碼技術的發展、分類以及mpeg系列音頻標準作了介紹;接著在第二章,給出了layer的musicam ( masking - patternuniversalsubbandintegratedcodingandmultiplexing )演算法的系統組成,圍繞分析子帶濾波器和心理聲學模型兩個核心模塊,深入研究了子帶編碼工作原理、比特分配及子帶編碼中用到的正交鏡像濾波器和分析子帶濾波器;探討了心理聲學基本原理和mpeg . 1layer所用到的心理聲學模型。第三章對titms320c6000系列dsp作了簡介,介紹了6000系列dsp結構特點、 c6000dsp軟體開發流程和tidsp / bios操作系統。第四章是本文的重點,首先根據協議給出的演算法用標準c語言編程實現並調試通過。On the basis of the deep analysis of the semiconductor device numerical analytical methods, using a pisces for dos as a kernel, we develop a software which can simulate the semiconductor devices under windows operation system. the software is programmed by mixed languages including visual c + +, fortran9o and matlab. so the problems such as mixed - language programming are solved and the interpolation algorithm on a triangle - partitioned planarity is realized
在對半導體器件數值分析方法和手段有深入分析的基礎上,以dos下的piscesii為內核,綜合利用了vc + + , fortran90 , matlab等計算機語言,解決了混合語言編程的出現的如變量傳遞等多種難題,實現適用於三角形網格劃分二維空間的插值演算法,開發了可以在windows操作系統下運行的一半導體器件模擬軟體,使得在windows下的器件模擬成為可能。分享友人