A Survey of Search Methodologies and Automated System Development for Examination Timetabling

Exam timetabling is one of the most important administrative activities that takes place in academic institutions. In this paper we present a critical discussion of the research on exam timetabling in the last decade or so. This last ten years has seen an increased level of attention on this important topic. There has been a range of significant contributions to the scientific literature both in terms of theoretical andpractical aspects. The main aim of this survey is to highlight the new trends and key research achievements that have been carried out in the last decade.We also aim to outline a range of relevant important research issues and challenges that have been generated by this body of work.

We first define the problem and review previous survey papers. Algorithmic approaches are then classified and discussed. These include early techniques (e.g. graph heuristics) and state-of-the-art approaches including meta-heuristics, constraint based methods, multi-criteria techniques, hybridisations, and recent new trends concerning neighbourhood structures, which are motivated by raising the generality of the approaches. Summarising tables are presented to provide an overall view of these techniques. We discuss some issues on decomposition techniques, system tools and languages, models and complexity. We also present and discuss some important issues which have come to light concerning the public benchmark exam timetabling data. Different versions of problem datasetswith the same name have been circulating in the scientific community in the last ten years which has generated a significant amount of confusion. We clarify the situation and present a re-naming of the widely studied datasets to avoid future confusion. We also highlight which research papershave dealt with which dataset. Finally, we draw upon our discussion of the literature to present a (non-exhaustive) range of potential future research directions and open issues in exam timetabling research.

Development of a Diffuse Reflectance Infrared Fourier Transform Spectroscopy (DRIFTS) Cell for the In Situ Analysis of Co-Electrolysis in a Solid Oxide Cell

Co-electrolysis of carbon dioxide and steam has been shown to be an efficient way to produce syngas, however further optimisation requires detailed understanding of the complex reactions, transport processes and degradation mechanisms occurring in the solid oxide cell (SOC) during operation. Whilst electrochemical measurements are currently conducted in situ, many analytical techniques can only be used ex situ and may even be destructive to the cell (e.g. SEM imaging of microstructure). In order to fully understand and characterise co-electrolysis, in situ monitoring of the reactants, products and SOC is necessary. Diffuse Reflectance Infrared Fourier Transform Spectroscopy (DRIFTS) is ideal for in situ monitoring of co-electrolysis as both gaseous and adsorbed CO and CO2 species can be detected, however it has previously not been used for this purpose. The challenges of designing an experimental rig which allows optical access alongside electrochemical measurements at high temperature and operates in a dual atmosphere are discussed. The rig developed has thus far been used for symmetric cell testing at temperatures from 450[degree]C to 600[degree]C. Under a CO atmosphere, significant changes in spectra were observed even over a simple Au|10Sc1CeSZ|Au SOC. The changes relate to a combination of CO oxidation, the water gas shift reaction and carbonate formation and decomposition processes, with the dominant process being both potential and temperature dependent.