模型的类型 meaning in English
types of models
Examples
- 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
下面是一些例子和可能被包含在一个管理信息系统中用来帮助分析和支持决策的模型的类型；一个全面的信息系统，决策者拥有一套有用的普通模型，可以应用于许多分析和决定的情况，还有一套非常特殊的模型应用于特别的决定。 - 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
对ansys在土木工程上的应用进行了研究，包括混凝土、钢筋和碳纤维布单元的选取及参数的设置；钢筋混凝土有限元分析模型的类型；非线性分析选项的应用；非线性收敛的处理；平截面假定、耦合和单元生死的应用等。 - 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模型的基础上，针对目前web服务复合模型缺乏良构性验证的问题，在wscg模型的静态特性验证方面，我们定义了wscg模型的类型安全性，并给出了相应的wscg模型全局类型安全性的验证算法，解决了验证wscg模型中输入输出消息集合的类型是否匹配以及输入消息是否是完备的问题；在wscg模型的动态特性方面，我们主要分析了wscg模型的可达性、活锁和死锁问题。