Mathe:: logik ist eine Perl-Baugruppe, die reine 2, 3 oder Multiwert logik liefert.

SYNOPSE

Gebrauch Mathe:: logik qw ($TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF);
# 1 0 -1 ZUTREFFENDES FALSCHES UNDEF

Gebrauch Mathe:: Logik: NUMERISCH; # $TRUE $FALSE $UNDEF -- was Sie normalerweise wünschen

Gebrauch Mathe:: Logik: ALLE; # alle Konstanten

Gebrauch Mathe:: Logik: STR; # $STR_TRUE $STR_FALSE $STR_UNDEF

# 2-Grad-Logik
mein $true = Mathe:: Logic->new (- Wert => $TRUE, - Grad => 2);
mein $false = Mathe:: Logic->new (- Wert => $FALSE, - Grad => 2);
mein $x = Mathe:: Logic->new_from_string (AUSRICHTEN, 2);

„zutreffendes“ drucken wenn $true;

# 3-Grad-Logik (nicht-Fortpflanzung)
mein $true = Mathe:: Logic->new (- Wert => $TRUE, - Grad => 3);
mein $false = Mathe:: Logic->new (- Wert => $FALSE, - Grad => 3);
mein $undef = Mathe:: Logic->new (- Wert => $UNDEF, - Grad => 3);
mein $x = Mathe:: Logic->new_from_string (FALSCH, 3);

Druck „zutreffend“ wenn ($true | $undef) == $TRUE;

# 3-Grad-Logik (Fortpflanzung)
mein $true = Mathe:: Logic->new (- Wert => $TRUE, - Grad => 3, - Propagate => 1);
mein $false = Mathe:: Logic->new (- Wert => $FALSE, - Grad => 3, - Propagate => 1);
mein $undef = Mathe:: Logic->new (- Wert => $UNDEF, - Grad => 3, - Propagate => 1);
mein $x = Mathe:: Logic->new_from_string ((UNDEF, 3, - Propagate));

Druck „undef“ wenn ($true | $undef) == $UNDEF;

# Multigrad logik
mein $True = 100; # unser eigenes zutreffendes definieren
mein $False = $FALSE;
mein $true = Mathe:: Logic->new (- Wert => $True, - Grad => $True);
mein $very = Mathe:: Logic->new (- Wert => 67, - Grad => $True);
mein $fairly = Mathe:: Logic->new (- Wert => 33, - Grad => $True);
mein $false = Mathe:: Logic->new (- Wert => $False, - Grad => $True);
mein $x = Mathe:: Logic->new_from_string („25, $True“);

Druck „möglicherweise“ wenn ($very | $fairly) > 50;

# können wir komplizierte Ausdrücke willkürlich haben; das Resultat ist Mathe:: logik
# Nachricht; alle Argumente müssen Mathe sein:: Logiknachrichten oder -sachen, die sein können
# gefördert in so und müssen alle kompatibel sein. Das Resultat hängt ein ab
#, das Art von logik verwendet wird.
mein $xor = ($x | $y) u. (! ($x u. $y));
# ist dieses zu identisch:
mein $xor = $x ^ $y;

Perls eingebaute logische Bediener und, oder, xor und die logik mit 2 Werten nicht unterstützen. Dies heißt, dass sie immer ein Resultat liefern, das entweder zutreffend oder falsch ist. Tatsächlich bringt Perl manchmal 0 zurück und bringt manchmal undef für falsches abhängig von dem Bediener und die Ordnung der Argumente zurück. Für „zutreffendes“ Perl bringt im Allgemeinen den ersten Wert zurück, der auswertete, um auszurichten, das ausfällt, extrem nützlich zu sein in der Praxis. Dem auserlesenen Perls eingebaute logische Bediener, bevorzugt gegeben zu sein -- aber, wenn Sie wirklich eine reine 2-Grad-Logik wünschen oder, eine 3-Grad-Logik oder Multigrad logik sind sie durch diese Baugruppe erhältlich.

Die einzigen 2-Grad-Logikwerte sind 1 (ZUTREFFEND) und 0 (FALSCH).

Die einzigen 3-Grad-Logikwerte sind 1 (ZUTREFFEND), 0 (FALSCH) und -1 (UNDEF). Notiert, dass UNDEF nicht undef -1 ist!

Die einzigen Multigrad Logikwerte sind 0 (FALSCHER). - Grad -- der Wert von ZUTREFFENDEM ist dem Grad, normalerweise 100 gleich.

- Grad ist der Maximalwert (außer einer 2 und 3-Grad-Logik); d.h. logik des Ngrads ist n+1-value Logik, z.B. hat eine 100-Grad-Logik 101 Werte, 0..100.

