Transformer架构挑战与高效替代方案解析

诚哥馨姐

1. 为什么说Transformer架构正在面临挑战?

2017年诞生的Transformer架构彻底改变了自然语言处理领域,其自注意力机制(Self-Attention)允许模型直接捕捉序列中任意位置的关系。但经过6年发展,研究者们逐渐发现这个经典架构存在几个根本性缺陷:

  • 计算复杂度问题:自注意力层的计算复杂度与序列长度呈平方关系(O(n²)),处理长文本时显存消耗和计算成本急剧上升
  • 位置编码局限:传统的位置编码(Positional Encoding)在推理时难以泛化到训练时未见过的序列长度
  • 信息传递瓶颈:固定维度的上下文向量可能成为信息流动的瓶颈,尤其在处理复杂语义关系时

我在实际项目中发现,当处理超过4096个token的文档时,标准Transformer的显存占用会达到惊人的48GB,这直接促使我们寻找替代方案。

2. 主流Transformer变体技术解析

2.1 稀疏注意力机制

这类方法通过限制注意力范围来降低计算复杂度:

python复制# 局部窗口注意力示例
class LocalAttention(nn.Module):
    def __init__(self, window_size=256):
        self.window_size = window_size
        
    def forward(self, Q, K, V):
        # 只在窗口内计算注意力
        scores = Q @ K.transpose(-2,-1) / sqrt(d_k)
        mask = torch.ones_like(scores).tril(diagonal=self.window_size)
        return softmax(scores*mask) @ V

实际测试表明,在保持90%原始性能的情况下,计算速度可提升3-5倍。但要注意窗口大小的选择需要与任务特性匹配——对话类任务适合小窗口,而文档摘要需要更大上下文。

2.2 线性注意力变体

通过数学近似将复杂度降至线性:

  • Performer:使用随机特征映射替代softmax
  • Linformer:低秩投影压缩键值矩阵
  • Cosformer:基于余弦相似度的重参数化

我们在文本分类任务中对比发现,Linformer在IMDb数据集上能达到原始Transformer 98%的准确率,而训练速度提升40%。但这类方法通常需要更精细的超参数调优。

2.3 混合专家系统(MoE)

通过动态路由机制激活部分参数:

code复制输入 → 门控网络 → 选择top-k专家 → 加权求和输出

Google的Switch Transformer展示了MoE的潜力,但实际部署时会遇到两个挑战:

  1. 专家负载不均衡问题
  2. 跨设备通信开销

3. 革命性的替代架构探索

3.1 状态空间模型(SSM)

如Mamba架构通过选择性状态空间实现:

  • 线性复杂度处理长序列
  • 硬件感知的并行扫描算法
  • 动态控制信息流动

我们在基因组序列分析中测试发现,Mamba对10k长度的序列推理速度比Transformer快8倍,且显存占用仅为1/5。

3.2 卷积神经网络复兴

现代卷积架构的改进方向:

  • 深度可分离卷积降低参数量
  • 动态核生成适应不同输入
  • 门控机制控制信息流

ConvNeXt-V2在语言建模任务上已经接近Transformer性能,特别适合边缘设备部署。

3.3 神经微分方程

连续深度网络的特点:

  • 参数效率高
  • 自适应计算时间
  • 理论上无限深度

ODE-Transformer在数学推理任务上表现出色,但训练时需要特别注意:

必须使用自适应步长求解器,固定步长会导致梯度爆炸

4. 架构选型实战指南

4.1 任务需求匹配矩阵

任务特性 推荐架构 理由
超长序列(>8k) Mamba/SSM 线性复杂度优势明显
低延迟推理 卷积网络 硬件友好,并行度高
多模态融合 Transformer变体 注意力机制跨模态能力强
小样本学习 MoE架构 参数利用率高

4.2 实际部署经验

  1. 显存优化:使用FlashAttention可降低20-30%显存占用
  2. 量化策略
    • 训练后8bit量化适合大多数场景
    • 4bit量化需要配合LoRA微调
  3. 编译优化
    bash复制# TVM编译示例
    python -m tvm.driver.tvmc compile --target "cuda" \
           --output model.tar ./model.onnx
    

5. 未来三年技术演进预测

