该词条未找到_海词词典

您要查找的是不是：

program model check 程序模型检测
The object oriented program model is very expansible. 面向对象的编程模式具有很好的扩展性。
Program model checking 程序模型检查
MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
Why a component-based programming model? 为什么需要基于组件的编程模型?
What Is the MFC Data Access Programming Model? 什么是MFC数据库访问编程模型?
What Is the MFC Database Programming Model? 什么是MFC数据库编程模型?
The programming model of DTP on J2EE is presented. 提出了基于J2EE分布事务处理编程模型。
Select the Secure individual model items independently for this model check box. 选中“单独保护此模型的各项”复选框。
If you see this message again, clear the Assume linear model check box, and then run the problem again. 如果又一次出现同样信息,请清除“采用线性模型”复选框,然后再运行一次。
You selected the Assume Linear Model check box in the Solver Options dialog box, but the problem is nonlinear. 选中了“规划求解选项”对话框中的“采用线性模型”复选框,但问题是非线性的。
When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时,对约束条件的数量没有限制。
What are potential barriers to growth? How will these barriers affect the program model or the speed at which we grow? 什么是成长潜在的障碍?这些障碍怎么影响项目的运营模式或者增长的速度?
When the Assume Linear Model check box on the Solver Options dialog box is selected, there is no limit on the number of constraints. 当“规划求解选项”对话框中的“采用线性模型”复选框被选中时,对约束条件的数量没有限制。
The integer program model of minimal spanning tree was built up by the concepts of root and level of node in LINGO. 求解最小生成树的方法虽然很多,但是利用LINGO建立相应的整数规划模型是一种新的尝试。
The team reaffirmed this program model as the organization's focus in light of its newly articulated intended impact. 团队重申了这个项目模式将是组织依据其新的设定的系列效果的侧重点。
SDO is one cornerstone of the IBM SOA programming model. SDO是IBM SOA程式设计模式的基础。
These concepts provide a foundation for the programming model. 这些概念为编程模型提供了一个基础。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
An external transaction has a more complex programming model. 外部事务具有更加复杂的编程模型。