Faculty of Computing, Engineering and Media

Permanent URI for this community

https://hdl.handle.net/2086/61

Browse

Browsing Faculty of Computing, Engineering and Media by Type "Thesis"

Now showing 1 - 8 of 8
  • Thumbnail Image
    ItemEmbargo
    Algorithmic issues in computational intelligence optimization: from design to implementation, from implementation to design
    (University of Jyväskylä, 2016-08-26) Caraffini, Fabio
    The vertiginous technological growth of the last decades has generated a variety of powerful and complex systems. By embedding within modern hardware devices sophisticated software, they allow the solution of complicated tasks. As side effect, the availability of these heterogeneous technologies results into new difficult optimization problems to be faced by researchers in the field. In order to overcome the most common algorithmic issues, occurring in such a variety of possible scenarios, this research has gone through cherry-picked case-studies. A first research study moved from implementation to design considerations. Implementation limitations, such as memory constraints and real-time requirements, inevitably plague the algorithmic design. Such limitations are typical of embedded systems. In this light, a fast and memory-saving “compact” algorithm was designed to be used within microcontrollers. Three robotic applications were subsequently addressed by means of selected single-solution approaches and the proposed compact algorithm. A new memetic computing approach using a micro-population was also designed to tackle large scale problems. In a second moment, the opposite approach, from design to implementation, was employed. As the benefit of metaheuristic optimization is the capability of tackling black-box systems, 6 novel general-purpose optimizers were designed according to different working principles. Their validity was thoroughly tested by means of popular benchmark suites. Finally, a theoretical study concludes this piece of research. The dynamic behaviour of population-based optimization algorithms, such as Genetic Algorithm and Particle Swarm Optimization, was observed. Their general-purpose nature questioned. The presence of an intrinsic structural bias was graphically displayed and rigorously formalized. It was shown that the bias prevent them from equally exploring all the areas of the search space, with a particularly deleterious strength in presence of a large population size.
  • No Thumbnail Available
    ItemMetadata only
    Business audit management system based on workflow.
    (Jilin University., 2004) Wang, Yuying
    Business audit management system is a powerful software environment based on workflow that supports the enterprise to perform efficient process management and automation. In this paper, the design of a business audit management system is discussed. Detailed discussion on the audit operation management and the implementation of workflow execution service is provided. Today organizations face the challenges of globalization, which have led to unprecedented levels of competition. In competitive global markets, organizations need to find better business solutions, with flexible and reliable structures. Much of an enterprise’s infrastructure and organization is enabled by information systems that directly or indirectly support business processes of crucial importance to growth and survival. By managing these processes more efficiently, competitive advantage can be gained via cost reduction, product enhancement, and customer service improvements. Business Scope:Business audit management system consists of the audit management component, the website management component, audit OLAP (Online Analysis) sub- system, report and statement subsystem , safety guarantee system etc.The audit management component is daily business management platform, completing the audit process management, document management.The document management includes:document announces,replies, remind service and sign jointly etc.The process management includes: The process orders, the process announces, the process interferes, the process cancels etc.The website management includes: User management, depart management, coorperate management , data piping etc. The audit OLAP sub- system includes: Risk supervises and controls sub- system;The business data collects sub- system;The finance supervises and control the sub- system.The audit OLAP sub- system management should have the mighty data collected and analyzed. The report and statement sub- system will concentrate and checkup the trustworthy data to deposit together, calculation ability and search quickly.Some not audit function module, such as personnel’s address book , mail system, corporate culture developments, chat room etc.Technological Scope:The trend of business audit system is to develop a system with different applications of management, with three-layer architecture, and with support of international standards of techniques. The three-layer architecture consists of three layer: client applacations layer, workflow logic layer and data transmission layer. To allow for reusability and extensibility, System is formulated in an Componet-Based Design model based on J2EE platform ,using workflow technique and BEA Tuxedo trade middleware.The client applacations layer : Web_applacation interface between client and workflow logic layer. The layer according to user needs offering audit management, document management, website management, process management etc.Data transmission provides with data operation using BEA Tuxedo trades middleware interface service. Middleware components help solve these problems. They provide core software infrastructures that make it relatively straightforward to build distributed application that are high-performance and scalable. They provide sets of services that support, for example, off-the-shelf distributed transaction processing, security features, and directory and naming services. They also provide specialized components for integration with massive variety of legacy system, and the ability to design and deploy new business processes that integrate multiple distributed applications.The workflow management logic layer is composed by workflowengine, the XPDL workflow definition, automatic COM object ,data conversion module, the business component.1. The workflow engine: A workflow system is composed of a set of applications and tools that allows for the definition, the creation, and the management of the various activities associated with workflows (business processes).
  • Thumbnail Image
    ItemOpen Access
    Carbon measurement in the NHS: Calculating the first consumption-based total carbon footprint of an NHS Trust.
    (2009) Brockway, Paul
    In January 2009 a national NHS England carbon reduction strategy (SDU, 2009a) was launched. It is believed to be the first public sector organisation worldwide to publish a carbon strategy based on the embedded emissions of all its activities: a consumption-based approach. The strategy sets a target for 2015 to reduce NHS England’s total consumption-based emissions from travel, building energy and procurement sectors to 10% below the 2007 level of 20.0MtCO2 (SEI and Arup, 2009a). At the local level, NHS Trusts currently measure building energy emissions and in some cases staff travel emissions, but do not include procurement. This omission is important, as procurement is estimated to account for 60% of NHS England emissions. Therefore, as none of the NHS Trusts in England have undertaken a consumption-based footprint, they have no means of baselining all emissions and checking individual progress towards the national target. A gap therefore exists between NHS England targets and the measurement tools available at an NHS Trust level. This research seeks to explore this gap. Firstly, the consumption-based carbon footprint of Cambridge University Hospitals NHS Foundation Trust was calculated, and determined to be 168,902tCO2 in 2007. A similar methodology was used to that developed for the NHS England carbon footprint study (SDC, 2008), except importantly bottom-up data was obtained directly from the NHS Trust. By reviewing the results, and comparing them to those for NHS England, the footprinting technique appears technically viable for use at an NHS Trust level. Secondly, the applications and benefits of this technique were examined. At a Trust level, there are clear benefits in establishing and monitoring baseline emissions, and comparing progress to NHS England targets. In addition, wider use could accrue benefits via inter-Trust and regional NHS benchmarking. Lastly, this technique could in future be applied to the development of ‘low carbon pathway’ models of care, by mapping carbon emissions to patient costing systems.
  • Thumbnail Image
    ItemOpen Access
    Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
    (2005-09-05T19:46:29Z) Cau, A. (Antonio)
    This thesis introduces a compostitional dense time temporal logic for the compositions and refinement of reactive systems. A reactive system is specified by a pair consisting of a machine and a condition on the computations of this machine. In order to compose reactive systems, each step in a computation has additionally composition information such as “this is a system step”, or “this is an environment step” or “this is a communication step”. By defining a merge operator that merges two steps into one step compostionality is achieved. Because a dense time temporal logic is used refinement can be expressed easily in this logic. Existing proof rules for refinement are reformulated in our formalism. The notion of relative refinement is introduced to handle refinement of systems that only under certain conditions are considered to be correct refinements. The proof rules for “normal” refinement are extended to handle relative refinement of systems. Relative refinement is used to formalize Dijkstra’s development strategy for the solution of the readers/writers problem and to formalize a development strategy for certain fault tolerant systems. This development strategy is applied to the development of a fault tolerant storage system.
  • No Thumbnail Available
    ItemMetadata only
  • No Thumbnail Available
    ItemMetadata only
  • No Thumbnail Available
    ItemMetadata only
    Modelling the molecular structure of muscle with comparison to x-ray diffraction data
    (University of Leicester, 2001) Bassford, Marie
  • Thumbnail Image
    ItemOpen Access
    Towards an Acousmatic Narratology: Narrative approaches in acousmatic music
    (University of the Arts Helsinki, 2024-09-07) Andean, James
    This doctoral project is an investigation into the narrative aspects of acousmatic music. The goal of the project is, on the one hand, to propose and develop an advanced narrative approach to the acousmatic genre, and on the other to examine, explore, and illustrate this approach through a portfolio of acousmatic compositions. Acousmatic music is a genre of electroacoustic tape music that has its roots in Pierre Schaeffer’s ‘musique concrète’, the fundamental premise of which is the use of recorded sound from the world around us as primary musical materials. Such sounds, while offering significant musical and sculptural potential, also tend to import images of the possible sources – real or imagined – that might have made these sounds. Despite Schaeffer’s insistence on ‘reduced listening’ as the key to ‘musique concrète’, experience quickly demonstrated that it is not possible to fully ‘turn off’ the string of images and associations that accompany such sounds. These tend to build up towards a narrative experience of acousmatic music, which can be proposed as a kind of ‘parallel’ to the more purely musical experience of the work. This project therefore proposes a ‘musical/narrative dichotomy’ that is central to acousmatic music. The written work starts from an overview of existing literature (e.g. Ferrari, Emmerson, Smalley, Young, Norman, etc.), with reference to key ideas from narratology, psychology, and the musicology of electroacoustic music, and is examined from perspectives including embodiment, cultural relativism, and approaches to space and place. These provide a foundation for the development of a more substantial and coherent approach to the narrative properties of acousmatic music, culminating in the proposal of a model of eleven ‘Narrative Modes’ in acousmatic music. The project includes a portfolio of nine acousmatic compositions, which are examined and discussed through the lens of the proposed ‘Narrative Modes’ framework.