The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。
Each parameter is specified by calling a client method with the same name and by passing the value to the method as first argument.
通过调用相同名称的客户端以及将值作为第一个参数传递给该方法,来指定每个参数。
Two transfer mechanisms are available: passing by value (inline) and by reference.
有两个可用转换机制:通过值传递(内联)和通过引用传递。
When doing conditional branching, passing values to functions, returning a value from a function, and several other scenarios, the value in the preferred slot is the one that matters.
当进行条件分支、向函数传递值、从函数返回值以及其他操作时,首选槽内的值才是关键的。
The resolver will connect to the DB2 database and execute the query, passing in an appropriate data value for the query's parameter marker (the name of the referenced entity in the trade).
解析器将连接到DB 2数据库并执行查询,在此过程中,会为查询的参数标记传入一个适当的数据值(即交易中所引用实体的名称)。
User preferences defined in the XML descriptor of the gadget, which can be assigned a value by passing the name of the preference, preceded with _up, as a request parameter to the service.
在小部件的XML描述器中定义的用户首选项(可以通过传递首选项的名称分配一个值)前面有一个_ up,作为服务的请求参数。
The value for the OrderDate is set by calling the Bind expression and passing to it the name of the column in the GridView's associated data source and an optional data format string expression.
OrderDate的值是通过调用Bind表达式并向它传递GridView的关联数据源中列的名称和一个可选的数据格式字符串表达式来设置的。
The SQL query USES the stored procedures to create one XML listing element per row of data returned, passing in null as the column to obtain its value from because its value is its subelements.
SQL查询使用存储过程为每行返回数据创建一个xml列表元素,同时传递null作为列以获取值,因为它的值就是它的子元素。
Listing 5 shows how we would open an HTTP connection with a specified request method of GET, passing a parameter with the name size and a value of large.
清单5显示了如何用特定请求方法GET和一个名为size值为large的参数打开一个HTTP连接。
For method calls, I tried the same three access variations as for field access, with the added variable of using no-argument methods versus passing and returning a value on the method calls.
在方法调用中,我试用了与字段接入相同的三种接入变量,并增加了使用无参数方法变量,而不是在方法调用中传递和返回一个值。
But in this simple example, you're always only passing in one ZIP code value per request.
但是,在这个简单的示例中,每个请求始终只能传入一个邮政区码值。
Goods and services in a value chain flow from left to right, starting from raw materials, passing through value-adding intermediaries, and ending at end-customer consumers.
价值链中的货物及劳务从左到右流动,从原材料出发,经过增值的中介,并终止于终端客户消费者。
X I'm passing an X, and yet I'm also assigning the return value to X. so just intuitively what's going to be the effect of this one line of code?
我传一个X,之后我把返回值赋值给,很明显,这一行代码,将会产生什么作用?
This recursive function works fine, but it has one main shortcoming -- every iteration of the recursion will be passing the same value for the-string.
这个递归函数能很好地工作,不过它有一个主要的缺点 ——递归的每一次迭代都要为 the-string传递相同的值。
Listing 3 initializes a new Zend_Soap_Server object in non-WSDL mode, passing a null value as the first argument to the object constructor.
清单3传递一个null值到对象构造函数的第一个参数,以非wsdl模式初始化了一个新的Zend_Soap_Server对象。
This can be done by passing the value to the String function as in this example: eval (String (formula));.
这可以像本例中一样通过将值传递给String函数来做到:eval (String (formula));。
That command is simply a call to the built-in setpos function, passing the value the original information from the earlier call to getpos .
该命令仅调用内置的setpos函数,将原始的值信息从先前的调用传导到getpos 。
The weather service requires you to call the getTempRequest method by passing in a zipcode value as a string and receiving the temperature as a floating-point value in the response.
传递一个zipcode字符串值给天气信息服务的 getTempRequest方法调用,最后以接收到的浮点值温度作为响应。
The first example illustrates calling a Scheme function from C, passing in an argument, and capturing the return value.
第一个例子演示如何从C调用一个Scheme函数,传入一个参数,并捕获返回值。
Although registers can hold multiple values (in this case, four 32-bit values), when passing parameters to a function, each parameter value is passed in its own register.
尽管寄存器可以存储多个值(在本例中,4个32位值),但当参数传递给函数时,每个参数值都会在其自己的寄存器内被传递。
However, a serious farmer will always wait and harvest his trees when they are mature since each passing year, the tree grows bigger and gains more value.
然而,一个严重的农将永远等待和收获时,他的树木,他们是成熟的,因为每过一年,树生长和收获更大更多的价值。
Tunnel parameters are not allowed within XSL: function; they are only to be used for template-to-template value passing.
通道参数不允许在xsl:function中使用,只能用于模板之间的传递。
College students should raise their social status by discovering and creating knowledge, enlarge their influence by passing on knowledge, and realize their value in all kinds of social services.
大学生应该在发现和创造知识中提升自己的地位,在传授知识的过程中扩大自身的影响,在服务社会的各项功能要求中实现自身的价值。
Passing types by reference (using out or ref) requires experience with Pointers, understanding how value types and reference types differ, and handling methods with multiple return values.
使用引用类型参数,需要了解值类型和引用类型的差别,同时,使用这个方法将会有多个返回值。
If you call this method passing the name of an existing child element, this method modifies the value of the child element to the value that you specify.
如果您调用此方法来传递一个现有子元素的名称,则此方法会将此子元素的值更改为指定的值。
This warning indicates that a call to a string concatenation function is probably passing an incorrect value for the number of characters to concatenate.
此警告意味着在调用字符串串联函数时,所传递的表示串联字符数的值可能不正确。
This warning indicates that a call to a string concatenation function is probably passing an incorrect value for the number of characters to concatenate.
此警告意味着在调用字符串串联函数时,所传递的表示串联字符数的值可能不正确。
应用推荐