Reasoning about action and change

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability.     

Influence of a chip scale package on the frequency response of a MEMS microphone

This paper describes the influence of a chip scale MEMS package (CSMP) on the acoustic behaviour of a silicon microphone. The influence was calculated using an electro-mechanical–acoustical equivalent circuit. Standard packaging of microphones using die bonding and wire bonding leads to a large front volume which acts as a Helmholtz resonator. This can dramatically influence the frequency response of the microphone system by adding a second resonance. In the worst case this second resonance is in the acoustic frequency range, thus degrading its performance in an unacceptable way. In case of the CSMP only a small front volume is generated between the substrate and the flip-chipped microphone chip. Thus the resonance step-up is very small compared to standard packages. Furthermore the frequency response can be flattened by optimizing the geometry of the small sound holes in the substrate. By choosing an appropriate geometry of these sound holes the package can act as a low pass filter where the cut-off frequency can be placed to the desired value of the acoustic spectrum.     

Requirements Engineering f��r Product Service Systems

In recent years, manufacturing companies and service providers have moved towards offering customer-specific problem solutions. These integrated bundles usually consist of hardware, software, and service components and are called product service systems (PSS) or hybrid products. Since the success of the resulting solution depends on the understanding of all requirements, requirements engineering (RE) has become a key factor. The article analyzes the state of the art of RE for PSS based on an extensive literature review in the domains of product-, software-, and service engineering. For this, criteria are derived from the characteristics of PSS and from the task area of RE in the life cycle of PSS. Based on these criteria we analyze the most established RE approaches for their suitability for PSS. An important finding is that integrated/interdisciplinary approaches for RE are missing. Moreover, the maturity of RE approaches in the three domains varies significantly. All analyzed approaches heavily rely on concepts and solution characteristics of their own domain so that a transfer to other domains is hardly possible. This literature review lays the foundation for successful RE for PSS and especially for future research aiming at combining and integrating RE approaches and models of product-, software-, and service engineering. Such requirement models could connect concepts of single domains and enable an integrated and seamless RE for PSS.     

A formally specified ontology management API as a registry for ubiquitous computing systems

Recently, several standards have emerged for ontology markup languages that can be used to formalize all kinds of knowledge. However, there are no widely accepted standards yet that define APIs to manage ontological data. Processing ontological information still suffers from the heterogeneity imposed by the plethora of available ontology management systems. Moreover, ubiquitous computing environments usually comprise software components written in a variety of different programming languages, which makes it particularly difficult to establish a common ontology management API with programming language agnostic semantics. We implemented an ontological Knowledge Base Server, which can expose the functionality of arbitrary off-the-shelf ontology management systems via a formally specified and well defined API. A case study was carried out in order to demonstrate the feasibility of our approach to use a formally specified ontology management API to implement a registry for ubiquitous computing systems.     

Betriebsinformatik und Wirtschaftsinformatik als notwendige anwendungsbezogene Ergänzung einer allgemeinen Informatik – Vorschläge zur Verbesserung der akademischen Ausbildung auf dem Gebiet der automatisierten Datenverarbeitung in der Bundesrepublik Deutschland

Zusammenfassung  Nachdruck eines Aufsatzes aus elektronische datenverarbeitung 11(11)1969:544–548. This article is also available in English via and : Grochla E (2008) Corporate Information Systems Engineering and Business and Information Systems Engineering as a Necessary Application-Oriented Extension of General Computer Science – Proposals for Enhancing Academic Education in the Field of Automated Data Processing in the Federal Republic of Germany. Bus Inf Syst Eng. doi .

---

     

Electronic Meeting Support for Councils

City councils hold meetings several times a week. There is a need for computer support at certain meetings. This paper examines the potential for group support systems for use in city council meetings and shows in what ways they can be helpful in pre-meeting and post-meeting activities. The study is based on 17 computer-supported city council meetings, carried out in Stuttgart, Kornwestheim and other cities as part of the Cuparla Project between 1996 and 1998. Three of these meetings are described in the paper as brief case studies. Following this, all 17 meeting sequences are evaluated and analysed. Guidelines have been developed from the results of the study for the introduction of group support systems in city council meetings.     

Coatings of indium tin oxide nanoparticles on various flexible polymer substrates: Influence of surface topography and oscillatory bending on electrical properties

Abstract— Coatings of indium tin oxide (ITO) nanoparticles on different flexible polymer substrates were investigated with respect to the achievable sheet resistance and their electrical behavior under oscillatory bending. As substrate materials, polyethyleneterephthalate (PET), polyethylenenaphthalate (PEN), polyetheretherketone (PEEK), and polyimide (PI) were chosen, the surface resistances on the different polymer substrates were compared as a function of annealing temperature and surface topography. The surface topography, which has a strong influence on the surface resistance, was characterized by means of a white‐light confocal (WL‐CF) microscope. On the PET substrate, which exhibits the smoothest surface, the coating of ITO nanoparticles shows the lowest sheet resistance of 2 kΩ/□ for a layer thickness of 3 μm and an annealing temperature of 200°C. Furthermore, the electrical behavior of coatings of ITO nanoparticles under oscillatory bending was investigated using a special device. These coatings show a cyclic change of the conductivity which can be explained by an alternating compression and extension of crack flanks under the applied stress. Due to the growing number of cracks with increasing number of cycles, a decrease of the conductivity is observed in the bent state as well as in the balanced state. For a small bending radii, the decrease of the conductivity is stronger due to more cracks caused by the higher tensile stresses in the layer. The electrical behavior of the coatings of the annealed ITO nanoparticles on PET films under oscillatory bending was compared with commercially available sputtered ITO coatings. The annealed coatings of ITO nanoparticles demonstrate better electrical properties under oscillatory bending than coatings of sputtered ITO. The different electrical behavior under oscillatory bending can be related to differences in crack formation.     

An approach to quality engineering of TTCN-3 test specifications

Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to construct tests that are concise with respect to quality aspects such as maintainability or usability. The ISO/IEC standard 9126 defines a general software quality model that substantiates the term “quality” with characteristics and subcharacteristics. The domain of test specifications, however, requires an adaption of this general model. To apply it to specific languages such as TTCN-3, it needs to be instantiated. In this paper, we present an instantiation of this model as well as an approach to assess and improve test specifications. The assessment is based on metrics and the identification of code smells. The quality improvement is based on refactoring. Example measurements using our TTCN-3 tool TRex demonstrate how this procedure is applied in practise. B. Zeiss is supported by a Ph.D. scholarship from Siemens AG, Corporate Technology.