數理邏輯基礎 的英文怎麼說

中文拼音 [shǔlǐluójīchǔ]
數理邏輯基礎 英文
fundations of mathematical logic
  • 數 : 數副詞（屢次） frequently; repeatedly
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 礎 : 名詞（墊在房屋柱子底下的石頭） plinth
  • 數理 : mathematical physics
  • 邏輯 : logic
  1. Based on field research and the dynamic analysis of remote sensing data of different time ( 1987 tm, 1996 tm and 2000 china - brazil earth resource satellite ccd ), using multi - information of research area ( including data of geology, geography, hydrology, meteorology, economy, human culture and dem ) and existing research results, the dissertation discusses drive factors of desertification and the relationships between drive factors and desertification with the help of gis tool and some mathematical methods such as probability, statistics, curvilinear estimation, logical analysis and analytic hierarchy process

    論文在對研究區土地荒漠化現狀野外調研和不同時相（ 1987tm 、 1996tm和2000ccd ）遙感圖像土地荒漠化信息提取和演變分析的基礎上，結合研究區已有的多元信息基礎資料及研究成果（包括地質、地理、多時期的水文氣象、經濟、人文以及dem數據等） ，運用gis強大的空間分析功能和概率統計、曲線估計、邏輯分析、主成分分析、層次分析等數學方法綜合研究了土地荒漠化與各驅動因子之間的相關關系，揭示了研究區土地荒漠化的主要驅動因素，探討了荒漠化動態演化規律。
  2. The logical basis for the theory of the integers that euclid presented in books vii to ix of the "elements" was woefully deficient.

    歐幾里德在《原本》的第七到第九冊中提出的整數理論的邏輯基礎是十分令人遺憾地有缺陷的。
  3. R. cori & d. lascar : mathematical logic ? a course with exercises, part i. oxford university press, 2001

    陳慕澤余俊偉：數理邏輯基礎? ?一階邏輯與一階理論，中國人民大學出版社2003 。
  4. The merits of the inclusion of quantitative methods based on logical empiricism for explicit definition of input errors and uncertainty, approaches to quantisation of input data, and optimisation of outputs are contrasted with soft systems approaches that incorporate more linguistic and information theory into landscape analysis

    為輸入的錯誤和不確定，輸入的數據的量子化的方法和輸出的最佳化的明白定義以合乎邏輯的經驗主義為基礎的數量方法的包含的功績與將較多的語言學和傳播理論納入風景分析的軟性系統方法一起對比。
  5. This course aims not only to lay down a solid basis in mathematics for students to learn further advanced courses of mathematics and other specific courses of their respective science and engineering majors, but also to train and nurture students to master the abstractness, logicality and tightness embodied in mathematics, as to enable students to have the fundamental ability to understand and apply the logic relationship, study and grasp the abstract phenomena, and comprehend and utilize the mathematical rules

    課程不但為學生學習后續數學課程和其他理工專業課程奠定必要的數學基礎，而且對學生在數學的抽象性、邏輯性與嚴密性方面進行一定的訓練和熏陶，使他們具有理解和運用邏輯關系、研究和領會抽象事物、認識和利用數形規律的初步能力。
  6. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  7. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試等途徑，結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要，採用定性與定量結合的方法，進行實證研究，得出結論：化學學科能力的19種表現形式歸納為3個層次：最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括；以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非邏輯思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的邏輯思維；化學實驗能力層次是化學學科能力的最高層次，它以思維能力為基礎，集中體現了化學教學的基本特徵，實驗能力層次包括：選用實驗方法和設計實驗方案，對實驗的評價，研究和處理實驗事實、資料、數據，發現規律，表達實驗及其結果，最終解決問題的能力和發散思維。
  8. Based on area feature coordinate data, and constructing block cut - edge associate table, this article describes seamless unite process of cutting - area feature on embedded studio, drawing whole geographical entity smoothly

    該文在面要素坐標數據支持的基礎上，在內存構建圖塊切割邊關聯索引表中，描述了在嵌入式硬體平臺上快速實現面狀地理要素的無縫拼接的過程，實現了面狀地理實體的邏輯無縫。
  9. 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

    從大量的遙感信息模型，地理圖像信息模型的實踐中，提出符合地理科學自身規律的非線性數學方法，解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算，從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別，從而開創了以地理科學為背景的數學研究，進而為發展地理數學奠定了基礎。
  10. First of all, the data system in the article is discussed and the goal function used to optimize the agricultural structure and the inhabitable condition are offered. then according to the characteristic of agricultural data system the logical structure of data bazaar in the data warehouse in the system is designed and the program for drawing out the data for data warehouse are offered. and we use the analysis services in sql server 2000 to design the multi - dimension data volume, which laid the groundwork for the later olap and data mining, we make use of the technique of mining the association rules to discover the rules in the data which are processed in a certain extent

    本文首先探討了該系統中的數據指標體系，給出了相應的優化農業結構使用的目標函數和約束條件；然後根據農業數據的特點，設計了該系統中的數據倉庫中的數據集市的邏輯結構，給出了相應的數據倉庫數據的抽取程序；利用sqlserver2000中的analysisservices設計了數據倉庫的多維數據集，為後面的聯機分析處理和數據挖掘打好了基礎，並利用關聯規則挖掘技術，對經過一定處理之後的數據進行挖掘；最後選擇windows2000作為網路服務器、 sqlserver2000數據倉庫的服務器、利用microsoftvisualinterdev 、結合asp 、 frontpage 、 photoshop等作為系統開發平臺，設計開發基於intranet的農業結構優化決策支持系統，使得決策支持系統在intranet進一步擴展。
  11. This article flows the information system take the jilin postal service the design as the research object, first introduced the research background, the significance and the research content, the multianalysis postal service entered the modern age to flow the domain the superiority and the inferiority, disparity and insufficiency, as well as needs to overcome question, expounded the jilin postal service development third party flows condition, was clear about the third party to flow the information system the concept

    提出吉林郵政物流信息系統設計的總體目標，按照基礎設施、技術層、數據層、功能層、服務層的順序分析吉林郵政物流信息系統各項功能和應用。對吉林郵政物流業務流程重新整合，確定訂單管理、倉儲管理、配送管理和結算管理的業務流程。藉助數據流程圖、 e - r圖、控制矩陣等工具先後完成系統功能、邏輯模型、數據庫和內部控制的設計。
  12. In the aspect of theoretical research : firstly, general descriptive format of controlling rule is discussed based on trait of intelligent control ; secondly, principle and tactic of basic logical controller are discussed based on panboolea algebra, and then control rules of basic logical controller are symbolized by using panboolea algebra ; at last, control idea of nine - points controller is presented based on basic logic controller, and control tactic is also analyzed based on phase - plane method

    在理論研究方面：首先從智能控制的自身特點討論了其控制規律的一般描述形式；然後以泛布爾代數為理論基礎，討論了基本型邏輯控制器的控制原理與策略，將邏輯控制器的控制規則用泛布爾代數符號化；最後以基本邏輯型控制器為基礎，討論了九點控制器的控制思想，並從相平面的角度對控制器的控制策略進行了分析。
  13. This paper analyzes and designs the process model, data logic model, data concept model and user interface of every sub - system of plan flow management information systems after the demand analysis of enterprise plan flow systems

    本文在總結企業計劃流系統需求分析的基礎上，結合模型開發方法，分析並設計了計劃流管理信息系統的各個功能子系統的過程模型、數據邏輯模型、數據概念模型以及用戶界面。
  14. Based on the analysis of requirement for logistics system, combining with model - based design methodology, the paper present the analysis and design of all sub - system for logistics information, which includes process model, data concept model, data logic model and user interface

    本文在總結企業物流系統需求分析的基礎上，結合模型開發方法，分析並設計了物流管理信息系統的各個功能子系統的過程模型、數據邏輯模型、數據概念模型以及用戶界面。
  15. As one application, this paper analyses the operational database, then builds the supermarket ' s data warehouse logical model with the method of starschema, after that, the data is extracted from operational database. the " valuable and clean " data is loaded into the data warehouse after transformed by some tools or programming languages, then the physical model of supermarket ' s data warehouse is finished

    作為一個應用實例，本文在分析超市業務數據庫的基礎上，用星型架構的方式建模，構造出一個數據倉庫的邏輯模型；然後從超市業務數據庫中抽取數據，經過轉換等處理，把「有價值的、干凈」的數據加載到數據倉庫中，完成數據倉庫的構建。
  16. Many mathematicians only show concern for concept structure and logical foundation, but they do not concern the combination of psychological research and mathematical teaching practice. on the other hand, mathematical educationist used to make deductive ways to infer the cognition of concept, which lacks deep research

    數學家只關注數學概念的結構和邏輯基礎，很少涉獵心理研究與數學教學實踐的融合，而數學教育家則習慣用演繹方式去推測概念認知活動，缺少在深層面揭示概念的認知規律。
  17. Expanding capital operation, as an important part in development strategy, is closely related with the long - term development of listed companies, therefore, listed companies should hold strategical view in planning and making - decision in conducting expanding capital operation. based on sustainable development principle, the dissertation analyses the essence of expanding capital operation and its basic models according to the theories of capital operation ; combined with existing situation of china ' s listed companies, analyses internal causes and external factors which lead expanding capital operation falling into dire straits, and advances that using strategy is a breakthrough point to solve the problem. then, with the logical line of strategical management " analysis of strategical environment - settlement of strategical targets - drawing - up and choosing strategical model - implementing and controlling strategy - assessing strategy ", brings strategy into expanding capital operation process, analyses factors effecting expanding capital operation, and constructs decision - making model for choosing strategical styles ; in the implementation stage, focus on fixing exchange price and the whole integration management ; at final, using conglomerate m & a strategy as an example, utilizing entropic measure method, regression - analysis, variance - analysis and spss digital - statistic software, constructs a model to illustrate the relationship between diversified m & a strategy and economic performance of listed companies, puts forward the suitable expanding capital operation style for china ' s listed companies, and gives some suggestions

    本文以公司持續發展為原則，根據資本運營理論，分析外擴型資本運營的內涵及其三種基本模式；並與我國上市公司的實際情況相結合，分析目前上市公司外擴型資本運營陷入困境的內在原因和宏觀因素，提出以戰略為支撐是我國上市公司外擴型資本運營走出困境的突破點；然後以"戰略環境分析-戰略目標定位-戰略制定及模式選擇-戰略實施與控制-戰略評價"的戰略管理邏輯主線，將戰略引入上市公司外擴型資本運營的各個階段，分析了影響上市公司進行外擴型資本運營的內外部因素、確立戰略性經營目標，構建我國上市公司外擴型資本運營戰略模式的決策模型；在戰略實施階段，重點研究交易價格的確定和全面整合管理；最後，以目前我國上市公司外擴型資本運營中常見的混合併購模式為例，運用熵測量法、回歸分析、方差分析等計量方法及spss大型數據統計軟體，構建模型，研究上市公司混合併購戰略與經濟績效的關系，在分析結果的基礎提出適合我國上市公司發展的外擴型資本運營模式及相關的建議。
  18. The simulation results show that, the evolution architectures model win the advantage of integrating the research production such as natural language proc essing, fuzzy logic, neural network techniques, artificial intelligent and intelligent deciding methods easily. in other words, it will take full advantage of the operators " subjective value, provide an intelligent assistant deciding environment to all levels managers, and boost the information processing ability and command & deciding levels. those advantages are attributable to that the evolution data fusion architectures are founded on the physical base of anthropic thinking and deciding, i. e., the evolution theory of nervous system

    研究表明，由於直接以人類思維與決策的物理基礎，即神經網路進化的理論為基礎建立數據融合體系結構模型，數據融合系統的進化體系結構更有利於集成諸如自然語言處理、模糊邏輯、神經網路技術、人工智慧和智能決策等方面的研究成果，它可以充分發揮指揮和操作人員的主觀能動性，為各級管理人員提供一個智能化輔佐決策環境，提高復雜網路系統的信息處理能力和指揮決策水平。
  19. In the general model there are many factors effecting the algorithm of task matching and scheduling, such as data dependencies among tasks, processor ' s processing speed, topology of network connectivity, communication protocol and bandwidth, volume of transferring data, etc. in each model, we proposed two genetic algorithms for task matching and scheduling, one is for single decomposed task, the other as a cga is for multiple independent tasks

    一般模型中任務分配與調度受到系統多種因素的影響，如任務間的數據邏輯關系、各處理機的計算速度、網路拓撲結構、節點間通信機制以及通信波特率、數據流量大小等等。在考慮上述影響因素的基礎上，分別提出單任務分配與調度的遺傳演算法和獨立多任務分配與調度的共同進化演算法。
  20. Due to the enhancement of the information processing abilities of single neuron, the nns can realize the multi - valued logic ( mvl )

    在對數字邏輯的多閾值神經元實現理論研究的基礎上，探討多閾值神經元電路設計及實現的方案。
分享友人
分享到 Line

分享到臉書