[critor]

En juin 2013, nous vous lancions un grand concours de programmation TI-Nspire. Le sujet mélangeait l'intelligence artificielle, thème qui semble revenir à la mode ces derniers mois à nombre d'examens ou concours, avec un objet mathématique particulier dont l'enseignement en lycée est réservé aux Terminales ES spécialité mathématique, les graphes.

Il fallait résoudre le célèbre problème dit "monde du Wumpus" dans un labyrinthe généralisé sous la forme d'un graphe circulaire. Le labyrinthe ainsi représenté pouvait selon les cas aussi bien découler d'un univers en deux dimensions qu'en trois dimensions, quatre ou même plus encore! Et oui, sans le savoir, vous avez peut-être déjà dépassé les frontières de l'Univers connu !

Nous avons reçu 10 intelligences artificielles de votre part. En y rajoutant la mienne développée à des fins de test, ainsi que TI-Bot qui a souhaité concourir malgré tout avec l'IA aléatoire fournie par défaut avec l'interface, nous en sommes donc à 12:

• AnToX98
• compu
• critor
• David E.
• Extra44
• fortytwo
• le solutionneur
• Max G.
• mdr1
• oakwood
• TI-Bot
• zero44

Vos IA ont été évaluées de façon automatisée grâce à la technologie TI-Nspire Navigator par un cluster de calculatrices TI-Nspire qui au plus fort de son activité a compté jusqu'à 42 unités équipées de leur module WiFi, et toutes munies des OS 3.2.3 ou 3.2.4.
Nous tenons d'ailleurs à remercier Texas Instruments France pour le prêt de cette technologie, sans laquelle nous aurions eu besoin de beaucoup plus de temps.

Vos IA ont été testées sur 7 types de labygraphes différents, des plus petits et simples aux plus gros et compliqués:

• n=10, d=10, p=10
• n=10, d=20, p=10
• n=10, d=20, p=20
• n=20, d=20, p=20
• n=20, d=30, p=20
• n=20, d=30, p=30
• n=30, d=30, p=30

Mais comment savoir si votre IA est meilleure ou pas que celles des autres? Nous avons utilisé le principe statistique de la loi des grands nombres, en lui faisant répéter pour chaque type de labygraphe plusieurs dizaines à plusieurs centaines de milliers de parties. En effet, pour un échantillon suffisamment grand, la moyenne obtenue finit par converger vers les valeurs théoriques caractéristiques de vos performances.

Restait encore un dernier petit point à résoudre: quand s'arrêter, la convergence ayant mathématiquement lieu pour une taille infinie. Et bien pour chaque type de graphe, chaque IA a en fait été testée deux fois, sur deux machines différentes. Les performances n'étaient relevées que lorsque les deux machinent finissaient enfin par produire des valeurs identiques ou similaires.



Certaines des IA reçues n'étaient au départ pas directement évaluables sur le cluster à cause de divers problèmes. Lorsque ces problèmes pouvaient être corrigés de façon générique sans rien changer au fonctionnement ou aux performances de l'IA, nous l'avons fait.

• désactivation du mode automatique en cas d'impossibilité de résoudre un graphe (instruction de debug)
• instructions d'affichage dans la console (debug encore) qui en comptant l'évaluation de leurs paramètres ralentissaient énormément la machine, et pouvaient même parfois épuiser la mémoire
• boucles infinies 'while' ou 'repeat' sur certains graphes

Les instructions des deux premiers points ont été commentées. Les boucles while/repeat ont reçu un compteur faisant échouer la partie courante si l'on dépasse un certain nombre d'itérations très grand, fixé à n*d, permettant ainsi de tuer les boucles infinies et de poursuivre l'évaluation.
Les fichiers éventuellement corrigés et tels qu'utilisés pour l'évaluation sont téléchargeables ci-dessous.

D'autres IA hélas, ont des problèmes d'optimisation dus au fonctionnement interne de l'IA et ne rentrent donc pas dans la catégorie ci-dessus:

