查询词典 decision problem

To solve the problem of intelligential decision-making on multi-ships collision avoidance in the field of automatic collision avoidance, a multi-layers and multi-objects fuzzy optimization model of main target ship was designed.

为解决船舶避碰自动化领域的多船智能避碰决策问题，建立了多层次多目标重点避让船模糊优选模型。

Therefore, it has certain theory and realistic meanings to study the multiplex cinemas locational decision, which is an important problem in the development of the motion pictures industry.

本文针对电影产业发展中的重要问题——多厅影城区位决策进行研究，具有一定的理论价值和现实意义。

On the basis of fixed-parameter tractability, the d-decision makable by way of kernelization of the parameterized vertex cover problem of random graph is put forward and the counting method for triangle subgraphs with 2-degree vertex is also presented.

点覆盖问题虽然可以在参数计算理论的架构内求精确解，但是目前在理论及应用上有一定的局限性。

Because gray system theory is on analytic uncertainty problem,have distinct advantage, because this applies gray to get together kind evaluate a law to undertake getting together to industrial department kind, get together with gray kind of decision-making method, to same ash kind industrial department has sort, single out area dominant industry mensurably.

由于灰色系统理论在分析不确定性新问题上具有独特的优势，因此运用灰色聚类评估法对产业部门进行聚类，并用灰色聚类决策方法，对同一灰类的产业部门进行排序，定量地选出区域主导产业。

According to AD curve with AS curve nodical decision is real always yield and the general and balanced principle of price total level, be described like can correct ground and analyse each years of AD, the actual mobile contrail of AS curve, will conduce to the settlement of above difficult problem undoubtedly.

根据AD曲线与AS曲线的交点决定真实总产出和价格总水平的一般均衡原理，如能正确地描述和分析各年AD—AS曲线的实际移动轨迹，无疑将有助于以上难题的解决。

When discussing the strategic SITIO problem, the paper addresses the procedure of establishing the mathematic model and designing of heuristic algorithm with decision variables as the number of vehicles and the storage capacity, and the objective is to minimize the sum of transportation and inventory average costs when the system be run in the future.

在关于战略层联合优化问题的研究部分，本文以车辆数和客户的存储能力为决策变量，以使系统将来投入运行时平均的库存和运输相关费用之和最小为优化目标，详细讨论了数学模型的建立和启发式算法的设计过程。

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

Effective local search tactics reaches local searchers when they are ready to buy - with every way that it is possible for them to buy from you.

有效的地方搜索策略达到当地的搜索，当他们准备购买-以各种方式，这是他们有可能从您那里进行购买。

The first two are periodic sentences for their beginnings; and the fifth and the last are also periodic sentences each for the embedding of a parenthetic structure.

1960年代中后期，当战后女权主义和当时的许多其他抗议运动在西欧和北美发展成某种势力时，性别的概念演绎成补充和延伸生物性别差异的概念。