赋

The warrants were unassignable, but could be commuted.

士兵的土地授予证书是不赋值的，但可以代偿。

The warrants were unassignable, but could be commuted.

士兵的土地授予证书是不赋值的，但能代偿。

Similarly, when you set the Radius value, you want to set the width and height of the underly- ing Ellipse so that each is double the value of the radius, which you can do in the property setter.

同样，在你设置半径时，你也需要同时设置内在椭圆的高度和宽度，它们的值都是半径的两倍，你可以属性设置器里进行赋值。

Ye Jingzhong, Chinese University of Agriculture, 'Women's Federation's Unempowered Participation in International Development Projects', Collection of Women's Studies , No.6, 2004, Serial No.

叶敬中，&国际发展项目中妇联组织的无赋权参与&，《妇女研究论丛》 2004年

The NetEvent class provides a foundation for guaranteed, guaranteed ordered and unguaranteed message transmission. NetEvent uses the same class instance creation mechanism as the console, but rather than instantiating by name, NetEvents use a class id, assigned when the console initializes.

NetEvent类提供了保证传输的基础，它保证了顺序和不保证的消息传输，NetEvent使用了和console同样的创建机理，但是它不是按照名字进行初始化，而是按照类id来进行，并当控制台初始化的时候得到赋值。

Accordingly, it may lead to a deliberate unmatchedness of institutions. Hence, the empowered group is forced to confront hopelessness and helplessness that are created by the institutional arrangement. Therefore, they are involved in an inescapable paradox in the process of safeguarding their own rights.

制度连接意指行动者通过制度运作中的不良变通和连接制造制度性障碍，从而使得一种有意安排的制度不匹配得以出现，被赋权群体面对的是制度安排造成的无奈和无助，从而进入一个无法摆脱的维权的困局。

For first algorithm SatTest1, searching and sampling are in the space of unsatisfiable assignments.

第一个算法SatTestl是在不满足赋值空间中进行搜索和抽样。

In this thesis, we present an idea that is to count unsatisfiable solutions by the message of unsatisfiable assignments in searching, and design two efficient Monte Carlo randomized algorithms.

本文提出了一个利用搜索过程中不满足赋值的信息进行不满足解数统计的思想，得到了两个有效的Monte Carlo型随机算法。

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引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

This generalizes a theorem ofFan on the existence of long cycles in unweighted graphs to weighted graphs.

这个结果推广了Fan关于在非赋权图中最长圈的一个重要定理。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新