邏輯演算法 的英文怎麼說

中文拼音 [luóyǎnsuànfǎ]
邏輯演算法 英文
logical algorithm
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 邏輯 : logic
  1. This paper mainly aims at the characteristics of the hardware and software structure of the parallel computer on satellite, and has fulfilled researches of fault tolerant technique in three aspects of control theories and engineering : the first research of the system level fault - tolerant module is based on the system structure of the parallel computer on satellite, a kind of cold backup module and a kind of hot backup module for multiprocessor computer have been put forward. then the research of software fault tolerant technique which is based on the operate system named rtems has been carried, the mission level fault - tolerate arithmetic and the system level fault - tolerate mechanism and strategies based on the check point technique have been put forward, at the same time the self - repair technique of software which has used the technique of system re - inject has been studied. finally the technique of components level fault - tolerant based on fpga has been studied, a kind of two level fault - tolerant project which aims at the fault - tolerant module of the parallel computer on satellite has been put forward, and the augmentative of circuit that project design realization need is little, this project can avoid any breakdown of any part logic circuit of the fpga

    本課題主要針對星載并行計算機體系結構及軟體結構的特點，從如下三個方面進行了容錯控制理論研究和實踐工作:首先進行了基於星載多cpu并行計算機體系結構的系統級容錯模型研究，提出了一種多cpu冷備份容錯模型和一種多cpu熱備份容錯模型;然後進行了基於rtems操作系統的軟體容錯技術研究，提出了任務級容錯調度演算法以及基於檢查點技術的系統級容錯恢復機制和策略，同時研究了利用系統重注入進行軟體在線自修復的容錯技術;最後研究了基於fpga的部件級容錯技術，提出了對容錯模塊這一星載并行計算機關鍵部件的兩級容錯方案，實現該方案所需增加的電路少，可避免板級晶元以及fpga晶元內部任何邏輯發生單點故障。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. Aimed at the flaw of weak anti - slide function in traditional engineering machine, the thesis puts forward a new auto - anti - slide differential gear system controlled by intel 8751 microcontroller, which adopts the fuzzy logic as its control algorism and the best slide ration ( s ) as system ' s control target

    針對傳統工程機械差速系統存在防滑功能不強的缺陷，提出以intel8751單片機為控制晶元，以最佳滑移率s為控制目標，採用模糊邏輯控制為控制演算法的自動防滑差速系統。
  4. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。
  5. A kind of downgrade algorithm and its properties in gainse - rescher logic system

    邏輯系統中的一種降級演算法及其性質
  6. A method based on map matching arithmetic which includes muzzy logic arithmetic can emendate error of gps localization. this method is introduced in the paper

    著重分析了地圖匹配演算法的基本原理，基本方法，並應用了一種基於模糊邏輯地圖匹配演算法校正gps定位誤差。
  7. Because the factorization attribute of logic program possess the property of uncertainty, exploring the fargoing factorizing algorithm need further study

    由於邏輯程序的可分解屬性具有不確定性，因此尋找適用范圍更廣的分解演算法有待于進一步研究。
  8. We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation. the platform is characteristic of transplant, expansion

    處理器中實現了本文中用到的一系列演算法，其中包括：規則修飾、邏輯程序的修飾、魔集轉換、邏輯程序的分解、分解的魔集轉換。
  9. Majority think that fga is the ga resulting from the integration that the use of fuzzy tools and fuzzy logio - based techniques for modeling different ga components and adapting ga control parameters, with the goal of improving performance

    大部分學者認為模糊遺傳演算法是用基於模糊邏輯的模糊工具或模糊邏輯技術來優化遺傳演算法的組成成分或控制參數，來提高演算法性能。
  10. On the basis of former work, author presents a fga based on the diversity measure. in order to keep the dynamic balance between eer, t ' uz / y logic controller ( flc ) was used to adjust ga ' s important parameters dynamicly

    本文在前人研究的基礎上，基於群體多樣性測度設計了一個模糊遺傳演算法，利用模糊邏輯控制器來動態調整遺傳演算法中的重要參數，保持遺傳演算法eer的動態平衡。
  11. Logical calculus and formalized method

    邏輯演算與形式化方法
  12. ( 3 ) a minutiae matching method combining genetic algorithm and fuzzy logic is proposed

    （ 3 ）提出了綜合利用遺傳演算法和模糊邏輯的細節點匹配方法。
  13. Abstract : since the multiple failures situation is not uncommon in the clinical medicine, we explore the use of proportional odds model to the multivariate interval - censored data. the approach is based on the conditional logistic regression, which prevents the complications in the existence of nuisance parameters. the estimation of parameters is obtained by the newton - raphson algorithm. the sandwith estimator for the covariance is made according to the situation where there is correlation in the score statistic. simulations are also presented to assess the accuracy of the procedure

    文摘:探索比例優勢模型在臨床醫學中常見的多結局區間截斷數據中的應用.用條件的邏輯回歸方法避免討厭參數的估計，用牛頓-拉普森演算法估計回歸系數，用"夾心方差"估計量作為參數方差的估計.通過隨機模型檢驗模型應用的有效性
  14. In the hardware design, the paper completes modules ’ design like outside memory, patulous a / d, patulous d / a, rs232 communication, ecan communication, led control, keyboard control, distant control, emulation, reset, logic voltage switch, dsp supply power regulate and ac - dc power circuit, as well as room layout design like anterior panel, back panel etc. and dsp transfers data with peripheral equipments except outside memory using serial ports. besides, the whole circuit is configured in interrupt response. thus, it can meet system demand as well as take full advantage of tms320f2812 ’ s hardware resource. in the software design, the paper finishs programs like the interface programms intercommunicates with people, the distant control program, ad and da modules ’ control program, in addition, the paper select the velocity and acceleration state - feedback algorithm and is written in the program. the software design uses dsp integrate exploiting environment named ccs2. 2 of ti inc. as software instrument, and programs with the combination of c language and assembly language. moreover, in order to maintenance or modify the software expediently and shorten software ’ s exploitation time, the design adopt software modularization technique. finally, some air cylinder experiments are carried out to proved that the pneumatic controller is very practical

    在硬體設計中，本文完成了片外存儲器擴展、 a / d擴展、 d / a擴展、 rs232通信介面、 ecan通信總線介面、液晶顯示控制、鍵盤控制、遠程控制、模擬、復位、邏輯電平轉換、 dsp工作電源校正電路和ac - dc電源等模塊設計以及控制器前面板、後面板等的空間布局設計。其中dsp與除外部存儲器的外圍設備之間的數據傳送全部採用串口通信，同時系統電路配置成中斷響應方式，這樣既滿足了系統要求，又充分利用了tms320f2812的硬體資源。在軟體設計中，本文完成了人機界面功能模塊、遠程控制模塊、 ad擴展模塊、 da擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  15. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  16. The detailed works are as follows : the finding patterns problems in the time - series data sequence are described, and a new trend logic expression method is introduced, and its algorithm and experiment result of algorithm are given ; time - scries data are disposed, and using the arctg. slope of line as the sample of pattern recognition, so ignoring the aberrance of pattern in the classified. in addition, a new time - series pattern finding algorithm based on higher - order neural network is put forward

    同時給出了本文的具體的工作，主要是：對在時序數據序列中發現模式問題進行了描述，並介紹了一種新的趨勢邏輯表示方法，給出了其演算法及演算法的實驗結果；對時序數據進行處理，提出了利用線段的斜率反正切值作為模式識別的樣本，從而在分類時忽略模式的畸變；另外，還提出了一個新的基於高階神經網路的時序模式發現演算法。
  17. Further tweak to closing down logic, to make it slightly more accurate vs slider descriptions

    進一步調整了逼搶的邏輯演算法，使得其更符合玩家所設定的滑動設置欄的設置。
  18. By simulation, the paper subsequently shows the feasibility of the method, and the result shows that this method is much advantageous over traditional methods in stability

    本文隨后設計了該邏輯演算法的模擬實驗，驗證了演算法的可行性。結果表明，與傳統的控制演算法相比，該方法還在穩定性方面具有突出的優點。
  19. The logical control model is built based on pal - bool algebra based on a good deal of empirical data and characteristics of firing process of ceramic kiln. then simulation on this algorithm by matlab and shows the feasibility of the algorithm, and the result shows that this algorithm is much advantageous over traditional algorithms in stability

    在分析了大量經驗數據的基礎上，針對陶瓷窯燒成過程的特點，建立了基於泛布爾代數的邏輯控制模型，然後以matlab為模擬工具，對該邏輯演算法進行模擬，驗證了該演算法的可行性。
  20. Considering a half - freedom mobile robot, the paper had done some conceptual analysis and design, then emphasized on some essential functions, including velocity control, path plan, target tracking etc. studied the algorithms respectively, such as pid algorithms, iterative algorithms, fuzzy logic algorithms, and so on, and used matlab to simulate and compared with each other

    本文以市內半自主式移動機器人為研究對象，在研究整體系統組成及功能結構的基礎上，對其主要功能進行了概念性分析設計，並著重研究了其中幾項主要的基本的功能：包括速度控制、路徑規劃、目標跟蹤等，分別研究了這些功能實現的演算法，如pid演算法、迭代學習演算法、模糊邏輯演算法等，並應用matlab進行模擬分析。
分享友人
分享到 Line

分享到臉書