From the Editors.

We could not imagine a more appropriate inauguration of the Psychology of Aesthetics, Creativity, and the Arts (PACA) going to four issues per year than with a special issue honoring the life and work of the great aesthetician and psychologist, Rudolf Arnheim. PACA is off to a great start. With this move to four issues per year, we are restarting our numbering system, so this special issue is Volume 1, Issue 1. As you read the articles in this issue, we hope that you enjoy reflecting on how much Rudolf Arnheim has contributed to the field of psychology of aesthetics. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Structural Appraisal of the Florentine Gothic Construction System

The nave of Santa Maria Novella, a Dominican church in Florence Italy is representative of a Florentine Gothic system of construction. This system, consisting of domical rib vaults on square nave bays, high side aisles, and crypto-buttressing, differs substantially from the French high Gothic system of even-level-crown rib vaults on rectangular bays, with flying buttresses over relatively low aisles. An investigation into the structural aspects of the Florentine Gothic construction system reveals that the domical vaults increase the longitudinal thrust and reduce the transverse thrust, which may require additional precautions to be taken during construction, but entails a less elaborate buttressing system. The domical vaults are found to perform well structurally, with an absence of tensile stresses, and are more suitable for a square bay. In general, the structural system of the nave of Santa Maria Novella is found to be the product of carefully considered structural design, which may be accepted as an alternative to the French Gothic construction system.     

Model checking action system refinements

Action systems provide a formal approach to modelling parallel and reactive systems. They have a well established theory of refinement supported by simulation-based proof rules. This paper introduces an automatic approach for verifying action system refinements utilising standard CTL model checking. To do this, we encode each of the simulation conditions as a simulation machine, a Kripke structure on which the proof obligation can be discharged by checking that an associated CTL property holds. This procedure transforms each simulation condition into a model checking problem. Each simulation condition can then be model checked in isolation, or, if desired, together with the other simulation conditions by combining the simulation machines and the CTL properties.     

Instructional animations can be superior to statics when learning human motor skills

Based on the assumption of a working memory processor devoted to human movement, cognitive load theory is used to explore some conditions under which animated instructions are hypothesised to be more effective for learning than equivalent static graphics. Using paper-folding tasks dealing with human movement, results from three experiments confirmed our hypothesis, indicating a superiority of animation over static graphics. These results are discussed in terms of a working memory processor that may be facilitated by our mirror-neuron system and may explain why animated instructional animations are superior to static graphics for cognitively based tasks that involve human movement.     

The medium matters: Mining the long-promised merit of group interaction in creative idea generation tasks in a meta-analysis of the electronic group brainstorming literature

This meta-analysis examines the influence of electronic communication media on group idea generation tasks. Data from the following three areas of the brainstorming literature are synthesized to assess differences across performance variables and group member satisfaction: (1) electronic brainstorming (EBS) groups versus traditional face-to-face (FTF) interacting groups, (2) EBS groups versus nominal groups, and (3) EBS versus electronic nominal (e-nominal) groups. The results of this integration show that EBS groups are more productive and more satisfied with the interaction process than FTF groups. Additionally, large EBS groups outperformed nominal groups, whereas small nominal groups outperformed EBS groups. These findings have important implications for electronic collaboration and teamwork in both academic and organizational settings, especially given the recent proliferation of virtual teamwork.     

Spatial, spectral and temporal patterns of tropical forest cover change as observed with multiple scales of optical satellite data

This article describes the development of a methodology for scaling observations of changes in tropical forest cover to large areas at high temporal frequency from coarse resolution satellite imagery. The approach for estimating proportional forest cover change as a continuous variable is based on a regression model that relates multispectral, multitemporal MODIS data, transformed to optimize the spectral detection of vegetation changes, to reference change data sets derived from a Landsat data record for a study site in Central America. A number of issues involved in model development are addressed here by exploring the spatial, spectral and temporal patterns of forest cover change as manifested in a time-series of multi-scale satellite imagery.The analyses highlighted the distinct spectral change patterns from year-to-year in response to the possible land cover trajectories of forest clearing, regeneration and changes in climatic and land cover conditions. Spectral response in the MODIS Calibrated Radiances Swath data set followed more closely with the expected patterns of forest cover change than did the spectral response in the Gridded Surface Reflectance product. With forest cover change patterns relatively invariant to the spatial grain size of the analysis, the model results indicate that the best spectral metrics for detecting tropical forest clearing and regeneration are those that incorporate shortwave infrared information from the MODIS calibrated radiances data set at 500-m resolution, with errors ranging from 7.4 to 10.9% across the time periods of analysis.     

Near-global validation of the SRTM DEM using satellite radar altimetry

This paper reports the results of a near-global validation of the SRTM DEM dataset, using a unique database of completely independent height measurements derived from satellite altimeter echoes, primarily gathered by ERS-1. These heights are obtained using a rule-based expert system which identifies each echo as 1 of 11 different characteristic shapes, and selects the optimal retracking algorithm to obtain best range to surface. The results of this comparison, which includes over 54 million altimeter derived heights, show generally very good agreement with the SRTM data, with global statistics for mean difference of 3 m and a standard deviation of 16 m. Quantitative validation results are given for each continent and are summarised here.

	Mean difference (m)	Standard deviation of differences (m)
Africa	1.86	15.62
Australia	1.09	11.49
Eurasia	2.54	16.09
North America	3.15	15.18
South America	12.22	18.51
Global	3.60	16.16

Full-size table

     

An enhanced genetic algorithm for automated assembly planning

Automated assembly planning reduces manufacturing manpower requirements and helps simplify product assembly planning, by clearly defining input data, and input data format, needed to complete an assembly plan. In addition, automation provides the computational power needed to find optimal or near-optimal assembly plans, even for complex mechanical products. As a result, modern manufacturing systems use, to an ever greater extent, automated assembly planning rather than technician-scheduled assembly planning. Thus, many current research reports describe efforts to develop more efficient automated assembly planning algorithms. Genetic algorithms show particular promise for automated assembly planning. As a result, several recent research reports present assembly planners based upon traditional genetic algorithms. Although prior genetic assembly planners find improved assembly plans with some success, they also tend to converge prematurely at local-optimal solutions. Thus, we present an assembly planner, based upon an enhanced genetic algorithm, that demonstrates improved searching characteristics over an assembly planner based upon a traditional genetic algorithm. In particular, our planner finds optimal or near-optimal solutions more reliably and more quickly than an assembly planner that uses a traditional genetic algorithm.     

Specification Diagrams for Actor Systems

Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specifying message-passing behavior that is expressive, intuitively understandable, and that has formal semantic underpinnings. The notation generalizes informal notations such as UML's Sequence Diagrams and broadens their applicability to later in the design cycle. Specification diagrams differ from existing actor and process algebra presentations in that they are not executable per se; instead, like logics, they are inherently more biased toward specification. In this paper we rigorously define the language syntax and semantics and give examples that show the expressiveness of the language, how properties of specifications may be asserted diagrammatically, and how it is possible to reason rigorously and modularly about specification diagrams.