3 个回答

• 

  岁月悠长

  2022-09-23

  解决中国“卡脖子”问题：华为开发EDA求解器
  本质上，求解器就是一个专业的数学/计算软件，用于实现复杂的数学算法。
  解决特定问题的算法，被称为“求解器”（solver）。无论是 SAT 求解器，还是整数规划求解器，都是经典的离散约束算法问题。
  随着企业的数字化转型，需要进行更多量化的、精细的智能决策，借助一些数学模型来建模，求解器的用途也越来越大。因此，国内有能力的大企业（比如华为和阿里巴巴）也开始自己琢磨做求解器。
  近几年，华为与阿里也开始布局求解器研究。求解器在工业发展中的意义非凡。
  华为与阿里也开始布局求解器开发。华为开发求解器，主要用于EDA设计、供应链规划等，而阿里做求解器，则主要用于阿里云的资源调度优化。
  例如，中国战略布局上亟待解决的“卡脖子”难题 EDA （电子设计自动化）需要用到 SAT 求解器进行快速验证，而制造、物流与供应链优化等则需要用到整数规划求解器（尤其是线性规划求解器）。
  江湖传闻，华为内部对求解器研究十分重视，多个海内外团队同时推进，任总直接听取汇报。
  中国必须自产EDA,复兴征途，任重道远，必须自立并引领于世界东方！

• 

  淡定从容

  2022-09-23

  专门为高中老师，高中学生编写的《高考数学精华专题》，《高考数学精华知识点》。介绍两本书:
  
  题型是讲义形式，没有答案，老师都能做出来，经典高考真题的归纳，可以用搜题软件搜索。??
  
  我花了7年时间编写，反复修改，三届完整高三轮回使用，是我们学校的内部教材。
  祝生活愉快，万事如意???????
  
  电子档用来出版的，不外传，希望理解。
  祝生活愉快，万事如意???

• 

  金色岁月

  2022-09-23

  对于为什么只禁教培而不禁游戏，我觉得这位分析的有点道理，但我认为游戏的危害更大，打个不恰当的比喻，游戏就是一种精神鸦片，大家认为呢？