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

‍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.

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