School of Computer Science and Informatics

Permanent URI for this collection

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

Browse

Browsing School of Computer Science and Informatics by Type "Thesis"

Now showing 1 - 4 of 4
  • 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
    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