摘要：随着硬件设计规模和复杂程度的不断增加,验证收敛的挑战难度不断增大,单纯依靠增加CPU核数量并行测试的方法治标不治本。如何在投片前做到验证关键指标收敛,是验证工程师面对的难题。为解决这一难题,提出了采用人工智能驱动的验证EDA工具和生成式大模型两种提效方案,其中EDA工具有Cadence利用人工智能驱动的Verisium apps和采用机器学习技术Xcelium ML,前者用来提升验证故障定位效率,包括Verisium AutoTriage、Verisium SemanticDiff、Verisium WaveMiner等,后者可用来提升验证覆盖率收敛效率。生成式大模型可辅助智能debug和自动生成验证用例,主要介绍各实现方案,并给出了项目实验提升结果。

摘要：本文结合重大装备和国防工程设计领域的学识和经验,侧重阐述了知识网络时代,创新设计语境下智能、自动化、智能化、人工智能、智能化系统及智能连接产品等概念和内涵,及其与创新设计相互渗透和融合发展的新趋势,意图为艺术界、设计界和工程界提供明晰的智能系统概念框架,从而启发集成与综合化视角下的设计与科技、设计与服务等的创新研究与实践。

摘要：讨论了禁核试验条件下核武器绿色设计制造的内涵和特点,指出其实质应是通过网络化协同技术实现绿色化;提出了实现核武器绿色制造的关键技术:基于复杂产品建模技术和异构信息集成的网络化协同技术、数据挖掘和特种知识(数据)库建立、流程再造技术、特种材料加工工艺和绿色评价系统研究等。构建了一种新的核武器研制理念,有助于应对目前核武器研制生产面临的挑战。

摘要：目的阐述设计师应如何看待认知科学。方法结合高端重大装备设计领域的学识和经验,详细解读认知科学。结论认知科学是人工智能的基础,设计师必须具备理解任务内容和解决问题的智慧,也就是“心智”,即人类学习、理解、产生决策的心智能力。人工智能尝试用计算来表达人的理解和心智。心智是认知过程产生结果的“集合”,因此设计师首先要懂得认知科学。

摘要：为探讨"中国制造2025"机遇与挑战背景下创新设计的作用与角色,从经济时代、面对的问题、驱动力、用户、创新类型等几个方面阐述了设计思维的演进过程,比较了创新设计与传统设计在设计对象、创新程度、设计知识、设计目的等要素上的差异。相比传统设计,创新设计能更紧密地与用户共创价值,可在智能制造生态系统各个环节的界面上起到重要的连接、融合及汇聚作用。随着工业经济时代向数字经济时代的演进,设计也将从传统的设计进化到创新设计。同时提出:创新设计需要新的技能、新的基础设施和新的文化范畴的共同演进才能实现。广大设计工作者需要具备创新设计新思维。

摘要：针对重大装备研制模式的发展趋势,本文主要论述了如何在装备研制中理解并应用STE(science,technology,and engineering;科学、技术和工程)的思想.首先,对科学的含义进行了讨论,并将科学按照STE的框架分为基础科学、技术科学和工程三个类别.然后,分别阐述了基础科学、技术科学和工程的内涵和特点,并就三者之间的区别与联系进行了总结.最后,在分析装备研制特点的基础上,针对装备的研制中存在的问题,提出了基于STE的装备设计策略.通过将STE的概念引入装备设计领域,建立"基于科学的工程设计"模式,在认识系统物理本质的基础上,借助科学计算手段对系统进行设计优化,达到提升装备研制质量和效率的目的.

摘要：0引言当我写下这个题目时,感到惶恐不安,因为这是一个重大深厚的议题,不是我的学识水平能够议论的,没有资格说三道四,但是我写过创新设计理论研究的提纲,了解科学知识是设计的背景,基础必须首先搞明白,为此阅读了一些文献,写下此篇肤浅的、科普性的文章来描述这个新时代科学发展的状态,兼论"创新"方面诸问题与"创新设计"的关系。

摘要：针对防振锤的非线性特性,设计利用正弦扫频测试阻抗方案,通过测量防振锤在不同激振速度下的阻抗谱,识别其固有频率及阻抗;计算每一阶固有频率对应的阻尼比;分析振动速度对防振锤振动参数影响;通过对比防振锤阻抗谱实验与计算结果,指出现有防振锤线性力学模型的局限性。

摘要：电网安全是电网建设工程中必须重视的关键问题,而除了建设和使用外,前期的规划与设计对于电网安全也起着十分重要的作用。本文拟对电网规划与电力设计对电网安全的考虑进行分析,以期为强化电网安全提供有价值的参考。

摘要：现在媒体中人工智能话题非常红火,我的报告没有涉及到人工智能,但我的出发点是：要把人类的智能讲清楚,然后再用人类的智能来理解人工智能将来如何复制人的智能.因此,我今天的报告基本上是从这个角度来分析——人类的认知过程.