当前位置:网站首页>Recherche de l'optimalité, problème et pratique de la résolution des contraintes pour les Wavelets | y compris le téléchargement de rapports

Recherche de l'optimalité, problème et pratique de la résolution des contraintes pour les Wavelets | y compris le téléchargement de rapports

2021-09-15 05:07:25 Communauté des sages

Médias scientifiques et technologiques récents「AIExamen de la science et de la technologie」A publié des articles sur des interviews de personnes《Résoudre la Chine“Cou coincé”Questions:Quelques chercheurs en solveurs》,Dans cet article, l'auteur met l'accent sur les tenants et les leaders nationaux dans ce domaine:Cai shaowei, chercheur à l'Institut de logiciels de l'Académie chinoise des sciences et Ge dongdongdong, professeur à l'Université des finances et de l'économie de Shanghai.Le solveur est connu sous le nom de“L'âme du logiciel industriel”,Après la puce et le système d'exploitation, c'est le poids du pays.Cependant, par rapport à l'apprentissage automatique,La chaleur du solveur est éclipsée;Même un peu gênant,La plupart des gens dans le pays qui ont vraiment besoin ne l'ont jamais entendu「Solveur」Pourquoi?.

Les commentaires du chercheur Bao Yungang, Directeur adjoint de l'Institut de calcul de l'Académie chinoise des sciences, sur cet article peuvent être éclairés:

Louez la minorité qui s'accroche!

SATLe solveur estEDALes éléments fondamentaux du logiciel,Appartient à la direction des études de masse.Mais si c'est fait,Peut avoir un impact très important.Comme Princeton Electronics and Computer EngineeringECEChef de départementSharad MalikLe célèbre travail du professeur,Est publié dans2001Conférence annuelle sur l'automatisation de la conceptionDACAccélération précédenteSATLe travail du solveurChaff,Largement utilisé,Cet article a également été cité plus que4600Une fois.

Il n'est vraiment pas facile de mener ces recherches qui ne sont pas populaires au pays,À partir de la base de données du Fonds national pour la nature“SAT”Recherche par mot - clé2000-2020Les projets approuvés au cours des 20 dernières années n'ont été que10Item (s),Total des dépenses306(En milliers de dollars des États - Unis)!Peu d'universités ont reçu des subventions——Beijing University of Commerce and Industry、Shanghai Jiaotong University、Guangxi Normal University、University of Defense Science and Technology、Fudan、Northern Airlines、Qiannan National Normal University、Université Hunan、Sun Yat Sen University、Northern University for Nationalities.Ce résultat est un peu surprenant.!(J'espère que j'ai mal fouillé.,Si vous trouvez des résultats plus précis,,S'il vous plaît, corrigez - le.)

Très peu.985、211Les écoles mènent des recherches dans ce domaine,Mais c'est une recherche fondamentale typique.,Au lieu de cela, certaines universités normales locales ont des professeurs qui s'y accrochent..C'est peut - être985、211Thèse sur les exigences de promotion dans les collèges et les universités、Dépenses relativement élevées,Faire ce genre de recherche985/211Ce n'est pas facile de survivre..J'a i entendu une blague d'un universitaire.:Je suis prêt à m'asseoir sur le banc.,Mais asseyez - vous.,Le banc a disparu.. 

Le changement de situation,Peut - être qu'un plan de haut niveau est nécessaire..En particulier, ces études de base,Une partie de l'argent devrait être réservée à ces universitaires“Conservation”Lève - toi..Un exemple d'expérience personnelle.2010Année,Je viens d'arriver à Princeton.,J'ai découvert que le Département avait un déjeuner gratuit tous les vendredis.,Ce n'est que plus tard qu'on a appris qu'un professeur de Princeton avait une direction très théoriqueSanjeev AroraPour toute la famille.“Prestations”,Parce qu'il l'a eu du Fonds naturel américain.5Année1000Un grand projet de 10 000 dollars.Pour la recherche théorique,C'est une grosse somme..Et ce financement a permis à des universitaires de nombreuses universités américaines de faire des recherches théoriques“Conservation”Au moins.5Année,Pour qu'ils puissent se détendre pendant ce temps.

Alors「Solveur」Qu'est - ce que c'est??Comment ça va??Pourquoi est - il considéré comme“L'âme du logiciel industriel”?

En termes simples,C'est comme une calculatrice que nous utilisons dans nos vies.,Entrée donnée,Le solveur calcule le résultat.96La nature du solveur est bien décrite dans une revue de,「L'utilisateur décrit le problème,Et l'ordinateur s'en occupe..」