• épuisement de la mémoire disponible qui fait redémarrer la calulatrice TI-Nspire (ou planter le logiciel TI-Nspire), la taille des données à stocker en mémoire augmentant beaucoup trop vite à chaque coup
• ralentissement de l'exécution, par la croissance exponentielle de la taille de l'univers de réflexion (salles voisines, puis voisines des voisines, et etc...)

Pour ces rares IA, nous avons hélas été contraints de les déclarer inévaluables sur certains types de graphes.



Voici donc ce soir enfin venue l'heure des résultats!

Avant d'aller plus loin, je tiens à féliciter tous les participants, et particulièrement le public lycéen. Vous avez su vous approprier un problème complexe de niveau universitaire, faisant l'objet de nombreuses recherches et thèses, et je suis fier de vous tous!
Je citerai à ce sujet notre regretté Albert Barillé:
« Donner à nos enfants le désir de savoir, éveiller leur curiosité. Les traiter aussi en personnes à part entière, qui comprennent bien plus que ne le croient les adultes. Vous les fortifierez ainsi et ils vous en sauront gré. »



Voici donc l'ensemble des résultats fournis par notre cluster de TI-Nspire:

• En 12^ème position, nous avons donc la participation honorifique de TI-Bot avec l'IA aléatoire par défaut. On l'applaudit tous bien fort!
• A la 11^ème place, nous félicitons donc David E., qui arriver à doubler voir même tripler les performances de TI-Bot!
• En 10^ème position, compu arrive à faire encore mieux. Bravo!
• En 9^ème position, voici donc mon IA de test. Bien qu'étant parmi les meilleures sur de petits graphes, l'algorithme de recherche du plus court chemin (Dijkstra) nécessite rapidement beaucoup trop de mémoire, et la rend hélas inévaluable à partir de n=20, d'où la perte de points.
• En 8^ème, le solutionneur est notre premier gagnant qui recevra 4 stickers TI-Planet. Bien joué!
• A la 7^ème place, zero44 était bizarrement mal parti sur de petits graphes faciles mais s'est vite rattrapé. Il remporte un bloc notes Texas Instruments ainsi que 2 stickers TI-Planet. Bravo!
• En 6^ème position, mdr1 a une IA qui comme la mienne est excellente sur de petits graphes, mais devient rapidement inutilisable sur des situations plus complexes. Il recevra un stylo USB Texas Instruments accompagné de 2 stickers TI-Planet.
• 5^ème, AnToX98 pourra choisir parmi son lot parmi nos posters Texas Instruments, et recevra également deux stickers TI-Planet.
• Max G. nous ouvre la tête de peloton en 4^ème place. Notons que son IA était la meilleure sur les deux premiers types de labygraphes, mais se laisse hélas ensuite progressivement dépasser et dispenser. Il recevra une calculatrice TI-82 Stats.fr ainsi que deux stickers TI-Planet.
• Et voici maintenant le trio de tête très serré avec tout d'abord fortytwo qui arrache la médaille de bronze. Il gagne une calculatrice TI-83 Plus.fr USB accompagnée de deux stickers TI-Planet.
• Médaille d'argent pour oakwood qui recevra une calculatrice TI-84 Plus C Silver Edition couleur avec deux stickers TI-Planet.
• Notre grand médaillé d'or ce soir dont l'IA avait bizarrement mal commencé mais dépasse finalement tous les autres, Extra44, remporte la calculatrice TI-Nspire CX CAS couleur compatible Ndless, ainsi que deux stickers TI-Planet.

Encore merci à tous pour cette superbe aventure, et à très bientôt pour un nouveau concours!



Téléchargements :

• IA de mdr1
• IA de compu
• IA de fortytwo
• IA de David E.
• IA de Extra44
• IA de Max G.
• IA de Le Solutionneur
• IA de oakwood
• IA de Zero44
• IA de AnToX98
• IA de critor
• IA de TI-Bot

