| Schaltkreis-Verifikation, Autonome Agenten, Graphische Entwicklungsumgebung
unter MS-Windows, Freeware Lizenz, ASTAP-Tag: Transport, 7th IF/Prolog User Day, Messen und Konferenzen,
Schaltkreis-Verifikation
Autonome Agenten
Graphische Entwicklungsumgebung unter MS-Windows
Freeware Lizenz
ASTAP-Tag: Transport
7th IF/Prolog User Day
Messen und Konferenzen
Der IF/Prolog Newsbrief informiert Sie zusammenfassend ?er Neuigkeiten rund um IF/Prolog und IF Computer. Markieren Sie einfach auf der letzten Seite die entsprechende Nummer des Beitrages, ?er den Sie ausf?rlicheres Material w?schen und faxen uns diese Seite. Sie bekommen dann umgehend das gew?schte Material.
Die schnelle Entwicklung der VLSI-Technologie zwingt die Hersteller, immer komplexere Schaltkreise in k?zerer Zeit herzustellen. Dazu wird es immer wichtiger nachzuweisen, dass die neuen Schaltkreise logisch korrekt sind.
Das Zentrale Forschungslaboratorium von Siemens hat ein Schaltkreis-Verifakations-System (CVE) entwickelt, das auf neuartigen Prinzipien beruht. CVE berechnet das Ausgabe-Verhalten eines digitalen Schaltkreises als boolesche Funktion von diessen Eingaben. Sequentielle Schaltkreise werden als endliche Automaten betrachtet. Die berechneten Funktionen werden symbolisch mit den entsprechenden Funktionen der formalen Spezifikation des Schaltkreises vergleichen, wobei spezielle, effiziente Algorithmen verwendet werden, die gew?rleisten, da"s alle Abweichungen entdeckt werden.
CVE garantiet 100-prozentige Sicherheit, da der symbolische Vergleich ?uivalent ist einer Simulation des Schaltkreises mit allen m?lichen Eingabe- und Ausgaben.
CVE ist in IF/Prolog V5.0 mit Constraints und C implementiert.
In der M?z-Ausgabe des ``Journal of the Japanese Society for Artificial Intelligence,, ver?fentlichten die Drs. I. Ohsawa und H. Nakashima aus Tsukuba, Japan, Mitarbeiter der Software-Architektur-Gruppe des Elektrotechnischen Laboratoriums von Miti, einen Artikel ?er ihre laufende Forschungsarbeit.
Die dazu notwendige Computer-Ausstattung wurde von Mitsubishi Space Software geliefert; darunter ein Alpha-Server von DEC mit IF/Prolog.
Die neue graphische Entwicklungsumgebung f? IF/Prolog unter MS-Windows 3.1, NT, '95 und alsbald unter OS/2 wurde soeben freigegeben.
Die Entwicklungsumgebung bietet u.a. schnellen Zugriff auf die Werkzeuge zum Editieren, Konsultieren, Laden, Debuggen sowie ein ausf?rliches Hypertext-Online-Manual.
Die bisherigen Benutzer der alphanumerischen Version werden in den in den n?hsten Wochen kostenlose eine Graphikversion erhalten.
Die IF/Prolog 5.0 Free Freeware Distribution Licence (FFDL) erlaubt es Entwicklern von Freeware-Anwendungen, IF/Prolog-Anwendungen als Freeware zu vertreiben. Auf Anfrage, kostenlos.
Im Rahmen des Advanced Software Technology Awareness Program wird einen Seminar Tag auf Thema ``Transportation: scheduling, traffic control and logistics'' am 9. Mai 1996 finden statt. Der Tagungsort wird auf dem Firmengel?de der Siemens Nixdorf eben sein.
Die IF Computer GmbH veranstaltet zusammen mit der SNI der bew?rten Tradition folgend den 7. IF/Prolog User Day am 10. Mai 1996. Der Tagungsort wird auf dem Firmengel?de der Siemens Nixdorf sein. Wie in den Jahren zuvor soll dieses Forum dem Informationsaustausch zwischen Hersteller und Kunden, aber auch zwischen Kunden untereinander dienen. Dazu erwarten wir interessante Vortr?e ?er Anwendungen.
IF Computer wird IF/Prolog 5.0 mit Constraint Technologie auf folgenden Messen zeigen:
INAP'95: 19-20.10.1995
8th Symposium on Industrial Applications
of Prolog 1995, Tokyo Japan
UNIX Fair'95: 06-08.12.1995
Pacifico Yokohama, Japan
| 