Obgleich einige nützliche Konstanten exportiert werden können, ist dieses ein Objektmodul und die Resultate der logischen Vergleiche sind Mathe:: Logiknachrichten.

Mathe:: Ist eine Perl-Baugruppe für symbolische Berechnungen symbolisch.

SYNOPSE

Gebrauch Mathe:: Symbolisch;

mein $tree = Mathe:: Symbolic->parse_from_string (1/2 * m * v^2);
# symbolische Berechnungen mit $tree jetzt tun.
#… wie das Berechnen es…

mein ($sub) = Mathe:: Symbolisch:: Compiler->compile_to_sub ($tree);

mein $kinetic_energy = $sub-> ($mass, $velocity);

Mathe:: Symbolisch soll symbolische Berechnungsfähigkeiten dem Perl-Programmierer ohne externe (und Werbung) anbieten Bibliotheken und/oder Anwendungen zu verwenden.

Es sei denn jedoch etwas interessierte und kenntnisreiche Entwickler sich bis drehen, an der Entwicklung, nehmen die Bibliothek wird begrenzt schwer durch meine Erfahrung im Bereich teil. symbolische Berechnungen sind ein aktives Forschungsgebiet im CS.

Es gibt einige Methoden, Mathe zu konstruieren:: symbolische Bäume. Es gibt kein tatsächliches Mathe:: symbolische Nachrichten, aber eher Bäume der Nachrichten der Unterklassen von Mathe:: Symbolisch. Das allgemeinste aber leider auch die wenige intuitive Methode des Konstruierens der Bäume ist, die Erbauer Mathe zu verwenden:: Symbolisch:: Bediener, Mathe:: Symbolisch:: Variable und Mathe:: Symbolisch:: Konstante Kategorien, zum (der verschachtelten) Nachrichten der entsprechenden Typen zu erstellen.

Außerdem können Sie die überbelastete Schnittstelle verwenden, um die Standardperl-Bediener (und die Funktionen, „ÜBERBELASTETE BEDIENER“ sehen), an vorhandenem Mathe anzuwenden:: symbolische Bäume und Standardperl-Ausdrücke.

Vielleicht die bequemste Methode des Konstruierens von Mathe:: symbolische Bäume verwendet die builtin Syntaxanalyse, um Bäume von den Ausdrücken wie 2 festzulegen * x^5. Sie können Mathe verwenden:: Symbolic->parse_from_string () Kategorienmethode für dieses.
Selbstverständlich können Sie die überbelastete Schnittstelle mit der Syntaxanalyse kombinieren, um Bäume mit Perl-Code wie „$term festzulegen * 5 * Sünde (omega*t+phi)“, die einen Baum der vorhandenen Zeiten des Baums $term 5mal herstellt, die, der Sinus der vars Omega Zeit t plus Phi festsetzt.

Es gibt einige Baugruppee in der Verteilung, die die Subroutinen enthalten, die auf Kalkül in Verbindung gestanden werden. Diese werden nicht von Math: geladen: Symbolisch durch Zahlungseinstellung. Außerdem gibt es einige Extensionen zu Mathe:: Symbolisches availlable von CPAN als unterschiedlichen Verteilungen. Bitte ansprechen „SEHEN AUCH“ für eine unvollständige Liste von diesen.

Z.B. Mathe:: Symbolisch:: MiscCalculus kommen mit Mathe:: Symbolisch und enthält Programme, um Taylor-Polynome und die verbundenen Fehler zu berechnen.
Die Programme, die auf vektorkalkül wie Absolventen, Div., Fäule und Jacobi- und Hesse Grundmassen in Verbindung gestanden werden, sind- durch Mathe: availlable: Symbolisch:: VectorCalculus Baugruppe. Diese Baugruppe ist auch in der Lage, Taylor-Polynome von Funktionen von zwei Variablen, von Richtungsderivaten, von Gesamtdifferentialen und von Wronskian bestimmenden Faktoren zu berechnen.

Etwas grundlegender Träger für lineare Algebra kann in Mathe gefunden werden:: Symbolisch:: MiscAlgebra. Dieses schließt ein Programm ein, um den bestimmenden Faktor einer Grundmasse von Mathe zu berechnen:: symbolische Bäume.

Mathe:: Symbolisch:: MiscAlgebra enthält verschiedene Algebraprogramme wie det ().

SYNOPSE

Gebrauch Mathe:: Symbolisches qw/: alle;
Gebrauch Mathe:: Symbolisch:: MiscAlgebra qw/: alle; # geladen nicht durch Math:: Symbolisch

