任务分配问题的建模与求解

建立了极大极小任务分配问题的混合整数线性规划模型,提出一种矩阵作业解答,并与穷举解及混合整数线性规划解的计算复杂度进行了比较.理论分析和数值试验表明矩阵作业法对两类任务分配问题,极大极小和总体极小任务分配问题,有效地提供最优解.

多目标追逐问题的一种混合整数线性规划解

研究多车辆多目标追逐的路径规划问题。提出两个基于混合整数线性规划(Mixed integer linear programming,MILP)的多目标追逐(Multi-target pursuit,MTP)模型:就近追逐和"一对一"使能追逐。在两个MIP追逐模型中,小车运动的状态方程考虑为具有线性阻尼的质点动力学方程。采用整数变量描述小车与障碍物的相对位置信息,提出"目标膨胀尺寸"的概念来描述对目标的追逐,定义小车的"追逐方向"。采用选取整变量的等高面法求解MILP追逐问题,并给出初始内点整变量的确定方法。最后给出仿真试验1对两个多目标追逐模型进行对比研究,仿真试验2证实了算法的效率。

Processing network models of energy/environment systems

Processing networks are a variant of the standard linear programming network model which are especially useful for optimizing industrial energy/environment systems. Modelling advantages include an intuitive diagrammatic representation and the ability to incorporate all forms of energy and pollutants in a single integrated linear network model. Added advantages include increased speed of solution and algorithms supporting formulation. The paper explores their use in modelling the energy and pollution control systems in large industrial plants. The pollution control options in an ethylene production plant are analyzed as an example. PROFLOW, a computer tool for the formulation, analysis, and solution of processing network models, is introduced.

复杂单臂机器人集束型装备调度模型

针对一类存在并行和可重入腔的复杂单臂机器人集束型装备的调度问题,通过对加工腔、机器人、并行和可重入腔中的各个机器人活动进行分析,推导出对应的时序约束关系,建立了问题的混合整数规划模型,从而获得最优的机器人动作序列和最小周期.调度实例表明了模型的可行性和高效性。

成批生产计划调度的集成建模与优化

针对多品种批量生产类型,建立了调度约束的生产计划与调度集成优化模型。模型的目标函数是使总调整费用、库存费用及生产费用之和最小,约束函数包括库存平衡约束和生产能力约束,同时考虑了调度约束,即工序顺序约束和工件在单机上的加工能力约束,保证了计划可行性。该模型为两层混合整数规划模型,对其求解综合运用了遗传算法和启发式规则,提出了混合启发式求解算法。最后,针对某机床厂多品种批量生产类型车间进行了实例应用,对车间零件月份作业计划进行分解,得到各工段单元零件周作业计划,确定了零件各周生产批量与投产顺序。

Potential energy model for turbulent entrainment across density interface in a linearly stratified fluid

A potential energy model is developed for turbulent entrainment in the absence of mean shear in a linearly stratified fluid. The relation between the entrainment distance D and the time t and the relation between dimensionless entrainment rate E and the local Richardson number are obtained. An experiment is made for examination. The experimental results are in good agreement with the model, in which the dimensionless entrainment distance D is given by DBAR = A(i)(SBAR)-1/4(fBAR)1/2(tBAR)1/8, where A(i) is the proportional coefficient, S is the dimensionless stroke, fBAR is the dimensionless frequency of the grid oscillation, tBAR the dimensionless time.

逆向物流流量不确定闭环供应链鲁棒运作策略设计

考虑一类同时具有再分销、再制造和再利用的闭环供应链在逆向物流流量不确定环境下的运作问题.采用具有已知概率的离散情景描述逆向物流流量的不确定性,利用基于情景分析的鲁棒线性优化方法建立该闭环供应链的多目标运作模型.设计了一个数值算例,其结果验证了运作策略的鲁棒性.在该算例基础上,分析了逆向物流流量的大小对闭环供应链系统运作性能的影响.

A QUASI-SIMPLEX METHOD FOR STRICTLY CONVEX QUADRATIC PROGRAMMING

本文提出一个不用 Kuhn- Tucker条件而直接搜索严格凸二次规划最优目标点的鲁棒方法 .在搜索过程中 ,目标点沿约束多面体边界上的一条折线移动 .这种移动目标点的思想可以被认为是线性规划单纯形法的自然推广 ,在单纯形法中 ,目标点从一个顶点移到另一个顶点。

柔性制造系统的负荷分配及路径规划方法

柔性是柔性制造系统（ＦＭＳ）的一个基本优点，但这一基本优点却往往被人们所忽视，许多现在运行的ＦＭＳ不是缺乏柔性，就是没能充分利用可获得的柔性来提高生产效率柔性制造系统的负荷分配和路径规划问题正是这种柔性的一个主要方面．然而，路径规划决策却往往被忽视．其中一个主要原因就是人们仍不能从传统的生产管理概念中解放出来．本文在明确概念区分的基础上，提出了一种柔性制造系统的负荷分配和路径规划的线性规划模型，其主要特点是将负荷分配和路径规划问题有机地结合起来，并通过仿真实验验证并分析了此方法对ＦＭＳ性能上的影响。

Mechanical effects of the self-organization of dislocations and related critical characteristics

