[Loulou 54]

Bonjour à tous !

Aujourd'hui sort enfin ABA Logique Nspire 2 ! Une mise-à-jour attendue !
Pourquoi ?
Peut-être parce-que j'avais dit en août que le code était bientôt fini et que j'allais sortir ça courant septembre ?
Certes. Le programme était pourtant prêt à la fin août, mais ... rentrée en école d'ingé, etc ... flemme.. documentation à écrire..

Bref. C'est aussi et surtout parce-que la version précédente ne fonctionnait pas sur OS 3.2 et supérieur !
Il fallait donc réparer cela.. et dans l'entrain, j'ai apporté de nombreuses modifications importantes !

Mais tout d'abord qu'est-ce que ABA Logique Nspire ?

C'est un programme entièrement consacré à la logique booléenne. Il propose de nombreuses fonctionnalités sur les équations logiques : tracer les différentes tables de vérité ou de Karnaugh d'une équation, déduire, à l'inverse, l'équation d'une table fournie, simplifier au maximum une équation logique, transformer une équation logique de manière à n'utiliser que des portes NAND (NON ET), ...
Tout cela dans un effort d'ergonomie et d'efficacité. La première version de ce programme a remporté le concours Nspire-Lua 2011.


Alors, quelles sont donc ces nouveautés ??

=> Le gros morceau étant la programmation d'un nouveau moteur de simplification ! Il s'agit d'un système par tableaux de Karnaugh, et non plus d'une simplification algébrique, réservée aux Nspire CAS, et qui avait quelques points faibles..

Les caractéristiques de ce nouveau moteur de simplification, toujours pour des équations allant jusqu'à 6 variables, sont les suivantes :

- propose une simplification très poussée, plus rapide et plus fiable

- le résultat simplifié peut se présenter sous deux formes : la forme normale disjonctive (somme de produits, obtenue en regroupant les 1) et la forme normale conjonctive (produit de sommes, obtenue en regroupant les 0).

- ces deux résultats sont aussi factorisés selon le * ou le + pour réduire encore le nombre de termes. (cette factorisation ne fait pas appel au CAS)

26-01-2014 Écran067.png

26-01-2014 Écran068.png

- les blocs de simplification et leur équation associée sont présentés ensuite de manière interactive sur le tableau de Karnaugh !

26-01-2014 Écran069.png

26-01-2014 Écran070.png

- prise en charge des états indéterminés (les « don’t care », notés « ϕ ») de manière optimale. (cf : capture au-dessus)

- compatibilité complète avec les Nspire non-CAS et les OS récents.


=> La gestion de l'historique a aussi été revue avec notamment une numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes.

26-01-2014 Écran072.png

=> Lors de la saisie des tables de vérité ou de Karnaugh, quelques fonctions supplémentaires sont apparues permettant d'inverser la table, de la remplir avec des états indéterminés (ϕ), ou encore de charger la table de l'équation en cours.

26-01-2014 Écran066.png

=> Enfin, les nouveaux opérateurs logiques apparus sur l'OS 3.2, c'est-à-dire l'implication "=>" et l'équivalence "<=>", sont aussi supportés ! (Évidemment uniquement sur OS>=3.2)

Opérateurs spéciaux.png

ABA Logique est encore une fois accompagnée d'une documentation détaillée. Il y a notamment une activité de découverte du logiciel : il s'agit de résoudre quatre exercices de logique type à l'aide de ABA Logique. C'est une bonne manière de voir quelles sont les différentes utilisations d'ABA Logique et d'apprendre toutes les astuces, tout en s'entraînant en logique booléenne ! La résolution est accompagnée de captures d'écrans.

Voici donc le lien de téléchargement ultime !

ABA Logique Nspire 2

A bientôt sur TI-Planet !!

[NspireCas]

Bonsoir,

Si vous êtes en Terminales S, vous êtes sûrement en train d'étudier les intégrales/primitives (enfin, je l'espère ).
Aussi, vous avez dû découvrir le programme SINT qui sert à intégrer vos fonctions. le programme nécessite une Nspire version CAS.

Mais aujourd'hui, c'est un autre super programme d'intégrales que je vous propose. Un peu moins intelligent que SINT, mais tout de même très efficace .

Au programme (pardonnez le jeu de mot): primitives pas à pas pour une fonction de la forme u'*u^n

Show/Hide spoilerAfficher/Masquer le spoiler

Primitives de fonctions fractionnées, c'est-à-dire f(x)=u'/u ; u'/u^n ; u'/sqrt(u) en un seul programme !
Screenshoots:

Show/Hide spoilerAfficher/Masquer le spoiler

Primitives avec e^x , sin(x) , cos(x) en trois programmes différents :

Show/Hide spoilerAfficher/Masquer le spoiler

