Michigan Particle Swarm Optimization for Prototype Reduction in Classification Problems

This paper presents a new approach to Particle Swarm Optimization, called Michigan Approach PSO (MPSO), and its application to continuous classification problems as a Nearest Prototype (NP) classifier. In Nearest Prototype classifiers, a collection of prototypes has to be found that accurately represents the input patterns. The classifier then assigns classes based on the nearest prototype in this collection. The MPSO algorithm is used to process training data to find those prototypes. In the MPSO algorithm each particle in a swarm represents a single prototype in the solution and it uses modified movement rules with particle competition and cooperation that ensure particle diversity. The proposed method is tested both with artificial problems and with real benchmark problems and compared with several algorithms of the same family. Results show that the particles are able to recognize clusters, find decision boundaries and reach stable situations that also retain adaptation potential. The MPSO algorithm is able to improve the accuracy of 1-NN classifiers, obtains results comparable to the best among other classifiers, and improves the accuracy reported in literature for one of the problems.

Amoeba-based Chaotic Neurocomputing: Combinatorial Optimization by Coupled Biological Oscillators

We demonstrate a neurocomputing system incorporating an amoeboid unicellular organism, the true slime mold Physarum, known to exhibit rich spatiotemporal oscillatory behavior and sophisticated computational capabilities. Introducing optical feedback applied according to a recurrent neural network model, we induce that the amoeba’s photosensitive branches grow or degenerate in a network-patterned chamber in search of an optimal solution to the traveling salesman problem (TSP), where the solution corresponds to the amoeba’s stably relaxed configuration (shape), in which its body area is maximized while the risk of being illuminated is minimized.Our system is capable of reaching the optimal solution of the four-city TSP with a high probability. Moreover, our system can find more than one solution, because the amoeba can coordinate its branches’ oscillatory movements to perform transitional behavior among multiple stable configurations by spontaneously switching between the stabilizing and destabilizing modes. We show that the optimization capability is attributable to the amoeba’s fluctuating oscillatory movements. Applying several surrogate data analyses, we present results suggesting that the amoeba can be characterized as a set of coupled chaotic oscillators.

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 .

---

     

A comparison of tools for teaching formal software verification

We compare four tools regarding their suitability for teaching formal software verification, namely the Frege Program Prover, the Key system, Perfect Developer, and the Prototype Verification System (PVS). We evaluate them on a suite of small programs, which are typical of courses dealing with Hoare-style verification, weakest preconditions, or dynamic logic. Finally we report our experiences with using Perfect Developer in class.     

Integrationsdefizite des IT-Controllings

Zusammenfassung  Der Beitrag basiert auf der Annahme, dass das IT-Controlling in zweifacher Hinsicht unter einem Integrationsdefizit leidet. Dies gilt zum einen für die unbefriedigende Synchronisation der Forschung mit Entwicklungen in der Praxis, zum anderen für die unzureichende Verzahnung mit den Methoden der Wirtschaftsinformatik. Ausgehend von dieser Annahme untersucht der Beitrag die historische Entwicklung des IT-Controllings, um daraus Thesen zum Integrationsstand abzuleiten. Die Untersuchung kommt zu dem Ergebnis, dass Hinweise auf – nach wie vor – ungenutzte Integrationspotenziale vorliegen und identifiziert Potenziale einer weiter gehenden Integration. Aus der Analyse identifizierter Integrationspotenziale werden Anforderungen an eine methodenbezogene Integration abgeleitet und die Realisierung von Integrationspotenzialen an zwei Beispielen illustriert. This article is also available in English via and : Strecker S, Kargl H (2009) Integration Deficits of IT Controlling – Historical Background, Analysis of Integration Potentials and Method Integration. Bus Inf Syst Eng. doi: 10.1007/s12599-009-0053-4.     

Wirtschaftsinformatik zwischen Wissenschaft und Unternehmertum

One of the major success indicators for applied research sciences is the rate of transfer from research into practice. Only if concrete and economically successful products are derived from research results, such sciences can induce an impact. However, this process of innovation mandatorily needs entrepreneurship. Within the domain of business information systems, the two German enterprises SAP AG and IDS Scheer AG demonstrate that linking research and innovation is the key to lasting success in the information technology markets. German industry has significant disadvantages on the cost of human resources. Therefore it can be only successful with products that incorporate a high degree of innovation and that are consequently highly priced. But the invention of such products needs scientific research as a source of inspiration. Germany has a highly developed infrastructure of research facilities and organizations. However, they need to be better coordinated and aligned with business needs. Vice versa, enterprises need to actively approach the scientific community in order to clearly formulate their demand. Such a strategy needs changes on all sides. To achieve a change in the domain of science, it is necessary to change the profile of leading researchers, such as full professors. They should incorporate attributes of an entrepreneur and be profiled more as a research manager that tries to anticipate future needs and to develop its unit in terms of research subjects as well as personnel and financial resources. Consequently, the process of application, selection and review of leading researchers should be more oriented on processes that are common in enterprises. E. g. external head-hunters can be involved in the searching and assessing process in order to get the best qualified person for the research vacancy. Also enterprises need to change their attitude towards scientific research. In order to foster this process, executives could be invited to advisory and supervisory boards of research organisations. Furthermore, those executives must be proactively informed about the research activities and results in order to attract their interest and to show potentials for a transfer into products. There is still a long way in the hunt for innovation leadership and all these suggestions can only be a starting point.     

Optimierte Softwarelizenzierung – Kombinierte Lizenztypen im Lizenzportfolio

Although software licenses usually range among the most expensive items within the IT budget, they still lack the necessary attention by many companies. Therefore, most companies inadequately have implemented their software asset management neglecting further potential for cost reduction, which can be obtained by optimizing the use of different license types. This paper shows how possible savings can be realized by combining different types of licenses in a license portfolio. The model presented is based on the most common license types considering different user groups as well as their behavior. Additionally to cost risks, the risk of service quality is also taken into consideration. The following examples illustrate the model's high relevance and show how it can be can be applied in practice.     

Output feedback control of linear fractional transformation systems subject to actuator saturation

In this paper, the control problem for a class of linear parameter varying (LPV) plant subject to actuator saturation is investigated. For the saturated LPV plant depending on the scheduling parameters in linear fractional transformation (LFT) fashion, a gain-scheduled output feedback controller in the LFT form is designed to guarantee the stability of the closed-loop LPV system and provide optimised disturbance/error attenuation performance. By using the congruent transformation, the synthesis condition is formulated as a convex optimisation problem in terms of a finite number of LMIs for which efficient optimisation techniques are available. The nonlinear inverted pendulum problem is employed to demonstrate the effectiveness of the proposed approach. Moreover, the comparison between our LPV saturated approach with an existing linear saturated method reveals the advantage of the LPV controller when handling nonlinear plants.