-
题名大模型算力基础设施技术趋势、关键挑战与发展路径
- 1
-
-
作者
张政
冯少飞
-
机构
浪潮电子信息产业股份有限公司
-
出处
《信息通信技术与政策》
2024年第6期2-9,共8页
-
文摘
从大模型技术发展趋势出发,分析了多模态、长序列和混合专家模型的架构特征和算力需求特点。围绕大模型对巨量算力规模与复杂通信模式的需求,重点从算力利用效率、集群互联技术两方面量化分析了当前大模型算力基础设施存在的发展问题和面临的技术挑战,并提出了以应用为导向、以系统为核心、以效率为目标的高质量算力基础设施发展路径。
-
关键词
多模态模型
长序列模型
混合专家模型
算力利用效率
集群互联
高质量算力
-
Keywords
multimodal model
long sequence model
mixture of experts model
computating efficiency
cluster interconnection
high-quality computing power
-
分类号
TN929.11
[电子电信—通信与信息系统]
-
-
题名大清河淀西平原地下水数值模型研究
被引量：1
- 2
-
-
作者
李巍
郭抒燕
薛丽娟
丁晓梦
-
机构
水利部海河水利委员会
天津市龙网科技发展有限公司
-
出处
《海河水利》
2023年第10期83-86,93,共5页
-
文摘
分析了大清河淀西平原水文地质条件、含水组划分以及地下水开发利用状况,结合地下水数值模型技术,利用优化的MODFLOW对研究区地下水建立地下水概念模型、数学模型以及长序列数值模型,通过模型的拟合验证确定了模型的准确性。在此基础上,建立了大清河淀西平原地下水预测模型,分析了地下水流场变化趋势。从总体的预测结果来看,在南水北调压采方案实施后地下水环境得到了较好改善,有效地控制了现有降落漏斗的扩大和加深,对于缓解受水区的地下水亏损状况和平原区的地下水紧张局面、涵养和保护地下水资源起到了很好的积极作用。
-
关键词
MODFLOW源程序优化
长序列地下水数值模型
大清河淀西平原
地下水涵养
-
Keywords
MODFLOW source program optimization
numerical models of long series groundwater
Dian West Plain of Daqing River
groundwater conservation
-
分类号
P334.92
[天文地球—水文科学]
-
-
题名适用于形式化验证的断言优化方法
- 3
-
-
作者
李东方
刘诗宇
王纪
王志昊
闫皓
-
机构
中国航天科工集团第二研究院
-
出处
《中国电子科学研究院学报》
北大核心
2023年第2期166-175,188,共11页
-
基金
国防基础科研计划资助项目(XX2020204B028)
-
文摘
在实际工业验证场景中,形式化验证的局限性主要体现在因为状态空间爆炸导致验证结果不明确。断言编码方式始终是直接影响到形式化验证结果的主要因素,而目前已有的断言优化方法并未以断言与状态空间大小的关系分析为基础。文中针对影响锥模型不能分析断言中时序关系对状态空间的影响的问题,提出长序列模型,分析形式化验证中断言与状态空间大小的定性关系。在此基础上,提出适用于形式化验证的断言优化方法,方法包含断言逻辑化简、辅助验证逻辑、参考模型和断言禁用条件,并以某商用HDLC IP核为例,对比优化前后的验证结果,证明优化的有效性。
-
关键词
断言优化
形式化验证
状态空间爆炸
影响锥模型
长序列模型
-
Keywords
assertion optimization
formal verification
state space explosion
cone of influence
long sequence
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