@matrix = ([x*y, z*x, y*z], [x, z, z], [x, x, o]);
$det = det @matrix;

@vector = (x, o, z);
$solution = solve_linear (@matrix, @vector);

Diese Baugruppe liefert einige Subroutinen, die auf Algebra wie Berechnen des bestimmenden Faktors der quadratischen Grundmassen in Verbindung gestanden werden und löst Systeme der linearen Gleichung und Berechnung der Bell-Polynome.

Bitte notiert, dass die Code hierin Mai oder Mai nicht in die OO-Schnittstelle Mathe refactored:: symbolische Baugruppe zukünftig.

Sie können beschließen, irgendwelche der folgenden Programme zu haben, die in das rufende namespace exportiert werden. : alle Marke exportiert alles Folgen:

det
linear_solve
bell_polynomial

Trennwand-Logik ist eine freie Aufteilung und Datenverwaltungwerkzeug Festplatte. Sie kann Trennwände herstellen, löschen, formatieren und verschieben und ihre Attribute ändern. Sie kann gesamte Festplatten von einer zu anderen kopieren.

Trennwand-Logik ist die freie Software, basiert auf dem Betriebssystem Visopsys. Sie auflädt von einer CD oder Diskette er und läuft als unabhängiges System, Unabhängiger Ihres Betriebssystem Regular.

Trennwand-Logik soll eine freie Alternative zu solchen Programmen für kommerzielle Anwendungsbereiche wie Trennwand-Magie, Antrieb-Bild und Norton Geist werden…

Mathe:: Symbolisch:: Compiler ist eine Perl-Baugruppe, die Mathe kompilieren kann:: symbolische Bäume zum Perl-Code.

SYNOPSE

Gebrauch Mathe:: Symbolisch:: Compiler;

# zu kompilieren a-Baum
mein $tree = Mathe:: Symbolic->parse_from_string (a^2 + b * c * 2);

# Mathe:: Symbolisch:: Die Variable wird zu $_ [1], zu usw. ausgewertet.
mein $vars = [qw (b-Wechselstrom)];

mein ($closure, $code, $trees) =
Mathe:: Symbolisch:: Compiler->compile ($tree, $vars);

Druck $closure-> (2, 3, 5); # (b, a, c)
# druckt 29 (= 3^2 + 2 * 5 * 2)

# oder:
($closure, $trees) =
Mathe:: Symbolisch:: Compiler->compile_to_sub ($tree, $vars);

($code, $trees) = Mathe:: Symbolisch:: Compiler->compile_to_code ($tree, $vars);

Diese Baugruppe darf Mathe kompilieren:: symbolische Bäume zum Perl-Code und/oder zu den anonymen Subroutinen, dessen Argumente positional zu den Variablen kompilierten Mathe: abgebildet werden: Symbolischer Baum.

Das Grund youd möchten dies tun ist das, das Mathe: auswertet: Symbolischer Baum zu seinem numerischen Wert ist extrem langsam. So kompiliert, aber, sobald Sie alle notwendigen symbolischen Berechnungen getan haben, können Sie die Drehzahlverstärkung des Anführens eines Schliessens nutzen, anstatt, einen Baum auszuwerten.

Mathe:: Logik:: Behaupten ist eine Perl-Baugruppe, zum einer Prädikatbehauptungsdatenbank zu handhaben und abzufragen.

SYNOPSE

Gebrauch Mathe:: Logik:: Prädikat;

$db = neues Mathe:: Logik:: Prädikat;

# einige Prädikate in die Datenbank eintragen
$db->add (<<EOA);
menschlich (Lister).
menschlich (kochanski).
Spiele (Lister, Gitarre).
intelligent (Stechpalme).
intelligent (rimmer).
Name (Lister, DaveLister).
Name (kochanski, Kristine Kochanski).
Name (rimmer, Arnold Rimmer).
EOA

# ein Prädikat einfahren
$db->retract (Spiele (Lister, Gitarre));
# oder gegründet auf einem Muster
$db->retract (intelligent (_));

# eine Abfrage bilden
$query = $db->parse (Mensch (H) u. Name (H, X)? );
$iter = $db->match ($query, $iter);

# die Resultate erhalten
$name = $db->get ($iter, X);

# Speicher es in einer Richtlinie
$db->add (human_name (H, N): = Mensch (H) u. Name (H, N). );

# Gebrauch es in einer Abfrage
$iter = $db->match (human_name (Lister, N)? );

# außer ihm zu einer Datei
speicherbares verwenden;
lagern ($db->rules, red_dwarf);

Mathe:: Symbolisch:: Unterseite ist eine Fallkategorie für Symbole in den symbolischen Berechnungen.

