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 本論文在對現(xiàn)行的土石壩設(shè)計內(nèi)容詳細(xì)分析的基礎(chǔ)上,歸納整理出以流程圖表示的物理模型,繼而建立了系統(tǒng)實現(xiàn)的邏輯模型。
Disaggregate methods are utilized in this paper to formulate the departure time and transportation mode double class nested logic models , and then the arithmetic of the model is analyzed 利用非集計方法,構(gòu)造了旅客出發(fā)時刻和運輸方式選擇行為的雙層巢式邏輯決策模型,并對模型參數(shù)的估計方法進行分析。
In the part of system design , the system is divided into some modules with definite function , proper size and independence on the base of system logic model 在系統(tǒng)設(shè)計中,以系統(tǒng)邏輯模型為基礎(chǔ),使用標(biāo)準(zhǔn)的工具和準(zhǔn)則、結(jié)構(gòu)化設(shè)計策略,把系統(tǒng)化分為功能明確、大小適當(dāng)、具有一定獨立性、易于實現(xiàn)的模塊。
In the beginning , we defined the logic model , explained entity , property , relation , windows , events and echo which are in web document considered as a set of entities 本文先定義了web文檔的數(shù)學(xué)模型,分別對web文檔中的實體、屬性、關(guān)系、窗體、事件和響應(yīng)等概念進行了說明,把web文檔看成一個實體的集合。
On the base of investigating the requirement of database subsystem , the paper researched how to design the concept model > logic model and physics model of cat system engineer database 在詳細(xì)進行數(shù)據(jù)庫子系統(tǒng)需求關(guān)系調(diào)研的基礎(chǔ)上,用系統(tǒng)工程的理論研究了cat系統(tǒng)工程數(shù)據(jù)庫的概念模型、邏輯模型和物理模型的設(shè)計。
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)用,本文第一次嘗試這方面的研究。