Vous n'avez plus qu'à recopier .

Il y aussi un programme pour calculer une intégrales pas à pas (mais pas la primitive) :

Show/Hide spoilerAfficher/Masquer le spoiler

Un programme pour trouver LA primitive avec x0 et y0 :

Show/Hide spoilerAfficher/Masquer le spoiler

Un programme pour calculer la valeur moyenne d'une fonction :

Show/Hide spoilerAfficher/Masquer le spoiler

Avec ce pack de programmes d'intégrales, soyez tranquilles le jour du DS

Liens :

Pack intégrales

[critor]

19 janvier - cette date ne vous dit rien ?
C'est pourtant la date de sortie de Ndless 3.1, le jailbreak permettant d'exécuter des applications tierces sur TI-Nspire !
Ndless 3.1 a donc aujourd'hui 2 ans, et nous lui souhaitons un joyeux anniversaire, ainsi qu'à son auteur ExtendeD !

Espérons qu'ils sauront nous revenir très bientôt avec une version compatible avec les systèmes TI-Nspire 3.2 ou ultérieurs.

[critor]

Les calculatrices Texas Instruments sont garanties sur une durée de 3 ans pour les modèles scientifiques et graphiques, et 2 ans pour les autres.

Toutefois, la garantie ne prend pas en charge les pannes qui sont dues à des accidents, et notamment le bris de l'écran.

Sur les anciens modèles graphiques monochromes, l'écran était souvent fortement collé à la carte et connecté à l'aide d'une nappe non amovible. Autrement dit, même si vous arriviez à vous procurer un écran compatible, vous n'en aviez pas fini et deviez vous taper le fer à souder pour aligner parfaitement des dizaines de soudures séparées de parfois moins d'un millimètre !
Autrement dit en cas de bris d'écran, votre calculatrice était bonne pour la poubelle...


Toutefois avec la TI-Nspire CX les choses ont changé, l'écran n'étant plus solidaire de la carte et désormais parfaitement amovible !
L'écran est en effet relié à la carte mère par une nappe enfichée dans un connecteur de nappe fort utilisé actuellement dans les appareils mobiles. Il suffit d'en faire pivoter le levier à 90° pour verrouiller ou déverrouiller.

On peut ainsi débrancher l'écran de la carte mère très facilement après déverrouillage du connecteur de nappe:


Et le reconnecter à une autre carte mère tout aussi facilement:




Mais où peut-on trouver un écran compatible TI-Nspire CX ?

Dans une actualité précédente, nous t'informions de la possibilité d'acheter des pièces détachées de TI-Nspire CX sur des magasins de vente en ligne chinois, dont les anciennes versions des cartes mères compatibles Ndless 3.1, avec un stock assez important proventant certainement d'une façon ou d'une autre de l'usine Texas Instruments (vol ou récupération parmi les déchets probablement).

Et bien la même boutique propose désormais l'écran TI-Nspire CX en vente lui aussi, avec un stock actuel de 197 pièces au coût actuel de 100 yuans l'unité (soit environ 12€) !

Bien que présenté ci-contre en fonctionnement, l'écran est bien évidemment vendu sans la carte mère et il vous faudra donc en procéder au remplacement comme illustré ci-dessus.



De quoi redonner littéralement vie à moindre coût à ta TI-Nspire CX accidentée !


Lien & source : http://item.taobao.com/item.htm?spm=a23 ... 576473009#

[critor]

Dans une actualité précédente, nous réparions une grande injustice que subissaient les possesseurs des nouvelles calculatrices TI-Nspire CX anti-Ndless 3.1 commercialisées depuis la rentrée 2013, avec notre outil en ligne révolutionnaire, mViewer GX Creator.

Cet outil te permettait de convertir tout groupe de documents PDF et images en un document TI-Nspire avec une image défilable (scrollable) et zoomable par page !

En cela, ces utilisateurs si longtemps privés obtenaient des fonctionnalités similaires à celle du programme Ndless mViewer CX 4.1, et parfois même supérieures avec le support du multi-pages, et, cela va sans dire, infiniment supérieures à celles du lecteur d'images, si tant est que l'on puisse se permettre de le nommer ainsi, inclus par défaut avec le système TI-Nspire.



Certains d'entre vous nous avaient signalé des problèmes de mémoire.
Cela dépendait bien évidemment de la résolution de l'image ou du PDF, ainsi que du nombre de pages.

Par exemple, si l'on utilise des images de format A4 en orientation portrait et en 640 pixels de large (ce qui permet habituellement une bonne lisibilité, même sur les documents PDF où c'est écrit en petit), la TI-Nspire CX affichera correctement des documents mViewer GX de 7 pages, et signalera une erreur de mémoire sur la dernière page d'un document de 8 pages.

