Contains the types that provide the programming model for handling configuration data 包含提供用于處理配置數(shù)據(jù)的編程模型的類型。
The type of messaging model you employ depends upon the needs of your enterprise 您所使用的消息傳遞模型的類型取決于您企業(yè)的需要。
Namespace contains the types that provide the programming model for handling configuration data System . configuration命名空間包含提供用于處理配置數(shù)據(jù)的編程模型的類型。
Abstract : this paper introduces the types , studying content , modelling steps and modelling methods of reservoir geologic models , especially the significance of random modelling and some main methods of random modelling 文摘:概述了儲(chǔ)層地質(zhì)模型的類型、研究?jī)?nèi)容、建模步驟和建模方法,重點(diǎn)介紹了儲(chǔ)層隨機(jī)建模的意義和目前出現(xiàn)的主要隨機(jī)建模方法。
However , a class diagram that will be used to generate code needs classes whose attribute types are limited to the types provided by the programming language , or types included in the model that will also be implemented in the system 然而,用于生成代碼的類圖,要求類的屬性類型必須限制在由程序語(yǔ)言提供的類型之中,或包含于在系統(tǒng)中實(shí)現(xiàn)的、模型的類型之中。
The following are examples and the type of model that might be included in an mis to aid in analysis in support of decision - making ; in a comprehensive information system , the decision maker has available a set of general models that can be applied to many analysis and decision situations plus a set of very specific models for unique decisions 下面是一些例子和可能被包含在一個(gè)管理信息系統(tǒng)中用來(lái)幫助分析和支持決策的模型的類型;一個(gè)全面的信息系統(tǒng),決策者擁有一套有用的普通模型,可以應(yīng)用于許多分析和決定的情況,還有一套非常特殊的模型應(yīng)用于特別的決定。
The application of ansys in the field of civil engineering is investigated , which includes the selecting element type of the concrete , reinforcing bar and the cfrp and preferences ; the application of non - linear solution options ; handling constringency of non - linear ; plane section assumption ; coupling and the element birth and death 對(duì)ansys在土木工程上的應(yīng)用進(jìn)行了研究,包括混凝土、鋼筋和碳纖維布單元的選取及參數(shù)的設(shè)置;鋼筋混凝土有限元分析模型的類型;非線性分析選項(xiàng)的應(yīng)用;非線性收斂的處理;平截面假定、耦合和單元生死的應(yīng)用等。
To ensure the well - formed of wscg model , we have developed an algorithm to check the type - safety of wscg model , in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node , and to determine whether the import messages of a node is self - contained . we also develop another algorithm , which is based on wscg dependence graph that simulates the wscg dynamic behaviors , to eliminate the deadlock of wscg model 在wscg模型的基礎(chǔ)上,針對(duì)目前web服務(wù)復(fù)合模型缺乏良構(gòu)性驗(yàn)證的問(wèn)題,在wscg模型的靜態(tài)特性驗(yàn)證方面,我們定義了wscg模型的類型安全性,并給出了相應(yīng)的wscg模型全局類型安全性的驗(yàn)證算法,解決了驗(yàn)證wscg模型中輸入輸出消息集合的類型是否匹配以及輸入消息是否是完備的問(wèn)題;在wscg模型的動(dòng)態(tài)特性方面,我們主要分析了wscg模型的可達(dá)性、活鎖和死鎖問(wèn)題。