SYNOPSE

Gebrauch Mathe:: Symbolisch:: Unterseite;

Dieses ist eine falsche Kategorie für alles Mathe:: Symbolisch:: * Ausdrücke wie Mathe:: Symbolisch:: Bediener, Mathe:: Symbolisch:: Variable und Mathe:: Symbolisch:: Konstante Nachrichten.

METHODEN

To_string Methode

Zahlungseinstellungmethode für stringification bringt gerade den Nachrichtenwert zurück.

Methodenwert

Wert () wertet Mathe: aus: Symbolischer Baum zu seiner numerischen Darstellung.

Wert () ohne Argumente erfordert, dass jede Variable im Baum ein definiertes Wertattribut enthält. Bitte notiert, dass dieses jede variable Nachricht anspricht, nicht gerade jede benannte Variable.

Wert () mit einem Argument stellt den Nachrichtenwert ein (im Falle eines variablen oder ein konstant).

Wert () mit benannten Argumenten (Schlüssel-/Wertpaare) gehört Variablen im Baum mit den Wertargumenten wenn die corresponging Schlüsselübereinstimmungen der variable Name dazu. (Kann man dieses mehr schwierige sagen?) Seit Version 0.132, ist eine alternative Syntax, einen einzelnen Durcheinanderhinweis zu führen.

Beispiel: $tree->value (x => 1, o => 2, z => 3, t => 0) weist den Wert 1 allen möglichen Vorkommen der Variablen des Namens „x“, aso zu.

Wenn eine Variable im Baum keinen eingestellten Wert (und kein Argument des Wertes stellt es vorübergehend) ein, hat, bringt der zu bewerten Aufruf () undef zurück.

Methodenunterzeichnung

Unterschrift () bringt eine Baumunterzeichnung zurück.

Im Rahmen Mathe:: Symbolisch, sind Unterzeichnungen die Liste von Variablen, die jeder möglicher gegebene Baum ein abhängt. Das bedeutet, daß der Baum „v*t+x“ von den Variablen V, t und X. abhängt. So erbringt das Anwenden der Unterzeichnung () auf dem Baum, der vom oben genannten Beispiel analysiert würde, die sortierte Liste (t, v, x).

Konstanten hängen nicht von irgendwelchen Variablen ab und bringen folglich die leere Liste zurück. Offensichtlich variieren Bedienerabhängigkeiten.

Mathe:: Symbolisch:: Variable Nachrichten können eine etwas beteiligtere Unterzeichnung jedoch haben. Durch Versammlung Mathe:: symbolische Variablen hängen von selbst ab. Das bedeutet, daß ihre Unterschrift ihren eigenen Namen enthält. Aber sie können von den vielen Variablen auch abhängen, weil Variablen selbst als Placeholders für mehr compicated Ausdrücke angesehen werden können. Z.B. in den Mechanikern, hängt die Beschleunigung eines Partikels von seiner Masse und von der Summe aller Kräfte handelnd nach ihr ab. So würde die variable Beschleunigung die Unterzeichnung haben (Beschleunigung, force1, force2,…, Masse, Zeit).

Wenn das youre, das gerade nach einer Liste der Namen aller Variablen im Baum sucht, Sie die explicit_signature () Methode anstatt anwendet.

Methode explicit_signature

explicit_signature () bringt eine lexikographisch sortierte Liste der variablen Namen im Baum zurück.

Auch sehen: Unterschrift ().

Methode set_signature

set_signature erwartet jede mögliche Zahl der variablen Kennungen als Argumente. Es stellt eine Variablenunterzeichnung auf diese Liste der Kennungen ein.

Methodenwerkzeug

Werkzeug () bearbeitet am Ort!

Nehmenschlüssel-/-wertpaare als Argumente. Die Schlüssel sind, variable Namen zu sein und die Werte müssen gültiges Mathe sein:: symbolische Bäume. Alle Vorkommen der Variablen werden durch ihre Umsetzung ersetzt.

Methode ersetzen

Erstes Argument muß gültiges Mathe sein:: Symbolischer Baum.

ersetzen () ändert die Nachricht, die sie dadurch ersuchtes am Ort ist, dass sie es durch sein erstes Argument ersetzt. Das tuend, behält sie den ursprünglichen Nachrichtenhinweis bei. Dieses zerstört die Nachricht, die um es ersucht wird.

Jedoch bedeutet dieses auch, dass Sie rekursive Bäume der Nachrichten herstellen können, wenn der neue Baum, den alten Baum zu enthalten ist. Vor der Anwendung sie im Abwechslungsbaum, so sicherstellen, daß Sie den alten Baum using die neue () Methode klonen oder Sie oben mit einem Programm beenden, das Ihren Speicher schnell ißt.

