Maths : : La logique est un module de Perl qui fournit 2, 3 ou logique purs de multi-valeur.

SYNTHÈSE

maths d'utilisation : : Qw de logique ($TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF) ;
# 1 0 -1 VÉRITABLES UNDEF TROMPEURS

maths d'utilisation : : Logique : NUMÉRIQUE ; # $TRUE $FALSE $UNDEF -- ce que vous voulez normalement

maths d'utilisation : : Logique : TOUS ; # toutes les constantes

maths d'utilisation : : Logique : STREPTOCOQUE ; # $STR_TRUE $STR_FALSE $STR_UNDEF

de # logique 2 degrés
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => de degré 2) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => de degré 2) ;
mon $x = maths : : Logic->new_from_string (RECTIFIER, 2) ;

estamper « vrai » si $true ;

de # logique 3 degrés (non-propagation)
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => de degré 3) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => de degré 3) ;
mon $undef = maths : : Logic->new (- => $UNDEF de valeur, - => de degré 3) ;
mon $x = maths : : Logic->new_from_string (TROMPEUR, 3) ;

impression « vraie » si ($true | == $TRUE de $undef) ;

de # logique 3 degrés (propagation)
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => 3 de degré, - => de propagation 1) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => 3 de degré, - => de propagation 1) ;
mon $undef = maths : : Logic->new (- => $UNDEF de valeur, - => 3 de degré, - => de propagation 1) ;
mon $x = maths : : Logic->new_from_string ((UNDEF, 3, - propagation)) ;

impression « undef » si ($true | == $UNDEF de $undef) ;

# logique de multi-degré
mon $True = 100 ; # définir notre propre vrai
mon $False = $FALSE ;
mon $true = maths : : Logic->new (- => $True de valeur, - => $True de degré) ;
mon $very = maths : : Logic->new (- => 67 de valeur, - => $True de degré) ;
mon $fairly = maths : : Logic->new (- => 33 de valeur, - => $True de degré) ;
mon $false = maths : : Logic->new (- => $False de valeur, - => $True de degré) ;
mon $x = maths : : Logic->new_from_string (« 25, $True ») ;

impression « peut-être » si ($very | $fairly) > 50 ;

# nous pouvons avoir arbitrairement des expressions complexes ; le résultat est des maths : : Logique
# objectif ; tous les arguments doivent être des maths : : Objectifs ou choses de logique qui peuvent être
# introduit dans tels et doit tout être compatible. Le résultat dépend en circuit
# que le genre de logique est employé.
mon $xor = ($x | $y) et (! ($x et $y)) ;
# c'est identique à :
mon ^ $y de $xor = de $x ;

Conducteurs logiques inhérents de Perls, et, ou, xor et ne pas supporter la logique de 2 valeurs. Ceci signifie qu'ils produisent toujours un résultat qui est vrai ou trompeur. En fait le Perl renvoie parfois 0 et renvoie parfois l'undef pour trompeur selon le conducteur et la commande des arguments. Pour le Perl « vrai » renvoie généralement la première valeur qui a évalué pour rectifier qui s'avère être extrêmement utile dans la pratique. Donnés au Perls bien choisi les conducteurs logiques inhérents sont être preferred -- mais quand vous voulez réellement la logique pure de 2 degrés ou logique de 3 degrés ou logique de multi-degré ils sont procurables par ce module.

Les seules valeurs de logique de 2 degrés sont 1 (VRAI) et 0 (TROMPEUR).

Les seules valeurs de logique de 3 degrés sont 1 (VRAI), 0 (TROMPEUR) et -1 (UNDEF). Noter qu'UNDEF est pas l'undef -1 !

Les seules valeurs de logique de multi-degré sont de 0. - degrés (TROMPEURS) -- la valeur de VRAI est égale au degré, habituellement 100.

- Le degré est les valeurs maximales (excepté la logique de 2 et 3 degrés) ; c.-à-d. la logique du n-degré est logique de n+1-value, par exemple la logique de 100 degrés a 101 valeurs, 0..100.

Bien que quelques constantes utiles puissent être exportées, c'est un module résultant et les résultats des comparaisons logiques sont des maths : : Objectifs de logique.

