1) CIM
计算无关模型
1.
The models of MDA, including CIM (Computing Independent Model), PIM (Platform Independent Model and PSM (Platform Specific Model), bring domain-oriented reusing .
为了追求更高层次的软件复用,2001年OMG提出了模型驱动架构,它以模型构造、模型转换和精化为核心,通过计算无关模型CIM、平台无关模型PIM与平台相关模型PSM的分离,实现了软件面向领域的高层次复用。
2.
MDA is another development method which is driven by various models including CIM (Computing Independent Model), PIM (Platform Independent Model ) , and PSM ( Platform Specific Model ) , and ISM (Implementation Specific Model), and it can also improve reusability of the software within the same domain.
模型驱动架构是以模型为中心,通过计算无关模型(CIM)、平台无关模型(PIM)、平台相关模型(PSM)和实现相关模型(ISM)实现软件的面向领域的高层次复用的开发框架。
2) computation independent model
计算无关模型
1.
MDA has four layers: Computation Independent Model (CIM), Platform Independent Model (PIM), Platform Specific Model (PSM) and CODE, and there exists model transformation between each two neighboring layers.
MDA分为计算无关模型(CIM)、平台无关模型(PIM)、平台特定模型(PSM)和实现模型(CODE)四个层次,并且依次存在模型转换。
3) Relevance Calculating Model
相关度计算模型
4) computing model
计算模型
1.
Lunar evaporativity computing model for moutainous river region;
山区流域月蒸发力计算模型
2.
A Resource Alliance Oriented Distributed Computing Model Based on Software Agent Technology;
基于Software Agent技术构造的面向资源联盟的分布式计算模型
3.
A New Generation Network Computing Model: P2P with Its Design and Implementation by JXTA System;
新一代网络计算模型——P2P及其JXTA体系结构的设计与实现
5) calculating model
计算模型
1.
Simulation analysis for calculating models of viscoelastic damper;
粘弹性阻尼器的计算模型模拟分析
2.
Camber calculating model and simulation of wedge strip in rolling;
楔形板带轧制过程跑偏计算模型及其仿真
3.
Research on calculating model of mineral reflection index based on color digital image technique;
基于彩色数字图像技术的矿物反射率计算模型研究
6) model calculation
模型计算
1.
This text introduces the design characteristics,model calculation,electric control principle and configuration of a hot flying saw.
介绍了旋转式热飞锯的设计特点、模型计算、电气控制原理及结构。
2.
The model calculation for optimization of breeding programs for Merino in China was car- ried out in order to study effect of the population size on genetic gain under consideration of proportion of testing ewe and number of testing rams.
在考虑后裔测验与配母羊比例及测验公羊数量的条件下,按群体规模进行了中国美利奴羊育种方案最优化的模型计算,探索规划模型计算结果在我国细毛羊育种实践中应用和推广的可能性。
补充资料：混合计算模型
混合计算模型
hybrid computational models
hunhe Jisuan moxing混合计算模型(hybrtd computationa一m闭·els)计算机与其所控制的物理部件构成的，具有既随时间连续变化的变量又受事件驱动的离散变量的系统的数学模型。 混合系统的设计涉及控制理论和计算机科学，20世纪90年代以来引起了计算机科学界很大关注。很多混合系统要求绝对安全，如自动导航系统，核电站监测系统等。绝对安全系统的设计是计算机软件科学的重大课题。当前的软件产品耗资巨大，但多数无法避免差错。这样的软件不能用于绝对安全系统。计算机软件科学界提出使用严格的形式化方法来设计该类软件。 迄今，形式化方法所处理的对象都是离散变量(或已离散化的变量)，所用的语言及演算亦都是基于离散数学的公理化系统。而混合系统设计的形式化方法不可回避连续数学;控制理论使用的是微分方程刻画连续变量的变化规律。混合系统设计的形式化方法也不能回避离散的事件，这些事件驱动系统的变化。混合系统设计的形式化方法需要一种计算模型，它同时支持连续变量和离散事件藕合系统的计算。 近几年在已有计算理论的基础上，已陆续发展了多种混合计算模型。大体上可分为逻辑型、程序设计型和自动机型三类。 逻辑型混合计算模型的主要思想基于时态逻辑，引人时段和切变的概念。时段可用来刻画系统在一个时间区间上的连续变化，而切变则表示事件的发生(离散变量的变化)。在单个时段上，借用连续数学(微分方程理论)推导系统的行为;而在相邻时段间，则用时态逻辑中切变算子的规则，推导系统行为的转化。逻辑型计算模型中的时段演算，已引起该领域同行的广泛重视。该演算是由周巢尘，C.A.R.H(班re和A.P.Ravll所建立。 程序设计型混合计算模型是将传统的程序设计语言加以推广以容纳连续变量。推广后的程序语言可用来描述混合系统的行为。而其中的控制部分可逐步求精，变换成传统的可在计算机上执行的软件，从而生成数值控制系统。通信顺序进程〔SP，已推广为混合通信顺序进程。在这个程序语言中，有一种特殊的语句称为连续构件，它可表示一个具体给定初值的微分方程;而原有的通信语句可用来表达事件的起源和发生;程序语言中的顺序算子，条件算子等用来刻画连续构件和通信间的藕合关系。 自动机早已用于各种模拟计算系统，计算机本身亦可看作一个庞大的有限状态自动机:一个状态表示计算机中各存储器和寄存器一种取值，而计算机的操作导致计算机由一个状态转移至另一个状态。如果将自动机的状态看作是在一组微分方程控制下，一组连续变量的连续变化过程，则将状态的转移视作事件的驱动。这种推广后的自动机称作混合自动机，可用来描述和计算混合系统的行为。 总之，混合计算模型还在发展完善之中。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条