Scheduling in or-parallel Prolog systems: Survey and open problems

Implementation of or-parallel Prolog systems offers a number of interesting scheduling problems. The main issues are the interaction between memory models and scheduling, ordering of multiple solutions, and scheduling of speculative work. The problems occur partly because of the design choices (e.g. the choice of a memory model), and partly because of the desire to maintain observational equivalence between parallel and sequential implementations of Prolog, while achieving high efficiency. In the first part of this paper a common framework for discussing scheduling in or-parallel systems is introduced, and also a collection of issues that must be addressed in such systems is presented. In the second part of the paper we survey a number of solutions to these problems comparing their efficiency whenever possible. We close the survey with a short discussion of open problems.Current association: Carlstedt Elektronik AB     

引子渡水电站大坝施工质量控制及成果简析

混凝土面板堆石坝是引子渡水电站的主要水工建筑物,在大坝坝体填筑及混凝土面板的施工过程中,通过室内及现场试验确定了质量控制参数,并采取了必要的质量控制措施,从而保证了工程质量。本文主要对质量控制情况及检测成果作简要介绍。     

黄河天桥水电站工程建设及泥沙处理主要经验

天桥水电站是黄河中游北干上的第一座高泥沙、低水头、大流量的径流式试验电站。它成功的施工与运营经验不仅对在黄河中游北干上开发梯级水电站，而且对中小型径流式水电站的施工都具有重要的借鉴作用。这篇文章总结了两期截流工程、基坑排水、固结灌浆、帷幕灌浆方面的施工经验。在诸如厂房位置的选择以及它的布置，泥沙、冰凌、洪水以及拦污方面的工程设计与运营的宝贵经验，使得水库长期保持高的有效库容和良好的运营状态。特剐是防止进水口淤积和水轮机的磨蚀方面的七条措施是非常有价值的。     

龙滩工程按正常蓄水位400m方案一次建成效益巨大

2003年11月龙滩工程将实现大江截流，随着工程建设的全面推进，越发显出实施龙滩水电站正常蓄水位400m一次建成方案的重要性和紧迫性。相对分期建设而言，400m水位一次建成，工程效益大、增加投资少、无后期加高过程中的各种技术难题，基本不影响电站的初期发电效益，水轮机设计与运行问题少、机组运行条件好，电站规模效益与社会综合效益巨大，有利于移民安置和库区经济的发展，对国家、地方、企业均十分有利，因此应尽快决策实施400m一次建成方案。     

Real-world extensions to scheduling algorithms based on lagrangian relaxation

Recently, efficient scheduling algorithms based on Lagrangian relaxation have been proposed for scheduling parallel machine systems and job shops. In this article, we develop real-world extensions to these scheduling methods. In the first part of the paper, we consider the problem of scheduling single operation jobs on parallel identical machines and extend the methodology to handle multiple classes of jobs, taking into account setup times and setup costs. The proposed methodology uses Lagrangian relaxation and simulated annealing in a hybrid framework. In the second part of the paper, we consider a Lagrangian relaxation based method for scheduling job shops and extend it to obtain a scheduling methodology for a real-world flexible manufacturing system with centralized material handling. This research was supported in part by the Office of Naval Research and the Department of Science and Technology grant N00014-93-1017.     

Hierarchical production control for a flow shop with dynamic setup changes and random machine breakdowns

In this paper, we study a manufacturing system consisting of two machines separated by two intermediate buffers, and capable of producing two different products. Each product requires a constant processing time on each of the machines. Each machine requires a constant non-negligible setup change time from one product to the other. The demand rate for each product is considered to be piecewise constant. Each machine undergoes failure and repair. The time-to-failure and time-to-repair are exponentially distributed random variables. The setup change and processing operations are resumable. We model our system as a continuous time, continuous flow process. An optimal control problem is formulated for the system to minimize the total expected discounted cost over an infinite horizon. To determine the optimal control policy structure, a discrete version of the problem is solved numerically using a dynamic programming formulation with a piecewise linear penalty function. A real-time control algorithm is then developed with the objective of maintaining low work-in-process inventory and keeping the production close to the demand. The algorithm uses a hierarchical control structure to generate the loading times for each product on each machine in real time and to respond to random disruptions in the system. The system is simulated using this algorithm to study its performance. The performance of the algorithm is also compared to alternative policies.     

五强溪水电站缆索起重机的安装与使用

五强溪水电站主体工程混凝土浇筑垂直运输在大坝两岸分高、低层布置４台平移式２０ｔ缆索起重机。其中２台高缆从德国引进，属世界上首次采用全遥控的缆机，同时也是国内塔架最高的缆机；２台低缆属我国目前自行设计制造安装的规格最大、速度最高的缆机。     

乌江渡水电站扩建工程开挖爆破对原水电站建筑物震动影响的控制研究

为确保原有的乌江渡水电站水工建筑物和发电设备以及扩建工程建筑物的施工安全,加快扩建工程施工进度,本扩建工程施工中对关键部位开挖所产生的爆破震动影响实施全面而有效的实时爆破监控,并根据监控成果的研究指导开挖爆破作业,以确定符合实际的安全爆破震动参数。     

特大型地下厂房岩壁梁锚杆和混凝土施工技术及质量控制

岩壁梁是一种新型结构，为通过一定深度的锚杆将钢筋混凝土梁固定在地下厂房两侧的岩壁上，而吊车荷载则通过锚杆和钢筋混凝土与岩石接触面的摩擦力传到岩体上，形成岩壁梁和岩体共同受力的结构。岩壁梁是地下厂房施工和运行的核心建筑物，岩壁梁锚杆和混凝土的施工质量是直接关系到岩壁梁成败的关键，所以施工技术和施工质量均要求极高，是地下厂房系统施工的重点和难点。本文介绍了瀑布沟水电站地下厂房岩壁梁锚杆和混凝土施工的关键技术及质量控制经验，可供同类工程借鉴参考。     

A multi-objective programming model for scheduling emergency medicine residents

Scheduling emergency medicine residents (EMRs) is a complex task, which considers a large number of rules (often conflicting) related to various aspects such as limits on the number of consecutive work hours, number of day and night shifts that should be worked by each resident, resident staffing requirements according to seniority levels for the day and night shifts, restrictions on the number of consecutive day and night shifts assigned, vacation periods, weekend off requests, and fair distribution of responsibilities among the residents. Emergency rooms (ERs) are stressful workplaces, and in addition shift work is well-known to be more demanding than regular daytime work. For this reason, preparing schedules that suit the working rules for EMRs is especially important for reducing the negative impact on shift workers physiologically, psychologically, and socially. In this paper, we present a goal programming (GP) model that accommodates both hard and soft constraints for a monthly planning horizon. The hard constraints should be adhered to strictly, whereas the soft constraints can be violated when necessary. The relative importance values of the soft constraints have been computed by the analytical hierarchy process (AHP), which are used as coefficients of the deviations from the soft constraints in the objective function. The model has been tested in the ER of a major local university hospital. The main conclusions of the study are that problems of realistic size can be solved quickly and the generated schedules have very high qualities compared to the manually prepared schedules, which require a lot of effort and time from the chief resident who is responsible for this duty.