En fait,Les solveurs sont largement utilisés dans de nombreux domaines,Par exemple, expédition des navires、Stockage logistique、Optimisation du trafic、Livraison à emporter、EDA(Automatisation de la conception électronique)Validation, etc.Différents types de solveurs sont souvent nécessaires dans différents domaines industriels,Par conséquent, le solveur exige une vaste accumulation de connaissances.,Pas seulement les modèles、Algorithmes、Réalisation du projet et autres aspects techniques,Il s'agit également des connaissances de base en mathématiques et en domaine..C'est pourquoi「Un grand nombre de demandeurs,Peu de chercheurs」Une raison importante.

Entreprises nationales qui ont besoin de solveurs de contraintes,Essentiellement des achats directs/Utilisation des États - UnisZ3、CPLEX、GUROBI、XPRESSAttendez.;En cas d'augmentation des prix、Achats limités,Même interdit.“Cou coincé”Politique,La Chine sera confrontée à aucun“Solveur”Situation embarrassante disponible.
 
Mais heureusement,,Chez nous.“Une pincée.”Les tenants font des percées positives. Ge dongdongdong et al. ont créé la première société nationale de solveurs「Technologie du nombre de sapins」;Huawei、Jingdong et d'autres entreprises sont également actives dans la mise en page,Former leur propre équipe;L'Institut aridamo a également été l'un des premiers instituts nationaux à investir dans la recherche et le développement de solveurs.Cai shaowei et al. sont les plus importants dans ce domaine au fil des ans SAT Obtenir constamment les meilleurs résultats dans le jeu,Et transformer rapidement les résultats en applications d'entreprise.
 
Et puis,Ce sont toujoursZ3、CPLEX、GUROBI、XPRESSAttendez.“Grand sorcier.”En bas“Petite sorcière.”.Comment pouvons - nous briser un trou dans l'application Solveur,Il est encore nécessaire d'étudier et de promouvoir conjointement l'industrie, l'Université et la recherche..
 
Afin de promouvoir le développement d'applications dans le domaine des solveurs, L'Institut Zhiyuan a organisé la première phase de la recherche fermée sur l'application de la résolution des contraintes「Réunion d'échange sur l'application de la résolution des contraintes」, Une vague de personnes au cœur de ce domaine en Chine,Y compris les chercheurs de l'Institut de recherche sur les logiciels de l'Académie chinoise des sciences、Zhiyuan Scholar Cai shaowei、Wang mengchang, intelligent Laboratory for Decision Making, aridharma Institute、Huang fuqi, Directeur général de la recherche et du développement sur le solveur de données de sapin、AkathCEOYuan Jun、Microsoft Institute for Asian Studies(MSRA)Principal Researcher Lin Qingwei、Deng Yiping, Directeur adjoint du laboratoire théorique Huawei、Li Yi, ingénieur de validation formelle du laboratoire Huawei Euler、Qi Yongzhi, Directeur du Département de recherche et de développement d'algorithmes de JD、Ma HONGGUANG, School of Economics and Management, Beijing University of Chemical Technology, etc.,Collisions avec les derniers développements et applications dans le domaine actuel des solveurs.

Deuxième moitié de la session,Les experts présents à la réunion ont eu une communication approfondie sur la combinaison de l'industrie et de la recherche pour résoudre les contraintes,À l'exception des rapporteurs de la réunion,Xia bican, professeur à l'Université de Pékin、Yin wutao, Directeur du laboratoire d'intelligence décisionnelle de l'Institut aridharma、Lala Li Rui、Ge dongdongdong, scientifique en chef de la science et de la technologie du nombre de sapins, a également fait un exposé..

La communauté des sources de sagesse a regroupé les principaux éléments de la discussion dans un rapport , Cliquez sur le lien pour télécharger :

  Réunion d'échange sur l'application de la résolution des contraintes.pdf

https://event-cdn.baai.ac.cn/file/20210914-01/%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E5%BA%94%E7%94%A8%E4%BA%A4%E6%B5%81%E4%BC%9A.pdf

Table des matières
1. Cai shaowei - Brève introduction et progrès récents dans la résolution des contraintes
2. Wang mengchang - SolveurMindOptIntroduction
3. Huang fuqi - Technologie du nombre de sapins-SolveurCOPTIntroduction
4. Yuan Jun - Basé surSATOutils de validation formelle pour
5. Lin Qingwei - Fourniture de machines virtuelles intelligentes dans l'informatique en nuage
6. Deng Yiping - Application du solveur de contraintes dans la conception du matériel
7. Li Yi - SMTApplication du solveur dans la vérification du logiciel système
8. Qi Yongzhi - Exploration de l'application de JD Logistics et Solveur
9. Ma Hong Guang - Optimisation de la répartition des transports publics
Organiser:Li Mengjia、Li jialun、Li zhongliang

 

版权声明
本文为[Communauté des sages]所创,转载请带上原文链接,感谢
https://chowdera.com/2021/09/20210914174039789f.html

随机推荐