招标代理公司（立即查看） 受业主单位（立即查看） 委托，于2025-09-24在采购与招标网发布 某嵌入式操作系统项目第三期开放式课题。现邀请全国供应商参与投标，有意向的单位请及时联系项目联系人参与投标。 课题信息：一、基于用户（略）调用技术研究目（略）中内核调用机制存在的上下文与特权级切换开销较大、（略）径延时较高等问题，研究用户态指令旁（略）内核业务容错与内核自愈防护等技术，构建面向用户态指令运行时的内核错误隔离模型，通过用户态可迁移指令的识别、卸载和内核轻量级运行时下运行，实现内核业务容错与自愈防护，确保用户态指令的运行不影响内核的安全和稳定；同时探索基于用户态指令旁（略）互斥锁和随机IO访问性能的方法。研究内容：（1）用户态（略）架构技术；（2）面向用户态指令的内核轻量级运行时设计技术；（3）面向内核轻量级运行时的内核业务容错与自愈防护技术；（4（略）络协议栈旁通技术。技术指标：（1（略），支持内核轻量级运行时无限循环、间接跳转、条件（略）支等逻辑；（2）单核上下文切换处理能力提升不低于（略）%；（3（略）调用应用的加速比不小于（略）调用应用的额外开销不大于3%；（4）提出一种基于内（略）络协议栈旁通方法，单核小包处理能力提升不低于（略）%；（5）提出基于指（略）互斥锁加速方法和随机IO聚合方法，互斥锁与随机IO访问性能提升不低于（略）%。成果形式：（略）源码、技术报告、（略）文档、专利交底书等。经费限额：（略）研制周期：8个月二、面向异（略）弹性缓存技术研（略）资源受限条件下面临的异构智能任务缓存资源（略）配效率不高问题，研究冷暖热三状态下的资源调度优化、异构任务到达预测等技术，构建异构智能任务到达预测模型，设计动态自适应的缓存（略）配算法，实现负载精准预测、任务处理并行加速和容器弹性缓存，显著（略）布式计算等资源（略）数据调度效率。研究内容：（1）基于冷、暖、热三状态的容器调度优化模型；（2）基于深度学习的异构任务到达预测方法；（3）基于模型（略）割的任务并行处理算法；（4）基于负载和容器状态的动态自适应缓存（略）配算法。技术指标：（1）国产处理器条件下，支持容器的冷、暖、热状态部署，相比于只支持冷热状态容器调度的方法，使用支持冷、暖、热三状态容器调度的方法，冷启动时间至少降低（略）%；（2）基于深（略）实际负载相比，两者的处理器使用率绝对误差在低负载时不超过1%并且在高负载时不超过5%；（3）相比无模型（略）割和并行计算的任务处理算法，所提方法实现任务完成时间至少提前（略）%，缓存资源（略）%；（4）相比无任务到达预测模型和不考虑容器状态的缓存（略）配算法（略）吞吐量至少提高（略）%；（5）支持不少于（略）种类型的异构任务，包含至少（略）种智能任务（包括YOLO、VisionTransformer、MobileNet、VGG等）。成果形式：（略）源码、技术报告、（略）文档、专利交底书等。经费限额：（略）研制周期：8个（略）内核构建原理及方法研究目标：针对复杂场（略）内核的需求，开展组件化内核构建原理、基于API（略）径的组件化单内核、基于多进程的组件化宏内核兼容性等研究，突破组件化内核全地址安全构建技（略）兼容型应用动态加载隔离技术，提（略）内核快速生成能力。研究内容：（1）组件化内核构建原理研究；（2）基于API（略）径的组件化单内核研究；（3）基于多进程的组件化宏内核兼容性研究。技术指标：（1）单内核支（略）、内存管理、中断管理、硬件抽象层等不少于（略）个基础内核组件；（2）宏内核符合完（略）POSI（略）接口协议规范，且支持she（略）络协议栈、存储、IPC通信等不少于（略）个宏内核组件；（3）对照基于C（略）内核，组件化内核（略）程创建时间、上下文切换时间方面减少不低于（略）%；（4）单内核和宏内核支持在不少于2类国产处理器的物理机和虚拟机上运行。成果形式：（略）源码、技术报告、（略）文档、专利交底书等。经费限额：（略）研制周期：8个月四、基于无（略）形式化验证理论研究研（略）形式化验证中模型构建效率低、有界验证理论不完备、自动化验证方法中模型表达能力弱（略）源代码形式化模型自动构（略）内核代码的无界模型检查理论、基于无界模型检查的轻量级形式化验证架构等研究，突（略）精（略）字级别高效模型检查等关键技术，构建覆盖“建模-（略）析-验（略）形式化验证（略）代码的可靠性和安全性提供理论和技术支撑。研究内容：（1（略）源代码形式化模型自动构建理论；（2（略）内核代码的无界模型检查理论；（3）基于无界模型检查的轻量级形式化验证架构。技术指标：（1（略）源代码形式化模型自动构建理论；（2）（略）内核代码的无界模型检查理论；（3）（略）内核代码到字级别的形式化模型构建方法；（4）支持从CC++代码自动化生成字级别BTOR2模型功能；（5）形成一套字级别模型检查验证方法，支持处理（略）型变量、数组和向量等复杂类型；（6）支持基于字级别BTOR2模型的验证功能，在主流数据集上的验证性能提升不低于（略）%；（7）形成一套基于无界模型检查的轻量级形式化验证（略）内核单（略）级代码进行形式化验证。成果形式：技术报告、（略）及源代码等。经费限额：（略）研制周期：8（略）轻量化容器服务治理技术研究研究目标：针对关键（略）轻量化容器存在的服务治理较复杂、故障恢复能力较弱问题，研究微服务状态管理及故障快速恢复、基于容器身份和数据标签的安全访问控制等技术（略）架构，通过不同关键度等级任务的服务熔断算法、冗余容错方案、故障恢复迁移策略及动态负载均衡方法（略）的群体协同、信息流安全控制，为任务关键型领域持续提升服务的高可用性以及服务的运维效率。研究内容：（1（略）边端协同架构的服务治理策略智能感知技术；（2）任务关键型微服务状态管理及故障快速恢复技术；（3）面向高确定性的微服务划（略）与接口技术；（4）基于容器身份和数据标签的安全访问控制技术。技术指标：（1（略），支持节点级故障检测时间不大于（略）ms，进程级故障检测时间不大于（略）ms；（2）无状态服务故障恢复时间不大于（略）ms，有状态服务服务中断时间不大于（略）ms；（3）提供服务熔断算法，决策延迟不大于5ms，支持负载均衡，集群（略）体响应时间延迟抖动降低（略）%；（4）提供嵌入式任务关键型微服务划（略）规范；（5）访问控制策略检查引入的延迟不大于1ms。成果形式：源代码、技术报告、用户手册、专利交底书等。经费限额：（略）研制周期：8（略）络（略）径实时传输技术研究目标：（略）络面临的实时传输可靠性不足、跨域协同效率低下等问题，研究智能弹性调（略）径协同决策、基于耦合拥塞感（略）径拥塞控制等技术，构建（略）径传输协议，解（略）径资源利用率低、传输时延高、（略）径缓存开销大（略）在复杂动态环（略）径自适应切换能力、跨域资源协同调度精度、拥塞控制响应速度及低时延高可靠（略）络域的高效协同与泛在互联。研究内容：（1）轻量化（略）径融合传输架构技术；（2）智能弹性调（略）径协同决策技术；（3）基于耦合拥塞感（略）径拥塞控制技术。技术指标：（1）国产处理器下，支持不少于2（略）径并行传输，兼容不少于3（略）络类型；（2）异构场景仿真环境下，端到端吞吐量提高（略）%，接收端乱序包数量减少（略）%；（3）（略）径故障感知速度提升（略）%；（4）混合场景下，公平性指数不小于0.（略）。成果形式：（略）源码、技术报告、（略）文档等。经费限额：（略）研制周期：8（略）复杂交互指令智能调度技术研究研（略）人机交互场景下复杂指令解析（略）解效率较低、任务调度策略灵活度较差、跨服务协同与资源优化能力较弱（略）上下文感知协议栈优化、模型上下文驱动的工作流智能决策与协同调度等技术,通过复杂人机交互指令智能调度方法模型，构建响应效率-资源利用率-执行可靠（略）复杂指令调度架构，实现端侧多模态（略）端工作流智能规划与资源高效调度，显著提升复杂人机交互任（略）智能化水平。研究内容：（1（略）人机交互指令智能调度架构设计；（2（略）上下文感知协议栈优化技术；（3）模型上下文驱动的工作流智能决策调度技术。技术指标：（1（略）下，支持不少于2种交互模态的实时感知，自然语言文本模态的识别准确率不低于（略）%；（2）多模态数据融合场景下，实体识别准确率、召回率均不低于（略）%；（3）多模态数据融合场景下，上下文感知协议栈的端到端执行成功率不低于（略）%；（4）具备动态工作流规划能力，支持生成并执行不少于3种工作流程；（5）生成的动态工作流程包含的模型上下文组件数量不少于3个。成果形式：（略）源码、技术报告、（略）文档、专利交底书等。经费限额：（略）研制周期：8个月申报要求：（一）所有申报材料严禁涉密（二）申报单位要求1、满足《供应商管理与纪检相关的禁止性要求》（见附件1）。2、具有独立企（事）业单位法人资格。在中华人民共和国境内（略），法定代表人具有中华人民共和国国籍。3、单位近（略）年加权平均净资产（略）以上（加权平均净资产权重近（略）年占（略）%，近（略）年占（略）%，近（略）年占（略）%），经营状态正常，符合所申请类别经营许可登记范围。4、不接受多家单位联合申报，同一指南课题同一单位只能申报一次。5、具备有效的国家标准质量体系ISO（略）认证证书或其他国家认可的质量管理体系认证证书或装备承制资格证书，证书范围应涵盖所申报课题对应的业务方向。证书若处于续审或扩项期间，需提供已通过（略）审查的相关证明材料（含承制资格范围）。6、法定代表人、（略）失信被执行人。7、具有良好的商业信誉和健全的财务会计制度。8、具备固定的生产经营、服务场地、设施设备，具有良好的质量保证能力、合同履约能力、技术服务和售后服务水平。9、未在（略）采购处罚清单内。（三）申请人要求1、项目负责人限1人，应为申报单位正式在职人员。2、参研人员应为中国国籍。3、不受理因学术不端、科研诚信不佳、重大失泄密等问题进入黑名单，不属于尚未解禁的申报单位和申请人。（四）申报材料及方式1、指南对接严格按照课题信息及附件模板进行课题申报，指南咨询对接联系人：（略）-（略）。2、申报材料（1）技术材料：对照指南要求及附件模板（附件2、附件3）提交课题建议书及经费概算书word版和pdf版，pdf版要求课题建议书及经费概算书封面加盖申报单位公章。（2）其他材料：1）供应商能力调查表（附件4）2）供应商股东构成及人员情况表（事业单位无需提供此项）（附件5）3）单位简介（格式自拟）4）营业执照事业单位法人证书5）质量管理体系认证证书6）近三年资产负债表、利润表、现金流量表7）信用证明（http:（略）.cn）8）申请人有效（略）件复印件9）相关专利、荣誉等证书（略））其他资质证书申报阶段以上材料均需（略），并提交扫描件（扫描件均不得涉（略）传递的资质证明材料可暂不提交扫描件，会议评审阶段（略）提交纸质版即可）；纸质版原件请于会议评审阶段（略）提交，材料提交过程如有疑问，请联系龚珊珊（电话（略）、（略）-（略））。申报材料中请注明联系人及联系方式，以便会务组及时通知会议评审相关事宜。3、申报时间自指南发布之日起，至（略）年（略）月（略）日（略）:（略）止。4、申报方式申报材（略）标题和附件命名（略）严禁通过（略）涉密敏感信息