汽车装配车间生产计划调度系统的设计与开发

论述了汽车装配车间在企业顺利生产中的重要性,建立了车间生产计划与调度的同时优化模型。基于免疫算法以概率1收敛的特点,选用免疫算法并将之进行适当组合得到交替式免疫算法来对该模型进行求解,以达到计划和调度同时优化的目的。在进行理论研究的基础上,根据南京某汽车厂的实际需求设计出了生产计划与调度系统方案,并使用组件化技术,开发出了基于．NET平台和B／S模式的汽车装配车间生产计划与调度系统,最终满足实际生产要求,达到了高效信息管理的目标。     

汽车装配车间生产计划与调度的同时优化方法

文中提出三种新方法来解决汽车装配车间生产计划与调度的同时优化问题.首先将汽 车装配线简化为一个Flow shop问题,并建立其混合整数规划模型,以求得使各装配工位的准 备成本和空闲时间尽可能少并尽可能满足产品需求的粗生产计划.然后在粗生产计划的基础上 考虑装配线的细节,用Tabu搜索法与快速调度仿真相结合的三种不同启发式算法使生产计划 与调度同时得到优化,并给出了三种算法的复杂性.大量算例的比较研究表明了这些算法的有 效性和适用性.     

汽车装配线生产计划与调度的集成优化方法

为提高汽车装配线的生产效率,优化资源配置,研究了汽车装配线生产计划和调度的集成优化问题,给出了该问题的混合整数规划模型.利用分枝定界算法和单纯型法求得问题的粗生产计划.通过将模拟退火算法和快速调度仿真相结合,探讨了一种新的启发式算法.然后基于已求得的粗生产计划,针对三种不同寻优组合论述了该算法的实现.将该算法应用于实际算例,仿真结果表明该算法对求解此类问题有着很好的效果.     

带返工的定点装配车间生产计划与调度集成优化

针对定点装配车间不合格品返工导致生产计划及调度不可行的情况,提出一种基于返工延后处理的定点装配车间生产计划与调度集成优化方法.首先制定返工延后处理的粗生产计划;下达计划生产后,将每周期产生的不合格品放入缓冲区,在下周期初时重新调整生产计划并求解新计划下的最优调度,判断其是否满足装配班组负载率要求,不断交替迭代生产计划与调度直至达到计划与调度的均衡和优化.最后通过算例验证了所提出方法的可行性和有效性.     

柔性作业车间生产计划与调度集成优化求解策略

针对柔性作业车间(Flexible job-shop, FJS)生产计划(Production planning, PP)与调度紧密衔接的特点, 建立了生产计划与调度集成优化模型. 模型综合考虑了安全库存、需求损失及工件加工路线柔性等方面因素. 提出了一种基于拉格朗日松弛(Lagrangian relaxation, LR)的分解算法, 将原问题分解为计划子问题与调度子问题. 针对松弛的生产计划子问题, 提出一种新的费用结构, 以保证生产计划决策与实际情况相符, 并设计了一种变量固定—松弛策略与滚动时域组合算法进行求解. 对于调度子问题中的加工路线柔性问题, 提出了一种新的机器选择策略. 通过数值实验验证了模型与算法的有效性.     

炼铸轧集成计划与调度组批模型及算法

为提高热装批量计划的调度可行性,构建一种集成批量计划类型及部分调度约束的批量计划约束满足模型,并采用显性基因的约束遗传算法进行优化求解。在优化过程中,采用一种以提高批量计划的调度可行性的基于邻域连通的快速判定方法,同时利用判定返回的信息构建显性基因指导优化过程。最后利用实际生产数据进行测试,结果表明,所提出的模型和算法能够提高热装率和批量计划调度的可行性,并且算法的执行效率可满足实际应用的要求。     

汽车同步装配线生产计划与调度集成优化汽车同步装配线生产计划与调度集成优化

为克服传统的"自顶向下"方式下生产计划与调度不协调的缺陷,针对汽车同步装配线,构造了生产计划与调度集成优化混合整数规划模型,并采用拉格朗日松弛法将其分解为批量计划及调度等子问题.将调度子问题转化为与时间相关的旅行商问题,并采用dynasearch算法求解.对于拉格朗日对偶问题,采用均衡方向策略法求解.仿真实验结果验证了模型及算法的有效性.     

冶金冷轧薄板企业生产计划调度体系结构及方法研究

本文在三层企业集成模型的基础上,针对冷轧薄板企业的产品、经营、生产及设备等特点,提出了冷轧薄板企业的多级计划与调度体系结构,并引入了以生产线控制机制为核心的企业经营生产全过程闭环优化集成模式.同时还对企业生产组织中的各级优化问题及方法进行了全面的分类研究,为进一步的研究和冷轧薄板企业集成应用系统的开发奠定了基础.􀁽     

基于改进型遗传算法的热轧生产计划调度系统

针对热轧型钢生产计划编制的约束条件复杂、易延误交货期、不易寻求最优解等问题,采用面向可拆分订单的批策略思想建立了新的生产计划模型,并针对新模型改进了遗传算法,提出了拆分染色体遗传算法.结合某钢铁企业实例,在建立基于批决策与批调度热轧数学模型、列举实际生产约束条件之后,阐明了此种新算法的应用过程,并且通过不同的订单数据进行模拟计算和结果比较,证明了该模型及算法得出的生产计划可节省生产时间、降低设备调度、减少交货延误,以此来指导热轧型钢的生产,可切实提高企业利润率.     

基于粒子群算法的流程工业生产调度研究

以优化流程工业生产为目标,研究了将基于惯性权重的粒子群算法应用到流程工业的生产调度问题。在对流程工业生产调度问题进行分析的基础上,建立了以总加工完成时间最短为优化目标的生产调度模型。调度算法采用动态惯性权重,使惯性权值在粒子群算法搜索过程中线性变化,以提高粒子群算法的优化性能。给出了粒子编码与解码实现方法,以及具体的算法实现过程。以某流程工业企业生产调度实例为例,利用建立的优化调度模型和设计的粒子群算法进行了实验仿真,结果表明,建立的调度模型和设计的算法是可行的,与蚁群系统方法相比较,有较好的调度性能,适用于解决流程工业实际生产调度问题。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.