modal operators 中文意思是什麼

modal operators 解釋
模態運算符
  • modal : adj 1 方式上的,形態上的;【哲學】(對本質、內容說的)形式(上)的。2 【語法】語氣 (mood) 的;表...
  • operators : (運算符):可以從一個或多個值中計算獲得新值。例如,將兩個數值相加就可以獲得一個新值。
  1. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp ( x )和格值一階邏輯系統lf ( x )的基礎上,討論了廣義格值模態邏輯系統的語義及語法性質,並對其-歸結原理做了初步探討,主要在下述三個方面取得了研究成果:第一部分:關于格值模態命題邏輯系統及其歸結方法的研究在此部分,把模態運算元n (必然)和p (可能)引入格值命題邏輯系統lp ( x ) ,建立了新的格值模態命題邏輯系統lmp ( x ) ,並研究了它的語義刻畫及語法結構,證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的;在此基礎上,進一步研究了基於格值模態命題邏輯系統lmp ( x )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。
  2. These modal operators are usually available in temporal logic

    通常,下列模態操作符可用於時態邏輯:
  3. To encourage more passengers to use west rail, the tac considers that kcrc should work out arrangements with other transport operators to provide inter - modal concessions

    為鼓勵更多乘客選搭西鐵,交諮會認為九鐵需要與其他交通運輸營辦商一起訂定提供轉乘優惠的安排。
  4. Then, the crew pairing modal based on the multi - agent is built. the agents cooperate with each other to realize the operators function. the design of the modal, including the system flow, system basic constitution and the realization of most agents is introduced

    建立了基於多agent的機組配對模型,利用多個agent協作實現了遺傳演算法的各運算元的功能,並討論了基於多agent的機組配對系統的流程、系統基本構成和各主要agent的設計與實現。
  5. At last, based on the modal of ga dynamics, the performance of genetic operators was analyzed

    分析了幾種常見的改進遺傳演算法結構的方法,以提高遺傳演算法的性能。
  6. Temporal logic employs three or four, depending on the model common modal operators

    時態邏輯使用三個(或四個,取決于模型)常見的模態操作符。
  7. Various modal operators can then be applied to these atomic assertions to generate more complex assertions

    於是,各種模態操作符都可以應用於這些原子斷言以生成更復雜的斷言。
  8. In fact, the syntax of temporal rover assertions is the same syntax i ve used in the examples above, where assertions taken by the modal operators are surrounded with braces

    實際上, temporal rover斷言的語法與我在上面示例中使用的語法相同,其中,模態操作符採用的斷言用花括號括起。
分享友人