logic modeling造句
例句與造句
- 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
數(shù)據(jù)庫的信息打包設(shè)計法通過建立信息包圖、星型模式、物理數(shù)據(jù)模型三種數(shù)據(jù)模型來創(chuàng)建數(shù)據(jù)倉庫。它們分別對應(yīng)傳統(tǒng)數(shù)據(jù)庫的概念模型、邏輯模型和物理模型。 - 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
為了形式化驗證數(shù)字現(xiàn)金的安全性，本文在經(jīng)典一階邏輯的基礎(chǔ)上，吸取了多類邏輯、動態(tài)邏輯和非單調(diào)邏輯的思想，提出了bzl邏輯模型。 - 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
本文在總結(jié)企業(yè)計劃流系統(tǒng)需求分析的基礎(chǔ)上,結(jié)合模型開發(fā)方法,分析并設(shè)計了計劃流管理信息系統(tǒng)的各個功能子系統(tǒng)的過程模型、數(shù)據(jù)邏輯模型、數(shù)據(jù)概念模型以及用戶界面。 - finally, through systems analysis and systems design of the quality control information systems in water and hydroelectric projects, the logic model is established and the component of the module and the function of each module are also put forward
第五，對水利水電工程質(zhì)量控制信息系統(tǒng)進行了系統(tǒng)分析和系統(tǒng)設(shè)計，建立起水利水電工程質(zhì)量控制信息系統(tǒng)的邏輯模型，提出了系統(tǒng)的模塊組成，并給出了相應(yīng)的模塊的功能。 - it is a very important methodological tool in western government performance management . there are much research of theory and application in western government performance management on it, but currently there is no such study about the logic models in china
邏輯分析法在西方政府績效管理中已經(jīng)有大量研究和具體應(yīng)用,但目前國內(nèi)基本上還沒有對邏輯分析法以及在政府績效管理中的研究和應(yīng)用,本文第一次嘗試這方面的研究。 - It's difficult to find logic modeling in a sentence. 用logic modeling造句挺難的
- described the physics model and logic model of bizcape system, then explained the interrelated technique and implement process of the system modules, also explained the functions and implementation classes and interface of enterprise-level ciient software
在給出系統(tǒng)的物理模型和邏輯模型的基礎(chǔ)上，描述了系統(tǒng)中各個模塊的相關(guān)實現(xiàn)技術(shù)和實現(xiàn)過程。還描述了企業(yè)級客戶的客戶端軟件應(yīng)具備的功能和該客戶端軟件的實現(xiàn)類和接口。 - and the complex model can apply for actual production . then it builds up the system structure and logic model of the e-b . at last it realizes the e-b module with visual studio . net in which the algorithm model of data collection is applied, and gives the running result
然后建立了電子商務(wù)的總體結(jié)構(gòu)和邏輯模型，用visualstudio.net為開發(fā)工具，開發(fā)出一套基于bs模式的客戶協(xié)同平臺的電子商務(wù)模塊，在程序中實現(xiàn)了數(shù)據(jù)采集的算法模型。 - 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
本文在總結(jié)企業(yè)物流系統(tǒng)需求分析的基礎(chǔ)上,結(jié)合模型開發(fā)方法,分析并設(shè)計了物流管理信息系統(tǒng)的各個功能子系統(tǒng)的過程模型、數(shù)據(jù)邏輯模型、數(shù)據(jù)概念模型以及用戶界面。 - the following is the detailed, 1 . in the chapter 2 of constructing system modeling, first, the manufacture tasks are calculated and the process is described . then, according to the theory of constraints ( toc ), the constraint items and target function of corporation runing are defined and three rules of heuristic algorithm are described . at last, the model to arranging production plan by heuristic algorithm and the fuzzy logic model to follow the plan be carried out are constructed
在建立系統(tǒng)模型部分，首先，明確企業(yè)的加工任務(wù)和加工工藝；其次，采用toc理論確定企業(yè)生產(chǎn)的約束條件，確定企業(yè)運行的目標(biāo)函數(shù)，建立啟發(fā)式搜索編排的3大規(guī)則；最后，建立啟發(fā)式搜索編排生產(chǎn)計劃的模型，和生產(chǎn)計劃執(zhí)行情況的模糊跟蹤模型。 - 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)問題是計算機理論科學(xué)中的經(jīng)典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應(yīng)用。 - in the field of verifying digital-cash, no good logic model describing and verifying a digital cash protocol has been brought forward either abroad or at home . in this background, the contents and purpose of my researches are to design a secure digital-cash protocol, devising a simple e-dealing system and building a logic model
數(shù)字現(xiàn)金安全分析方面國內(nèi)外都沒有一個能夠嚴(yán)格描述和驗證數(shù)字現(xiàn)金協(xié)議的邏輯模型，基于這種背景，本課題的研究目的是設(shè)計一個安全的數(shù)字現(xiàn)金協(xié)議，實現(xiàn)一個簡易電子交易系統(tǒng)來展示該協(xié)議的思想，并建立一個邏輯模型來形式化描述該協(xié)議且對其進行安全性分析。 - in the field of verifying digital-cash, no good logic model describing and verifying a digital cash protocol has been brought forward either abroad or at home . in this background, the contents and purpose of my researches are to design a secure digital-cash protocol, devising a simple e-dealing system and building a logic model
數(shù)字現(xiàn)金安全分析方面國內(nèi)外都沒有一個能夠嚴(yán)格描述和驗證數(shù)字現(xiàn)金協(xié)議的邏輯模型，基于這種背景，本課題的研究目的是設(shè)計一個安全的數(shù)字現(xiàn)金協(xié)議，實現(xiàn)一個簡易電子交易系統(tǒng)來展示該協(xié)議的思想，并建立一個邏輯模型來形式化描述該協(xié)議且對其進行安全性分析。 - 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
論文分析研究了建立管理信息系統(tǒng)的技術(shù)基礎(chǔ)，利用結(jié)構(gòu)化的分析方法對銷售管理信息系統(tǒng)進行了系統(tǒng)分析，主要包括對現(xiàn)行系統(tǒng)的組織結(jié)構(gòu)、管理業(yè)務(wù)流程、用戶需求等內(nèi)容的詳細調(diào)查和分析，并在此基礎(chǔ)上提出了新系統(tǒng)的邏輯模型。 - after it discusses information for the financial diagnosis evaluations system financial analysis, system analysis, on the basis of the system analysis yield logic model, it carries on system design and the detail design below the principles of design . in the end, this paper discusses how to use the information technology to build up system of financial diagnosis for small and medium-sized enterprises in our country
首先，本文在考察國內(nèi)外財務(wù)診斷的現(xiàn)狀和特點的基礎(chǔ)上，結(jié)合中小企業(yè)的財務(wù)管理特點和現(xiàn)狀，分析了建立中小企業(yè)財務(wù)診斷系統(tǒng)的基礎(chǔ)及重要性；其次，對本文所要構(gòu)建的中小企業(yè)財務(wù)診斷分析系統(tǒng)進行系統(tǒng)分析，并對邏輯模型進行系統(tǒng)總體設(shè)計和詳細設(shè)計；最后，采用多種技術(shù)相結(jié)合的開發(fā)方式實現(xiàn)目標(biāo)系統(tǒng)。 - the model includes the hierarchy of data sharing, the hierarchy of land resources information service and the hierarchy of decision support . the structure of land resources information service system is introduced in logic model . at the same time, the paper discusses the factor that influences the construction of land resources information system
然后提出了國土資源信息服務(wù)系統(tǒng)建設(shè)的層次模型,包括數(shù)據(jù)共享層、國土資源信息服務(wù)層和決策支持層;從邏輯模型的角度介紹了國土資源信息服務(wù)體系結(jié)構(gòu),在此基礎(chǔ)上討論了影響信息服務(wù)體系建設(shè)的主要因素。