查询词典 instantiated

As a single node in an STGA corresponds to many nodes in the "instantiated" transition graph,optimization on STGA will significantly improve the time and space efficiencies of bisimulation-checking algorithms.

由于STGA的一个结点对应于具体迁移图的许多结点，在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。

This stack trace proves rather uninformative; it only indicates that the test case could not be instantiated.

这个堆栈跟踪没有提供多少有价值的信息。他只是表明测试用例不能被实例化。

Basing on my own experimental results and that of theSLA researcher (Takayuki Nakamori 2001), I come to this tentative conclusion: UGPrinciples are accessible to all L2 learners, no matter whether the principles are instantiatedin the L1 or not; with respect to the parameters, the parametric values instantiated in the L1are initially available; while the two languages differ in parameter settings, someparameters can be resettable but to some other parameters, such as the Spec-parameter that isassociated with functional categories, become difficult even closed to the resetting; otherwiseevery L2 learner can acquire the target language successfully as well as the native speakerdoes.

根据自己的实验结果及第二语言研究者(Takayuki Nakamori 2001)的实验结果得出了这样一个结论：普遍语法中的原则对所有的第二语言习得者来说仍然可及，不管这些原则是否体现在第一语言中；但在参数方面，体现在第一语言里的参数值在第二语言习得中是可以首先习得的，但当第一语言和第二语言的参数值不同时，某些参数可以重新设定而对某些参数例如与功能管辖范围相关的具体参数就很难甚至不能重新设定；否则每一个第二语言习得者都能像母语习得者习得母语那样成功地习得目标语。

This paper describes the register transfer level binding and technology mapping subsystem of VHDL high level synthesis system HLS/BIT, which adopts intelligent techniques to build the intelligent binding library and the component instantiated mechanisms.

高级综合中基于知识的RTL映射方法的研究颜宗福刘明业（北京理工大学计算机科学工程系北京100081）摘要本文通过对VHDL语言高级综合系统HLS／BIT中寄存器传输级（register－transferlevel，RTL）约束和工艺映射子系统的介绍，论述

It cannot be called or instantiated, but it can be used to test whether an object is an instance of str or unicode .

它不能被调用或实例化，但可以用来测试对象是否为str或unicode的实例。

Once you have instantiated a copy of this class, you can begin using it immediately.

一旦你实例化这个类的副本，您可以立即开始使用它。

There are 2 of them instantiated, one for I and one for Q.

它有两个实例化，一是用于I 另一个是Q。

There are 2 of them instantiated, one for I and one for Q.

它也有两个实例化，一是用于I 另一个是Q。

They are both properties, both are instantiated by many things, and so on.

它们都是属性，都是被许多东西例现，等等。

Instances of that component class, which can significantly reduce the number of objects instantiated.

独立的 UI 代理，这可以有效的减少实例化的对象的数量。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。