查询词典 decision problem

Though in general the verification problem for parameterized systems is undecidable, decision procedures have been discovered for verification of subclasses where systems consist of many identical, finite state processes.

分布式模型检测方法是一种能从根本上解决状态爆炸问题的方法，它利用分布主存环境，理论上存在一个容量无限的存储环境，因此在解决状态爆炸问题上具有一定的潜力。

The optimal control problem was formulated as an undiscounted semi Markov decision process that maximizes the system throughput. Numerical examples of an actual FMS are presented, showing the optimal work routing policies when the system is reconfigured into two different config...

该系统最优控制问题被规划为无限期间系统平均输出为最大的准马尔科夫决策过程，并以实际的柔性制造系统为例，通过计算，给出系统重组后不同构成时的最优工件运送策略，使系统在运行过程中可获得最佳性能。

The proposed scheme is efficient and secure, in which its unforgeability is the same as that of the Schnorr's signature scheme and its untransferability relies on the hardness of the Decision-Diffie-Hellman problem.

所提出的方案是安全和高效的，其不可伪造性与Schnorr方案相同，其不可传递性基于Diffie-Hellman问题。

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

Students undertaking this specialisation gain superior decision-making and problem-solving skills in the field of financial management.

学生在进行这项专业化获得上级的决策和解决问题的技能领域中的财务管理。

Students undertaking this specialisation gain superior decision-making and problem-solving skills in the field of financial management.

本专科学生承诺获得上级的决策和解决问题在财务管理方面的技能。

In the light of should be in suddenly when the net " full-court avoids freight " the reason of the change one's tune on the problem, should not give out when net respect more explanation, just emphasizing this is " what the company makes after passing a series of elaborate preparation is great and decision-making, be it is important to should be in a when before 9 years of inns are celebrated, client experience upgrades when the net weight used on a balance ", deny the competition of this action and outstanding Yamaxun to concern.

针对当当网突然在&全场免运费&问题上转变态度的原因，当当网方面并未给出更多解释，只是强调这是&公司在经过一系列精心准备后作出的重大决策，是当当网在九周年店庆前升级顾客体验的一个重要砝码&，并否认此举与卓越亚马逊的竞争有关。

Firstly, the flood control regulation of TGP in Sep is computed based on the analyses on the inflow in Sep and Oct, and the risk and loss on the ahead impounding scheme is calculated and analyzed. Then, the storage level, power production and releasing discharge are achieved by computing on the electricity generation model through reservoir regulation graph. Thirdly, obstruction in channel is analyzed and the problem in the Chongqing reach is more serious in 175-145-155m scheme. The sediment aggrading process and distribution on different schemes is calculated by 1-D reservoir mathematical model. The navigation benefit is computed by navigation model. Based on above calculations, the impounding time is decided by the multi-purpose decision model, and evaluate by analytical hierarchy and balance layout model. A best impounding scheme is achieved to match the requirement of flood control electricity generation and navigation et al.

首先，在对宜昌站9、10月份来水分析的基础上，采用第2章建立的防洪优化调度子模型进行了三峡水库9月份防洪调度，分析了汛末提前不同天蓄水对防洪的影响，计算了汛末不同蓄水方案水库9月份的洪灾风险率和风险损失；接着，根据第2章建立的发电调度子模型进行了三峡水库发电调度计算，得出了不同蓄水方案下水库的坝前水位、发电量及下泄流量过程；然后，分析了175-145-155m方案下三峡水库的碍航问题，指出175-145-155m方案下重庆河段的碍航问题最为严重，通过进行不同蓄水方案下水库一维泥沙冲淤计算，得出了不同蓄水方案下库区淤积过程及分布，并通过航运调度子模型，计算了不同蓄水方案下水库的航运效益；最后，根据以上防洪、发电及航运调度计算的结果，运用第3章水沙多目标决策模型对水库的蓄水时间进行了多目标决策，并采用层次加权均衡规划模型对计算结果进行评价，得到一个能满足水库防洪、发电及航运各方面要求的最佳蓄水方案。

So in order to solve this problem, we not only use variable precision rough set and ameliorate the arithmetic-reduced used in traditional Rough Set, but also describe this uncertain decision information with weight support and confidence of classing rule.

为了解决这个问题，本文采用了可变精度粗糙集模型，并对传统粗糙集的一种属性约简算法作了改进，以适用于可变精度粗糙集模型，最后引入加权关联规则中的加权支持度和可信度来描述不确定性信息。

Discussing the influence of investment total volume, investment quality, investment system, investment environment on current investment situation .Analyse the problem on investment attitude, scope, decision-making, practice, regulation and audit system. Then do the in-depth analysis of the minority region from different aspects of marketing economy, denominating economic system, economic scope and economic policy, then pointing out the importance and necessity of government investment in the minority region.

在从我国少数民族地区投资总量、投资质量、投融资体制、投融资环境等方面对民族地区投融资现状进行总结的基础上，分析了我国少数民族地区政府投融资体制在观念、范围、决策、实施、管理方式及监管体系等方面存在的问题，进而着重从商品经济基础、统制经济体制、经济结构以及经济政策等角度深入分析了民族地区投融资体制存在问题的深层次原因，指出政府投融资在民族地区经济发展中的重要性及必要性。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。