The paper presents approach that allows to automate roof area calculation process as well as other accompanying actions. These actions include: figure recognition, calculation of necessary dimensions, recognition of connections between roof surfaces, visualization of the roof in three-dimensional space and calculation of the roof area based on processed data. The aim of proposed approach is to automate as much actions as it is possible to reduce calculation errors and moreover increase the efficiency of whole process. Presented idea has been implemented and then tested for accuracy of calculations and capabilities. Performed tests showed that presented method is flexible and gives relatively small error in case of roof area calculation.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper, we consider the pebble automata introduced by Blum and Hewitt, but now moving through the unbounded plane Z2. We are interested in their ability to recognize families of dotted figures. Contrary to the bounded case studied by Blum and Hewitt, the hierarchy collapses: there are families recognized with 0, 1, 2 and 3 pebbles, but each family recognized with more than three pebbles is recognized with exactly 3 ones. This result is connected to the existence of an intrinsically universal 3-pebble-automaton. We formally define the underlying universality notion, and prove that there exists some 3-pebble automaton intrinsically universal, but no such automaton with only 2 pebbles.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.