13 research outputs found

    A new perspective on instantiation

    Get PDF
    This paper develops a new perspective on the relation of instantiation. This new perspective is based on recent research in cognitive psychology, or, more specifically, on the theory of frames, which was defined by Lawrence Barsalou to capture the common features of contemporary models of human concepts. I show how this new perspective may be applied to coordinate two rudimentary mental operations: categorization and conceptualization

    Optimisation of Car Park Designs

    Get PDF
    The problem presented by ARUP to the UK Study Group 2014 was to investigate methods for maximising the number of car parking spaces that can be placed within a car park. This is particularly important for basement car parks in residential apartment blocks or offices where parking spaces command a high value. Currently the job of allocating spaces is done manually and is very time intensive. The Study Group working on this problem split into teams examining different aspects of the car park design process There were three approaches taken. These approaches include a so-called "tile-and-trim" method in which an optimal layout of cars from an `infinite car park' are overlaid onto the actual car park domain; adjustments are then made to accommodate access from one lane to the next. A second approach seeks to develop an algorithm for optimising the road within a car park on the assumption that car parking spaces should fill the space and that any space needs to be adjacent to the network. A third similar approach focused on schemes for assessing the potential capacity of a small selection of specified road networks within the car park to assist the architect in selecting the optimal road network(s). The problem is a variant of the "bin packing" problem, well known in computer science. It is further complicated by the fact that two different classes of item need to be packed (roads and cars), with both local (immediate access to a road) and global (connectivity of the road network) constraints. Bin-packing is known to be NP-hard, and hence the problem at hand has at least this level of computational complexity. None of the approaches produced a complete solution to the problem posed. Indeed, it was quickly determined by the group that this was a very hard problem (a view reinforced by the many different possible approaches considered) requiring far longer than a week to really make significant progress. All approaches rely to differing degrees on optimisation algorithms which are inherently unreliable unless designed specifically for the intended purpose. It is also not clear whether a relatively simple automated computer algorithm will be able to "beat the eye of the architect"; additional sophistication may be required due to subtle constraints. Apart from determining that the problem is hard, positive outcomes have included: Determining that parking perpendicular to the road in long aisles provides the most efficient packing of cars. Provision of code which "tiles and trims" from an infinite car park onto the given car park with interactive feedback on the number of cars in the packing. Provision of code for optimal packing in a parallel-walled car park. Methods for optimising a road within a given domain based on developing cost functions ensuring that cars fill the car park and have access to the road. Provision of code for optimising a single road in a given (square) space. Description of methods for assessing the capacity of a car park for a set of given road network in order to select optimal road networks. Some ideas for developing possible solutions further

    Two ontology-driven formalisations of functions and their comparison

    No full text
    In this paper, we give formalisations of two engineering concepts of technical function and present in more general terms the project of supporting functional description translation by ontological analysis. The formalisations are given within the foundational dolce ontology and the concepts formalised are as follows: (1) the function as defined in the Functional Representation approach by Chandrasekaran and Josephson and (2) the function as defined in the Functional Basis approach by Stone and Wood. These two concepts represent two main ways of understanding functions in engineering: the first by means of the behaviour of artefacts, and the second by means of operations on flows as performed by artefacts. We analyse the similarities and differences between these concepts by means of the formalisations and show how the formalisations support the automated translation between functional descriptions based on these two concepts. In addition, we compare our strategy of formalising different engineering concepts of function within one foundational ontology with other strategies in the ontology-driven formalisation, such as defining a single formalised concept of function, either for replacing existing engineering concepts, or for use as a reference by which such existing concepts can be related. We compare these strategies and sketch the merits and shortcomings of our strategy
    corecore