La logique de partition est outil de gestion libre de division et de caractéristiques d'un disque dur. Elle peut produire, effacer, formater, et déplacer des partitions et modifier leurs attributs. Elle peut copier les disques durs entiers d'un à l'autre.

La logique de partition est logiciel gratuit, basé sur le Visopsys du système d'exploitation. Elle amorce d'un CD ou à disque souple et fonctionne comme système autonome, indépendant de votre militaire de carrière du système d'exploitation.

La logique de partition se destine pour devenir un libre choix à des régimes commerciaux tels que la magie de partition, l'image d'entraînement, et le collaborateur anonyme de Norton…

Maths : : Logique : : Affirmer est un module de Perl pour gérer et questionner une base de données de revendication d'attribut.

SYNTHÈSE

maths d'utilisation : : Logique : : Attribut ;

$db = maths neuves : : Logique : : Attribut ;

# écrire quelques attributs dans la base de données
$db->add (<<EOA) ;
humain (listeuse).
humain (kochanski).
pièces (listeuse, guitare).
sec (houx).
sec (rimmer).
nom (listeuse, listeuse de Dave).
nom (kochanski, Kristine Kochanski).
nom (rimmer, Arnold Rimmer).
EOA

# rétracter un attribut
$db->retract (pièces (listeuse, guitare)) ;
# ou basé sur une configuration
$db->retract (sec (_)) ;

# effectuer une requête
$query = $db->parse (être humain (H) et nom (H, X) ? ) ;
$iter = $db->match ($query, $iter) ;

# obtenir les résultats
$name = $db->get ($iter, X) ;

# mémoire il dans une règle
$db->add (human_name (H, N) : = être humain (H) et nom (H, N). ) ;

# utilisation il dans une requête
$iter = $db->match (human_name (listeuse, N) ? ) ;

# sauf lui à un dossier
employer entreposable ;
enregistrer ($db->rules, red_dwarf) ;

Quantum : : Les superpositions empaquettent contient QM-comme des superpositions dans le Perl.

SYNTHÈSE

utilisation Quantum : : Superpositions ;

si (== de $x ($a, $b, $c)) {…}

tandis que ($nextval < tous (@thresholds)) {…}

$max = quels (@value) < tous (@values) ;


utilisation Quantum : : => BINAIRE de superpositions [FAISCEAU : : index] ;

index d'impression (quel (« choisit », « complète », « endroit »), « o ») ;
index d'impression (« arrêt », quel (« p », « s »)) ;

FOND

Sous l'évaluation normale de la mécanique quantique, jusqu'à ce qu'elles soient constatées, les particules existent seulement comme fonctionnement de probabilité discontinu. Sous l'évaluation de Cophenhagen, cette situation est souvent conçue en imaginant la condition d'une particule inaperçue pour être un transparent fantomatique de toutes ses conditions observables possibles simultanément. Par exemple, une particule qui pourrait être constatée dans la condition A, B, ou C peuvent être considérés dans une pseudo-condition où il est simultanément dans les conditions A, B, et C. Une telle particule est dite dans une superposition des conditions.

La recherche sur appliquer la superposition de particules dans la construction de la visserie d'ordinateur est déjà avancée bon. L'objectif d'une telle recherche est de développer les mémoires fiables de tranche de temps, dans lesquelles un morceau individuel est enregistré en tant que certaine propriété mesurable d'une particule à quantification (un qubit). Puisque la particule peut être matériel contrainte dans une superposition des conditions, elle peut enregistrer les morceaux qui sont simultanément 1 et 0.

Les procédés particuliers basés sur les interactions d'un ou plusieurs qubits (tels que l'interférence, l'enchevêtrement, ou la superposition supplémentaire) sont alors soient employés pour construire des portes logiques de tranche de temps. De telles grilles peuvent alternativement être utilisées pour exécuter des opérations logiques sur des qubits, permettant des fonctionnements logiques et mathématiques à accomplir en parallèle.

Malheureusement, les maths exigées pour concevoir et les algorithmes de tranche de temps d'utilisation sur des ordinateurs de tranche de temps sont péniblement durs. Quantum : : Le module de superpositions offre une autre approche, basée sur la superposition des valeurs scalaires entières (plutôt que différents qubits).