Mais le problème, c'est que plus l'on met de pages, plus l'utilisation simultanée de mémoire est forte, et plus l'erreur de mémoire se produit tôt. Par exemple si l'on prend le même document avec 16 pages, c'est autour de la 4ème que se produira la première erreur de mémoire et seules les 3 à 4 premières pages seront visibles.



Pour remédier à cela et vous garantir des documents utilisables lors de vos examens, plusieurs changements ont été apportés à l'outil en ligne mViewer GX Creator.

D'une part, les documents 'propres' sont désormais automatiquement rognés afin de se concentrer sur le contenu utile qui occupera moins de place ou aura une meilleure visibilité.
Pour le rognage de documents scannés il vous suffit d'entrer un pourcentage de marge d'erreur non nul.

D'autre part, le nombre maximal de pages dans un fichier TI-Nspire est désormais fixé à 6 par sécurité.
Cela ne veut pas dire que vous ne pourrez pas convertir de document PDF de plus de 6 pages, bien au contraire. En fait, l'outil vous générera une archive contenant plusieurs fichiers TI-Nspire avec jusqu'à 6 pages chacun.


Enfin, dans le format TI.Image utilisé par le langage TI-Nspire Lua, la couleur d'un pixel est normalement codée avec 8 caractères. (ce qui est monstrueusement déplorable, j'en conviens parfaitement)
Selon la valeur de cette couleur, dans plusieurs cas particuliers il est possible d'utiliser moins de caractères selon différentes astuces: 6, 5 ou parfois même 2 caractères.

mViewer GX Creator dispose d'un nouveau champ permettant une compression à perte pour économiser de la mémoire, sous la forme d'une valeur allant de 0 à 96 et réglée par défaut à 3.
Le compresseur se permet de remplacer une couleur par une couleur proche, à condition que celle-ci soit codée avec moins de caractères.

La valeur indiquée représente en fait un maximum de décalage par couleur:

• 0 indique une absence de compression car aucun décalage n'est permis
• 3 est la valeur par défaut actuelle, permettant un décalage de 3 unités sur 32 sur un canal rouge/vert/bleu, ou bien d'1 unité sur 32 sur tous les canaux
• 96 est le décalage maximum, produisant bêtement une image toute blanche, le blanc étant la meilleure couleur en Lua puisque ne nécessitant que 2 caractères si on le considère comme du transparent

C'est donc une compression par altération de couleurs, qui sera particulièrement adaptée aux documents PDF 'propres' (non scannés), documents qui en dehors de quelques illustrations présenteront de larges zones de couleur unie et un nombre relativement faible de couleurs différentes.

Elle sera par contre inadaptée à la conversion d'images de qualité photographique, présentant ainsi nombre de couleurs et de dégradés. Cela ne semble pas être l'usage majoritaire de l'outil, mais il suffit dans ce cas-là de passer la valeur de 3 à 0 pour éviter la dégradation d'image visible ci-dessous sur le dégradé du ciel:


Comme vous pouvez le remarquer, le reste de l'image semble paradoxalement correct. En effet, ce n'est pas une dégradation uniforme de l'image, puisque le compresseur cible des marges d'erreur autour de certaines valeurs de couleur bien spécifiques - et c'est hélas le contraste ainsi créé qui choque sur une image photographique.
Rajoutons à cela que le format TI.Image utilise des couleurs au format ARGB-1555 (5 bits par canal de couleur, soit 32 valeurs), et qu'un simple décalage d'une unité a donc des conséquences visuelles bien plus lourdes que dans le format usuel RGB-888 (8 bits par canal de couleur, soit 256 valeurs).





Comment faire donc, pour remédier à ce problème de mémoire si vous avez déjà généré un document mViewer GX avec beaucoup trop de pages ? Rien de plus facile, nous avons déjà tout prévu pour vous - nul besoin de vous retaper tout le remplissage du formulaire !
Il vous suffit tout simplement via le menu illustré ci-contre de lister vos fichiers déjà générés sur le site, de les éditer et de valider directement la regénération avec l'un des deux boutons d'action en bas du formulaire que vous connaissez bien sans avoir besoin de rien y changer.
Le fichier alors téléchargé disposera de toutes les nouvelles fonctionnalités décrites ci-dessus !




Nous continuons de notre côté à rechercher divers moyens pour faire économiser la mémoire de la calculatrice à notre script Lua, espérant ainsi pouvoir repousser la limite du nombre de pages affichables simultanément sans erreur mémoire dans un unique document TI-Nspire.
Si nous y arrivons, il suffira de mettre à jour votre document avec le nouveau script par une simple édition comme décrit ci-dessus.

Bonne continuation sur TI-Planet



Liens :
mViewer GX Creator
Le format TI.Image du langage TI-Nspire Lua