fill_in_vars

Diese Methode bringt ein geändertes Exemplar des Baums zurück, den um es ersucht wurde.

Sie geht der Baum und ersetzt alle Variablen, deren Wertattribut definiert wird (entweder getan zu der Zeit der Nachrichtenkreation oder des mit set_value ()) mit den entsprechenden konstanten Nachrichten. Variablen, deren Wert nicht definiert wird, sind unberührt. Nehmen z.B. der folgende Code:

$tree = parse_from_string (a*b+a*c);
$tree->set_value (ein => 4, c => 10); # Wert von b noch nicht definiert.
Druck $tree->fill_in_vars ();
# druckt „(4 * B) + (4 * 10)“

Methode vereinfachen

Minimale Methode für Ausdruck simpilification gerade Klone.

Methode descending_operands

, zum in wenn er ersucht wird, versucht ein Bediener, descending_operands stark, festzustellen, welche Operande zu sinken. (Das normalerweise alle Operande. bedeutet) Eine Liste von diesen wird zurückgebracht.

Wenn es ein konstantes oder eine Variable ersucht wird, bringt sie die leere Liste zurück.

Selbstverständlich können einige Programme in verschiedene Zweigniederlassungen Mathe sinken müssen:: Symbolischer Baum, aber dieses Programm bringt die Zahlungseinstellungoperande zurück.

Das erste Argument zu dieser Methode kann sein Verhalten steuern. Wenn es irgendwelche der folgenden Schlüsselwörter ist, wird Verhalten dementsprechend geändert:

Zahlungseinstellung -- offensichtlich. Zahlungseinstellungheuristik verwenden.

Diese sind alle Supersets der Zahlungseinstellung:
alle -- bringt ALLE Operande zurück. Gebrauch mit Vorsicht.
all_vars -- bringt alle Operande zurück, die vars enthalten können.

SyFi ist Bibliothek die Wechselstrom-++, die oben auf die symbolische mathematische Bibliothek GiNaC aufgebaut. Das NamensSyFi steht für symbolische begrenzte Elemente.

Das Paket zur Verfügung stellt polygonale Gebiete, polynomische Platz und Freiheitsgrade als symbolische Ausdrücke, die leicht manipuliert. Dieses bildet es einfach, begrenzte Elemente zu definieren.

GNU, der libmatheval ist, ist eine Bibliothek (abrufbar von C und von Fortran) zum der symbolischen Ausdrücke zu analysieren und auszuwerten, die als Text eingegeben werden.

libmatheval Stützausdrücke in irgendeiner Zahl von Variablen von Decknamen, dezimale und symbolische Konstanten, grundlegende Einstoff- und binäre Bediener und grundlegende mathematische Funktionen.

Zusätzlich zur Satzgliederung und zu Auswertung libmatheval kann symbolische Derivate und Ausgangausdrücke zu den Zeichenketten auch berechnen.

Was in diesem Auslösen neu ist:

· Diese Version relicensed unter GNU-allgemeiner Lizenzversion 3.

AI:: Einleitung ist eine Perl-Extension für die Logikprogrammierung.

HartMath ist ein experimentelles Rechneralgebraprogramm, das in Java geschrieben.

Es kennzeichnet grosse arithmetische, symbolische und numerische Auswertung der Zahl, Plan, Polynom, Vektor und die Grundmassefunktionen.

Kategorie:: AbstractLogic ist eine Perl-Baugruppe, zum von Logik-Abstraktionen zu handhaben.

SYNOPSE

# die Logikkategoriendefinition
mein verpacken:: Logik:: Foo;
Gebrauch Kategorie:: AbstractLogic-Unterseite;

# Logikmaßnahmen
Maßnahmen addieren,
Notwendigkeiten [qw (ein B)],
überprüfen {ein => Unterseeboot {/^d+$/}, b => Unterseeboot {/^d+$/}},
Unterseeboot {$_ {a} + $_ {b}};

1;
…

# Logikbaugruppen-Managerkreation
Gebrauch Kategorie:: AbstractLogic;
mein $calm = Kategorie:: AbstractLogic:: Manager->new;

#, eine Logikkategorie ladend
$calm->load_logic (mein Foo =>:: Logik:: Foo);

#, ein Resultat von einer Logikmethode fordernd
mein $result = $calm->logic (Foo) - >add (ein => 11, b => 12);

# ist $result falsch, wenn eine Ausnahme abgefangen wurde
wenn ($result) {
Druckresultat war. $result->value. „N“;
}
sonst {
Druckausnahme hob an: . $result->key. „N“;
DruckFehlermeldung: . $result->error. „N“;
}