L'application de Berusky est un jeu de logique qui est basé sur un puzzle antique nommé Sokoban. Une vieille idée de déplacer des cadres dans un labyrinthe a été augmentée avec les organes neufs de logique tels que des explosifs, pierres, grilles spéciales et ainsi de suite. De plus, jusqu'à cinq insectes peuvent coopérer et être contrôlés par le joueur.

Il est nécessaire de le laisser à chaque niveau (therese environ 120 niveaux dans le jeu) de propres cinq clavettes et avoir également une voie libre à la sortie.

Élevé arent de requiements de matériel et de logiciel si, Berusky fonctionne sur n'importe quel ordinateur avec la carte graphique de SVGA. Le jeu occupe les Pixel 640x480 de votre appareil de bureau pour le jeu principal et de 1024x768 pour l'éditeur de niveau.

Berusky a été principalement orienté au MS-DOS 5.x mais la version neuve a été retouchée et exécute sur Windows et Linux maintenant. Elle emploie la bibliothèque de SDL pour la partie postérieure de dessins.

Le jeu a été bien couronné de succès et bien adopté par les joueurs tchèques. Nous avons remarqué qu'environ 20.000 téléchargements et Berusky ont été publiés comme paquet CD en beaucoup de magasins tchèques de joueur, par exemple de niveau, Gamestar.

Les joueurs apprécient hautement son playability, niveaux bien projetés, requiements inférieurs de visserie et dessins gentils.

TkGate est un simulateur entraîné par les événements de circuit digital avec un éditeur graphique de tcl/tk-based. TkGate supporte un large éventail d'éléments de circuit primitifs aussi bien que les modules définis pour l'utilisateur pour le modèle hiérarchique.

La distribution vient avec un certain nombre de circuits d'instruction et d'exemple qui peuvent être chargés par la carte de « aide ». Les circuits d'exemple comprennent une CPU simple, programmée pour exécuter le jeu d'animaux. TkGate est logiciel gratuit équipé de codes sources sous la plaque d'immatriculation de public de Gnu.

Voici quelques fonctionnalités clé de « TkGate » :

Modèle de circuit graphique

· Modèle hiérarchique par les modules définis pour l'utilisateur.
· Facile à utiliser remarque-et-cliqueter l'interface utilisateur.
· Produire les hyperliens pour se déplacer environ dans le circuit ou pour charger d'autres dossiers.
· Surface adjacente multilingue (catalan, anglais, Français, Allemand, Japonais, Espagnol, Obturation)
· Verilog-comme le format de fichier de sauvegarde.

Simulation de logique

· Contrôle par le GUI ou par des fichiers script.
· Approprié à la simulation au niveau de transistor, de grille ou de transfert de registre.
· Six ont évalué le modèle de logique comprenant 0, 1, flotter, inconnu, « bas » et « haut ».
· Soutien des modèles faits sur commande de délai.
· Étalage graphique des résultats de simulation.
· Contrôle de points d'arrêt, en pas à pas et de horloge-opération de simulateur.
· Analyse du chemin critique de chemin critique de charge statique.

Les éléments de circuit primitifs comprennent :

· Grilles fondamentales (ET, OU, etc.)
· Contact-niveau NMOS et transistors de PMOS
· Mémoires tampons de trois états
· Composantes d'Alu (additionneurs, changements de vitesses, multiplicateurs)
· Éléments de mémoire (registres, mandrins, ROM)
· Un élément interactif de « téléscripteur » permet le modèle des circuits qui peuvent agir l'un sur l'autre avec l'usager.

Les outils de support comprennent un compilateur de microcode/macrocode pour aider à produire de grands projets tels que des modèles de microprocesseur.

rt_x10 est un gestionnaire en temps réel de grain pour le X10 « surface adjacente bi-directionnelle de ligne électrique » (modèle TM523).

