Modal µ-Calculus, Model Checking and Gauß Elimination

In this paper we present a novel approach for solving Boolean equation systems with nested minimal and maximal fixpoints. The method works by successively eliminating variables and reducing a Boolean equation system similar to Gauß elimination for linear equation systems. It does not require backtracking techniques. Within one framework we suggest a global and a local algorithm. In the context of model checking in the modal-calculus the local algorithm is related to the tableau methods, but has a better worst case complexity

On Site

Contemporary debates on the transformation of building methods, the structure of the building industry, and the introduction of new technologies (informational, material and structural) in professional literature and in the architectural humanities tend to ignore the realities of work on construction sites. This follows a long history of failure to recognise the importance of workers’ experience and knowledge of building as a process by the key professions in the industry. The absence of the working process in accounts of historical development is exacerbated by abstract reflection on building know-how, categories of expertise, and the structure of the industry, when these are not supported by direct observation and engagement with building work and workers. Key assumptions about the relation between structural and technological changes in the industry and the knowledge, skills, composition, and requirements of the workforce can be challenged by paying attention to day-to-day activities and conditions of site work

Modelling Social Structures and Hierarchies in Language Evolution

Language evolution might have preferred certain prior social configurations over others. Experiments conducted with models of different social structures (varying subgroup interactions and the role of a dominant interlocutor) suggest that having isolated agent groups rather than an interconnected agent is more advantageous for the emergence of a social communication system. Distinctive groups that are closely connected by communication yield systems less like natural language than fully isolated groups inhabiting the same world. Furthermore, the addition of a dominant male who is asymmetrically favoured as a hearer, and equally likely to be a speaker has no positive influence on the disjoint groups.Comment: 14 pages, 3 figures, 1 table. In proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, 14-16 December 201

Modelling of Supercritical Carbon Dioxide Extraction of Oil from Oilseeds

This study is aimed to learn the underlying behaviour of the Supercritical Carbon Dioxide (C02) Extraction on the oilseeds or any solid without chemical reaction. CFD model will be developed to better understand the mass transfer phenomenon and complex flow field around a single particle in porous medium. Wide range of species has been explored such as wheat germ, oats, tomato, grape seed and soybean. Despite the relatively large number of species processed, only some models of the SFE of oil seed have been published. CFD numerically solves the Navier-Stokes equations and the energy and species balances. Some important variables in extraction process such as solvents flow rate and solid particle length will be modeled. Volume of Fluid (VOF) method will be used to predict the mentioned fields in a 2D geometry. This project focus is to model the the concentration profile of oil under Supercritical Carbon Dioxide Extraction condition via CFD. In the end, it will predict extract yields as a function of flow rate and particle diameter. Thus, determine the most optimum operating conditions and improve the efficiency of the extraction process. Experimental result referred is to validate the proposed model