查询词典 discrete optimization problem

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

Topology optimization aims at finding the optimal distribution of materials in a prescribed design domain and the optimal way of component connection in a discrete structure.

所谓拓扑优化，就是要在给定的约束条件下，在一块预先给定的设计区域中决定最优的材料分布方式或者构件之间的最优连接关系。

According to the characteristics of subarea control and interlayer control of AVC,the reactive power optimization based on the principle of decomposition coordination in provincial grid is proposed to better improvement the astringency of algorithm,calculation speed and disposal of discrete variables.

针对AVC分区、分层控制的特点，提出在省级电网实现基于分解协调原理的无功优化，以期在算法的收敛性、计算速度以及对离散变量的处理几方面有明显的改进。

The main contributions are summarized as the following.Firstly, assuming demand is segmented by order lead time, a joint pricing and capacity allocation model is formulated considering scenario-based demand. Due to the stochastic discrete variable in the model, robust optimization is used to solve the model. Numerical examples prove our model and method reflect the stochastic characteristics of demand and provide more pratical pricing and capacity allocation policies than other methods of deterministic and stochastic expectation programming methods especially when the capacity is tight.

本文的创新之处概括为如下几个方面：首先，假设制造企业根据交货提前期对市场细分，建立了考虑需求情境的BTO模式下制造企业定价与能力分配的集成模型，利用稳健优化规划方法对此随机模型进行转化和求解，算例仿真表明随机优化规划方法较确定性规划和随机期望值规划方法更好地反映了随机离散需求的分布和波动特征，更加接近实际运作情况；产能越紧张，各类需求的价格差距越大，三种规划方法给出的最优策略差距越大。

A Simultaneous Optimization formulation of a Discrete/Continuous Transportation System, S .C.

交通运输网络复杂性及其相关问题的研究高自友，北京交通大学

In section 5, a traffic equilibrium model for the discrete/continuous transportation system is developed and solution algorithm for this modeling is provided to solve the optimization program.

本文在回顾交通分配模型的研究成果的基础上，对连续型模型进行了深入的研究，探讨了建模方法、用户平衡证明、数值求解方法等内容，并将理论研究的成果应用于实际，检验了模型的有效性。

The CSD algorithm is shown to be efficient design method for complex system in parallel, and can search out better design for mixed continuous/discrete system in very reasonable number of system analysis compared to traditional optimization method, and is able to deal with the issue of dynamic design requirements.

并行子空间设计算法不仅有效地实现了并行设计思想，而且与传统的优化算法相比，CSD算法降低飞机系统分析的次数，找到系统全局最优解的概率也较高。另外，它还能成功地解决含有离散/连续混合变量的设计优化问题，以及具有处理工程设计中设计要求动态变化的能力。

In this paper a production process flow chart of discrete manufacturing is presented by means of petri net, the optimization model of workload-stock is established. An approach of the optimal workloads is provided using analysis integer programming and integer matrices.

本文以Petri网作出一个离散制造中的生产过程流程网，建立起工作量与库存的优化模型，以整数规划与整数矩阵等分析算法给出一个在生产中制定最优工作量规划的方法。

In this paper, a Robust Discrete Optimization model of elevator group control system is presented for dealing with the uncertainty in elevator traffic flow and computational complexity in scheduling. Based on RDO theory, we propose a new elevator group scheduling Algorithm. Comparison is carried between the RDO algorithm and other scheduling algorithms under the virtual simulation platform of elevator group scheduling.

针对电梯群控调度过程中交通流的不确定性和优化求解复杂性问题，本文通过建立电梯群控调度系统的鲁棒离散优化模型，实现了一种基于鲁棒离散优化理论的新的电梯群控优化调度算法。

The discrete reactive power optimization in power system is studied in this dissertation From the existing mathematical and ...

本文对电力系统及配电系统的离散无功优化问题进行了详细系统的研究，提出了离散无功优化的各种模型与算法。

Continuously improve the production mechanism, to provide customers with better quality products and services.

不断的完善生产机制，给客户提供更优质的产品及服务。

B:Yes, he was the very prize-winner in the court tennis ten years ago?

是的，他是十年前的世界网球冠军。