Le Forum de l'Alliance Francophone

Boinc et les projets distribués => Mathématiques => Discussion démarrée par: Aillas le 10 octobre 2011 à 14:26

Titre: SAT@home
Posté par: Aillas le 10 octobre 2011 à 14:26
(http://sat.isa.ru/pdsat/img/logo.png) (http://sat.isa.ru/pdsat/)


Infos Utiles :




Résumé :


     Le projet vise à résoudre divers problèmes combinatoires. Il y a beaucoup de problèmes pratiques importants pour lesquels l'existence d'algorithmes (polynomiales) efficaces pour leurs résolutions n'a pas été prouvée. La plupart de ces problèmes sont Np-complets. Cela signifie qu'en se basant sur des hypothèses raisonnables (mais non prouvées), ces problèmes ne peuvent pas être résolus en temps polynomial. Cependant, de nombreux de leurs cas particuliers se présentent dans les applications pratiques: divers problèmes d'optimisation discrète (par exemple, la planification de la production) et les problèmes de vérification des dispositifs discrets (se présentant, par exemple, dans la conception de circuits et la démonstration de l’exactitude du programme). Par conséquent, il est très important de disposer de méthodes permettant leurs résolutions qui n'ont pas une complexité polynomiale, mais qui sont efficaces dans la pratique. De telles méthodes peuvent faire face aux nombreux cas particuliers des problèmes Np-complets de grandes dimensions. L'un des plus simple dans sa base, et donc le plus efficace en terme d'implémentations logicielles est l'approche SAT. Cette approche est basée sur la réductibilité du problème considéré comme original vers un problème SAT, qui est le problème de la satisfaisabilité de la forme normale conjonctive (CNF). Les problèmes SAT admettent une forme très naturelle de parallélisme, ce qui permet l'utilisation d'un environnement de calcul distribué. En réalité, la réductibilité vers SAT peut être menée de manière efficace (en fait, elle résulte de la célèbre forme du théorème de Cook-Levin). Pour plus de détails sur les problèmes SAT, voir ici (http://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT).

     La cryptanalyse (http://fr.wikipedia.org/wiki/Cryptanalyse) ( déchiffrer un message ayant été chiffré sans posséder la clé de chiffrement) fournit une classe très intéressante de problèmes pouvant être résolus par une approche SAT. Il convient de noter que nous ne résolvons pas les problèmes de déchiffrement avec des données privées. Tous les tests à l'étude sont générés aléatoirement. À cet égard, notre travail est d'étudier la stabilité des systèmes de cryptage modernes. C'est pourquoi, dans un avenir proche, nous prévoyons de résoudre avec le projet SAT@home des problèmes de recherche de séquences d'initialisation pour A5/1 (http://fr.wikipedia.org/wiki/A5/1) (algorithme de chiffrement) qui ne sont pas couverts actuellement.

     En outre, nous prévoyons d'utiliser SAT@home pour étudier d'autres fonctions de cryptographie et de résoudre certains problèmes "extrêmement complexes" d'optimisation discrète, en particulier le problème d'affectation quadratique (http://en.wikipedia.org/wiki/Quadratic_assignment_problem) (QAP), et certains problèmes de bio-informatique (analyse de modèles discrets de réseaux de gènes).     



Applications CPU :

     Disponible pour Windows (32bits) et Linux (32 et 64bits).
     *Des WUs 32bits seront envoyées aux machines 64bits sous Windows.

Citer
Malheureusement il n'y a pas de librairie MAC OS pour DC-API (cette API (interface de programmation) est utilisée à la place de la version standard de BOINC). J'ai demandé aux développeurs de DC-API de faire une telle version, je l'attends pour le moment.



Dernière Info :

Le 04/06/2012

Citer
New version of application. New experiment
  •     Experiment aimed at solving A5/1 crytanalysis problems successfully ended May 5, 2012 (it took 6 months).
  •     New experiment has started. The goal is to find pairs of orthogonal latin squares of order 9 and 10
  •     Version 1.19 was released.

Citer
Nouvelle version de l'application. Nouvelle expérience.
  •     L'expérience visant à des problèmes de cryptanalyse avec A5/1 s'est terminée avec succès le 5 Mai 2012 (il aura fallu 6 mois).
  •     Une nouvelle expérience a commencée. Le but est de trouver des paires de carrés latins orthogonaux d'ordre 9 et 10
  •     La version 1.19 est maintenant disponible.



mise à jour 04 Juin 2012 par cedricdd.
Titre: Re : SAT@home
Posté par: ousermaatre le 10 octobre 2011 à 14:34
projet d'algorithmes ? section mathématiques ?
Titre: Re : SAT@home
Posté par: [AF>Libristes] Dudumomo le 10 octobre 2011 à 14:39
Projet issu de la meme academie des sciences que le projet Optima@home
http://www.isa.ru/

C'est dommage qu'ils divisent leurs ressources ainsi.
Titre: Re : SAT@home
Posté par: fzs600 le 10 octobre 2011 à 14:52
Aillas   :hello:

Merci pour l'info

Titre: Re : SAT@home
Posté par: [AF>Libristes] nico8313 le 10 octobre 2011 à 14:55
Poly n'a pas encore crée notre team !!! c'est un scandale !!!  :o :o

 :D
Titre: Re : SAT@home
Posté par: [AF>Libristes] nico8313 le 10 octobre 2011 à 15:04
L'AF ici

http://sat.isa.ru/pdsat/team_display.php?teamid=4
Titre: Re : SAT@home
Posté par: samuel debergh le 10 octobre 2011 à 16:10
inscrit j'ai des wu à mi parcours , je verrai bientot ce que ça donne en points.
Titre: Re : SAT@home
Posté par: Jaehaerys Targaryen le 10 octobre 2011 à 19:40
Citer
PDSAT is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization,   bioinformatics, etc) that can be effectively reduced to SAT (http://en.wikipedia.org/wiki/Boolean_satisfiability_problem). Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (http://en.wikipedia.org/wiki/Quadratic_assignment_problem) (hard optimization problem) within the project.

Projet sur la cryptographie ?

Poly n'a pas encore crée notre team !!! c'est un scandale !!!  :o :o

 :D
  :D :D
Titre: Re : SAT@home
Posté par: ousermaatre le 10 octobre 2011 à 19:42
 :hello: Poly, j'ai mis un lien sur le SAT en premier post. 
Titre: Re : SAT@home
Posté par: Jaehaerys Targaryen le 10 octobre 2011 à 19:46
ouaip....  :??: :??: avec mes 2 neurones je comprends presque rien...
Titre: Re : SAT@home
Posté par: [AF>Libristes>Jip]Augure le 10 octobre 2011 à 20:32
Projet issu de la meme academie des sciences que le projet Optima@home
http://www.isa.ru/

C'est dommage qu'ils divisent leurs ressources ainsi.

oui !

pour eux et pour nous (car si au final 500 projets existe => cool  :love: ! mais on sera jamais inscrit sur tous ! :/ ! )...
Titre: Re : SAT@home
Posté par: [AF>Libristes] Dudumomo le 11 octobre 2011 à 01:52
Pour info, je leur ai envoye un mail pour leur demander pourquoi il ne faisait pas directement un projet tiroir vu qu'ils travaillent dans le meme departement.
 :coffeetime:
Titre: Re : SAT@home
Posté par: Infomat le 11 octobre 2011 à 05:40
Inscris dessus et reçu des UT cpu alors que des gpu sont possibles... Mais j'en ai pas encore reçu  :??:
Titre: Re : SAT@home
Posté par: fzs600 le 11 octobre 2011 à 07:23
Inscris dessus et reçu des UT cpu alors que des gpu sont possibles... Mais j'en ai pas encore reçu  :??:
Des UTs GPU ou ca   :??:
http://sat.isa.ru/pdsat/apps.php (http://sat.isa.ru/pdsat/apps.php)   :kookoo:


Deja 2 ut de faites
Citer
   10 Oct 2011 12:39:46 UTC    11 Oct 2011 1:40:01 UTC    Completed and validated    23,810.21    135.77    135.77
   10 Oct 2011 12:40:01 UTC    11 Oct 2011 1:35:57 UTC    Completed and validated    23,730.54    135.32    135.32

Titre: Re : SAT@home
Posté par: samuel debergh le 11 octobre 2011 à 07:40
premier dessus https://statseb.boinc-af.org/classement_membres.py?projet=151&offset=0#1 objectif petit 10 000 points
Titre: Re : SAT@home
Posté par: fzs600 le 11 octobre 2011 à 07:57
premier dessus https://statseb.boinc-af.org/classement_membres.py?projet=151&offset=0#1 objectif petit 10 000 points
:oki:
Titre: Re : SAT@home
Posté par: samuel debergh le 11 octobre 2011 à 08:11
j'ai vu juste rapidement l'annonce^^
Titre: Re : SAT@home
Posté par: JeromeC le 11 octobre 2011 à 13:59
Citer
PDSAT is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization,   bioinformatics, etc) that can be effectively reduced to SAT. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (hard optimization problem) within the project.

PDSAT est un projet de recherche qui utilise des ordinateurs connectés à Internet pour résoudre des problèmes difficiles et "pratiquement important" (problèmes d'inversion de fonctions discrètes, optimisation discrète, la bioinformatique, etc) qui peuvent être effectivement réduits à des problèmes SAT (http://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT). Actuellement des "problèmes" dans le projet de d'inversion de certaines fonctions cryptographiques utilisées dans les "générateurs de chiffrement" sont résolus. Tous les algorithmes de cryptographie à l'étude sont disponibles publiquement. Les tâches correspondantes sont générés aléatoirement et ne contiennent aucune information confidentielle. Nous prévoyons également de publier les résultats obtenus. Dans le proche avenir, nous allons lancer une expérimentation pour résoudre le problème d'affectation quadratique (http://en.wikipedia.org/wiki/Quadratic_assignment_problem) (problème d'optimisation difficile) au sein du projet.


Donc oui, encore de la cryptographie, mais pour décrypter, on dirait bien, non ?
Titre: Re : SAT@home
Posté par: RLDF le 11 octobre 2011 à 14:47
PDSAT est un projet de recherche qui utilise des ordinateurs connectés à Internet pour résoudre des problèmes difficiles et "pratiquement important" (problèmes d'inversion de fonctions discrètes, optimisation discrète, la bioinformatique, etc) qui peuvent être effectivement réduits à des problèmes SAT (http://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT). Actuellement des "problèmes" dans le projet de d'inversion de certaines fonctions cryptographiques utilisées dans les "générateurs de chiffrement" sont résolus. Tous les algorithmes de cryptographie à l'étude sont disponibles publiquement. Les tâches correspondantes sont générés aléatoirement et ne contiennent aucune information confidentielle. Nous prévoyons également de publier les résultats obtenus. Dans le proche avenir, nous allons lancer une expérimentation pour résoudre le problème d'affectation quadratique (http://en.wikipedia.org/wiki/Quadratic_assignment_problem) (problème d'optimisation difficile) au sein du projet.


Donc oui, encore de la cryptographie, mais pour décrypter, on dirait bien, non ?
oops, tu as bien fait de traduire, je pensais que c'était un bouquet de chaines TV par satellite pour la communauté gay  :lol:
Titre: Re : SAT@home
Posté par: ousermaatre le 11 octobre 2011 à 16:27
 :giligili:
Titre: Re : SAT@home
Posté par: mcroger le 11 octobre 2011 à 20:25
 :hap:
Titre: Re : SAT@home
Posté par: al@ON le 12 octobre 2011 à 00:03
 :lol:
Titre: Re : SAT@home
Posté par: [AF>Libristes] nico8313 le 12 octobre 2011 à 00:08
 :ptdr: :ptdr: :ptdr: :ptdr: :ptdr:
Titre: Re : SAT@home
Posté par: Infomat le 12 octobre 2011 à 03:29
Si ils demandent dans les options si on veut utiliser une CG, c'est qu'il devrait y avoir des UT pour elles, non ???
Titre: Re : SAT@home
Posté par: cedricdd le 12 octobre 2011 à 03:43
ou qu'ils ont configurés ça n'importe comment  :lol:
Titre: Re : SAT@home
Posté par: sbmtl le 12 octobre 2011 à 04:00
ouaip....  :??: :??: avec mes 2 neurones je comprends presque rien...

C'est bon signe, si tu as une mâle et une femelle et si tu les laisses s'accoupler, ça va faire boule de neige; en espérant qu'elles ne fondent pas comme neige au soleil.
Titre: Re : SAT@home
Posté par: Infomat le 12 octobre 2011 à 04:39
 :ptdr: :ptdr:
Titre: Re : SAT@home
Posté par: fzs600 le 12 octobre 2011 à 16:49
L'objectif scientifique du projet : un début de réponse de l'admin du projet.

Citer
Current goal in cryptographic area is to solve about 10 SAT problems for the generator A5/1 in few months. This generator is used in GSM standart for data encryption. Open scientific research of A5/1 it is useful for creating new standarts. Our current results in this area you can find here here and here
About other areas I will write later.

PS. About supporting of the russian language. Thanks for your message, we are working on it.
http://sat.isa.ru/pdsat/forum_thread.php?id=2#3 (http://sat.isa.ru/pdsat/forum_thread.php?id=2#3)

Si un anglophone de passage voulait bien traduire ces quelques lignes,qu'il en soit d'avance remercier.  :hello:

Titre: Re : SAT@home
Posté par: cedricdd le 12 octobre 2011 à 16:56
Le but actuel dans le domaine de la cryptographie, est de résoudre 10 problèmes SAT (http://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT), pour le générateur A5/1 et ceci en quelques mois. Ce générateur est utilisé pour les téléphones portables dans le cas du codage des données. La recherche scientifique publique du A5/1 est utile pour crée de nouveaux standards. Nos résultats actuels dans ce domaine peuvent être trouvés ici (http://arxiv.org/abs/1102.3563) et ici (http://www.springerlink.com/content/m006136njr077437/).

Je parlerai d'un autre domaine plus tard.

PS: Pour le support en Russe. Merci pour votre message, nous y travaillons actuellement.
Titre: Re : SAT@home
Posté par: fzs600 le 12 octobre 2011 à 17:13
Merci   cedricdd

 :oki:
Titre: Re : SAT@home
Posté par: ousermaatre le 12 octobre 2011 à 18:58
info ajoutée au premier post, merci   :jap:
Titre: Re : SAT@home
Posté par: al@ON le 12 octobre 2011 à 20:23
Si ils demandent dans les options si on veut utiliser une CG, c'est qu'il devrait y avoir des UT pour elles, non ???

 :non:... dans les pages Préférences de pas mal de projets il y a une case à cocher Use Graphics Processing Unit (GPU) if available (exemple pris avec RNA World (beta) qui n'a pas d'appli GPU).

Je pense que ce sont des structures de pages types données par Berkeley au créateur de projet (index, Votre compte, Applications, ... ) pour monter leur site.
Titre: Re : SAT@home
Posté par: Infomat le 13 octobre 2011 à 02:28
Mouais, ca aide pas pour les CG... :pt1cable:
Merci  :jap:
Titre: Re : SAT@home
Posté par: fzs600 le 13 octobre 2011 à 07:40
Mise a jour du nom du projet.

Maintenant ce projet s'appelle : SAT@home 

Est-ce possible de modifier le nom du topic ?  :kookoo:

Merci.

 :jap: 
Titre: Re : SAT@home
Posté par: samuel debergh le 13 octobre 2011 à 10:26
et les wu font 10 minutes au lieu de 3-4 h...
Titre: Re : SAT@home
Posté par: ousermaatre le 13 octobre 2011 à 13:25
Mise a jour du nom du projet.

Maintenant ce projet s'appelle : SAT@home 

Est-ce possible de modifier le nom du topic ?  :kookoo:

Merci.

 :jap:
fait  :jap:
Titre: Re : SAT@home
Posté par: fzs600 le 13 octobre 2011 à 13:33
fait  :jap:
Merci. 
Titre: Re : SAT@home
Posté par: fzs600 le 18 octobre 2011 à 10:33
J'ai l'impression que la communication avec Oleg ( l'admin du projet ) va etre un peu "compliquer"   :pt1cable:
http://sat.isa.ru/pdsat/forum_thread.php?id=2 (http://sat.isa.ru/pdsat/forum_thread.php?id=2)
 
Titre: Re : SAT@home
Posté par: samuel debergh le 18 octobre 2011 à 10:47
mdr un fou de plus  :D
Titre: Re : SAT@home
Posté par: fzs600 le 29 octobre 2011 à 22:55
 :banana: :banana:  Et hop 100K sur le projet !!   :banana: :banana:
Titre: Re : SAT@home
Posté par: Spica le 29 octobre 2011 à 22:59
 :hello:  :jap:
Titre: Re : SAT@home
Posté par: f11ksx le 30 octobre 2011 à 00:55
Ici:
http://sat.isa.ru/pdsat/

il y en a....  :ange:
Titre: Re : SAT@home
Posté par: al@ON le 30 octobre 2011 à 01:32
:banana: :banana:  Et hop 100K sur le projet !!   :banana: :banana:

Je viens de m'y inscrire... je suis donc à 0. :siflotte:
Titre: Re : SAT@home
Posté par: al@ON le 09 novembre 2011 à 23:32
Citer
New experiment - 2nd test for A5/1
November 9, 2011, 16:03 GMT
New experiment was launched. The goal is to solve 2nd SAT problem for the generator A5/1. Using of redundancy was added. Deadline was increased from 5 days to 10. max_wus_in_progress was incresed from 2 to 6

2ème vague d'UTs de test, la date de péremption passe de 5 à 10 jours et le max d'UTs de 2 à 6/core. :p


ÉDIT: Le quorum est passé à 2.
Titre: Re : SAT@home
Posté par: al@ON le 13 novembre 2011 à 01:21
Suite à une demande de seb sur le forum du projet

Citer
SAT@home at Formula BOINC
November 12, 2011, 13:09 GMT
SAT@home was added to Formula BOINC (http://formula-boinc.org/)
Titre: Re : SAT@home
Posté par: RLDF le 14 novembre 2011 à 11:37
voici le graph :
(https://statseb.boinc-af.org/graphe.py?graph_id=7a1a6119df47a04808e58725b9e09beb)
Titre: Re : SAT@home
Posté par: Maurice Goulois le 06 décembre 2011 à 01:52
Je trouve des stats curieuses sur SAT

340022    1925    1 Dec 2011 15:48:55 UTC    2 Dec 2011 5:26:04 UTC    Completed and validated    21,884.63    137.28    137.28
340023    1335    1 Dec 2011 16:01:58 UTC    2 Dec 2011 9:21:59 UTC    Completed and validated    19,546.88    135.30    137.28
340024    1925    1 Dec 2011 15:50:03 UTC    4 Dec 2011 5:21:05 UTC    Completed and validated    29,820.68    187.07    137.28


ma machine (1925) se trouve valider 2 fois la même wu  :??:

déjà vu ça ?

Edit: je viens de m'apercevoir qu'il y a des wu en double :cavapabiendantateute:
340024    224419    1 Dec 2011 15:50:03 UTC    4 Dec 2011 5:21:05 UTC    Completed and validated    29,820.68    187.07    137.28
340022    224419    1 Dec 2011 15:48:55 UTC    2 Dec 2011 5:26:04 UTC    Completed and validated    21,884.63    137.28    137.28
339970    224401    1 Dec 2011 15:49:09 UTC    2 Dec 2011 9:11:57 UTC    Completed and validated    9,803.01    61.50    61.50
339969    224401    1 Dec 2011 15:48:27 UTC    1 Dec 2011 20:23:13 UTC   Completed and validated    9,916.24    62.21    61.50


une particularité du projet ?
Titre: Re : SAT@home
Posté par: Jaehaerys Targaryen le 06 décembre 2011 à 11:43
En faites tu as calculés 2 fois la même car comme c'est un quorum 3 ce projet, normalement tu n'aurais pas dû comme moi sur certaines wus aussi...
Titre: Re : SAT@home
Posté par: Maurice Goulois le 06 décembre 2011 à 13:16
Y a pas assez de machines qui crunchent pour répartir le quorum, ça ressemble à ça.

J'ai créé mon compte y a deux jours et j'ai l'id 2120.

Titre: Re : SAT@home
Posté par: fzs600 le 13 décembre 2011 à 09:24
On vient de se prendre une raclée par le lillois,vais prendre un tube d'aspirine moi.  :nexath:    :pt1cable:
Titre: Re : Re : SAT@home
Posté par: al@ON le 13 décembre 2011 à 21:14
Y a pas assez de machines qui crunchent pour répartir le quorum, ça ressemble à ça.

J'ai créé mon compte y a deux jours et j'ai l'id 2120.

S'ils augmentaient un chouya les crédits ça ferait viendre + de monde... c'est la misère ce projet.


Dimanche j'ai demandé à mon beauf de laisser sa bécane allumée pendant la journée pour qu'elle puisse finir une UT qui en était à + de 44 h de cacul pour 34% d'avancement :electric:... sans déconner, je la sens vraiment pas celle-là!!! :priz2tet:
Titre: Re : SAT@home
Posté par: Jeannot Le Tazon le 14 décembre 2011 à 18:23
 :kookoo:
C'est surtout que la cryptographie c'est pas trop fun, sinon j'aurais bien crunché 2 ou 3 WUs de temps à autre  pour la forme.
Titre: Re : SAT@home
Posté par: al@ON le 17 décembre 2011 à 19:47
Ayé, elle est finie

Citer
368289    233465    8 Dec 2011 16:27:28 UTC    17 Dec 2011 19:15:35 UTC    Completed and validated    235,321.00    1,230.13    1,000.00

... + de 65 h pour 1000 crédits = 15,29/h. :/
Titre: Re : SAT@home
Posté par: cedricdd le 11 mai 2012 à 19:21
Citer
Server maintenance. New solution
There will be no new workunits for few days. New experiment is being prepeared.
In current experiment new solution of SAT problem was found by: CTPAHHNK from Russia, Alexone from We wanna HELP

Citer
Maintenance du serveur. Nouvelle solution
Il n'y aura pas de nouvelles tâches pendant quelques jours. Une nouvelle expérience est en cours de préparation.
Dans l'expérience courante une nouvelle solution a été trouvée par CTPAHHNK  (http://sat.isa.ru/pdsat/show_user.php?userid=166)de l'équipe Russia, Alexone  (http://sat.isa.ru/pdsat/show_user.php?userid=334)de l'équipe We wanna HELP
Titre: Re : SAT@home
Posté par: al@ON le 11 mai 2012 à 19:34
Ça tombe bien, nous sommes occupés ailleurs (http://www.seti-germany.de/boinc_pentathlon/statistiken/pentathlon.php)... :siflotte:
Titre: Re : SAT@home
Posté par: cedricdd le 04 juin 2012 à 19:20
Citer
New version of application. New experiment
  •     Experiment aimed at solving A5/1 crytanalysis problems successfully ended May 5, 2012 (it took 6 months).
  •     New experiment has started. The goal is to find pairs of orthogonal latin squares of order 9 and 10
  •     Version 1.19 was released.

Citer
Nouvelle version de l'application. Nouvelle expérience.
  •     L'expérience visant à des problèmes de cryptanalyse avec A5/1 s'est terminée avec succès le 5 Mai 2012 (il aura fallu 6 mois).
  •     Une nouvelle expérience a commencée. Le but est de trouver des paires de carrés latins orthogonaux d'ordre 9 et 10
  •     La version 1.19 est maintenant disponible.
Titre: Re : SAT@home
Posté par: cedricdd le 14 septembre 2012 à 17:49
Citer
Version 3.01 of application released. Processing time for WUs reduced by about 25 %.

Citer
La version 3.01 de l'application est disponible. Le temps de calcul des WUs est réduit d'environ 25%.
Titre: Re : SAT@home
Posté par: nabz le 14 septembre 2012 à 18:46
Plus rapide, et aussi moins d'erreurs qu'avec la 3.00.
Titre: Re : SAT@home
Posté par: fzs600 le 08 février 2013 à 22:06
 :hello:

Apparement une application GPU est en test,voir ici : http://sat.isa.ru/pdsat/testing.php (http://sat.isa.ru/pdsat/testing.php) mais il faut l'installer a la mano.

 :jap:
Titre: Re : SAT@home
Posté par: LOCTET SetiOne le 08 février 2013 à 23:27
A préciser
Citer
Version for NVIDIA, linux x64
Titre: Re : SAT@home
Posté par: fzs600 le 11 novembre 2013 à 09:28
 :hello:

Citer
Source code of client and server software was published on github.

http://sat.isa.ru/pdsat/all_news.php#81 (http://sat.isa.ru/pdsat/all_news.php#81)
https://github.com/Nauchnik (https://github.com/Nauchnik)

 :jap:
Titre: Re : SAT@home
Posté par: fzs600 le 11 février 2014 à 17:44
 :hello:

Une nouvelle application est disponible sur le projet : PD-SAT for cryptology
http://sat.isa.ru/pdsat/apps.php (http://sat.isa.ru/pdsat/apps.php)
Titre: Re : SAT@home
Posté par: Spica le 11 février 2014 à 19:54
 :jap:, ca va me permettre d'attraper ma 5ième étoile Wuprop  :siflotte:, il me manque 2 applis à 100h pour la 5ième...
Titre: Re : SAT@home
Posté par: fzs600 le 09 juin 2014 à 14:18
 :hello:

Citer
Problem a5_1_114_0 was solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.
http://sat.isa.ru/pdsat/all_news.php#92 (http://sat.isa.ru/pdsat/all_news.php#92)

Titre: Re : Re : SAT@home
Posté par: Spica le 09 juin 2014 à 15:06
:hello:

Citer
Problem a5_1_114_0 was solved by [AF>Libristes] Pascal from L'Alliance Francophone and Ralfy from BOINC Synergy.
http://sat.isa.ru/pdsat/all_news.php#92 (http://sat.isa.ru/pdsat/all_news.php#92)
:oki:
Titre: Re : SAT@home
Posté par: modesti le 26 décembre 2014 à 17:33
Oulà, le topic a glissé dans les oubliettes :D

Info lue chez SG (http://www.seti-germany.de/forum/mathematik/5872-projekt-sat-home.html#post268608)

Le projet introduit un système de crédits fixes: Pour l'expérience actuelle, 130 crédits sont accordés par UT.
Titre: Re : SAT@home
Posté par: naz le 22 juillet 2015 à 13:12
Le nombre de points/UT est amené 150pts à ce jour. :kookoo:
Titre: Re : SAT@home
Posté par: Antares le 22 août 2015 à 09:06
J'ai créé mon compte avec BAM...
BM s'est bien synchronisé, mais mon compte sur SAT est inconnu!!!
Impossible de le mettre à jour.


22/08/2015 08:29:51 | SAT@home | Invalid or missing account key.  To fix, detach and reattach to this project .
Titre: Re : SAT@home
Posté par: naz le 22 août 2015 à 14:13
Salut! Alors tu as réglé ton problème?
Titre: Re : SAT@home
Posté par: Antares le 22 août 2015 à 16:07
Pas encore...
Titre: Re : SAT@home
Posté par: naz le 22 août 2015 à 16:12
Tu as essayé en manuel. En passant par le site directement? Et non par SAM? Tu arrives à récupérer des UT?
Titre: Re : SAT@home
Posté par: Antares le 22 août 2015 à 19:01
Impossible par le site, il me demande de passer par BAM.

BAM me dit que les machines sont attachées, mais impossible de me connecter à mon compte il est "invalide".




Ça y est!  :bipbip:
Titre: Re : SAT@home
Posté par: naz le 22 août 2015 à 19:25
Super!  :D
Bon crunch
Titre: Re : SAT@home
Posté par: bernardP le 11 novembre 2016 à 19:22
 :kookoo:
Il y a un questionnaire, dans les news, en english
http://sat.isa.ru/pdsat/index.php (http://sat.isa.ru/pdsat/index.php)
Titre: Re : SAT@home
Posté par: Maurice Goulois le 12 novembre 2016 à 06:32
C'est un questionnaire d'appréciation des projets boinc lancé notamment par boinc.ru et IDGF (EDGeS, SZTAKI...) avec 5 pages de notations.

Il faut relancer le questionnaire pour chaque projet que l'on veut noter.

Pas de version en français  :desole: