可变量

However, unlike a pure functional language, it does not allow variable substitutability if the variable declaration contains construction of new nodes.

但是，与一个纯正的函数式语言不同的是，如果变量的声明中包含有新节点的构造式，它不支持变量的可替换性。）

The features are stable and discriminable. The invariants are semi-local rather than global, which promotes tolerance to occlusion. The considerable redundancy is possible for the object whose boundary has complex structure, which enhances the reliability of object recognition.

本方法提取特征不变量只需对待识别图像进行处理，不需要进行摄像机标定和目标空间姿态测量，特征不变量具有较好的稳定性和可分辨性，在目标被部分遮掩的情况下，仍然可能获得可靠的识别，另外，边界结构复杂的目标提供了冗余特征，增强了识别的可靠性。

According to constraint-induced financial innovation theory, evadable financial innovation theory, the transaction cost innovation theory, and based on commercial banks" basic concepts and theory of intermediary operation"s development, in a comprehensive comparison between domestic and foreign commercial banks, this paper applies the econometric method of panel data to analyze 4 macroscopical indicators impacting on intermediary operation such as gross domestic product, per capita disposable income, total direct financing business and the average deposit and loan spreads, and the econometric method of time sequence to analyze 3 microcosmic indicators such as the rate of nonperforming loans, the rate of cash and assets, core capital adequacy ratio.

本文根据约束诱导型金融创新理论、规避型金融创新理论、交易成本创新理论等理论，以商业银行中间业务的基本概念和中间业务发展的理论依据为出发点，在全面比较国内外商业银行中间业务发展的基础之上，运用时间序列和面板数据分析方法，选择了国内生产总值、城乡居民人均可支配收入、企业直接融资总额和平均存贷款利差四个宏观经济变量以及不良贷款率、现金资产率和核心资本充足率三个微观经济变量，对影响我国国有商业银行中间业务发展的因素进行实证分析。

This class variable can be assigned a string, iterable, or sequence of strings with variable names used by instances.

这个类变量可以赋值为一个字符串，一个可迭代对象，或者一个字符串序列（每个字符串表示实例所用的变量名）。

In this paper, dynamic model of slewing hydraulic system of excavating working attachment is established by means of power bond graph.

当然也可由功率键合图推导出传统的传递函数或状态变量形式的方程，在实际中，要求传递函数和状态变量模型形式在结构上的规整性可能引起麻烦，主要是稳定性问题。

In datapath extraction, we build the environments for all datapath units by making assignments to the Boolean interface variables and some word variables. Binary CSP modeling then translates the RTL datapath satisfiability problem to a binary CSP description, which in turn will be sent to a binary CSP engine and solved by conflict-directed backjumping search strategy. The answer will be either a witness of satisfiable instance or a unsatisfiable decision.

数据通路提取通过对接口布尔变量和某些字变量赋值，为各个数据通路器件建立环境；二元CSP建模则根据该环境和各个数据通路器件的功能，将数据通路的可满足性问题转化为二元CSP描述；该二元CSP问题的描述被送入到二元CSP引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

Using maximal ancestral graph models, this paper characterizes the independencies and causal structure of the observed variables and provides an algorithm for causal inference using observational data.

作者利用在观测变量上构造的最大祖先图模型刻画观测变量间的独立性关系和因果结构，并提出了具体的实现算法，从而可由观测数据来推断这类不完全观测下的部分因果关系。

An estimate of the combined influence of two or more variables on the observed variable .

一个两个或两个以上的变量对一个可观察变量的结合影响的估值。

ABSTRACT This paper is mainly concerned with the reliability analysis of a gravity abutment of an arch dam based on conception of reliability.

再与可 靠度理论相结合，考虑变量的随机特性，通过随机有限元法建立荷载效应与基本随机变量之间的关系。

The modular design of printNet system is divided into several application part, such as data processing tools, design tools, products, Business card printing tools, and solutions to technical tools, of which the highest is a design tool over the actions that it printLayout from page formatting and setting variables, but also can be used by an operator in a transform tool programming, so that the contents of the variables in a database in output for operations, now produetion of mostly to one-dimensional bar codes and encrypted bit or anti-false, the party is a method in the bar code by addition, subtraction, multiplication, Division, opinins Mo, and so after the results or the results of data, or the result is converted to the data that corresponds to a location in one of the ntehs detection accuracy is valid, just make a bit of the inverse operation, the operation that results in comparison with the original data, such as the same as the data is valid, such as different then the data is not valid, this scenario is the most simple and most primitive anti-counterfeit. PrintNet software to complex product environment " interpuntion and output the integration of integrated management " solution possible.

printNet系统的模块式设计分为几个应用部分，如数据处理工具、设计工具、产品制卡工具以及方案解决工具，其中技术含量最高的是对设计工具printLayout的操作，它除了设计页面格式和设置变量外，还可由操作员在转换工具中编程，以便对数据库中的变量内容在输出时进行运算操作，现在生产中应用的大多是给一维条码加校验位或是防伪加密，其方一法是将条码中的数据经过加、减、乘、除、取莫等运算后，将结果或将结果中的几位至于数据后，或将结果转换成对应符号放在数据中的某个位置，如须检测某一数据是否准确有效，只要把校验位上的数进行逆运算，把运算结果与原数据比较，如相同则数据有效，如不同则数据无效，这种方案是最简单最原始的防伪加密的方法。printNet软件系统使得在复杂产品环境下的&排版与输出一体管理&的集成解决方案成为可能。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。