AxialGen is a research prototype for automatically generating the axial map, which consists of the least number of the longest visibility lines (or axial lines) for representing individual linearly stretched parts of open space of an urban environment. Open space is the space between closed spaces such as buildings and street blocks. This paper aims to provide an accessible guide to software Ax...

In the last decade, enormous progress has been made in generating test cases for coverage criteria automatically via model checking. However, many approaches suffer from generating large test suites with long test execution times. In recent work, we developed a method to generate test suites from state-based design models with the shortest test execution time satisfying a given set of coverage ...

In this paper we study two echelon multi-server tandom queueing systems where customers arrive according to a poisson process with two different rates. The service rates at both echelons are independent of each other. The service times of customers is assumed to be completed in two stages. The service times at each stage are exponentially distributed. At the first stage, the customers may balk ...

Simplified Dolphin Echolocation (SDE) optimization is an improved version of the Dolphin Echolocation optimization. The dolphin echolocation (DE) is a recently proposed metaheuristic algorithm, which was imitated dolphin’s hunting process. The global or near global optimum solution modeled as dolphin’s bait, dolphins send sound in different directions to discover the best bait among their searc...

It is a standard fact of linear algebra that all bases of a vector space have the same cardinality, namely the dimension of the vector space over its base field. If we treat a vector space as an additive abelian group, then this is equivalent to saying that an irredundant generating set for a vector space must have cardinality equal to the dimension of the vector space. The same is not true for...

This report presents a theoretical complexity analysis and empirical scalability analysis of the Requirements and Architecture Decision Analyser (RADAR) described in a separate paper [1]. We will refer to that paper as the RADAR paper and assume the reader is familiar with its content. Further information can be found in the tool website The analysis of a RADAR model involves four main steps: 1...