共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
3.
Christian Weidauer 《Informatik - Forschung und Entwicklung》2000,41(1):83-91
Multimedia-Anwendungen und Animationen sind durch Dynamik gekennzeichnet. Die Dynamik muss sich in der Architektur der Anwendung
niederschlagen. Eine M?glichkeit hierbei besteht darin, die Dynamik in einer speziellen Softwareschicht innerhalb einer Mehrschichtenarchitektur
zu realisieren. Dieses Papier stellt ein Animations-Framework in Java vor, das diese Architektur JavaBeans-konform als muster-orientiertes
Framework realisiert und somit die systematische Entwicklung von animierten Multimedia-Anwendungen in Java unterstützt. 相似文献
4.
Bernhard Sch?lkopf Klaus-Robert Müller Alexander J. Smola 《Informatik - Forschung und Entwicklung》1999,50(4):154-163
Dieser Beitrag erl?utert neue Ans?tze und Ergebnisse der statistischen Lerntheorie. Nach einer Einleitung wird zun?chst das Lernen aus Beispielen vorgestellt und erkl?rt, dass neben dem Erkl?ren der Trainingdaten die Komplexit?t von Lernmaschinen wesentlich für den Lernerfolg ist. Weiterhin werden Kern-Algorithmen in Merkmalsr?umen eingeführt, die eine elegante und effiziente Methode darstellen, verschiedene Lernmaschinen mit kontrollierbarer Komplexit?t durch Kernfunktionen zu realisieren. Beispiele für solche Algorithmen sind Support-Vektor-Maschinen (SVM), die Kernfunktionen zur Sch?tzung von Funktionen verwenden, oder Kern-PCA (principal component analysis), die Kernfunktionen zur Extraktion von nichtlinearen Merkmalen aus Datens?tzen verwendet. Viel wichtiger als jedes einzelne Beispiel ist jedoch die Einsicht, dass jeder Algorithmus, der sich anhand von Skalarprodukten formulieren l?sst, durch Verwendung von Kernfunktionen nichtlinear verallgemeinert werden kann. Die Signifikanz der Kernalgorithmen soll durch einen kurzen Abriss einiger industrieller und akademischer Anwendungen unterstrichen werden. Hier konnten wir Rekordergebnisse auf wichtigen praktisch relevanten Benchmarks erzielen. 相似文献
5.
Der gleichzeitige Betrieb mehrerer Gast-Betriebssysteme auf einem einzigen physischen Rechner unter einem Host-Betriebssystem ist eine leistungsfähige moderne Entwicklung. Bekannte Beispiele sind VMware für die IA32-Architektur sowie das Betriebssystem z/VM und die PR/SM-LPAR Einrichtungen der zSeries-Architektur. Die Nutzung eines Betriebssystems als Gast bedingt einen Leistungsverlust. Die als Partitionierung bezeichnete Zuordnung von Systemressourcen zu den einzelnen Gast-Betriebssysteme ist schwierig, wenn eine dynamische Anpassung an sich ändernde Lastprofile erforderlich ist. Diese Probleme lassen sich mittels Erweiterungen der Hardwarearchitektur adressieren, sowie durch Softwarestrukturen, welche diese Erweiterungen nutzen. Die Erweiterungen der Hardwarearchitektur gehen über das hinaus, was auf heutigen Rechnerarchitekturen wie IA32 oder Mips verfügbar ist. Der vorliegende Beitrag erläutert den optimalen Betrieb von Gast-Betriebssystemen und die begleitenden Partitionierungsmöglichkeiten auf der zSeries-Plattform und beschreibt die zusätzlichen Hardware- und Software-Einrichtungen, welche dies ermöglichen. 相似文献
6.
Model checking techniques are recognized to provide reliable and copious results. Instead of examining
a few cases only – as it is done in testing – model checking includes the whole state space
in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion
problem is hard to handle. In our industrial case study, we apply automated model checking techniques to
an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we
cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s
safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites,
consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation,
our case study demonstrates the rewarding applicability of model checking at an industrial scale. 相似文献
7.
Rainer Koschke 《Informatik - Forschung und Entwicklung》2005,6(6):127-140
Software-Architekturen werden aus verschiedenen Sichten beschrieben, die abh?ngig von den Anliegen sind, die mit der Beschreibung
verfolgt werden. In vielen F?llen ist die Software-Architektur eines Systems nicht ausreichend beschrieben. Sichten müssen
dann rekonstruiert werden, um für Planung von ?nderungen zur Verfügung zu stehen.
Dieser Artikel fasst die in der wissenschaftlichen Literatur vorgeschlagenen Techniken zur Rekonstruktion von Software-Architektursichten
zusammen und stellt sie den Sichten des Architekturentwurfs gegenüber. Anhand der Gegenüberstellung identifiziert er Forschungsbedarf. 相似文献
8.
9.
Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith J?rn Richts und J?rg Siekmann 《Informatik - Forschung und Entwicklung》1996,11(1):20-26
Zusammenfassung.
Die Beweisentwicklungsumgebung -Mkrpsoll
Mathematiker bei einer ihrer
Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme
unterstützen. Diese Unterstützung mu? so komfortabel sein,
da? die
rechnergestützte Suche nach formalen Beweisen leichter und insbesondere
weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete
Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt
über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am
Menschen orientierte Form pr?sentiert werden und vor allem mu? eine
effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung
stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist
der Versuch einer
Synthese der Ans?tze des vollautomatischen, des interaktiven und des
planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere
Arbeit an diesem System geben.
Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995 相似文献
10.
Martin Wimmer Pia Ehrnlechner Armin Fischer Alfons Kemper 《Informatik - Forschung und Entwicklung》2005,92(3):167-181
Die plattformunabh?ngige und organisationsübergreifende Web Services-Interoperabilit?t setzt ein leistungsf?higes und flexibles
Autorisierungssystem voraus. In diesem Beitrag wird ein Zugriffskontrollsystem vorgestellt, welches sich durch das Zusammenspiel
lokaler und verteilter Autorisierung auszeichnet. Im Zusammenhang mit lokaler Zugriffskontrolle, bei der Rechte innerhalb
einer Organisation ausgewertet werden, stellt sich insbesondere die Herausforderung, Autorisierungsregeln zu konsolidieren:
Da die Funktionalit?t von Web Services h?ufig auf weitere Anwendungen und Betriebsmittel wie Datenbanksystemen aufsetzt, ergeben
sich Abh?ngigkeiten bezüglich der Autorisierung, die überprüft und eingehalten werden müssen. über eine verteilte Zugriffskontrolle
wird der Aufbau von Kollaborationsnetzwerken erm?glicht. Der Augenmerk liegt im Folgenden auf schwach gekoppelten Zusammenschlüssen,
die die Autonomie der beteiligten Organisationen beibeh?lt. Skalierbarkeit und Effizenz werden durch den Einsatz von rollenbasierter
Zugriffskontrolle einerseits und dem Caching ?hnlicher, wiederkehrender Autorisierungen andererseits erreicht. 相似文献
11.
Thilo Ernst Clemens Klein-Robbenhaar André Nordwig und Tobias Schrag 《Informatik - Forschung und Entwicklung》2000,15(1):33-50
Zusammenfassung. Es wird eine werkzeugunterstützte Entwicklungsmethodik vorgestellt, die der Erstellung von Berechnungsmodellen für die Simulation
hybrider physikalisch-technischer Systeme dient. Dafür werden verschiedene Modellbeschreibungstechniken dargestellt und klassifiziert,
die anschlie?end in einen falltypischen Entwicklungsproze? eingebettet werden, der auf hybriden Erweiterungen von UML und
Z basiert. Die Simulationsumgebung Smile (http://buran.fb10.tu-berlin.de/Energietechnik/EVT\_KT/smile/) erm?glicht schlie?lich die generische Erzeugung eines ausführbaren
Simulators. Architektur und Kernkomponenten dieses Systems, wie beispielsweise L?sungsverfahren und Experimentshell, werden
eingehender diskutiert. Ein Anwendungsbeispiel illustriert den beschriebenen Entwicklungsproze?.
Eingegangen am 15. Juli 1999 / Angenommen am 12. November 1999 相似文献
12.
13.
Klaus Achatz und Wolfram Schulte 《Informatik - Forschung und Entwicklung》1997,12(4):174-185
Zusammenfassung. Wir stellen die neue Methode vor, die auf die formale Entwicklung sequentieller, objektorientierter Softwaresysteme abzielt. ist eine synergetische Kombination aus der semiformalen Methode Fusion und der formalen Spezifikationssprache Object-Z. Die
Methode unterscheidet ausdrücklich Analyse und Entwurf, um die Komplexit?t und die unterschiedlichen Aufgaben der Softwareentwicklung
zu bew?ltigen. In jeder Entwicklungsphase werden Zustands- und Verhaltensspezifikationen in graphischer oder textueller Form
erstellt. Wir geben Beweisverpflichtungen an, um zu gew?hrleisten, da? die entwickelten Spezifikationen formal konsistent
und vollst?ndig sind, und da? das resultierende System zur Ausgangsspezifikation konform ist. Wir illustrieren die Anwendung
von an einem einfachen Beispiel, einem Grapheditor.
Eingegangen am 24. Dezember 1996 / Angenommen am 8.10.1997 相似文献
14.
Dieter W. Fellner 《Informatik - Forschung und Entwicklung》1998,13(3):163-168
Informatik-Forschung und Entwicklung erschienenen Berichts über das DFG Schwerpunktprogramm [1] gibt dieser Beitrag einen überlick über die Ausrichtung des Schwerpunktprogramms, das mit dem Auftaktworkshop im Mai
dieses Jahres seine Arbeit offiziell aufgenommen hat, und erl?utert kurz die Fragestellungen, die in den entsprechenden Teilprojekten
bearbeitet werden. 相似文献
15.
Stefan Biffl 《Informatik - Forschung und Entwicklung》2001,8(4):145-158
Inspektion hilft bereits in frühen Phasen der Softwareentwicklung, die Qualit?t von Softwareprodukten zu bestimmen und Nachbearbeitungsaufwand einzusparen. Lesetechniken sind ein Ansatz, der die Aufmerksamkeit von Inspektoren beim individuellen Lesen auf bestimmte Fehlermengen lenken und dadurch die Arbeit mehrerer Inspektoren untereinander koordinieren soll. Diese Arbeit berichtet über ein Experiment, das einerseits die Effektivit?t und Effizienz mehrerer Lesetechniken auf individueller und auf Teamebene miteinander vergleicht und andererseits Zusammenh?nge der Verwendung von Lesezeit mit der Effektivit?t von bestimmten Inspektorengruppen untersucht. 相似文献
16.
17.
Andreas Bauer Jan Romberg Bernhard Sch?tz 《Informatik - Forschung und Entwicklung》2005,49(3):194-205
Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden
Systems auf verschiedenen Abstraktionsebenen und schrittweise überg?nge zwischen diesen Ebenen notwendig. Neben der Definition
geeigneter Ebenen werden zur Unterstützung echtzeitkritischer Systemanteile ein einheitliches Berechnungsmodell, ebenenspezifische
Beschreibungstechniken, sowie methodische Regeln für diese Abstraktionsebenen eingeführt und in den Werkzeugprototypen AutoFocus integriert. 相似文献
18.
Albert Meijer Stephan GrimmelikhuijsenGijs Jan Brandsma 《Government Information Quarterly》2012,29(1):21-29
New Public Management and bureaucratic models fail to acknowledge the value of peer-to-peer cooperation between citizens as a resource for public service support. Social media enable citizens to create environments for sharing information about public services in Communities of Public Service Support. The success of this model for public service support depends on the availability of communities, the level of active participation, and the information content. This paper presents an empirical study of virtual communities of expats in The Netherlands. Our analysis shows that there is a wide variety of virtual expat communities with a high level of participation and valuable content. We conclude that virtual communities play an important role in public service support since they facilitate social learning between citizens. 相似文献
19.