邏輯模型 的英文怎麼說

中文拼音 [luómóxíng]
邏輯模型 英文
logical model
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 邏輯 : logic
  • 模型 : 1 （仿製實物） model; pattern 2 （制砂型的工具） mould; pattern3 （模子） model set; mould patter...
  1. Wireless radiotelecommunications intersystem operations - ssf ccf call and service logic model

    無繩無線電通信內部系統操作. ssf ccf呼叫和服務邏輯模型
  2. Basic events analysis and decision - making logic modelfor field maintenance support

    野戰維修保障基本事件分析與決策邏輯模型
  3. 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圖、控制矩陣等工具先後完成系統功能、邏輯模型、數據庫和內部控制的設計。
  4. Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic

    為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。
  5. Logical model is the design of the domain conception model, including design of domain framework and domain components

    邏輯模型是概念模型的具體設計，主要包括領域框架構件的設計。
  6. Based on the detailed analysis on existing design procedure of earth dams, a physical model presented by flow chart was made and logic model realized by the system was established

    本論文在對現行的土石壩設計內容詳細分析的基礎上，歸納整理出以流程圖表示的物理模型，繼而建立了系統實現的邏輯模型。
  7. 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

    本文在總結企業計劃流系統需求分析的基礎上，結合模型開發方法，分析並設計了計劃流管理信息系統的各個功能子系統的過程模型、數據邏輯模型、數據概念模型以及用戶界面。
  8. 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

    本文在總結企業物流系統需求分析的基礎上，結合模型開發方法，分析並設計了物流管理信息系統的各個功能子系統的過程模型、數據邏輯模型、數據概念模型以及用戶界面。
  9. 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描述的弱點。
  10. Using a real the regional health enterprise as a model, this paper mtroduces a management information system ( mis ) under the environment of novell lan with foxpro database language. according to the direction of software engineering, the system was accomplished by the mean of structured system analysis and design and implement. in the part of system analysis, the feasibility of the system is analyzed, the goal and the demand of the system is determined and the logic model of the system is set out as well

    本文以一個實際部門為模型，在novell局域網環境下用foxpro數據庫語言實現了社區衛生運營管理系統，在系統實現過程中，以軟體工程思想為指導，按照結構化系統分析、系統設計及系統實施的方法來實現；在系統分析中，運用結構化系統分析工具對系統進行了分析，提出系統的可行性，決定系統的目標及需要，主要根據系統調查階段所獲取的資料分析需求，提出系統的邏輯模型。
  11. Information packing includes three data models named information package diagram, star scheme and physical data model, corresponding to conceptual model, logic model and physics model in traditional database

    數據庫的信息打包設計法通過建立信息包圖、星型模式、物理數據模型三種數據模型來創建數據倉庫。它們分別對應傳統數據庫的概念模型、邏輯模型和物理模型。
  12. Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems

    命題邏輯可滿足性（ sat ）問題和有限論域一階邏輯模型搜索（ folms ）問題是計算機理論科學中的經典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。
  13. A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification

    一種支持分散式系統的正式驗證且廣泛發布的軟體包是用於硬體驗證的時態邏輯模型檢查的示例。
  14. Finally, i have afforded the using view which is reflected by the static structure in order to show the high logical model of this system

    最後，給出由靜態架構反射出來的用例視圖用於表示系統功能的高層邏輯模型。
  15. This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model, including bel, asm, des, goal and int, in order to describe the dynamic restrictions and interactive triggering relations between belief, desire and intention of agent. a new intentional model was built in complementation of the kd45 regular modal logic axiom, which is the base of agent self - control interaction with the outer environment

    在傳統的理性agent的bdi形式化邏輯模型中作者引入新的邏輯運算元bel 、 asm 、 des 、 goal和int等，表達了信念、願望和意圖三者間的動態約束與相互激發關系，補充了正規模態邏輯的kd45公理，建立agent從信念到動作選擇的的意圖模型，為研究agent與環境交互的自主行為模式提供了理性化模型。
  16. 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

    文中首先分析了管理信息系統的開發方法和體系結構，然後分階段地介紹了具體的開發過程。該系統的開發嚴格遵守軟體工程的要求，文檔規范完善，在開發過程中堅持實用性和科學性相結合的原則。系統採用快速原型法進行開發，首先通過對鋼管生產企業業務流程和數據流程的分析，建立了系統的邏輯模型；接著針對該模型進行系統設計，包括對系統的網路平臺、開發工具、數據庫、編碼、軟體模塊、系統安全及用戶界面等方面的設計；然後在設計的基礎上實現了系統原型；通過對原型的評價和改進，使原型最終成為實際產品。
  17. 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

    作為一個應用實例，本文在分析超市業務數據庫的基礎上，用星型架構的方式建模，構造出一個數據倉庫的邏輯模型；然後從超市業務數據庫中抽取數據，經過轉換等處理，把「有價值的、干凈」的數據加載到數據倉庫中，完成數據倉庫的構建。
  18. In the paper, technological bases of mis are studied and analyzed. this paper makes detail system analysis by use of structured analysis method. analyzing contents include organization structure, managing operation flow, requirement of users, etc. based on the analysis result, the logic model of new system is put forward

    論文分析研究了建立管理信息系統的技術基礎，利用結構化的分析方法對銷售管理信息系統進行了系統分析，主要包括對現行系統的組織結構、管理業務流程、用戶需求等內容的詳細調查和分析，並在此基礎上提出了新系統的邏輯模型。
  19. In order to describe thermotical character and mechanical charater of compressor, mechanism model is developed according to the construction and principle of compressor. this model may substitute the usual regress model and logic model, and more roundly describes the running law of centrifugal compressor

    本論文在熟悉和掌握離心式壓縮機結構和原理的基礎上建立了反映壓縮機熱力特性和機械特性的數學模型，取代了以往常用的回歸模型和邏輯模型，較全面地描述了離心式壓縮機的運行規律。
  20. For the assembly scheduling control, logic model and construction frames of intelligent dynamic scheduling are established

    針對裝配調度控制問題，建立了智能（知識基）動態調度的處理邏輯模型與結構框架。
分享友人
分享到 Line

分享到臉書