nautilus-folgen-symlink ist eine Nautilusextension, die eine Menüeingabe auf symbolischen Links Verzeichnissen addiert, die das spitze Verzeichnis öffnen (die reale Bahn).

nautilus-folgen-symlink tut so beide, wenn recht, auf die Faltblattikone oder auf dem Inhalt eines geöffneten symbolischen Links klickend.

Was in diesem Auslösen neu ist:

· Die Ikone war örtlich festgelegt. In den neueren Versionen von GNOME, geladen die Ikone nicht und eine grosse Zahlungseinstellung, leere Ikone gezeigt in seinem Platz.

nescom liest symbolischen Code der Maschine 6502/RP2A03/RP2A07 und kompiliert (montiert), ihn in eine verschiebbare Objektdatei oder in eine IPS-Änderung am Objektprogramm.

Die produzierte Objektdatei ist mit denen bildete mit XA65 binär-kompatibel.

GtkBalls Projekt ist ein einfaches Logikspiel.

GtkBalls ist ein einfaches aber ehrfürchtiges Logikspiel, in dem Sie versuchen, bis zu Kugeln vom Spielbereich zu entfernen, Sie können.

Ist der Klon des weithin bekannten DOS-Spiels „Leitungen“.

Was in diesem Auslösen neu ist:

· Die Nadelanzeige konfigurierbar bilden, die Parameter markiert
· Neues Thema von 5ball - 5balls-Big

Gnome Control Center ist GNOMEshauptschnittstelle für Konfiguration der verschiedenen Aspekte Ihres Schreibtisches.

Was in diesem Auslösen neu ist:

über-ich:
· Ein tooltip der Bildtaste addieren, um sie zugänglich zu bilden (Jens Granseuer)