[critor]

Dans une actualité précédente nous te signalions la publication d'un livre numérique de niveau Terminale S pour enseigner la spécialité ISN (Informatique et Sciences du Numérique) avec la technologie TI-Nspire Lua.

Toutefois, nous émettions quelques doutes quant au succès de cette technologique dans ce contexte. Le choix du langage de programmation relève certes encore de la liberté pédagogique de l'enseignant, mais les nouveaux programmes de prépa en application depuis cette rentrée 2013 poursuivent l'étude de l'algorithmique initiée au lycée en imposant cette fois-ci un langage de programmation: le Python. Sauf besoin spécifique, cela devrait logiquement pousser de plus en plus de professeurs du secondaire à initier directement leurs élèves au Python plutôt qu'à un autre langage de programmation afin de mieux les préparer à la poursuite d'études.

Ce livre numérique n'en restait pas moins intéressant et de qualité, regorgeant de projets différents pouvant être mis en oeuvre avec les élèves.
Parmi les projets, il y avait celui du robot-aspirateur Snoop. Le problème du robot-aspirateur consiste:

• dans un premier temps à explorer l'environnement et s'y familiariser


• pour dans un second temps le parcourir de façon optimisée en minimisant les trajets tout en ne négligeant aucune zone


• enfin dans un troisième temps à revenir à sa base pour se recharger

Il y a donc une phase d'apprentissage pour le robot, et cela relève donc de l'intelligence artificielle. Le livre numérique vous proposait de télécharger une interface de simulation du robot Snoop pour TI-Nspire, hélas non fonctionnelle. En effet, il était laissé en exercice de la compléter avec sa propre IA.

Aujourd'hui, fort de sa participation à notre propre concours d'intelligence artificielle, AnToX98 vous publie une version fonctionnelle de cette interface puisqu'il y a inséré sa propre IA. Cette IA ne retient rien et ne réfléchit pas, relevant plus du réflexe qu'autre chose. Elle se contente d'avancer en ligne droite jusqu'à la rencontre d'un obstacle, suite à quoi elle va changer de direction en tournant d'un angle aléatoire. Si l'on patiente suffisamment longtemps, elle finira par parcourir la totalité de votre logement. Ne retenant rien, elle n'est pas optimale et pourra aller heurter plusieurs fois le même obstacle.En pratique, une telle IA ne s'engagera pas souvent dans des corridors non périphériques. Il s'agit tout bonnement de l'IA basique minimale, que vous pourrez avoir le plaisir d'améliorer via nombre de méthodes à inventer et développer.


AnToX98 prévoit de présenter son IA Snoop dans l'interface ci-dessus lors de son oral de TPE de Première S. Il est effectivement conforme à l'esprit des textes de présenter un support pratique, et notamment une simulation ou expérience dans les séries scientifiques. Nous le félicitons pour cette initiative originale et passionnante, et espérons que le jury en sera également satisfait.

Il était possible de brancher les calculatrices graphiques des gammes TI-z80 et TI-68k munies d'un port mini-Jack sur un véritable robot, le TI-Robot. Hélas, ce port a disparu sur les TI-Nspire et le périphérique en question n'a jamais été adapté en conséquence. Il est fort dommage de devoir s'arrêter là en si bon chemin, car nous avions déjà tout ce qu'il fallait pour que la TI-Nspire se ballade réellement dans la salle et en reconstruise le plan avec l'organisation des tables et chaises à son écran.

Téléchargement : Interface Snoop + IA basique

Lien : Chapitre d'initiation à la robotique dans le livre numérique d'ISN

[critor]

Nous avons récemment vu que les prototypes de nouvelles calculatrices TI recevaient une appellation temporaire lors de leur phase de développement.

Nous avions déjà appris que les prototypes de TI-Nspire CX numériques étaient appelées au départ TI-Nspire Color. Plus récemment, la communauté chinoise cnCalc.org nous faisait découvrir les prototypes de TI-Nspire CX CAS, qui s'appellaient plus simplement TI-Nspire CAS malgré la couleur.


