新邏輯系統 的英文怎麼說
中文拼音 [xīnluóxìtǒng]
新邏輯系統
英文
new logical system- 新 : Ⅰ形容詞1 (剛出現的或剛經驗到的) new; fresh; novel; up to date 2 (沒有用過的) unused; new 3 (...
- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 邏輯 : logic
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
-
At the same time, it also illustrates the superiority of this kind of communication by introducing the profibus field bus. take the transformation of focke packaging machine as an example, the main content is as follows : 1st, to analyze the plc control system of s5 series, and determine the concrete functions that the new plc control system hopes to achieve as well as how to achieve the goal through studying the work program of the original one ; 2nd, to demonstrate the advantage of the field bus in the process of digital alternation by introducing the principle agreement of field bus profibus ; 3rd, to achieve each function of the original control system through using siemens ' s plc control system in the design of hardware and step 7 in the software as well as designing and compiling control system of focke packaging machine ; 4th, to use fm455 for controlling temperature not only can meet the system ’ s severe request for temperature and efficiently avoid many demerits of the temperature control instrument but also can bring convenience for operation and maintenance ; 5th, to use the intouch configuration software to compile monitor and control program can accomplish the goal for real - time surveillance and control of the production line, while setting some parameters can provide a powerful alarming function
以改造focke包裝機為例,主要內容如下: 1 、通過熟悉原有控制系統的工作流程,分析了原s5系列可編程邏輯控制器的控制系統,確定新的可編程邏輯控制器控制系統需要實現的具體功能以及其實現方法; 2 、在本系統數據交互中,通過介紹profibus現場總線原理協議,論述了現場總線在工業通訊中的優點; 3 、下位機硬體設計上使用西門子可編程邏輯控制器控制系統,軟體平臺採用西門子step7 ,設計和編制了focke包裝機控制軟體,實現了原有控制系統的各項功能; 4 、本系統對溫度要求嚴格,採用溫控儀表控制溫度不能滿足系統要求,而且溫控儀表操作和維護都不方便,因此採用fm455溫度控制模塊進行溫度控制,滿足了系統對溫度的要求,同時又有效地避免了溫控儀表在操作和維護上的缺陷; 5 、在監控系統上,使用intouch組態軟體設計了系統的監控界面,從而實現了對生產線的實時監控,並且可以通過界面設置系統的一些參數,同時提供了較強大的報警功能。Expert system has many merits. it has the ability of heuristic illation, and can explain for illation and append new knowledge in the knowledge database. but it also has obvious shortcomings, such as, poor ablitity in ka ( knowledge achieve ), inefficient and incomprehensive. the artificial neural network has the ablitity of parallel processing, associative memory, distributed storage of knowledge and high robust etc. it also has perfect characteristics of self - organizing, self - adaptive, self - learning. it specializes in visualize ideation but is short of logic ideation
專家系統在故障診斷領域得到廣泛的應用,專家系統具有許多優點,能利用專家的知識進行啟發式推理,能夠解釋其推理過程,並能夠不斷地、靈活地增加新的知識。但專家系統也存在明顯的缺陷:獲取知識能力差、效率低、范圍窄。可以說專家系統長于邏輯思維缺乏形象思維。It integrates the functions of servo amplifier, dynamic operator, position transmitter and remote communication. many new functions have added to its original ones, such as the real - time logical judgment, malfunctions self - diagnosis, alarm & protection, led display, on - line setting and adjustment of functional parameter and position transmitter, power - absence data auto - protection, watchdog system protection, and the long - range communication with pc
系統集伺服放大器、電動操作器、位置發送器及遠程網路式通信功能於一體,在保留對應部分原有功能的同時,還新增了邏輯實時判斷、故障實時監控、 led動態顯示數據、功能參數設置、掉電數據自保護、 「看門狗」電路保護、位置發送器在線調節、與遠程工控機數據通信等眾多功能。As a new branch of logic, semi - symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand
摘要半符號邏輯是一種新的邏輯分支,它試圖突破傳統和現代邏輯的局限性,建立一種既嚴格又易於掌握的邏輯體系。Evenly, to the economic benefits, they have destroyed tourist resources and their environment. so the tourist academe should make a breach in the study of problem of tourist environment, a system of theory and means which is effective in practices. on the base of study practices and investigates outdoors, this paper puts forward a signify idea of tourist resource environment management, and design a system of nature landscape tourist resources environment, which is full, systematic and material, including a system of ideas and a system of means, to try hard to seek a new aspect angle for the tourist academe
本文在科研實踐和野外調查的基礎上,從自然風景區旅遊資源(生境)的理論認識出發,提出旅遊資源環境管理的重要思想,並從理念體繫到方法體系構建出一個完整的系統的邏輯遞進的又具體可行的旅遊資源環境管理體系,力圖為自然風景區管理者提供一個在理論上有指導意義和方法上可參照實施的模板,並為學術界提出一個新視角。The dynamic causality diagram developed from the belief network adopts its graphical expression of knowledge and then innovates and extends this expression approach, abolishes the limit to logical structure of system, and introduces boolean calculation. thus, the dynamic causality diagram overcomes the shortage of belief network, and possesses more greater advatage
由信度網發展起來的動態因果圖理論,借鑒了信度網圖形知識表達的優點,但創新並擴展了表達方式,取消了對系統邏輯結構的限制,引入了邏輯運算,從而在很大程度上克服了信度網的不足,具有更大的優勢。Considering the above preconditions, aiming at tobacco daily business and requirements of data, this article presents the following : 1. to analyze business logic and data info a flow chart, based on software including ibm aix os, db2 udb according to the tobacco number one ’ s total design thoughtfulness 2. to analyze the factors affecting db2 database performance in detail in allusion to the characteristic of tobacco industry including large data, lots of users, data updating rapidly, and frequent visits ; 3
基於以上前提,本文針對煙草企業日常業務和數據量的需求作了以下工作:從國家煙草專賣局煙草一號工程總體設計思路出發,分析工業企業的業務邏輯以及數據信息流圖,涉及的相關平臺,包括ibmaix操作系統、 db2udb通用數據庫系統。針對煙草行業數據量、用戶量龐大,數據更新迅速、用戶訪問頻繁的特點,詳細分析了影響db2數據庫性能的因素。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圖、控制矩陣等工具先後完成系統功能、邏輯模型、數據庫和內部控制的設計。An important later development in nyaya is the system of navya nyaya ( new logic )
正理派后來的一個重要發展就是新邏輯系統。This paper focuses on the combitional logic synthesis including two level logic synthesis and multiple level synthesis. and it is a part of control flow synthesis in a controller synthesis system. in this paper following problems are proposed and implemented : ( 1 ) implement the algorithm " espresso ", and make it suit to the system
本文所完成的組合邏輯綜合的研究與實現是控制流綜合系統的一個組成部分,其中包括: ( 1 )引入並實現了兩級邏輯綜合的「 espresso 」演算法,定義與系統相適應的數據結構,重新測試各種開關條件,使之適用於系統的實際應用。The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。In order to make the objects more adaptable to the changes of environment, more easily to cope with and depict the relationship between objects and organize the objects to take part hi all kinds of affairs, and in order to make the programming design more suitable for the originally reality of the real world, we propose a new - type and more abstract programming language ? fact - oriented programming language. it is based on the logic structure of language and the real world that was expressed in tractatus logico - philosophicus ( the title is written in latin ) and philosophical investigations which were written by an austrian linguist and philosopher ( ludwig wittgenstein ). in real world, a certain object will display different features in different environments and scenes, for example some features will only appear in a given environment or scene while other features will not appear in the same environment or scene
為了使對象能夠更好地自動適應環境的變化,更好地處理和描述面向對象系統中對象與對象之間的關系,更好地組織和管理面向對象系統中的各種對象,並使程序設計更加符合客觀世界的本來面貌,本文把奧地利語言哲學家路德維格?維特根斯坦( ludwigwittgenstein )在《邏輯哲學論》 ( tractatuslogico - philosophicus ,注:拉丁文)和《哲學研究》 ( philosophicalinvestigations )中關於世界和語言邏輯結構的哲學論述應用到程序設計中,並結合現實世界中對象能自動適應環境(事實或場景)變化的特性(即對象在不同的環境中會表現出不同的屬性和行為,有一部分屬性和行為只有在某些特定的事實中才會表現出來,而有一部分屬性和行為在某些特定的事實中一定不會表現出來) ,提出了一種新的程序設計語言? ?面向事實程序設計( fact - orientedprogramming ? ? fop ) 。Finally, based on the approximation capability of gengeralized multilinear fuzzy logic systems ( gmfls ), a new scheme of decentralized adaptive fuzzy controllers for a class of multiple - input - multiple - output nonlinear systems with a triangular matrix function control structure is proposed
最後針對一類具有下三角形矩陣函數控制增益的多變量非線性系統,並利用廣義多線性模糊邏輯系統的逼近能力,提出了一種分散自適應模糊控制器設計的新方案。This paper wielded the relevant theories and methods of administrative ecology, utilized the logical thought of its system and tread, and with new visual angle to has probed about the problems that our country ' s public servants systematic reform facing in the period of new and old system to transform, and offered a basic ideas for improving it
摘要本文運用行政生態學的有關原理與方法,借用其系統和動態的邏輯思維,以新的視角審視新舊體制轉型期我國公務員制度改革所面臨的問題,提出完善我國公務員管理制度改革的基本思路。In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml
當前,對agent和多agent系統的研究正在掀起熱潮,是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究,從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 ( bdi )模型,在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題,提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋,解決了「邏輯全知」問題和由此帶來的問題,避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。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 )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統,該邏輯系統特別適用於處理不完全信息,可以作為處理不完全信息的理論基礎。To investigate the existing system, to specify the new system, and to detail the implementation requirements by performing systems analysis and logical system design
透過系統分析及邏輯系統設計,了解現行系統的情況、為新系統訂立規格、及詳細列出推行計劃的各項要求。Using the system definition model sdk you can model new logical server and application prototypes that display in the toolbox
使用系統定義模型( sdm ) sdk ,可以建立工具箱中所顯示的新邏輯服務器和應用程序原型的模型。The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic
第二部分:在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a ( a b ) ,建立了一種新的代數系統rl ,並進一步研究了rl代數類的性質;以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl的(弱)完備性分享友人