北京航空航天大学2024年10月政府采购意向

正文内容

********+软件学院+安全智能计算节点 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+安全智能计算节点 预算金额： ***.******万元(人民币) 采购品目： A******** 服务器 采购需求概况 ： 该设备是面向飞行器跨域协同的云原生安全容器管理系统中必须的设备，承担对目标软件进行虚拟集成、自动测试、需求确认、概念验证、接口验证、功能性能仿真验证任务，对云边端融合的多飞行器嵌入式智能软件设计与验证的达成起到关键作用 预计采购时间： ****-** 备注： 单价**万，**台共***万 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+P*交换机 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+P*交换机 预算金额： ***.******万元(人民币) 采购品目： A******** 其他网络设备 采购需求概况 ： 该设备是面向飞行器跨域协同的云原生安全容器管理系统中必须的设备，承担对目标软件进行虚拟集成、自动测试、需求确认、概念验证、接口验证、功能性能仿真验证任务，对云边端融合的多飞行器嵌入式智能软件设计与验证的达成起到关键作用 预计采购时间： ****-** 备注： 单价**万，**台共***万 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+RDMA（RoCEv*）交换机 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+RDMA（RoCEv*）交换机 预算金额： ***.******万元(人民币) 采购品目： A******** 其他网络设备 采购需求概况 ： 该设备是面向飞行器跨域协同的云原生安全容器管理系统中必须的设备，承担对目标软件进行虚拟集成、自动测试、需求确认、概念验证、接口验证、功能性能仿真验证任务，对云边端融合的多飞行器嵌入式智能软件设计与验证的达成起到关键作用 预计采购时间： ****-** 备注： 单价**万，**台共***万 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+星载仿真智能计算节点 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+星载仿真智能计算节点 预算金额： ***.******万元(人民币) 采购品目： A******** 服务器 采购需求概况 ： 该设备是面向飞行器跨域协同的云原生安全容器管理系统中必须的设备，承担对目标软件进行虚拟集成、自动测试、需求确认、概念验证、接口验证、功能性能仿真验证任务，对云边端融合的多飞行器嵌入式智能软件设计与验证的达成起到关键作用 预计采购时间： ****-** 备注： 单价**万，**台共***万 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+飞行器协同设计数字化设计平台 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+飞行器协同设计数字化设计平台 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 本项目建设飞行器协同设计数字化设计平台，项目建设内容包含飞行器CAD设计平台软件和飞行器*D设计平台软件。通过项目建设实现飞行器协同设计平台搭建，能够支持各种几何建模算法：求交、投影、分割、合并、延伸、偏移等；建模算法：拉伸、旋转、扫掠、放样、布尔、圆角、抽壳、拔模等。项目建设内容可实现自主安全可控，用国产软件打造科研教育高地，构建基于基础技能、创新能力培养，以学习者发展为中心的国产工业软件科研人才培养体系，培养更多飞行机器关键软件领域优秀应用人才。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+飞行器协同研发几何建模引擎平台 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+飞行器协同研发几何建模引擎平台 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 本项目建设飞行器协同研发几何建模引擎平台，项目建设内容包含飞行器CAD设计平台软件和飞行器*D设计平台软件。通过项目建设实现基于飞行器协同研发几何建模引擎进行几何建模、算法优化、性能调优等内核级功能实现。项目建设内容可实现自主安全可控，用国产软件打造科研教育高地，构建基于基础技能、创新能力培养，以学习者发展为中心的国产工业软件科研人才培养体系，培养更多飞行机器关键软件领域优秀应用人才。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+飞行器协同研发二次开发环境 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+飞行器协同研发二次开发环境 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 本项目建设飞行器协同研发二次开发环境。通过项目建设可以实现多关键领域（航空）模型二次开发，通过二次开发平台实现在关键领域高效设计、并进行对应功能组件的开发任务。项目建设内容可实现自主安全可控，用国产软件打造科研教育高地，构建基于基础技能、创新能力培养，以学习者发展为中心的国产工业软件科研人才培养体系，培养更多飞行机器关键软件领域优秀应用人才。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+学院名称+飞行器科学计算工具 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+学院名称+飞行器科学计算工具 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 科学计算是利用计算机解决科学与工程领域的数学建模问题所需的工具、技术和理论的集合。现代飞行器系统是一种典型的信息物理融合系统（CPS），一方面，飞行器设计需要关注全机系统设计、布局的合理性，另一方面，飞行器自动化、智能化程度也需要依赖无数的算法、代码的支撑。飞行器科学计算工具是一种针对飞行器算法开发设计的科学计算环境，旨在为算法开发、数值计算、数据分析和可视化、信息域计算分析等提供通用编程开发环境，其基于新一代高性能科学计算语言Julia，能够提供业内最为高效的数值计算能力，同时兼容Python和M语言，支持与Python、C/C++、Fortran、M、R等编程语言的相互调用，够针对飞行器系统不同领域的具体需求，如信号处理、通信仿真、图形图像处理、控制系统设计分析、人工智能等，提供统一的基础平台，并且能够与飞行器系统建模仿真工具进行无缝集成，能够打通系统仿真和科学计算之间的壁垒，完成整个飞行器系统的虚拟验证。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+学院名称+飞行器系统建模仿真工具 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+学院名称+飞行器系统建模仿真工具 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 飞行器系统的设计是一个多学科、多专业的协同设计过程，在产品系统设计过程中需要进行大量的设计循环和迭代，随着现代计算机技术和建模仿真的发展，利用系统仿真技术能够大幅提高业务水平，成为现代装备设计研发的重要辅助手段，而传统仿真设计工具不能够解决飞行器全系统级的建模和仿真，无法完整地反映系统不同层次、不同单机的多学科特性，因此需要采购一种能够面向飞行器全机系统系统设计仿真工具，兼顾飞行器单机设备特性和全机系统特性仿真模拟计算。飞行器系统建模仿真工具是一种基于国际Modelica语言的系统级设计仿真工具，其不仅能够提升飞行器系统的研制效率，也能够作为科研教学的基础环境，促进科研方法的更**科研手段的多样化，使得科研活动更加高效、精准和智能化。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+学院名称+飞行器设计仿真模型库 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+学院名称+飞行器设计仿真模型库 预算金额： ***.******万元(人民币) 采购品目： A******** 应用软件 采购需求概况 ： 飞行器设计研发过程中，需要针对现代飞行器系统的数字化设计提供更为专业、细分领域的模型支撑，快速实现飞行器单机系统和全机系统的特性模拟，一方面需要具备一定规模的高度可复用的基础模型库和契合飞行器系统组成拓扑的专业模型库进行模型组件支撑，另一方面需要具备能够持续开展模型库建设的能力。采购飞行器设计仿真模型库能够快速实现飞行器机、电、液、热等多个专业方向的基础知识的积累和复用，能够自定义扩展、积累个人专业库，支持飞行器基础专业知识的模型化表达和模块化封装，既可以作为教学平台，更加直观的让学生理解飞行器的组成拓扑和特性表征，又可以作为科研平台，使得科研工作者无需过多关注模型开发工作，而更好的聚焦相关的科研方法，产出更多的科研成果。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+源代码缺陷检测和漏洞分析系统 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+源代码缺陷检测和漏洞分析系统 预算金额： ***.******万元(人民币) 采购品目： A******** 计算机软件作品 采购需求概况 ： a) 支持通过代码扫描构建软件网络模型，粒度至少包括文件网络和函数网络； b) 软件源代码质量评价需要覆盖软件代码构架、故障风险、维护性、演化特性、缺陷特征等方面； c) 支持软件演化过程的源代码的缺陷可视化跟踪与漏洞趋势分析。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+智能模糊测试工具 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+智能模糊测试工具 预算金额： ***.******万元(人民币) 采购品目： A******** 计算机软件作品 采购需求概况 ： a） 支持 C/C++、Python、Go、JS等主流语言源代码工程、C/C++代码编译的Linux上运行的 ELF二进制程序等多种目标的模糊测试。 cccc） 可检测内存使用错误、内存分配错误、线程错误、未定义行为和其他自定义错误。 b） 源代码目标测试时，支持基于入口函数列表在函数级自动生成多套测试驱动代码，并支持测试驱动代码的在线编辑与新增。自动生成的测试驱动可覆盖**%以上入口函数，驱动成功率**%以上。 c） 支持查看源代码测试工程每个文件的详细测试覆盖信息，代码行覆盖支持色块标注，并展示每一行的覆盖次数方便用户直接查看覆盖情况。 d） 支持在系统内直接复现缺陷以及开启动态调试，提供复现日志，支持以命令行方式进行调试，观察、控制程序的行为。 e） 支持通过定制方式集成开源引擎能力，包括但不限于：libfuzzer、afl/afl++、radamsa、jazzer、jazzer.js、gofuzz、cargofuzz、athries等，引擎列表中提供引擎名称、适用工程、创建状态、操作系统环境、处理器架构、引擎文件等信息，并支持根据引擎名称和类型进行精准搜索。 f） 支持对同一入口函数发起多个并行模糊测试任务，并支持多任务间的种子同步。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+飞行器领域代码数据集 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+飞行器领域代码数据集 预算金额： ***.******万元(人民币) 采购品目： A******** 结构化数据 采购需求概况 ： a) 包含**套飞行器领域，包括但不限于低空飞行器、无人机等，数据集； b）代码数据集可以为源代码或二进制程序代码； c）代码数据集支持智能软件工程领域模型，例如代码自动生成模型、代码审查模型、代码修复模型等，的训练或微调； d）数据集可以为飞行器领域数据、开源代码或闭源代码。 预计采购时间： ****-** 备注： 每套**万，**套共***万 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+飞行器安全攸关软件设计工具 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+飞行器安全攸关软件设计工具 预算金额： ***.******万元(人民币) 采购品目： A******** 其他航空航天工业设备 采购需求概况 ： 该设备是子平台中必须的设备，承担该子平台中的以下两个任务：*）飞行器安全攸关软件图形设计建模、基于模型的自动代码生成、基于模型的仿真调试等任务；*）飞行器安全攸关系统人机界面类嵌入式软件图形设计建模、基于模型的OpenGL代码自动生成、图形模型的仿真调试等任务。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。 ********+软件学院+机载软件的虚拟仿真环境 项目所在采购意向： ************年**月政府采购意向 采购单位： ******** 采购项目名称： ********+软件学院+机载软件的虚拟仿真环境 预算金额： ***.******万元(人民币) 采购品目： A******** 其他航空航天工业设备 采购需求概况 ： 该设备是子平台中必须的设备，承担对目标软件进行虚拟集成、自动测试、需求确认、概念验证、接口验证、功能性能仿真验证任务，对平台目标的达成起到关键作用，如缺少该设备将造成软件研制过程无法实现敏捷开发和快速验证，可能导致无法在研制早期识别目标软件与其工作外围对象的接口、功能、性能适配性要求，导致发生重大变更，引入较大改进成本。缺少该环境，将造成对软件仿真验证不充分、验证结果失准等问题。 预计采购时间： ****-** 备注： 本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。