4,012 Hits in 8.2 sec

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

Ullrich Hustadt, Ana Ozaki, Clare Dixon
2020 Journal of automated reasoning  
We use this logic to model examples from robotics, traffic management, and scheduling, discussing the effects of different modelling choices.  ...  In each of these approaches we consider the case where the mapping between states and time points is given by (i) a strict monotonic function and by (ii) a non-strict monotonic function (which allows multiple  ...  Multiprocessor Job-Shop Scheduling Our next example is a generalisation of the classical job-shop scheduling problem, called the Multiprocessor Job-shop Scheduling (MJS) problem [16, 27] .  ... 
doi:10.1007/s10817-020-09541-4 fatcat:pqz4xkmztbcapm2gm32bq2kzrq

Page 5707 of Mathematical Reviews Vol. , Issue 89J [page]

1989 Mathematical Reviews  
Looney (Reno, NV) 89j:68144 68T20 68Q25 90B35 Parrello, Bruce D. (1-NW); Kabat, Waldo C. (1-NW); Wos, L. (1-ANL) Job-shop scheduling using automated reasoning: a case study of the car-sequencing problem  ...  Reason. 2 (1986), no. 1, 1-42. Summary: “Thejob-shop scheduling problem’ is known to be NP-complete.  ... 

A Highly Efficient and Optimised Simulation Based Multi objective Decision-Making for FMS Control

Shreyanshu Parhi, S. C. Srivastava
2018 International Journal of Emerging Research in Management and Technology  
ARENA is a simulation software that is used to calculate the industrial problems by creating a virtual shop floor environment.  ...  These cases are implemented to a real-time FMS problem and it is solved using ARENA simulation tool.  ...  The cars used are generally CNC machines due to its highly automated and flexible performance.  ... 
doi:10.23956/ijermt.v6i6.254 fatcat:vunobgwytvcdng6xnnwdp72p5q

Page 1090 of The Journal of the Operational Research Society Vol. 59, Issue 8 [page]

2008 The Journal of the Operational Research Society  
CAR WARS: The (almost) birth of an expert system. Al Exp 3: 60-64. Parello BD, Kabat WB and Wos L (1986). Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem.  ...  Review and comparison of three methods for the solution of the car-sequencing problem. J Opl Res Soc 56: 1287-1295. Kis T (2004). On the complexity of the car sequencing problem.  ... 

k Reasons Why Ergonomics Cannot Make Interactive Devices to Be User-Friendly (k>3)

Bouwhuis DG
2017 Journal of Ergonomics  
The reasons originate from the software life cycle, cognitive models and on beliefs of the stakeholders.  ...  It is argued here that this situation is caused by a number of reasons, that that are almost impossible to eliminate.  ...  having difficulties to use it for a range of reasons.  ... 
doi:10.4172/2165-7556.1000195 fatcat:bumqhhfjfzagvplcnm3i3ychru

Environment-Aware Production Scheduling for Paint Shops in Automobile Manufacturing: A Multi-Objective Optimization Approach

Rui Zhang
2017 International Journal of Environmental Research and Public Health  
To bridge the gap, this paper investigates an environment-aware production scheduling problem that arises from a typical paint shop in the automobile manufacturing industry.  ...  In the studied problem, an objective function is defined to minimize the emission of chemical pollutants caused by the cleaning of painting devices which must be performed each time before a color change  ...  Literature Review The Color-Batching Problem A line of research that is closely related to our study deals with the color-batching problem, which concerns the use of a buffer system to adjust the car  ... 
doi:10.3390/ijerph15010032 pmid:29295603 pmcid:PMC5800132 fatcat:6ipo2hrhp5c25juetzynsvmjrm

The Problem of Uninterrupted Hybrid Flow Shop Scheduling with Regard to the Fuzzy Processing Time

Ramez Kian
2021 International Journal of Innovation in Management, Economics and Social Sciences  
Purpose: In this paper, an uninterrupted hybrid flow shop scheduling problem is modeled under uncertainty conditions.  ...  In the proposed model, there are several jobs that must be processed by machines in sequence.  ...  The study of scheduling has a history of over half a century.  ... 
doi:10.52547/ijimes.1.1.94 fatcat:qpr5crn45zafhmzs7qdeuwgmtm

A heuristic solution concept for a generalized machine sequencing problem with an application to radiator manufacturing

G. Zäpfel, M. Wasner
2000 International Journal of Production Economics  
This paper considers a real problem in practice, namely a generalized job shop scheduling problem for a supplier for the automotive industry, which can be seen as typical for this line of business.The  ...  The job shop scheduling problem has received considerable attention from production and operations researchers since the early 1950s.  ...  Simulation experiments Test problems In the following we describe the real application of the job shop sequencing problem for a main supplier of the automative industry.  ... 
doi:10.1016/s0925-5273(98)00229-1 fatcat:hquv3t6j3vbqhaoxwv6fiq5dgy

A Meta-Heuristic Approach Based on the Genetic and Greedy Algorithms to Solving Flexible Job-Shop Scheduling Problem

Amin Rezaeipanah, Fariba Sarhangnia, MohammadJavad Abdollahi
2021 Computer Science  
In this paper, a meta-heuristic method based on combining genetic and greedy algorithms has been used in order to optimize and evaluate the performance criteria of flexible job-shop scheduling problem.  ...  One of the most important problems that has always been considered in the manufacturing and job-shop industries is offering various products according to the needs of customers in different periods of  ...  In [18] , a case study was developed on the ability of genetic algorithms to solve the problem of the time-latency of job-shop manufacturing.  ... 
doi:10.7494/csci.2021.22.4.4130 fatcat:f42llr3nxbe75fg3f6rvuwnwie

Experience Design: Technology for All the Right Reasons

Marc Hassenzahl
2010 Synthesis Lectures on Human-Centered Informatics  
Sometimes a full container sits on the upper shelf (if I was shopping) or on the floor (if my wife was shopping).  ...  It would disappoint people they love, they might lose their job or face other severe threats to existence. In this case, keeping a secret is a necessity.  ... 
doi:10.2200/s00261ed1v01y201003hci008 fatcat:4pwho2pcyvbvble4g7c4mei4ii

Vehicle Routing, Scheduling and Decision Utility Environment

Ceyhun Ozgur ., Claire Okkema ., Claire Okkema .
2018 Advances in Social Sciences Research Journal  
We provide a solution to the issues of how vehicles can be scheduled or routed to achieve a company's logistic objectives.  ...  Lastly, we discuss the facets of priority class scheduling in decision utility management and its advantages.  ...  For each police scheduling period, the police chief uses a data list of the police officers and estimates of the time for a police officer or police car to complete each job in the city, and what additional  ... 
doi:10.14738/assrj.511.5614 fatcat:5gl6vrnozvcylhwbtlafhbiujq

Alleviating the Collision States and Fleet Optimization by Introducing a New Generation of Automated Guided Vehicle Systems

Parham Azimi
2011 Modelling and Simulation in Engineering  
The aim of the current research is to propose a new generation of automated guided vehicle systems for alleviating the collision states in material handling systems where the automated guided vehicles  ...  For this reason, some experiments have been carried out to study the effects of several empty vehicle dispatching rules on average annual profit.  ...  Kesen and Baykoc [16] studied the impact of JIT philosophy in a job shop environment using simulation method. However they did not consider costs and breakdowns.  ... 
doi:10.1155/2011/210628 fatcat:ypwklazwwjde3cgb2nj6rckhr4

An Agent-Based System for Automated Configuration and Coordination of Robotic Operations in Real Time—A Case Study on a Car Floor Welding Process

Sotiris Makris, Kosmas Alexopoulos, George Michalos, Andreas Sardelis
2020 Journal of Manufacturing and Materials Processing  
The specific framework was implemented, tested and validated in a feasibility study upon a laboratory robotic assembly cell with typical industrial components, using real data derived from a car-floor  ...  Production automation agents use ontology models that represent the knowledge in a manufacturing environment for control and configuration purposes.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/jmmp4030095 doaj:7a8efdb779464c9c80a963eb8e0cf63c fatcat:skjoqwqjpjam5ioqecnjoimbzm

Petri nets and flexible manufacturing [chapter]

Manuel Silva, Robert Valette
1990 Lecture Notes in Computer Science  
In any case, it is our opinion that Petri nets appears as a key formalism to describe, analyze and implement the control of FMSs.  ...  From the control of the plant perspective, scheduling on nets models, the coordination of the plant (global and partial) and the presence of nets in the local control level are discussed.  ...  Acknowledgments: The authors are grateful for the helpful comments of R. David, J. Erschler, P. Freedman, J.C. Gentina, P. Muro, J.L. Villarroel, K. Voss and many other persons. 6 References.  ... 
doi:10.1007/3-540-52494-0_38 fatcat:gn3nqq3q2rc2vm5bfk4iz7ursu

The hybrid flow shop scheduling problem

Rubén Ruiz, José Antonio Vázquez-Rodríguez
2010 European Journal of Operational Research  
The scheduling of flow shops with multiple parallel machines per stage, usually referred to as the Hybrid Flow Shop (HFS), is a complex combinatorial problem encountered in many real world applications  ...  Scheduling problems are described with a triplet α|β|γ, where α describes a shop config-Without doubt, Branch and Bound (B&B) is the preferred technique when solving to optimality the HFS problem.  ...  Acknowledgements Rubén Ruiz is partially funded by the Spanish Ministry of Science and Innovation, under the projects "SMPA -Advanced Parallel Multiobjective Sequencing: Practical and Theorerical Advances  ... 
doi:10.1016/j.ejor.2009.09.024 fatcat:g2rd6vfrsjdyxasfiwduf3hile
« Previous Showing results 1 — 15 out of 4,012 results