Aujourd'hui, la communauté cnCalc.org a enfin reçu un tel prototype, et nous en réalise un test complet. On remarquera déjà qu'il dispose bien au dos de la fente permettant l'accès au port J04/JTAG, mais qu'aucun connecteur n'est soudé sur cet emplacement.

Au niveau logiciel, on note l'ancienne version noir/blanc/vert des graphismes de démarrages, un OS (Operating System, soit système d'exploitation) en version 3.0.1.1651, un Boot1 en version 3.0.0 et un Boot2 en version 3.0.126.

Passons maintenant au matériel. La carte du connecteur Dock/J01 à gauche est une "Firebird_Color_BTB_EVT_2410" contre "Firebird_Color_BTB_EVT1.2_2412" sur les premières TI-Nspire CX de production. Agrandissons un petit peu la carte écran qui concentre l'ensemble de l'électronique. Contrairement aux premières TI-Nspire CX de production, la mémoire NAND Flash de 128Mo n'est pas de chez Samsung. C'est une JW387 de chez Micron. Comme sur notre prototype TI-Nspire Color, la puce ASIC n'est pas la "ET-LC2010B-0" des modèles de production, mais une "ET-NS2010A-0". Une différence est que cette dernière ne comporte que 32Mo de mémoire vive SDRAM au lieu de 64Mo.

Finalement si on retourne la carte, on se rend compte que c'est la même référence que sur notre prototype TI-Nspire Color: "Firebird_Color_MB_6412", les premiers modèles de production étant signalés avec des cartes "Firebird_Color_MB_6421". On y remarque une puce supplémentaire Flash NOR de chez MXIC absente des modèles de production et contenant le Boot1. Le Boot1 n'étant ici pas interne à l'ASIC mais externe sur une puce de plus documentée publiquement, il est possible de le reprogrammer comme nous l'avons déjà fait sur les premières TI-Nspire ClickPad de 2007 qui présentaient la même configuration. Cette manipulation permet de faire en théorie ensuite absolument tout ce que l'on veut de la machine, le Boot1 étant la pierre angulaire de la sécurité TI-Nspire.



Source : http://www.cncalc.org/thread-9558-1-1.html

[critor]

Jusqu'à présent, pour récupérer un fichier PDF sur TI-Nspire il fallait au préalable le convertir en images.
Ces images pouvaient ensuite être lues avec le lecteur d'images mViewer.

Les choses sont enfin sur le point de changer, et de façon révolutionnaire!
Legimet sur Omnimaga a réussi à porter la bibliothèque MuPDF pour TI-Nspire.

Un premier programme TI-Nspire basique réalisé avec cette bibliothèque convertit la première page des fichiers PDF en une image PNG qu'il suffit alors d'ouvrir avec mViewer.

Certes, ce programme en lui-même ne présente pas un grand intérêt. La conversion que l'on effectuait sur ordinateur a juste été déplacée et est maintenant effectuée plus lentement sur calculatrice.
Non, l'intérêt est dans la bibliothèque MuPDF dont ce programme prouve le bon fonctionnement, et qui devrait permettre de concevoir un véritable lecteur de fichiers PDF gérant entre autres la pagination!

Rappelons hélas qu'il s'agit de programmes Ndless, et que ceux qui sont munis de calculatrices TI-Nspire CX en révision matérielle J ou ultérieure ne pourront pas en bénéficier.


Source : http://www.omnimaga.org/index.php?topic=15479.15

[critor]

Dans une actualité d'avril 2013, la communauté chinoise cnCalc.org nous faisait découvrir une mystérieuse TI-Nspire CX.
En apparence la coque extérieure était identique aux modèles commercialisés avec un numéro de série normal annonçant une révision matérielle C, mais présentait au dos une étrange étiquette :

Code: Select all