Aussehen:
· Option hinzufügen, um Tapeten über die Befehlszeile (Jens Granseuer) (#456337) zu addieren
· Neue GTK+ Bequemlichkeit API für Ikonenansicht tooltips (Matthias Clasen) verwenden
(#455985)
· Allen tooltips Code zu GTK 2.11.6 (Jens Granseuer) stoßen
· Das Farbenentwurfabgleichen verbessern (Jens Granseuer)
· Wenn Sie aktuelle Einstellungen vom gconf lesen, den Farbenentwurf von erhalten
GTK Thema wenn notwendig zum an die Themen anpassen zu dürfen zurückgeholt über
Gnome-Themainfo (Jens Granseuer)
· Einsparung des Cursorthemanamens in den metathemes implementieren und a hinzufügen
Nadelanzeigeoption zu der Cursorthemaliste (Denis Washington) führen
· Tooltip Beschreibungen (Dennis Cranston) (#460111) vereinfachen
· Unset wirklich den gconf Schlüssel, wenn zurückgekehrt werden Farben (Jens Granseuer)
· Drag-and-dropthemaeinbau (Denis Washington) implementieren
· Abhilfen für Initialisierungsprobleme in den frühen Versionen von entfernen
capplet (Jens Granseuer)
· Zelle renderer Zustandlogik regeln, um eingeschaltet nicht immer zu sein (Jens Granseuer)
· Kairo verwenden, um die Zelle renderer Auswahl (Thomas-Holz) zu zeichnen
· Readable_name in der Cursorthemaliste anstelle vom Namen (Denis Washington) zeigen
· Mnemotechnik regeln und Themafensternamen (Thomas-Holz) (#461255) anpassen
· Themaeinbau (Thomas-Holz) reparieren
· Ikonencache ändern, wenn Ikonenthemen eingebaut sind (Thomas-Holz) (#355486)
· Einige Speicherlecks (Thomas-Holz) verhindern
· Bediengeräte für das Anwenden der vorgeschlagenen Hintergründe und/oder der Schrifttypen von addieren
metathemes (Denis Washington)
· Hintergrund-/Schrifttypvorschläge nur zeigen wenn sie havent bereits gewesen
angewandt (Denis Washington)
· Mit unset gconf Schlüsseln und Gruppe gconf Mitteilungen (Jens Granseuer) fertig werden
· Die kundenspezifische Themaeingabe nur erstellen, wenn Änderungen vorgenommen werden, und sie löschen
wenn das Thema gespart wird (Jens Granseuer)
· %F der exec Leitung also den externen Programmen addieren, wie Offenbarung einstellen kann
Hintergrund (Jens Granseuer) (#456337)
· Zu dem Zeigen des Hintergrundtabulators führen, wenn Tapeten auf gegeben wurden
Befehlszeile (Jens Granseuer)
· Unser kundenspezifisches Zelle renderer für metathemes auch verwenden, also tun die Vorbetrachtungen nicht
schattiert erhalten (Jens Granseuer) (#461198)

Zahlungseinstellunganwendungen:
· Kundenspezifische Befehlseingaben ändern, um anstelle von unempfindlich zu sein
noneditable (Matthias Clasen) (#456308)
· Unechte Tischplatteneingaben (Jens Granseuer) (#444787) entfernen

Tastatur:
· Verbessertes Layout und Sortieren (Sergey Udaltsov) (#455353)
· DND in der ausgewählten Layoutliste (Sergey Udaltsov) (#351936) implementieren
· Auf-/Ab-Tasten in der Layoutliste (Sergey Udaltsov) beseitigen

Netz:
· Neue Ikone in der Fensternamerechtsanwaltschaft (Denis Washington) auch verwenden

Einstellungsdämon:
· Den Xft Rückruf (Jens Granseuer) (#455992) nicht vergessen

themus:
· Aktualisierung, zum der Themarückrufunterzeichnung (Jens Granseuer) abzugleichen

allgemein:
· Systemabsturz regeln, wenn kein Cursor im Thema (Frederic Crozat) spezifiziert wird (#455952)
· Allgemeine Reinigung und Leck-Einstecken (Jens Granseuer, Thomas-Holz)
· Das Konfigurieren nicht verlassen, wenn gstreamer nicht erhältlich ist, überspringen einfach den Ton
capplet (Jens Granseuer) (#456957)
· Spurous an den Tischplatteneingaben (Jens Granseuer) (#444787) entfernen
· Träger für die kundenspezifischen Themanamen addieren, die gespart werden in den metathemes (Denis Washington)
· Re-add grundlegenden Träger für Cursorthemen für x-Servers ohne das Xcursor
Extension, wie die in den Solarisen (Denis Washington)
· Wenn Sie ein metatheme anwenden, überprüfen, ob man/unser Farbenentwurf gconf einstellt
befestigen (Jens Granseuer) (#421866)
· Die Mitteilung der Auswahl regeln geändert für GtkTreeView Configträger (Jens
Granseuer)
· Cursorthemen an erkannt werden als Ikonenthemen (Denis Washington) verhindern
· Einen Cursor themess Namen von seiner index.theme Datei lesen, wenn sie ein hat (Denis
Washington)
· Check auf leerem metatheme Farbenentwurf erweitern, um unbelegten Farbenentwurf einzuschließen
Zeichenketten (Thomas-Holz)
· Tooltip Vordergrund- und Hintergrundfarben der Liste von erkannt addieren
symbolische Farben (Thomas-Holz)

aktualisierte Übersetzungen:
· es (Jorge Gonzalez)
· und (Priit Laes)
· FI (Ilkka Tuohela)
· gl (Ignacio Casal Quinteiro)
· Gu (Ankit Patel)
· HU (Gabor Kelemen)
· ja (Takeshi AIHANA)
· lt (Zygimantas Berucka)
· Notiz: (Kjartan Maraas)
· NL (Vincent van Adrighem)
· SV (Daniel Nylander)
· Th (Theppitak Karoonboonyanan)
· zh_CN (Funda Wang)

B:: Fussel:: StrictOO ist eine Perl-Baugruppe, das strenges an den Kategorien und an den Methoden anwenden.

SYNOPSE

Validiert dass Kategorien existieren, dieses Methoden, die ersuchte Kategorien und Nachrichten sind und Variablen arent verwendet als Methodennamen.

$-Perl - MB:: Fussel:: StrictOO - MO=Lint, oo my_file.pl

Vorhickory:: Dickory:: Dock;

Mouse->dockk; # existiert Kategorien-Maus nicht
Hickory:: Dickory->dock;
Hickory:: Dickory->$_; # symbolischer Methodenaufruf
$obj->dockk; # tut Nachrichtengewinsel Methode
$obj->dock;
$obj->$_; # symbolischer Methodenaufruf

Datei:: Repl ist eine Perl-Baugruppe, die Dateiwiederholunghilfsprogramme liefert.

SYNOPSE

Gebrauch Datei:: Repl;

%con = {
dira => C: /perl,
dirb => M: /perl,
ausführliches => 1,
Alter => 10,
};

$ref=File:: Repl->New (%con);
$r1 = $ref->Update (.p (L|m), a<>b, 1);
$r2 = $ref->Update (.t.*, a<>b, 1, .tmp$);

Die Datei: Repl liefert einfache Dateiwiederholung- und -managementhilfsprogramme. Seine Hauptfunktionen sind

Datei-Wiederholung

Das Erlauben, daß zwei Verzeichniszellen aufrechterhalten werden und Dateien, die Auswahlverknüpfungskriterien erfüllen, werden widergespiegelt und synchronisiert anders sicherstellen.

Massenumbenennung

Das Gewähren archiviert in einer entsprechend der Auswahlverknüpfung umbenannt zu werden Verzeichniszelle.

Komprimieren

Das Gewähren archiviert in einer entsprechend einer gegebenen logik komprimiert zu werden Verzeichniszelle.

Prozeß

Einen geläufigen Perl-Prozeß gegen Dateien in einer Verzeichniszelle entsprechend Auswahlverknüpfung laufen lassen.

Auslassung

Das Gewähren archiviert in einer entsprechend der Auswahlverknüpfung gelöscht zu werden Verzeichniszelle.

UPPAAL TIGA ist eine Extension von UPPAAL [BDL04] und es implementiert den ersten effizienten Schnellalgorithmus für das Lösen der Spiele, die auf zeitgesteuerten Spielautomaten in Bezug auf reachability und Sicherheitseigenschaften basieren.

Obwohl zeitgesteuerte Spiele für lang bekannt, um entscheidbar zu sein dort bis jetzt gewesen ein Mangel an effizienten und wirklich Schnellalgorithmen für ihre Analyse.

UPPAAL TIGA versieht eine benutzerfreundliche graphische Schnittstelle mit seinem entsprechenden Server und eine Befehlszeile Kontonummernprüfgerät.

Der Algorithmus, den wir vorschlagen daß [CDFLL05] ist eine symbolische Ausdehnung des Schnellalgorithmus, der durch Liu u. Smolka [LS98] vorgeschlagen für die Linearzeit Baumuster-Prüfung der finite-state Systeme. Seiend Schnell, kann der symbolische Algorithmus den gesamten Zustandplatz lange vorher erforscht haben abbrechen.

Auch die einzelnen Stufen des Algorithmus durchgeführt effizient unter Anwendung von sogenannten Zonen wie die zugrundeliegende Datenstruktur ende. Unser Werkzeug implementiert verschiedene Optimierungen des grundlegenden symbolischen Algorithmus, sowie Methoden für das Erhalten der Zeit-optimalen gewinnenden Strategien (für reachability Spiele).

Was in diesem Auslösen neu ist:

· Diese Version repariert zwei Hauptmarken: Unrechtantworten (und Strategien) gegeben für einige Fälle, die Verzögerungen mit.einbeziehen, und den Simulator handhabten nicht die dringenden und festgelegten Zustände richtig.

AFS:: Cm ist eine Perl-Baugruppe, zum des AFS Cachemanagers auszuüben.

SYNOPSE

Gebrauch AFS:: Cm qw (
checkconn checkservers checkvolumes
cm_access spülen flushcb flushvolume
getcacheparms getcellstatus
getcrypt getvolstats setcrypt
setcellstatus setcachesize
);

mein $ok = flushvolume (.);
Druck „Rückgabecode = $okn“;

$ok = checkvolumes;
Druck „Rückgabecode = $okn“;

$ok = cm_access ($path);
Druck „Rückgabecode = $okn“;

($max, $inuse) = getcacheparms;
$ok = setcachesize (10000);

mein $crypt_flg = getcrypt;
$ok = setcrypt (ein);

MITTEILUNG: Die folgenden Leitungen sind Art der Version 1: alle Namen werden durch Zahlungseinstellung exportiert. Diese Art wird!! mißbilligt!

AFS verwenden; # Import alle AFS Namen
AFS @AFS verwenden:: Cm; # Import gerade die Cachemanagernamen

Diese Baugruppe liefert einige Funktionen, um den AFS Cachemanager auszuüben. Sie wird verwendet, um die Cachegröße anzupassen. Sie können die Aktualisierung der cachierten Daten erzwingen. Und Sie können feststellen, wenn eine Klientenmaschine SETUID Programme laufen lassen kann. Jede mögliche Funktion, die muß erfordert wird, durch ausdrücklich aufgezeigt durch die in das rufende Paket exportiert zu werden Gebrauchanweisung.

Einige dieser Funktionen lassen das wahlweiseargument FOLGEN. FOLGEN feststellt, welche Datei verwendet werden sollte, wenn BAHN ein symbolisches Link ist. Wenn FOLGEN, bis 1 eingestellt sein, dann wird das symbolische Link zu seinem Ziel gefolgt. Wenn FOLGEN wird eingestellt bis 0, dann die Funktion auf das symbolische Link selbst zutrifft. Wenn Sie nicht spezifiziert werden, Zahlungseinstellungen bis 1. FOLGEN.