X10 est un protocole pour envoyer des signaux au-dessus des lignes électriques. Il y a un bon nombre de composantes relativement bon marché procurables à x10.com (et à d'autres places) qui effectuent la domotique
faisable pour l'utilisateur moyen.

Si vous ne voulez l'automatisation sans joint sans aucun problème, X10 n'est pas pour vous. Si vous voulez un système assez bon qui fonctionne la plupart du temps, et est bon marché, alors vous devriez donner à ceci un essai.

X10 comme protocole est assez terrible, mais il au moins est très bien documenté (voir le X10.technicalnote.pdf). Les signaux X10 sont fragiles, et sont souvent déformés.

Il y a une certaine quantité de suppression d'emploi dans le signal, ainsi il est habituellement possible de trouver un code altéré, mais le problème de temps en temps se produit toujours, particulièrement quand les paquets se heurtent.

Les dispositifs X10 ne répondent pas à la requête, comme provoded pour par Spéc. X10, ainsi on peut seulement envoyer des commandes répétées dans les espoirs que le dispositif sera éventuellement mis dans la condition désirée.

Vous devez commencer par un module « de surface adjacente bi-directionnelle de ligne électrique » (modèle TW523), et établissez un circuit de connexion comme décrit à la page 11 du X10.technicalnote.pdf.

Fixer ceci à un port série, attachant le signal de « passage à zéro » de 60 hertz au SCC, les X10 « reçoivent » le signal à DSR, et les X10 « transmettent » au TDP.

En raison du rapport incommode entre les deux signaux fournis par le TW523, il est plus pratique pour employer l'interrogation en temps réel dans le logiciel pour échantillonner les hublots de pouls plutôt que pour étendre les circuits required de surface adjacente en ajoutant des portes logiques et des ripostes et des horloges.

Pour ceci, j'ai sauvé rt_x10.c. rt_x10.o est un module du noyau qui fonctionne avec Linux RTAI. Il pourrait être facilement modifié pour fonctionner avec RTLinux ou d'autres infrastructures assimilées, mais RTAI est le meilleur, ainsi lui donner un essai d'abord.

Une fois que le module du noyau en temps réel est monté, il sauve les codes X10 à /dev/rtf0 chaque fois qu'ils apparaissent sur la ligne électrique, et quand les commandes X10 sont sauvées à /dev/rtf1, le module envoie ces codes au-dessus de la ligne électrique.

Il y a deux régimes simples d'exemple d'userspace qui expliquent des codes du relevé et de l'écriture X10 : recvx10 et sendx10.

Ceux-ci devraient servir comme base à un régime d'userspace qui met en application tous les calage et logique pour des configurations particulières des détecteurs, des lumières, et des appareils.

LibTomMath est une bibliothèque multiple-precision théorétique de nombre entier de nombre portatif libre de source ouverte sauvée entièrement dans le C. La bibliothèque est conçue pour fournir un simple pour fonctionner avec l'api qui fournit les sous-programmes assez efficaces qui établissent hors du cadre sans configuration.

Les constructions de bibliothèque hors du cadre avec GCC 2.95 [et lever] aussi bien que Visual C++ v6.00 [avec SP5] sans configuration. Codes sources sont arrangés pour la rendre facile à plonger dans un endroit particulier très rapidement.

Le code est également sali avec des commentaires [c'est l'un des buts continuants] que cette aide expliquent les algorithmes et leurs réalisations. Dans le meilleur des cas le code servira d'outil pédagogique à l'avenir aux stagiaires de CS étudiant la théorie des nombres.

Voici quelques fonctionnalités clé de « LibTomMath » :

Algébrique simple

· Ajout
· Soustraction
· Multiplication
· Ajuster
· Division

Manipulation de chiffre

· Changer de vitesse à gauche/bons chiffres (le mult par 2b en déplaçant des chiffres)
· Jeûnent la multiplication/division par 2 et 2k pour k>1
· Binaire ET, grilles OU et de XOR

Réductions modulaires

· Réduction de barrette (rapide pour tout p)
· Réduction de Montgomery (plus rapidement pour tout p) impair
· Réduction de DR (plus rapidement pour n'importe quel p restreint voir le manuel)
· réduction 2k (modulo rapide 2p - k de réduction pour k < MP_MASK et pour k > MP_MASK)
· La logique d'exptmod peut employer des cinq algorithmes de réduction l'uns des si appropriée avec un appel de fonctionnement unique.

Numéro théorétique

· Le diviseur courant le plus grand
· Moindre multiple courant
· Calcul de symbole de Jacobi (automnes de nouveau à Legendre pour les modules principaux)
· Inverse multiplicatif
· Algorithme euclidien étendu
· Élévation à une puissance modulaire
· Fermat et tests de Miller-Rabin Primality, fonctionnement de service tel que l'is_prime et next_prime

Divers

· Recherche du radical au-dessus de Z
· Nombres entiers pseudo-aléatoires
· Comparaisons signées et sans signature

Optimisations

· Comba rapide a basé des sous-programmes de multiplicateur, de ajuster et de Montgomery.
· Montgomery, radix diminuée et barrette ont basé l'élévation à une puissance modulaire.
· Karatsuba et Toom-Font cuire des algorithmes de multiplication.
· Beaucoup d'optimiztions de crénelage de chevron à travers la bibliothèque entière.

Ce qu'il y a de neuf dans ce desserrage :

· Ce desserrage fixe un débordement et une émission moins importante de construction.
· Autrement, le code est stable et intact.

AI : : Le Prolog est une prolonge de Perl pour la programmation de logique.

Cours : : AbstractLogic est un module de Perl pour traiter des abstractions de logique.

SYNTHÈSE

# la définition de classe de logique
empaqueter le mon : : Logique : : Foo ;
classe d'utilisation : : AbstractLogic-base ;

# une action de logique
l'action ajoutent,
les nécessités [qw (un b)],
vérifier {un sous-marin de => {/^d+$/}, sous-marin de => de b {/^d+$/}},
sous-marin {$_ {a} + $_ {b}} ;

1 ;
…

# création de gestionnaire de module de logique
classe d'utilisation : : AbstractLogic ;
mon $calm = cours : : AbstractLogic : : Manager->new ;

# chargeant une classe de logique
$calm->load_logic (=> de Foo mon : : Logique : : Foo) ;

# demandant un résultat d'une méthode de logique
mon $result = $calm->logic (Foo) - >add (un => 11, => 12 de b) ;

# $result sera trompeur si une exception était recueillie
si ($result) {
le résultat d'impression était. $result->value. « n » ;
}
autrement {
l'exception d'impression a augmenté : . $result->key. « n » ;
message d'erreur d'impression : . $result->error. « n » ;
}

Le cheval de Hannahs d'aide est un amusement et un type rapide pacman/aliments de préparation rapide jeu dans SDL.

Le cheval de Hannahs d'aide est un simple combi-copient de pacman et des aliments de préparation rapide vertigineux de jeu. L'objectif est de guider Hannah autour du labyrinthe rassemblant les raccords en caoutchouc (qui se déplacent !) et les pillules.

Rassembler un powerpill (bleu et rouge) pour permettre à Hannah de manger les collaborateurs anonymes pour un circuit tandis que.

Quelques labyrinthes ont des grilles que seulement Hannah ou seulement les collaborateurs anonymes peut réussir. Une certaine nécessité Hannah de rassembler la clavette rouge pour les ouvrir.

Le projet de cheval de Hannahs d'aide est qualifié sous le GPL (VERSION 2)

Les pétales sur Rose est un jeu de casse-tête intrigant pour tous les âges. Ce site Web prétend que Bill Gates stumped par lui pendant deux jours. Son habituellement joué avec un groupe d'amis et un ensemble de 5 matrices. Le maître de jeu roule les matrices et indique à chacun la réponse. Cette version d'ordinateur du puzzle fonctionne assimilé, seulement dans ce cas-ci les pièces d'ordinateur comme maître de jeu.

Pour vous jouer juste double cliquetis le graphisme pour commencer le régime. Taper votre estimation dans le domaine de « réponse » et actionner la « vérification ». Si votre estimation est correcte vous obtenez félicité, autrement vous la nécessité d'essayer de nouveau. Si vous vous fatiguez d'estimer vous pouvez actionner « abandonnez » le bouton et le youll obtiennent la réponse à ce particulier roulent.

Appuyer sur juste le bouton « de matrices de roulis » à tout moment pour obtenir un ensemble de numéros neuf.

Toujours rappeler, ne pas dire la réponse à n'importe qui !

Avoir de l'amusement, et de la chance.

Le projet de GtkBalls est un jeu simple de logique.

GtkBalls est un jeu simple mais impressionnant de logique, où vous essayez de retirer autant de billes de l'inducteur de jeu comme vous pouvez.

Est le clone du jeu bien connu « lignes » de DOS.

Ce qu'il y a de neuf dans ce desserrage :

· Rendre le chevron mettant en valeur des paramètres configurable
· Thème neuf de 5ball - 5balls-Big

Dossier : : Repl est un module de Perl qui fournit des utilitaires de réplique de dossier.

SYNTHÈSE

dossier d'utilisation : : Repl ;

%con = {
=> C de dira : /perl,
=> M de dirb : /perl,
=> bavard 1,
=> 10 d'âge,
} ;

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

Le dossier : Repl fournit des utilitaires simples de réplique et de management de dossier. Ses fonctionnements principaux sont

Réplique de dossier

Permettre à deux structures de répertoire d'être mises à jour, assurant les dossiers qui répondent à des critères de logique de sélection sont reflétées et autrement synchronisées.

Renommer en bloc

Laisser lime dans une structure de répertoire à renommer selon la logique de sélection.

Comprimer

Laisser lime dans une structure de répertoire à comprimer selon une logique donnée.

Procédé

Exécuter un procédé courant de Perl contre des dossiers dans une structure de répertoire selon la logique de sélection.

Blanc

Laisser lime dans une structure de répertoire à effacer selon la logique de sélection.

Luola est un 2D jeu électronique où vous pilotez un petit bateau en forme de V dans différents genres de niveaux. Le genre « Luolalentely » de Luolas (Caverne-vol) est (ou était) très populaire ici en Finlande. Bien que les jeux de caverne-vol ne soient pas initialement finlandais, les nowdays plus de eux sont.

Luola est en grande partie inspiré par V-Aile, mon jeu préféré de caverne-vol. Tandis que les dessins de V-Ailes ne pourraient pas avoir été voyants, ils étaient croquants et certains, et le playability et le choix des armes étaient superbes. C'est également mon objectif avec Luola, pas excessive oeil-sucrerie, mais playability solide.

Voici quelques fonctionnalités clé de « Luola » :

· 2-4 joueurs
· Pièce d'équipe
· Habileté d'éjecter le pilote et la promenade autour du niveau en tant qu'être humain
· Cliché de niveau de truecolor de supports et au-dessus des douzaine des types terrains s'échelonnant des watercurrents aux explosifs
· Les palettes de niveau faites sur commande de supports peuvent charger ainsi des niveaux de pratiquement n'importe quel jeu caveflying tel que la V-Aile ou les ailes
· Offres spéciales de niveau telles que des chutes de neige, des créatures, des automatique-tourelles et des sauter-grilles
· Clavier de supports et entrée de gamepad
· Effets sains et musique de fond par bibliothèque de SDL_mixer
· Transparence et effets d'anticrénelage par bibliothèque de SDL_gfx
· Peut employer des fontes de Truetype par la bibliothèque de SDL_ttf
· Multiplate-forme : supports Windows et Linux

OpenSwarm traite votre modèle d'UML 2.0 pour produire d'une application serveur de python.

Il fournit facilement la logique personnalisable d'affaires basée sur le python et le PostgreSQL. Selon les exigences de la norme de MDA, OpenSwarm emploie UML (version 2.0 enregistrée en tant que XMI 2.1).

FLASH-PLAICE est un instrument de développement en circuit puissant qui combine les caractéristiques d'un programmeur instantané, d'un émulateur, et d'un analyseur de logique multivoie à grande vitesse dans un dispositif. Le projet exécute l'uClinux.

L'analyseur de logique comporte jusqu'aux régimes de prélèvement 200MHz et à jusqu'à 32 glissières d'entrée. Le soutien de caractéristiques de client java d'analyseur de logique jusqu'derrière des régimes de prélèvement 200MHz, des fonctionnements de filtrage dépendants de l'utilisateur, de la ligne de temps dans le tableau, des méta-données (taille, régime, et position de déclenchement) enregistrées dans les dossiers, d'une commande d'identification pour l'identification de dispositif, du taux de transfert configurable de port série, des modes configurables de retrait d'usager (niveau logique, valeur hex, et étendue), et de l'accès de client java par l'intermédiaire de presque tout PC avec un port série.

Le client java emploie la bibliothèque séquentielle de RXTX avec le support pour 34 plates-formes comprenant Linux, Windows, et Solaris. Les connexions de client java analyseur de protocole comprennent de SPI et d'I2C bus, analyse de calage à la conversion d'analyse de condition, et fonctionnements de post-traitement.

Molle est un tireur d'epreuves de cross platform pour la logique modale. Il exploite la méthode sémantique modale de tableaux.

Le projet de Molle comporte une surface adjacente graphique très utilisable, avec une représentation interactive des modèles produits.

Jeu : : Durée - jeu de Conways de pièces de durée.

SYNTHÈSE

jeu d'utilisation : : Durée ;
mon $game = jeu neuf : : Durée (20) ;
mon $starting = [
[1, 1, 1],
[1, 0, 0],
[0, 1, 0]
] ;

$game->place_points (10, 10, $starting) ;
pour (1..20) {
mon $grid = $game->get_grid () ;
foreach (@$grid) {
carte d'impression {_ de $ ? X : . } @$_ ;
impression « n » ;
}
impression « nn » ;
$game->process () ;
}

Le jeu de Conways de la durée est un exemple fondamental de trouver les configurations vivantes dans les rulesets plutôt fondamentaux (voir les NOTES). Le jeu de la durée a lieu sur un 2-D réseau rectangulaire, avec chaque remarque de réseau étant vivante ou morte. Si une remarque de réseau vivante a 2 ou 3 voisins dans les 8 remarques de entourage, la remarque demeurera vivante dans le prochain rétablissement ; tous les moins ou plus la détruiront. Une remarque de réseau morte deviendra vivante s'il y a exact 3 voisins vivants à elle. Avec ces règles simples, des structures fascinantes telles que les planeurs qui se déplacent en travers du réseau, les canons de planeur qui produisent de ces planeurs, les grilles de XOR, et d'autres ont été trouvés.

Ce module fournit simplement une voie de simuler le jeu de la durée dans le Perl.

En termes de systèmes du même rang comme utilisés dans les place_points, toggle_point et d'autres fonctionnements, le premier coodinate est le sens vertical, 0 étant le sommet de la carte, et la seconde est le direaction horizontal, 0 étant le côté gauche de la carte. Ainsi, balancer la remarque de (3.2) commutera la condition de la remarque dans la 4ème rangée et le 3ème fléau.

Les rebords de la carte sont actuel réglés en tant que « plat » ; les cellules sur le rebord n'ont aucun voisin, et tomberont ainsi la carte. Les versions futures peuvent tenir compte des rebords de chaîne (si une cellule écarte le côté gauche qu'elle se représente sur le côté droit).

TCLP est un type préscriptif système pour la programmation de logique de contrainte, actuel :

OIN-Prolog
GNU-Prolog
Prolog de Sicstus et ses bibliothèques
Bibliothèques de programmes de Contraints de Prolog de Sicstus

Basé sur des régimes tapants de logique de contrainte par François Fages et Emmanuel Coquery. Tourillon de théorie et de pratique de la programmation de logique TPLP 1 (6)., Pp. 751-777. Novembre 2001. Procurable comme picoseconde.

TCLP emploie le genre 3 de polymorphisme :

polymorphisme paramétrique (par exemple : liste (A))
subtyping (par exemple : liste (A) < condition)
surcharge (également appelée le polymorphisme ad-hoc)
par exemple : - /2 peut avoir le type international * international - > international et taper A * B - > les paires (A, B)

Utilisable :

Aucun type déclaration n'a exigé !
taper l'inférence pour des attributs
types de défaut pour des symboles de fonctionnement
Extensible à d'autres dialectes par la fourniture tape pour établir-Institut central des statistiques

TCLP est mis en application dans Prolog/CHR.

Ce qu'il y a de neuf dans ce desserrage :

· Ce desserrage a ajouté la possibilité pour ajouter le type pseudonymes.
· C'est-à-dire, pour déclarer et employer des noms comme les raccourcis pour saisit le type déclarations.