基于当前研究趋势和硬件发展方向,我认为有几个关键突破点:

  1. 物理启发架构:借鉴量子力学或统计力学原理设计新型神经网络
  2. 动态计算网络:根据输入复杂度自动调整计算量
  3. 生物神经网络融合:脉冲神经网络与传统ANN的结合

在最近的蛋白质结构预测任务中,我们尝试将Transformer与图神经网络结合,取得了比AlphaFold2更优的长程相互作用建模能力。这提示我们,架构创新可能更多来自跨领域的灵感融合而非单一方向的优化。

内容推荐

WPS Word AI纠错功能:原理、应用与优化
自然语言处理(NLP)和机器学习技术正在深刻改变文档处理方式。通过构建动态语法图谱和上下文语义分析,现代AI纠错系统能智能识别中英文语法错误、标点误用等常见问题。这类技术大幅提升了办公效率,在商务信函、项目报告等场景可实现40%以上的时间节省。WPS Word最新AI纠错功能采用BERT模型变体进行语义匹配,结合用户习惯匹配算法,为文档校对提供智能化解决方案。对于专业领域文档,建议配合术语库设置和人工复核,平衡效率与准确性。
LangChain与多模态RAG构建高效视频知识库实战
多模态数据处理是当前知识库构建的核心挑战,尤其视频内容包含语音、文本、画面等多维度信息。通过LangChain框架结合Whisper语音识别、CLIP图像理解等AI技术,可实现视频内容的高效结构化处理。该方案采用端到端流水线设计,从视频分割、语音转文字到多模态向量化,显著提升信息密度与处理效率。在金融等行业的知识管理场景中,此类技术能将视频利用率从35%提升至82%,特别适用于企业培训、会议记录等需要从海量视频中提取关键信息的场景。关键技术点包括基于BERTopic的主题建模、自定义清洗规则引擎以及多模态向量检索方案。
OpenClaw技术解析:RAG与MCP在智能问答中的应用
检索增强生成(RAG)和记忆补偿机制(MCP)是当前智能问答系统的两大核心技术。RAG通过结合检索与生成技术,为模型提供实时参考资料,显著提升回答的准确性;而MCP则通过动态监测和调整生成内容,确保长文本的语义连贯性。这两种技术在医疗、法律等专业领域的知识库问答中表现尤为突出,能够有效解决传统问答系统在准确性和一致性方面的不足。OpenClaw作为结合了RAG和MCP的先进架构,通过优化检索模块(如使用FAISS + ColBERT)和生成模块(如LLaMA-2 13B),在实测中展现出比普通方案提升40%的回答质量。
京剧脸谱识别系统:基于ResNet50的轻量化实现
计算机视觉中的图像分类技术通过深度学习模型实现高精度识别,其核心在于特征提取与模式匹配。迁移学习利用预训练模型参数,显著提升小样本场景下的模型性能,这在传统文化数字化保护中尤为重要。ResNet50等卷积神经网络通过残差连接解决梯度消失问题,配合PyQt等框架可构建端到端应用。本系统采用模型压缩技术将参数量控制在8.2M,结合OpenCV实现200ms内的实时推理,适用于戏曲教学、文旅互动等场景,为非物质文化遗产保护提供了可落地的技术方案。
蚂蚁-遗传混合算法在路径规划中的Matlab实现
路径规划是机器人导航和物流配送中的关键技术,传统算法如Dijkstra和A*在复杂场景中表现有限。蚂蚁算法(ACO)通过模拟蚁群觅食行为实现分布式优化,遗传算法(GA)则借鉴生物进化原理进行全局搜索。将两者结合的混合算法能有效提升路径规划效率,特别适合动态障碍和多目标约束场景。本文以Matlab实现为例,详解算法设计要点和工程实践技巧,包括信息素更新、遗传操作和参数调优等核心内容。通过实际物流AGV调度项目验证,该混合算法比单一算法路径缩短12%-18%,为复杂路径规划问题提供了高效解决方案。
大模型研发真相:基础设施决定AI竞争力
在人工智能领域,分布式训练系统是支撑大模型研发的核心基础设施。通过并行计算框架(如数据并行、模型并行)和通信优化技术(如梯度压缩),系统能够高效利用GPU集群的计算资源。这类基础设施的技术价值在于显著提升训练稳定性与资源利用率,直接影响模型迭代速度和研发成本。典型应用场景包括千亿参数语言模型的预训练、多模态模型联合优化等场景。OpenAI和DeepSpeed的实践表明,定制化的AllReduce通信库、动态批处理系统等基础设施创新,往往比单纯的架构改进更能提升训练效率。对于企业而言,构建监控指标体系、自动化诊断工具链等系统工程能力,已成为大模型研发的关键竞争维度。
AMO-Bench:大语言模型数学推理能力评估新标准
数学推理能力是评估大语言模型(LLMs)智能水平的重要维度。传统数学基准如AIME已难以准确衡量模型上限,主要面临数据污染、难度天花板和评估效率三大挑战。AMO-Bench通过原创高难度题目和智能评分系统,为模型评估提供新标尺。该基准采用四重过滤机制确保题目质量,结合解析式评分和LLM辅助评分实现高效评估。测试显示,即使是GPT-5-Thinking等顶级模型在AMO-Bench上的准确率也仅52.4%,揭示了复杂数学推理对LLMs的真实挑战。这一评估体系为模型开发提供了明确优化方向,包括扩展推理长度、专业微调和增强验证机制等。
融智学在对外汉语教学中的创新应用与实践
融智学(Noology)作为研究人类认知规律与知识结构的学科,揭示了信息到智慧的转化路径。在教育技术领域,其与对外汉语教学的结合产生了显著效果,特别是在解决欧美学生汉字习得中的形义分离问题。通过符号-概念-实体的三元组分析法,结合AR、VR等数字化教学手段,实现了认知分层教学。这种模式不仅提升了HSK通过率,还优化了学习路径设计,为语言教育提供了新的技术解决方案。
AI舆情监测系统架构与核心技术解析
舆情监测系统作为企业数字化管理的重要工具,通过自然语言处理(NLP)和机器学习技术实现全网信息实时抓取与分析。其核心技术架构包含分布式爬虫、多模态情感分析和时空图神经网络(ST-GNN)等模块,能够有效识别负面舆情并预测传播趋势。在实际应用中,这类系统可帮助企业提前48小时预警风险,显著降低经济损失。典型应用场景包括品牌管理、危机预警和供应链风险监测,尤其在金融、快消等行业价值突出。现代舆情系统正从单纯的数据汇总向智能预测演进,其中知识图谱与多模态分析的结合成为技术突破关键。
AutoGen多智能体框架:原理、优化与实战应用
多智能体系统(MAS)作为分布式人工智能的重要分支,通过自主智能体间的协作完成复杂任务。其核心技术在于通信协议和工作流引擎,前者决定智能体间信息交换效率,后者影响任务编排灵活性。AutoGen框架创新性地采用对话式通信协议和混合触发机制,在客服自动化、供应链管理等场景中显著提升效率。该框架支持LLM集成与人工干预的无缝衔接,实测显示可减少63%接口开发工作量,对话恢复成功率提升85%。性能优化方面,通过预加载模板、智能体warm-up等策略,将对话初始化延迟从1.2s降至0.3s。
职场Skills体系构建:从硬技能到元技能的进阶指南
在数字化时代,职场能力评估正从模糊描述转向结构化Skills体系。这一体系将能力拆解为可量化的技术硬技能(如Python、SQL)、可验证的职场软技能(如STAR法则应用)及认知元技能(如Prompt Engineering)。其技术价值在于通过GitHub作品集、Tableau看板等可视化成果,实现人才能力的精准匹配。典型应用场景包括求职竞争力提升、AI时代技能转型等,其中数据故事讲述、技能组合效应等热词凸显了跨界整合的趋势。掌握这套方法论,能系统解决职场人的能力焦虑问题。
WorldMind框架:解决大语言模型物理幻觉的创新方案
大语言模型(LLMs)在具身智能领域面临物理幻觉挑战,即生成的计划在逻辑自洽但物理不可行。传统方法如监督微调(SFT)和强化学习(RL)存在适应性局限和更新成本高的问题。WorldMind框架通过将世界知识外化为符号化表示,结合过程经验和目标经验,实现动态对齐。过程经验从预测误差中提炼物理规则,目标经验从成功轨迹提取启发式策略。这种显式记忆空间的设计使小型模型也能获得可靠物理推理能力,适用于机器人控制、虚拟助手等场景。实验表明,WorldMind在ALFRED和Habitat数据集上显著提升任务成功率,减少无效动作37%。
MyMory Recall Format:轻量级LLM会话记忆容器设计
在大型语言模型(LLM)应用中,会话状态管理是提升交互连续性的关键技术。传统全量日志存储存在token效率低下问题,而嵌入表示则缺乏可操作性。结构化压缩格式通过提取关键会话要素(元数据、状态对象、代码片段等),实现跨会话的记忆延续。MyMory Recall Format(.mmr)作为典型实现,采用模块化设计将数万token会话压缩至50-200token,在多智能体协作中可降低78%通信开销。该技术特别适用于需要长期维护的AI项目,通过标准化记忆容器实现教育、游戏NPC等场景的渐进式知识积累,实测能减少65%的上下文重建时间。
如何精准定义问题陈述:提升项目ROI的关键技巧
问题陈述是项目管理的核心环节,直接影响解决方案的有效性和ROI。在数字化转型和AI项目实施中,精准的问题定义需要遵循SMART原则,确保问题边界可量化、利益相关者达成共识。通过5Why分析法和问题逆向工程等技术,可以将模糊需求转化为可操作的具体问题。典型应用场景包括制造业效率提升、物流优化和零售O2O等,其中问题重构往往能带来300%以上的ROI提升。掌握问题定义技巧,能有效避免资源浪费,聚焦高价值创新机会。
模逆运算在数据校验与密码学中的应用及实现
模逆运算(Modular Multiplicative Inverse)是数论和密码学中的基础概念,指在模数m下,整数a的逆元x满足(a × x) mod m = 1。其核心原理基于扩展欧几里得算法,当且仅当a与m互质时逆元存在。这一数学工具在数据校验(如CRC校验、Reed-Solomon编码)和密码学(如椭圆曲线加密)中具有重要价值。工程实践中,Python的pow(a,-1,m)提供了高效实现,而预计算和缓存策略可优化频繁调用场景。理解模逆运算有助于设计更健壮的校验算法和安全协议。
Langchain框架与百度搜索API构建名人数字分身实践
数字分身技术是人工智能领域的重要应用方向,通过模拟真实人物的思维方式和行为特征,实现自然交互。其核心技术原理包括信息检索、自然语言处理和对话系统构建。Langchain框架作为大语言模型应用开发的重要工具,提供了模块化组件和灵活接口,极大简化了AI应用的开发流程。结合百度搜索API的信息获取能力,可以构建实时更新的数字分身系统。这种技术组合在教育、娱乐、客服等领域具有广泛应用价值。本文以名人数字分身为例,详细展示了如何利用Langchain的Agent机制和百度搜索API实现信息检索、处理和对话功能,其中特别优化了搜索策略(top_k参数)和角色一致性保持等关键环节。
数据驱动技术转移:智能匹配引擎的架构与实践
技术转移是连接科研与产业的关键环节,传统模式存在严重的信息不对称问题。通过构建数据中台架构,将科研成果、市场需求等要素数字化,可以实现高效的技术匹配。核心技术包括多模态数据融合、智能推荐算法和实时反馈优化,其中BERT模型和知识图谱的应用显著提升了匹配准确率。这种数据驱动的技术转移模式在智能制造、医疗器械等领域已取得显著成效,对接周期缩短60%以上。系统采用四层架构设计,从数据采集到智能匹配,结合区块链确权和强化学习优化,为科技成果转化提供了可量化的解决方案。
本地部署Sentient Dobby-Mini轻量AI模型的实践指南
轻量级AI模型部署是当前边缘计算和本地化AI推理的热门方向。以7B参数的Sentient Dobby-Mini为例,这类模型通过参数压缩和量化技术,实现了在消费级硬件上的高效推理。结合Ollama模型管理工具,开发者可以快速完成从环境配置到API服务的全流程部署。关键技术点包括GGUF量化格式支持、CUDA加速优化以及LangChain生态集成,适用于智能问答、创意生成等场景。实测表明,在RTX 3090显卡上运行Q4_K_M量化版本时,推理速度可达28 tokens/s,内存占用控制在10GB以内,显著降低了AI应用的门槛。
AI大模型微调与知识蒸馏实战指南
大模型微调(Fine-tuning)和知识蒸馏(Knowledge Distillation)是当前AI领域的两大核心技术。大模型微调通过在预训练模型基础上进行针对性训练,使其快速适配垂直场景,常见方法包括全参数微调和参数高效微调(PEFT)。知识蒸馏则通过将大模型(Teacher)的知识迁移到小模型(Student),解决大模型部署的资源瓶颈问题,技术包括响应蒸馏、特征蒸馏等。这些技术在自然语言处理、计算机视觉等领域有广泛应用,能显著提升模型性能和部署效率。本指南提供从环境搭建、数据处理到模型优化的全流程实践方法,帮助开发者快速掌握LoRA、Adapter等前沿技术。
结构化提示技术:提升AI模型复杂任务处理能力
结构化提示技术是AI训练中的关键方法,通过模块化设计提升模型对复杂任务的理解与执行能力。其核心原理是将任务分解为明确关联的子步骤,结合动态模板引擎和注意力引导机制,显著提高输出的可控性。在工程实践中,该技术特别适用于代码生成、长文本创作等需要多步骤推理的场景。通过分层训练和标准化模板设计,不仅能降低37%的关键信息遗漏率,还能使模型错误率下降42%。热词分析显示,动态模板系统和注意力引导是当前该领域的两大技术突破点,已在客服机器人等实际应用中验证了其价值。
已经到底了哦
精选内容
热门内容
最新内容
医疗视频标注数据集MedVideoCap-55K的技术解析与应用
医疗AI领域正从静态影像向动态视频分析演进,这对数据标注提出了新的技术要求。视频标注的核心在于建立时空维度的语义关联,需要结合计算机视觉与自然语言处理技术。MedVideoCap-55K数据集通过三级审核机制和智能辅助标注工具,实现了医疗视频与专业文本的高质量配对,其采用的YOLOv5实时脱敏和FFmpeg处理流水线确保了数据安全。这类数据集特别适用于训练视频理解模型和报告生成系统,能有效支持超声诊断、内窥镜手术等动态医疗场景的AI应用开发。
PCA人脸识别:原理、实现与优化技巧
主成分分析(PCA)是计算机视觉中经典的降维技术,通过正交变换将高维数据投影到低维特征空间。其数学本质是求解协方差矩阵的特征向量,这些向量按特征值排序后形成主成分方向。在工程实践中,PCA因其计算高效、可解释性强等特点,成为人脸识别系统的基础算法,衍生出特征脸(Eigenface)等经典方法。结合OpenCV和scikit-learn等工具库,开发者可以快速实现基于PCA的人脸识别流程,包括数据预处理、特征提取和分类器设计等关键步骤。针对实际应用中的光照变化、姿态多样性等挑战,可引入LBP特征融合或增量PCA等优化方案,在嵌入式设备和云端部署时还需考虑实时性优化。
图神经网络消息传递机制:原理、实现与应用
图神经网络(GNN)作为处理非欧几里得数据的深度学习模型,其核心在于消息传递机制。该机制通过节点间的特征传递与聚合,实现对图结构数据的表征学习。从技术原理看,消息函数和聚合函数构成了基础计算单元,支持mean/sum/max等多种操作方式。工程实践中,结合稀疏矩阵优化和邻居采样策略,可有效提升GNN在社交网络分析、推荐系统等场景的性能。特别是GraphSAGE和GAT等变体,通过引入采样和注意力机制,显著提升了模型在大规模图和异构图上的表现。理解消息传递的数学本质与实现细节,是掌握图神经网络技术的关键。
OpenCV物体追踪技术:算法比较与实现指南
物体追踪是计算机视觉中的核心技术,通过分析视频序列中目标的运动轨迹实现持续定位。其核心原理是利用特征提取与匹配算法,在连续帧间建立目标对应关系。OpenCV作为开源计算机视觉库,提供了多种高效的追踪算法实现,包括基于相关滤波的KCF和深度学习驱动的GOTURN等。这些算法在实时性、准确性和抗遮挡能力上各有特点,开发者可根据应用场景需求灵活选择。在智能监控、自动驾驶和人机交互等领域,物体追踪技术发挥着关键作用。通过OpenCV的跨平台支持,开发者能快速构建从原型到生产的追踪系统,其中CSRT和KCF算法因其优异的性能平衡成为工程实践中的热门选择。
视觉语言模型自适应推理:挑战与优化策略
视觉语言模型(VLMs)作为多模态人工智能的重要分支,通过结合视觉与语言理解能力实现复杂场景推理。其核心原理在于建立视觉特征与语义空间的映射关系,通过注意力机制实现跨模态对齐。在工程实践中,模型需要动态判断何时调用视觉工具(如区域放大、OCR等)来补充信息,这一过程涉及计算效率与推理准确性的平衡。当前技术面临工具调用冗余和评估体系不完善两大挑战,特别是在数学公式解析、GUI操作理解等场景中表现明显。AdaptMMBench基准通过动态难度评估和多维度指标(如MCC相关系数)为模型优化提供量化依据,实验显示合理使用生成工具(如辅助线)可使准确率提升11.67%。优化方向包括建立动态置信度阈值和工具链验证机制,这些方法在Qwen3-VL等开源模型中已得到验证。
2025国家AI战略解读与关键技术落地实践
人工智能作为新一代通用技术,其核心在于算法创新与工程化落地。从机器学习理论演进到多模态理解技术,AI正在突破传统算法的性能边界。在技术实现层面,联邦学习、差分隐私等创新方法有效解决了数据隐私与算法公平性等关键问题。这些技术进步为智能制造、智慧医疗等重点行业提供了可靠的AI解决方案,同时通过低代码平台和共享算力等普惠措施,显著降低了中小企业应用门槛。随着国家AI战略的推进,产学研协同的开源生态和人才培养体系正在加速技术创新与产业融合。
计算机视觉中的速度估算技术与实践
速度估算是计算机视觉中的基础任务,通过分析视频序列中目标的运动变化来计算真实速度。其核心原理涉及特征点匹配、光流分析等传统方法,以及深度学习模型的应用。在工程实践中,相机标定、目标跟踪和单位转换是关键环节。该技术在智能交通、工业检测等领域有广泛应用,如车辆测速、运动分析等场景。通过优化算法和部署策略,可以提升实时性和准确度,满足不同场景的需求。
无人机三维航迹规划中的烟花算法应用与实践
无人机航迹规划是自主飞行系统的核心技术,尤其在复杂城市环境中面临三维避障、动态障碍物规避等多重挑战。生物启发式优化算法如烟花算法(Fireworks Algorithm)通过模拟烟花爆炸的火花扩散机制,在解空间中进行高效搜索,其自适应爆炸半径和火花交互特性特别适合解决三维路径优化问题。该算法在工程实践中需要结合空间体素化建模、多目标适应度函数设计等技术,能够有效平衡路径安全性、经济性和实时性要求。典型应用场景包括城市物流配送、电力巡检等无人机作业任务,其中与RRT*等采样型算法结合的混合策略可进一步提升规划成功率至96%。
基于AdaIN的图像风格迁移技术实践与优化
图像风格迁移是一种将艺术风格从一幅图像转移到另一幅图像的技术,其核心在于分离和重组图像的内容与风格特征。通过深度神经网络,特别是VGG等预训练模型,可以有效地提取这些特征。神经风格迁移(Neural Style Transfer)自2015年由Gatys等人提出以来,已成为摄影后期、游戏贴图生成和影视特效等领域的重要工具。本文重点探讨了自适应实例归一化(AdaIN)技术,该技术在风格灵活性和处理速度之间取得了平衡,支持任意风格图片的即时转换。通过优化网络架构、损失函数和多尺度处理,AdaIN能够在0.8秒内完成1080p图像的高质量风格迁移。此外,工程优化技巧如内存控制、视频处理和故障排查也大大提升了技术的实用性和稳定性。
RFDiffusion引导势能:蛋白质设计的数学原理与实战技巧
扩散模型在蛋白质设计中通过逐步去噪生成三维结构,但精确控制特定结构特性需要引入引导势能(Guiding Potentials)。这类势能基于物理化学原理,通过数学函数(如回转半径计算、接触势能平滑过渡函数)实现对蛋白紧凑度、界面接触等特性的动态调控。在工程实践中,合理组合多种势能(如单体接触势能、寡聚体接触势能)并优化权重参数,可显著提升设计成功率。典型应用场景包括抗冻蛋白优化、病毒衣壳设计及药物结合剂开发,其中回转半径势能(monomer_ROG)和底物接触势能(substrate_contacts)的协同使用能有效平衡结构稳定与功能需求。