The effects of the dislocation pattern formed due to the self-organization of the dislocations in crystals on the macroscopic hardening and dynamic internal friction (DIF) during deformation are studied. The classic dislocation models for the hardening and DIF corresponding to the homogeneous dislocation configuration are extended to the case for the non-homogeneous one. In addition, using the result of dislocation patterning deduced from the non-linear dlislocation dynamics model for single slip, the correlation between the dislocation pattern and hardening as well as DIF is obtained. It is shown that in the case of the tension with a constant strain rate, the bifurcation point of dislocation patterning corresponds to the turning point in the stress versus strain and DIF versus strain curves. This result along with the critical characteristics of the macroscopic behavior near the bifurcation point is microscopically and macroscopically in agreement with the experimental findings on mono-crystalline pure aluminum at temperatures around 0.5T(m). The present study suggests that measuring the DIF would be a sensitive and useful mechanical means in order to study the critical phenomenon of materials during deformation.

Flow-induced vibrations of long circular cylinders modeled by coupled nonlinear oscillators

The dynamics of long slender cylinders undergoing vortex-induced vibrations (VIV) is studied in this work. Long slender cylinders such as risers or tension legs are widely used in the field of ocean engineering. When the sea current flows past a cylinder, it will be excited due to vortex shedding. A three-dimensional time domain model is formulated to describe the response of the cylinder, in which the in-line (IL) and cross-flow (CF) deflections are coupled. The wake dynamics, including in-line and cross-flow vibrations, is represented using a pair of non-linear oscillators distributed along the cylinder. The wake oscillators are coupled to the dynamics of the long cylinder with the acceleration coupling term. A non-linear fluid force model is accounted for to reflect the relative motion of cylinder to current. The model is validated against the published data from a tank experiment with the free span riser. The comparisons show that some aspects due to VIV of long flexible cylinders can be reproduced by the proposed model, such as vibrating frequency, dominant mode number, occurrence and transition of the standing or traveling waves. In the case study, the simulations show that the IL curvature is not smaller than CF curvature, which indicates that both IL and CF vibrations are important for the structural fatigue damage.

中国主要森林生态系统碳储量和碳收支评估

森林作为陆地生态系统中主要的植被类型在全球碳循环研究中有着十分重要的作用，而森林资源清样调查资料以其系统性、科学性、连续性等优点在森林生态系统碳循环研究中具有十分重要的地位。本研究以中国主要森林植被类型为研究对象，基于中国森林资源清样调查资料（FID），采用建立的生物气候生产力模型和反映林龄和蓄积量共同影响的生产力回归模型分别估计了中国油松林和主要造林树种的生产力;利用改进的材积源生物量法估算了中国主要森林植被类型的碳储量;并基于多元线性回归方法和因子分析法探讨了林业用地以及气候因子对中国森林植被碳储量的影响;同时，结合生物地球化学循环模型CENTURY模型评估了中国森林生态系统的碳收支。主要研究结果如下： 1建立了中国油松林生物气候生产力模型NPPa=［0.331n（V／A）+0.18］*3000（1-e-0.00096‘哪，根据油松林的森林资源清样调查资料和气候资料估算的中国油松林生产力平均为7.82Mg•ha-1•yr-1，其变化幅度为3.32-11.87Mg•ha-1•yr-1，其分布表现为南高北低的趋势。生产力较高的区域主要分布在东部和南部（四川、湖北、河南、辽宁等省），均大于7.7Mg•ha-1•yr-1;生产力较低的区域主要分布在北部和西部较为干旱的区域（内蒙古），NPP均低于5.5Mg•ha-1•yr-1：油松林集中分布区（陕西、山西）生产力处于中等水平，在5.5-7.7Mg•ha-1•yr-1之间。 2基于森林资源清样调查资料评估了中国五种主要造林树种（落叶松Larix，油松Pinusstabulaeformis，马尾松Pinusmassoniana，杉木Cunninghamialanceolata，杨树Populus）的生产力，分别为8.43、5.75、4.42、4.41、7.33Mg•ha-1•yr-1，低于世界平均生产力水平，主要原因可能是这五种造林树种大都处于未成熟阶段，表明中国造林树种在提高中国森林生态系统的固碳能力方面有很大的潜力。 3基于两次（第三次和第四次）森林资源清查资料和改进的材积源生物量法评估了中国森林的碳储量，分别为3.48和3.78PgC（1Pg＝1015g）。 基于多元线性回归模型探讨了林业用地变化对森林植被碳储量的影响。分析表明：在森林平均林龄减小的情况下，森林植被碳储量有增加的趋势;而森林碳储量随森林面积的增加而增加。当平均林龄增加10年，全国森林面积增加1*104ha时，全国森林植被的碳储量将增加54.51Tg（1Tg＝1012g），表明我国森林植被碳储量取决于自然和人为因素共同作用。 采用因子分析方法探讨了气候变化对森林植被碳储量的影响，分析表明：气温是森林植被碳储量的主要限制因子。当气温升高时，森林植被碳储量有降低的趋势;降水与森林植被碳储量呈正相关，随降水的增加森林植被碳储量增加。在年均温升高4℃，年降水量增加10％;年均温升高4℃，年降水量不变;年均温升高4℃，年降水量减少10％三种气候变化情景下，我国森林植被碳储量的增加量分别为：9.19Tg、6.67Tg和4.15Tg。 4基于生物地球化学循环模型模拟的中国森林生态系统的碳收支为0.17PgC，中国森林表现为一个巨大的碳汇。其中，西南地区森林碳收支占44％，华东及西北地区的森林碳收支总和不足14%。

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.