German Informatics Society

„Informatik steht fur etwas sehr Dynamisches und Faszinierendes: Wir erlebten in den letzten funfzig Jahren die Geburt und das Aufbluhen einer Wissenschaft, die fast alle Wissens, Arbeitsund Lebensbereiche nachhaltig verandert, und deren wirtschaftliche Branche, die Informationsund Kommunikationstechnik (IKT), sich schon nach nur drei Jahrzehnten auf dem ersten Platz aller Wirtschaftszweige in den Industriestaaten befindet.“

In most major cities, air pollution is still a severe problem, and there are frequent exceedances of air quality standards for many primary and secondary pollutants. In particular, the high emissions from vehicles can lead to high concentrations within the urban canopy, where the atmospheric flow and turbulence is disturbed by buildings or other obstacles. The high emissions of vehicle NOx from urban centers serves to lower O3 levels within major cities. Nevertheless, NO2 levels may be extremely high in such urban environments, and questions arise about the role of urban street canyons as “pre-reaction chambers” that may further enhance NO2 formation. To understand the ramifications of proposed emission reduction strategies on the street canyon level, photochemical models for high resolution simulation of urban core air quality are needed. Previous modeling on the urban street canyon scale has either focussed on non-reactive pollutants or has invoked simple approximations for dealing with simplified NO-NO2-O3 chemistry (Yamartino and Wiegand, 1986; Berkowicz et al., 1997). While such simplifications may be appropriate within a single canyon for receptors nearby the emission sources, they are not reasonable for addressing questions associated with the series of canyons or quarters as are found in the urban core. This paper summarizes the development of a full photochemical model for high resolution simulation of urban core air and reports the results of the initial applications of this model, MICRO-CALGRID, to multiple and single street canyons. The model development was funded by the German Federal Environmental Agency (Umweltbundesamt).

Seit mehr als 12 Jahren beschaftigen wir uns u.a. mit der Planung und Realisierung von Anwendungslosungen fur Industrie und Groshandel, vornehmlich mit Produktions-, Planungs- und Steuerungssystemen auf der Basis von Fremdsoftware. Unser Tatigkeitsspektrum umfast neben der Analyse bestehender Arbeitssysteme die Erarbeitung von Konzeptionen fur neue DV-gestutzte Aufgabenbereiche, die Prufung und Eignungsbeurteilung von Standardsoftware, die Anpassung, Erganzung und Modifikation von Fremdsoftware, die Erstellung von Individual software sowie Organisationsentwicklung und Umsetzung der Planungen. In zunehmendem Mase sind Analysen und Revisionen bestehender DV-Anwendungen Gegenstand unserer Tatigkeit.

This paper presents a rationale for a unified general approach to computer systems development, applicable to operating systems, applications subsystems, and hardware. A case is made for a formal methodology for design and implementation with which it is possible to verify system properties formally. Various goals for such a methodology are stated. Relevant existing work is cited. The potential effectiveness of this approach is discussed.