NSC 4+4 Layer
Test Sample: # 30
Job Number s120202
Test Item:ESD

Ce ne serait apparemment ni un prototype ni un modèle de production... L'étiquette suggérait un changement matériel avec un passage de la carte mère de 4 à 8 couches.
Effectivement, l'intérieur nous révélait une carte mère différente de la révision matérielle C et déjà similaire avec la future sinistre révision matérielle J :

• retrait du connnecteur J04/JTAG
• format différent de la référence de carte mère en "NSC_CR_MB_44xx" au lieu de "Firebird_Color_MB_64xx"

TI-Nspire CX révision C	TI-Nspire CX 4+4 layers (test)	TI-Nspire CX révision J

Effectivement, il est compréhensible pour TI de ne pas appeler cela un prototype puisqu'il s'agit d'un modèle déjà sorti. Peut-être peut-on parler de modèles de test dans le contexte de révisions matérielles.
Il y aurait donc:

• les prototypes EVT/DVT/PVT avant la sortie d'un modèle
• les versions de production commercialisées
• les modèles de test pour les changements de matériel une fois le modèle sorti

En pratique, cela ne change pas grand chose pour nous et l'intérêt d'un modèle de test est aussi élevé pour nous que celui d'un prototype.
On peut dire pour simplifier que les modèles de test sont les prototypes qui sortent après le début de la commercialisation d'un modèle.
Si nous avions compris plus tôt de quoi il s'agissait, nous aurions peut-être pu anticiper la sortie de la révision matérielle J...

Aujourd'hui, les chinois ont réussi à arracher un nouveau modèle de test inestimable à l'usine TI, cette fois-ci une TI-Nspire School Property:

Le boîtier est parfaitement normal et annonce de façon tout-à-fait anodine une révision matérielle A. Mais on ne s'y trompe pas avec l'étiquette au dos, c'est bien un modèle de test:

Code: Select all

P3 Rework
Job Number:S080214
QA SAmple (48units): 007
Test Item:ELEC

L'on commence à comprend un peu mieux ce que raconte cette étiquette:

• la première ligne serait un code identifiant le modèle et décrivant les modifications apportées au matériel:
  
  • dans "NSC 4+4 layer", NSC veut dire TI-Nspire Color
  • dans "P3 Rework", P3 est le nom de code des TI-Nspire ClickPad non-CAS (P1R2 étant le code des TI-Nspire ClickPad CAS, et P1 celui des TI-Phoenix 1 / TI-Nspire CAS+)
• le "Job Number" serait en fait une date: 2 février 2012 pour la CX de test 4+4 layers et ici 14 février 2008 pour cette TI-Nspire ClickPad, ce qui est parfaitement cohérent avec l'âge des deux modèles
• le "sample" indiquerait le numéro de production de l'unité de test et éventuellement la taille de l'échantillon: la CX de test 4+4 layer serait la 30ème, et ici cette TI-Nspire ClickPad serait la 7ème sur un échantillon de 48 unités
• restait enfin le "Test Item", ici ESD ou ELEC

L'étiquette suggèrerait ici une révision importante de la carte mère P3 (TI-Nspire ClickPad non-CAS) après la révision matérielle A.
Effectivement, sur les versions matérielles initiales et A de la TI-Nspire ClickPad non-CAS, le Boot1 est inclus dans une puce mémoire Flash-NOR externe, et il suffit d'une simple soudure pour virer sa protection contre l'écriture, ouvrant ainsi toutes les portes.
Cette faille fut toutefois rapidement comblée avant même d'être exploitée, puisque dès la révision matérielle C cette puce disparaît, et le Boot1 se voit alors intégré à la grosse puce ASIC propriétaire que l'on ne sait pas manipuler.
Resterait à ouvrir pour confirmer que c'était bien en prévision de cette révision matérielle C qu'est sorti ce modèle de test.

Source : http://www.cncalc.org/thread-9552-1-1.html