邏輯完全性 的英文怎麼說
中文拼音 [luówánquánxìng]
邏輯完全性
英文
logically complete- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 全 : Ⅰ形容詞1 (完備; 齊全) complete 2 (整個) whole; entire; full; total Ⅱ副詞(完全; 都) entirely...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 邏輯 : logic
-
Aiming at the dynamics and enormous incomplete information, defeasible logic that if of flexibility and robustness is proposed as negotiation language and protocol operation semantic ( pos ) is utilized in the system as communication protocol to meet with the requirement of sequence information exchange
針對合約市場協商的動態性和信息量大且不完全等特點,設計了靈活、魯棒性強的可廢止邏輯作為協商語言,並採用滿足序列信息交換要求的pos語義作為智能體平臺的通信協議。Arguments designed to show the biblical and logical strengths of the doctrine of the son ' s full deity or vice versa the weakness of arius ' s subordinationism would not be likely to be effective unless the instinctive fear of an implied modalism were addressed and shown to be without solid foundation
除非對暗含形態論的本能懼怕被處理到,並且被顯示沒有堅固的根基,為顯示聖子具有完全神性之教義具有聖經的和邏輯的優點,或者相應地,為表明亞流的從屬主義的弱點所設計的論證,都不大可能產生果效。About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman
在理論上,本文引入了理想的語義,並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義,同時使用理想的命題邏輯公式表示安全協議的秘密性;另外,本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明,原有的證明是不完善的。Chapter three is about the experimental research of the real time optimal position system ( see chapter two ), emphasis on the high performances of 196mx pts interrupt response and safe design of ipm module. the analysis of perfect experimental waveforms and basic algorithm are also provided. chapter four focus on the properties and application of ekf estimator
論文第三章對點對點快速定位系統進行了實驗研究,重點介紹了196mxpts中斷系統對高速處理實時邏輯信號和消除編碼盤光電頭邊緣振蕩效應所起的作用、 ipm模塊的安全性分析設計等,同時給出了完整的實驗波形分析以及基本演算法。In some projects charged by our lab such as national 863 project - " crop planting management components based on weather analyse ", anhui provincial 95 key project - " agricultural meteorology disaster evaluation system base on gis in anhui province " and the project " small coal mine security management and decision system based on gis in anhui province ", this paper combines the theory and arithmetic of rough set with gis and data mining in idss, investiges the application of rough set theory to precision analysis of attribute data and logical operation in gis, analyzes the logical operation based on rough set ( logical union, logical intersection, logical complement, mixed logical operation etc. ), so that it can give a method y to research the gis attribute data and the uncertainty of attribute data after superposition operator, so as to express the roughness and illegibility of attribute data more accurately
在完成試驗室所承擔的國家863項目「基於氣象分析的農作物種植管理軟構件」 、省95攻關項目「基於gis的安徽省重大農業氣象災害測評系統」和「基於gis的安徽省小煤礦安全管理決策系統」等項目中,將粗糙集理論和演算法與gis 、智能決策系統中的知識發現等相結合,對粗糙集理論在gis屬性數據和邏輯運算精度分析中的應用情況進行了研究,分析了基於粗集的gis邏輯運算(邏輯並、邏輯交、邏輯補、混合邏輯等) ,從而為研究gis屬性數據及其疊加運算后屬性數據的不確定性提供了一種方法,能比較準確地表達屬性數據的模糊性和粗糙性。This land of technique has great defects, which arise from equilibrium interpretation of market by competitive equilibrium theory. the deductions from the disparity between real economic life and ccm have logic problems when they are used as guide of formulating economic policy
這種方法存在很大的缺陷,它來自於作為其基礎的競爭性均衡理論對市場所作的均衡論解釋,而其根據現實經濟生活與完全競爭模型的差距所得出的推論,在用作制定政策的指導時存在邏輯上的問題。The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p - polynomials, as well as the permutation theory over finite field : the new definition of chrestenson linear spectrum is given and the relation between the new chrestenson linear spectrum and the chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field ; the distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field gf ( 2 ) and prime field fp ; the relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed ; using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized bent functions over its prime field ; the existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p - polynomials over finite field
重新定義了有限域上邏輯函數的chrestenson線性譜,考察了新定義的chrestenson線性譜和原來的chrestenson循環譜的關系,並利用一組對偶基給出了有限域上邏輯函數的反演公式;給出了有限域上隨機變量聯合分佈的分解式,並利用隨機變量聯合分佈的分解式對有限域上邏輯函數的密碼性質進行了研究;給出了有限域上邏輯函數與相應素域上向量邏輯函數的關系,探討了它們之間密碼性質的聯系,如平衡性,相關免疫性,擴散性,線性結構以及非線性度等;討論了有限域上邏輯函數各類線性結構之間的關系,並給出了任意點都是線性結構的邏輯函數的全部構造,由此引出了有限域上的「泛仿射函數」的概念;考察了有限域上邏輯函數的退化性與線性結構的關系、退化性與chrestenson譜支集的關系;給出了有限域邏輯函數非線性度的定義,利用有限域上邏輯函數的非線性度與相應素域上向量邏輯函數非線性度的關系,考察了有限域上邏輯函數的非線性度與線性結構的關系;利用有限域上邏輯函數與相信息工程大學博士學位論文應素域上向量邏輯函數的關系,揭示了有限域上的廣義bent函數與相應素域上的廣義bent函數的關系,以及有限域上的完全非線性函數與相應素域上向量廣義bent函數之間的關系;給出了任意有限域上任意。About this, the completeness of the formal deductive systems is one of the main branches
在完全解決模糊推理的邏輯基礎問題中,形式演繹系統的完備性是非經典邏輯的主要研究方向之一。( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem, and the first order logic is a half determinant one. so both the analysis of computing complexity and the realization of it are the most important fields
( 3 )眾所周知,經典命題邏輯中的判定問題是np完全問題,而一階邏輯是半可判定問題,關于非經典邏輯特別是非單調邏輯的計算復雜性分析和演算法實現是一個重要的研究領域。The algorithm have the good one - way property, high sensitivity to initial values and good security due to the intrinsic characteristic of chaotic system and rijndael algorithm. the simulation experiment demonstrates the convenience and good hash performance ; 3 ) a new scheme of digital voice secure communication was proposed based on chaotic modulation without additional synchronization. the modulation sequence generated by chaotic logical mapping was used to encrypt the digital voice signal
混沌系統和rijndael演算法的固有特點使該演算法具有較好的安全性、對初值有高度的敏感性以及較好的單向性能,並且易於實現,是一種有效的單向hash函數; 3 )研究了一種無需同步的基於混沌調制的數字語音保密通信系統的方案,利用邏輯映射產生混沌調制序列,以該序列作為密碼對數字語音進行加密處理,為了更好的隱匿信號特徵,混沌調制在小波分解的基礎上,對不同的通道使用不同的參數進行,並借鑒混沌掩蓋對信息信號進行了限幅處理,使密文完全隨機化。It effectively separate logic programming from interface design. moreover, the system combines web services to struts frame. in realization of web services, the system make use of axis which is most extensible and completely opened soap engine
在系統設計上,採用了基於mvc模式的struts框架,有效地實現了界面設計和邏輯編程的分離;並把webservices應用到struts框架中,實現服務流程自動化;在web服務實現上,採用了擴展性最強、完全開放和可插入體系結構的引擎axis 。In the constructing of the diagnosis module using the technology of the combination of the fuzzy logic and neural network, which based on the fuzzy adaptive learning control network, a simple kind of capable method for consummate the structure and performance of network is introduced, which includes the rules extraction based on the maximum weights matrix and the parameters amendment based on genetic algorithm by floating - point coding. during the monitoring of the parts condition, the output of the condition monitoring system shows the good working condition of the executing agency by fuzzily deducing from the control instruction send by the auv ' s controller and motion status, and so offers the proof to complete mission and return safely
在珍斷模塊建模中採用模糊邏輯與神經網路結合的技術,以模糊自適應學習控制網路為核心,提出了一種簡單可行的基於最大權值矩陣的規則提取及基於浮點數編碼的遺傳演算法的參數調整的,完善網路結構與性能的方法,並在狀態監測過程中,通過對由控制器輸入的水下機器人運動控制量以及運行狀態的模糊推理,得到執行部件(推進器或舵)的工作狀態優劣程度,為保證水下機器人完成任務,安全返回提供控制依據。With all due respect to the soundness, courage, and perseverance of those like athanasius and hilary who consistently resisted arianism, one may yet wonder if a more effective method of dealing with this error might not have been to allay the fear that orthodoxy inevitably would lead to modalism
除非對暗含形態論的本能懼怕被處理到,並且被顯示沒有堅固的根基,為顯示聖子具有完全神性之教義具有聖經的和邏輯的優點,或者相應地,為表明亞流的從屬主義的弱點所設計的論證,都不大可能產生果效。Tms320c5402dsp was used in the design to replace six scm those was used in the automatic biochemical analyzer now and to control system, cpld epm7128 offer logic circuit to the system. a 16 - bits high - speed a / d conversion device a / d976a replaced a / d574 to complete digital - analog conversion
本系統設計中採用一片高性能的dsp (數字信號處理器) tms320c5402代替了目前生產的全自動生化分析儀的六個單片機完成系統控制,用可編程邏輯器件epm7128提供所需的邏輯信號,採用16位高速a d轉換器ad976a取代以往的ad574完成模數轉換。This thesis mainly introduce a development process of mis of steel tube enterprise producing. a universal mis of adapting to our country middle and small producing enterprise is developed in accordance with the practical situations of our country producing enterprise. the structure and developing method of the mis are analyzed, followed by the introduction of the development process in stages. the system development abides strictly by the requirements of software engineering, with all the files standard and complete. during the process of the development, we took into consideration practicality as well as scientific principles. the system is development under a quick prototype method. first, the logic module of the system is established through the analysis of the business flow process and the information flow concerning productive enterprise of steel tube ; secondly, in light of the module, the system is set up including the design of the system ' s network platform, developing tools, database, system code, software modules, system security, user ' s interface and so on. finally, the prototype of the system is implemented on the basis of the design
文中首先分析了管理信息系統的開發方法和體系結構,然後分階段地介紹了具體的開發過程。該系統的開發嚴格遵守軟體工程的要求,文檔規范完善,在開發過程中堅持實用性和科學性相結合的原則。系統採用快速原型法進行開發,首先通過對鋼管生產企業業務流程和數據流程的分析,建立了系統的邏輯模型;接著針對該模型進行系統設計,包括對系統的網路平臺、開發工具、數據庫、編碼、軟體模塊、系統安全及用戶界面等方面的設計;然後在設計的基礎上實現了系統原型;通過對原型的評價和改進,使原型最終成為實際產品。However, this is not a hard and fast rule - it is completely acceptable for the encompassing component e. g., the store component in our example to have its own processing logic instead of merely delegating the processing to the dependant interface
然而,這並不是一種硬性的規定- -對于周圍的組件(舉例來說,我們例子中的store組件) ,使用自己的進程邏輯,而不是僅把進程委託給依賴介面,是完全可以接受的。In order to reduce the programming complexity of practical fuzzy control systems, two matlab application program interface ways to capitalize on the resources of matlab and its fuzzy logic toolbox in c programming environment is discussed. one is the maw engine function library, by which c language starts a matlab course running in the background. another is the stand - alone c - code fuzzy inference engine, by which c language establlshes a fuzzy inference system completely based on the c. both of these can reduce the programming loads of practical fuzzy control system obviously
在模糊控制軟體開發平臺研究方面,為減小實際模糊控制系統的編程復雜性,探討了在c語言中調用matlab及其模糊邏輯工具箱資源的兩種matlab應用程序介面方法:一個是利用matlab引擎函數庫,由c語言啟動一個matlab進程在後臺運行;另一個是利用模糊邏輯工具箱中的獨立c代碼模糊推理引擎,建立完全基於c語言的模糊推理系統。Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented
在對公理的有效性進行證明之後,證明了協商推理邏輯的可靠性和無矛盾性;在得出的一系列命題和引理基礎上,以構造的方法證明了協商推理邏輯的完全性,最後得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。Connecting with traditional analysis principle for turbine control characteristic and deh system working practice, this text further analyzes the originative control characteristic of deh system. this text is for the purpose of perfecting better the concept of deh system, and making both of turbine project and autocontrol project could understand the deh system more completely, and functioning for instructing power plant practice maintenance
本文結合自動控制原理,從汽機專業的角度出發闡述了deh系統,對deh系統的組成、控制功能和邏輯進行了解析,進而結合傳統汽輪機調節特性的分析原理和deh系統的生產實踐,創造性地深入分析了deh系統的調節特性。本文的目的是為了進一步完善deh系統的概念,以求汽機和熱控專業均能進一步全面、深入理解deh系統,對電廠汽輪機運行和deh系統的檢修維護生產實踐起到指導作用。The paper analyses its key circuit and software program structure. this full - digital controller is made up of dsp and implements single neuron adaptive pid computation, current pi computation, logical determination, pulse - fire and procession of protective signal etc. it also improves the reliability and availability of this control system
本課題對控制器主要的電路結構及程序結構進行了分析,以dsp為核心組成的全數字式控制器完成了電流pi演算法計算,單神經元自適應pid演算法計算、邏輯判斷、脈沖觸發以及系統保護信號的處理等,提高了控制器的可靠性和可操作性。分享友人