linear logic 中文意思是什麼
linear logic
解釋
線性邏輯-
Several semi - active control algorithms used in the semi - active suspension system with mr dampers are proposed and developed including the " on - off " voltage controller, the continuously linear variable voltage controller, the modulated continuously linear variable voltage controller based on " sky - hook " damping concept and the hybrid controller based on the combination of " sky - hook " damping concept and " ground - hook " damping concept and the fuzzy logic controllers using measurements of the relative displacement between the sprung and unsprung mass or the absolute acceleration of the sprung mass as the input variables of fuzzy logic controllers. the simulation models were prepared in matlab ? simulink ? fuzzy toolbox programs. the experiment setup of the semi - active suspension system with mr dampers in the lab has been designed and developed
根據磁流變阻尼器特性和對懸架系統動力學特性的規律性研究，為磁流變阻尼器設計了基於「天棚」阻尼控制概念的「 on - off 」 、線性連續和修正的線性連續控制策略，基於「地棚」阻尼控制概念的磁流變阻尼線性連續控制策略， 「天棚」阻尼和「地棚」阻尼控制概念線性組合起來的磁流變阻尼混合控制策略，根據模糊控制原理設計了以簧載質量和非簧載質量間相對位移或簧載質量加速度分別作為輸入變量的模糊邏輯控制器用於磁流變阻尼半主動懸架的智能控制。 -
This paper is an academic thesis about remote sensing information model and geographical mathematics. the author have studied a lot of remote sensing information models and geographical image information models. according to geographical regularity the author advance non - linear mathematics method which is geographical complex phenomena both of certainty and uncertainty to combine in an equation. that is from formal logic inferring to dialectical logic calculation. moreover, it is from abstract thinking to both of abstract and visualized thinking, which is image joining equation calculated. make a suggestion that the geographical parameters are different from the physics variables. thus initiate based on geographical science for mathematics. there are 4 parts as follows in this paper : the regularity of geographical phenomena ; general equation of remote sensing information model ; geographical parameters and geographical indexes ; significance of geographical image information models
從大量的遙感信息模型，地理圖像信息模型的實踐中，提出符合地理科學自身規律的非線性數學方法，解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算，從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別，從而開創了以地理科學為背景的數學研究，進而為發展地理數學奠定了基礎。 -
It implements filter groups design, wide range linear automatic gain control design, and the programmed logic device design based on vhdl, and discuss their application in initial radar system in details
其中包括分段濾波器的設計技術，寬線性自動增益控制agc電路的設計技術，以及基於vhdl語言的可編程邏輯器件的設計技術，並對其在數據採集系統中的應用作了詳細的討論。 -
The tool mr barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future
巴斯先生用來實現這一轉化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數理邏輯系統。 -
Then, a linear - time partitioning algorithm based on a linear ordering of nodes in a circuit for parallel logic simulation is presented
然後，提出一種在對電路中節點進行線性排序的基礎上的線性時間劃分演算法。 -
The important part in photoelectric transform circuits is design of driving circuits and signal processing circuits about linear ccd. the time order driving circuit of ccd are designed and debugged with cpld ( complicated programmable logic device ), which make the whole driving circuit ' s volume very small, shorten design period, modify design at any time, and enhance reliability and agility of circuit
在設計過程中，採用了一種復雜可編程邏輯器件（ cpld ）設計線陣ccd驅動脈沖電路的新方法，只對器件進行重新編程，在不改變任何硬體的情況下，就可以實現驅動器的更新換代，非常適合線陣ccd脈沖產生電路的設計研究，具有高集成度、高可靠性、開發時間短、投資少等優點。 -
Higher mathematics, visual basic programming design, fundamentals of law, linear algebra ， fundamentals of, computer application, physical education, computer networks and communication, c + + with object - oriented, programming, data structures, philosophy and political theory, programming in c language, operating systems, software test technology, relations on business, digital logic circuit, international software development, social analysis and government policy, introduction to java visual foxpro database systems and program design, e - business, introduction to programming with an application framework, software engineering, introduction to web page design and programming
高等數學、大學計算機應用基礎、程序設計教程軟體工程、用戶界面設計、電子商務、軟體工程、數據庫應用與程序設計、線性代數、編碼理論基礎、信息管理基礎、軟體成本估算、質量管理、計算機軟體技術基礎、實用軟體體系基礎、大型軟體體系結構、軟體測試技術、客戶關系管理、電子商務、國際化軟體開發、現代項目管理、計算機網路與通信。 -
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 ） ，利用模糊邏輯來柔化控制量中非線性不連續部分，採用自適應理論，根據系統不確定性大小在線調整模糊輸出量的隸屬函數，另外，鑒于模糊控制本質上是有靜差的，所以本文選擇了帶積分項的切換函數，由於積分項的存在使系統較正為無靜差系統。 -
Fuzzifying topological linear spaces based on continuous - valued logic
基於連續值邏輯上的不分明化拓撲線性空間 -
The characteristics and forms of describing properties of uml models with linear temporal logic are also studied
研究了線性時態邏輯公式表達uml模型性質的特點和形式。 -
Fnn efficiently maps the complex non - linear relationship of training data for its automatic learning, generation and fuzzy logic inference
模糊神經網路具有很強的自學習、泛化和模糊邏輯推理功能，可以有效地映射出訓練數據之間復雜的非線性關系。 -
In the aspect of the selection of fuzzy probability of bottom event, the concept of the basic condition in the priority of selecting the fuzzy number model is brought forward, and traits of the fuzzy number model is analyzed and compared. the reason that the accurate probability is replaced with the probability of linear fuzzy number is elucidated. and the definition and arithmetic of the logic gate fuzzy arithmetic operators is established
在模糊故障樹分析法選擇底事件模糊概率方面，本文提出了優先選擇模糊數模型的基本條件的概念，分析比較了各種模糊數模型的特點，闡明運用線性模糊數概率取代精確的概率值的理由，並根據模糊數（ f數）及其運算規則，導出邏輯門模糊運算元定義及演算法。 -
Finally, their applications in the logic synthesis based on the partial linear function and calculating boolean difference of logical functions are discussed
最後討論了它們在邏輯綜合以及計算邏輯函數的布爾差分中的應用。 -
Combining the traditional methods of market demand forecasts, such as linear regression, gray system, generalized weighted proportional combination forecasting, the author also have analysed and forecasted the actual example in this paper, which clearly response the applied logic of using petri net model to resolve the question of market demand forecasts. the founded model of petri net in resolving market demand forecasts has the characteristic of pertinence and universality. the key issue of those important problems often occurred in marketing is the market mix decision and regulate - control analysis and the question of how to enhance the market share of products is the foundation to resolve this issue
論文還結合線性回歸、灰色系統、廣義加權平均組合預測等傳統市場預測方法對實例進行了分析和預測，充分清楚地反映了應用petri網模型進行市場營銷需求預測的應用邏輯，所建模型對于解決市場需求預測問題具有較強的針對性和普遍性；市場營銷組合決策和調控分析是市場營銷眾多問題中的一個重點，如何有效提高產品的市場佔有率是該問題的出發點。 -
Then, the cc - pwm linear current control strategy is also studied in detail in this paper, and two improved self - adaptive pi controllers are brought forward on the basis of fuzzy logic control theory and fuzzy logic neural network control theory which sufficiently takes advantage of self - learning capability of neural network. they can greatly improve the dynamic performance and cc - pwm system can achieve fast system dynamic response
論文深入研究了cc - pwm逆變器的線性電流控制策略，並提出了模糊自整定pi控制和基於神經網路的模糊推理自整定pi控制兩種改進型智能pi控制演算法，其中的模糊神經網路pi控制演算法充分利用了神經網路具有很強的自學習能力的特點。 -
After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。 -
A novel strategy combined the fuzzy logic of linear multivariable feedback control to design a controller of statcom to meet the multi - objective demands of power systems is also proposed in this dissertation, and the controller is designed with this strategy, because of variational element, nonlinearity and multi - objective controlling demands of statcom, this paper designs the controller respectively aimed at continuous linear control for voltage maintaining, oscillation damping, improving the transient stability
根據電力系統變參數、非線性以及對控制要求多目標的特點，本文針對維持系統節點電壓、阻尼系統振蕩、提高系統暫態穩定性能等不同控制目標分別設計了控制器，然後將模糊邏輯和多狀態線性反饋相結合，提出了一種能滿足電力系統多目標要求的控制方法，並用該控制方法為statcom設計了控制器。 -
Tested per jedec standard jesd51 - 3. for additional information, refer to the ti application report ; thermal characteristics of standard linear and logic ( sll ) packages and devices, literature number scza005
其它信息參見ti應用報告《標準線性和邏輯（ sll ）封裝和器件的熱特徵》 ，文獻代碼： scza005 。 -
It extends linear valuation field of many - valued logic to a more general lattice, thus can deal with both order and non - order information, such as non - comparable information, consequently describe the uncertainty of human reasoning, judging and decision - making more effectively. in the view of logic, reasoning is the use of knowledge and logic deduction
格值邏輯把多值邏輯的鏈型真值域拓廣到較一般的格上，既能處理全序信息，又能處理不可比的信息，從而可以更有效地刻畫人類的推理、判斷和決策的不確定性，尤其是對真值不完全可比較性的研究，能夠更真實地刻畫人類的思維活動。 -
Lattice - valued logic system based on lattice extends linear valued field of multi - valued logic to lattice, thus not only can deal with order information, but also can deal with non - order information, consequently describe the uncertainty of human reasoning, judging and decision - making more effectively
而建立在格上的格值邏輯系統把已有多值邏輯的鏈狀真值域拓展到較一般的格上，既能處理全序性信息，又能處理非全序性信息，從而更有效地描述人類推理、判斷和決策的不確定性。
分享友人