抽象形式模型 的英文怎麼說
中文拼音 [chōuxiàngxíngshìmóxíng]
抽象形式模型
英文
abstract formal model- 抽 : 動詞1 (把夾在中間的東西拉出; 提取) take out (from in between) 2 (從全部里取出一部分; 騰出) ...
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 模 : 模名詞1. (模子) mould; pattern; matrix 2. (姓氏) a surname
- 抽象 : abstract
- 模型 : 1 (仿製實物) model; pattern 2 (制砂型的工具) mould; pattern3 (模子) model set; mould patter...
-
Moreover, we introduce the ants system in bionics into grading mas system, try to study the abstract model of individual ant, the collective and the task and plot out the relief map and the process of solving the problem
利用仿生學的相關成果,把蟻群系統引入到等級mas系統中,研究蟻群中單個螞蟻、蟻群、任務的抽象模型,形式化描述蟻群的地形圖和任務求解的過程。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
從大量的遙感信息模型,地理圖像信息模型的實踐中,提出符合地理科學自身規律的非線性數學方法,解決了確定性與不確定性結合的宏觀復雜性問題。從形式邏輯推理發展到辯證邏輯的計算,從抽象公式的計算發展到抽象思維與形象思維結合的公式與圖像結合的計算。提出了物理變量與地理參數的區別,從而開創了以地理科學為背景的數學研究,進而為發展地理數學奠定了基礎。First, the paper summarizes a group building csg entity and makes combination mode of csg entities clear, by abstracting building model and analyzing building graphic objects. depending on this model, the article describes topology relations of the 3d architecture model inner based on the point, line, surface and entity. finally, in the developing environment vc + +, based on the opengl techniques, 3d building model of tyut office building is implemented by csg
首先,通過對建築模型抽取和建築圖形對象的分析,總結了一組描述建築模型的建築csg體元,揭示了建築模型csg體元之間的組合形態,提出一種基於csg的組合建模方案來構造三維建築模型;然後在此模型基礎上進行了基於點、線、面、體的表達方式描述了建築模型內部拓撲空間關系,簡要介紹了建築模型的體裝配方法;最後利用opengl技術在visualc + +下實現了工大辦公樓的csg建模實驗。Finally we come up with the principles, characteristics, frame and functions of it and then illustrate them in program instances
最後分析了面向事實程序設計的原則、特點、結構、功能、抽象模型形式分析,同時以具體的面向事實的實例進行了闡述。All the contents are developed around a set of scaling laws taking the form of exponentials which relate to almost all the issues of complexity including fractals, chaos, strange attractors, localization, and symmetry breaking, etc. the main work can be summarized as follows : starting from the law of allmetric growth three fractal dimensions in a broad sense are derived, and according to these dimensions, geographical space is divided into three levels, i. e., real space, phase space, and order space, each of which corresponds to a kind of dimension. based on the idea of spatial disaggregation and using the rmi ( relationship - mapping - reversion ) principle, the urban system is formulated as three scaling laws of the three spaces, including number law, size law, and area law, which can be transformed into a set of power laws such as allometric law and zipf ’ s law associated with fractal structure
從異速生長律的縱向、橫向和切向三個角度將地理空間劃分為實空間、相空間和序空間,分別對應于空間系列、時間序列和等級序列三個層面,每個層面的測度各有自己的空間維度。基於「空間循環細分-等級體系-網路結構」的數理等價關系,利用rmi (關系-映射-反演)原則,成功地實現了城市系統宏觀模型的理論抽象,將空間復雜性問題表徵為簡單的指數式標度定律(包括數量律、規模律和尺度律) ,這一組標度律可以與一組冪次定律(包括具有分形性質的規模-數目律、異速生長定律和三參數zipf定律)互為變換。The first part, the theory and application about wu - ritt differential characteristic sequence method are discussed, which involves the theories of differential equations, abstract algebra and computer algebra etc. we apply wu - ritt differential characteristic sequence method ( abbr. wu - ritt method ) to linear partial differential equations which has physics significance and give the size of solutions and formal taylor solutions
本文共分兩部分,第一部分討論微分特徵列法的理論和應用問題,涉及到微分方程,抽象代數,計算機代數等重要學科。將吳方法應用到具有物理意義的線性偏微分方程上去,我們給出了型序,驗證了張鴻慶教授八十年代給出的恰當解的概念,刻劃了解的規模並給出了形式冪級數解。By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification
通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架,這一工作是對uml類圖在rsl中形式化的繼續,使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋,同時也提高了rsl規范的抽象層次,增強了其可讀性簡明性。To achieve information integration in manufacture process, this paper, with reference to dnc, researches into manufacture process information integration from 3 aspects : data level, function level, application level, presents the management information integration framework ( miif ) based on distributed control technology, builds meta - agent and application agent by regarding agent as an entity having special behavior ability and specific action objective, establishes agent control model, and then gives the collaborative solution. with field - bus technology and agent technology, the dnc system model based on agent technology is established which shows a efficient way of device integration. a general model of device integration is set up, and an agent model based on soft plug - in technology is built
該模式包括面向製造過程的車間生產管理與控制的上層結構和面向車間設備的加工控制的下層結構;為實現製造過程信息的集成,本文從三個層面:數據層面、功能層面、應用層面上闡述了車間製造過程信息的集成方式,並借鑒dnc思想,建立了基於分散式控制技術的製造過程信息集成框架( miif ) ;採用面向對象方法,對miif中的代理體從定義抽象、結構和功能等進行了深入研究;從知識層面上的三個層次:語言規范、會話機制、問題域對miif的多agent協作進行研究,建立了多agent交互的形式化模型。Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的編程題自動評分模型的基礎上,對結構體的語法結構和實現原理進行研究,並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則,主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外,還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。The cube model can be seen as an abstraction of a star - join or snowflake - join schema
多維數據集模型可以看作星形聯結或雪花形聯結模式的抽象。Based on wfomm, the domain engineering, design pattern and uml imported, the thesis puts forward a reusing - based cims integrated modeling scheme. it resolves the reusing problem among the whole process from requirements to design, till coding. the thinking of domain engineering is used all through the thesis so that the commonness and varieties of the different enterprises are modeled in the same domain, consequently completes three phases, inductive and iterative model analysis, model design and model realization, while saving the reusable resources for the same domain
本文始終貫穿領域工程的思想,採用作者提出的表示抽象層次可復用資源的抽象分析模式,從而實現了企業模型、參考模型、建模構件三個階段的從上到下逐步求精和從下到上歸納和反復的企業領域分析、設計和實現過程,並對每個階段形成的可復用資源進行保存,供其它相似領域中進行領域分析使用,以全面實現資源的復用。Base on mathematics philosophy of the content and object of mathematics, this paper discussed the problem about abstraction of mathematics, put forward that mathematics had the major forms of abstraction, and gave some analyses about the validity of mathematics abstraction, and the teaching strategy of using this feature
從數學的內容與對象這一數學哲學層面上分析,數學具有抽象性特點的主要表現形式有:層次性、模型化、理想化、形式化和符號化等,數學抽象的合理性表現在:僅抽取事物對象量的關系和空間形式以及抽象的確定性,在數學教學中應注重貫徹這一特點的教學策略Then, we focus on the business component model, abstract several components according to different granularity from the typical user pattern and use z formal language to describe the specification of components and their assembly mechanism
接著研究了業務構件模型,根據用戶模式抽象出幾種不同粒度的數據塊構件,並用形式化描述語言z語言對構件及其組裝機制進行規約。The paper not only used the sequence diagrams to descript the cooperation of pda and server in communications, but only adopt petri net, a kind of fdt, to built four different models on protocol ' s dynamic actions. we proposed the constrict expressions : 1. finding out and fixing the errors, we validated the protocol with petri net theories
在通用的時序圖描述通信協議動態交互的基礎上,用一種形式化描述技術? ? petri網抽象通信協議的動態行為規范為一種鏈路層半雙工停止-等待協議,從簡單到復雜建立4個不同側重點的petri網模型,分別描述通信協議的不同動態行為:交互,超時,出錯處理。More specifically, the research provides an appropriate framework of entities among which causal relations are to hold ; it also develops a theoretical framework of event causation, under which the structures and elements of causal relations holding among these ontological entities can be described ; it gives a general representation tool for event causation supported by the ontological and theoretical frameworks, under which causal relations can be formalized as causal rules for practical reasoning, e. g., predictive reasoning, in which nonmonotonicity, as well as the other general properties and the nature of elements involved, can be captured ; it constructs computational frameworks for abstract causal reasoning models, such as causal prediction, causal explanation, and causal diagnosis ; and it finally extends and utilizes these abstract reasoning models to formalize causal knowledge in specific domains to develop practical causal reasoning systems for ai research, e. g., story understanding and legal reasoning. the research i s original from several aspects as follows : ( 1 ) the analysis of the internal structure of events provides a fundamental ontology for causal relations
具體地說,此項研究在以下幾個方面做了工作:它對因果關系存在的實體給出了一個合適的框架;它建立了一個基於事件的因果關系的理論框架,在這個框架下因果關系的結構與因素能夠被合理描述;它提供了一個得到本體論與因果理論支持的基於事件的因果關系的一般表達方式,使因果關系能夠被形式化為在實際推理(例如預測推理)中應用的因果規則,並使因果關系的非單調性以及其它的一般性質得到體現;它構造了基於事件的因果關系的抽象推理模型,特別是因果預測、因果解釋和因果診斷;最後它把因果推理模型推廣應用到具體的領域以建立實際的ai系統,例如在故事理解和法律推理中的應用。In the field of geophysics and information technology, it is important to express a mass of data that may be abstract or invisible directly and visually, with the aid of computer graphics and image process techniques. so visualization not only provides convenient model material for engineering design, but also is helpful to the following analysis. and it can make all information to be displayed directly, so the problems can be discovered and analyzed correctly
在地球物理與信息技術領域,將科學計算中產生的大量非直觀的、抽象的或者不可見的數據,以圖形圖像的形式,直觀、形象地表達出來,除了可為工程設計提供方便好用的模型資料,而且可為下一步的數據解釋分析奠定基礎,使工作者直觀地看到地質現象的幾何形態、相互關系和分佈,從而準確的發現問題、分析問題。A timed pricing model for power corporation with independent power source such as independent power plant and pumped storage is proposed as the result of study on electricity price, which is based on timed pricing form and marginal cost. electricity energy is considered as the commodity, the power corporation as modern enterprise
本文以有功電價為研究對象,針對帶有獨立電廠和抽水蓄能電廠等獨立電源的電力公司,在綜合分時電價形式和邊際成本定價方法的基礎上,提出其相應的分時電價模型。Through the structural objects " event - participant relation, the structural units of enterprise and erp system are depicted in general form
通過事件參與關系限定結構型對象的結構,實現了以通用的抽象形式描述企業模型和erp系統模型的結構單元及其相互關系。From your point of view these are formalisms that occur at different levels of abstraction, since they typically model phenomena at different levels of granularity
從你的角度來看,在不同層次上的抽象顯得有些過于的形式主義,因為它很典型模擬了不同層次的之間存在的現象。分享友人