数学引擎模块代码-网表等价性检查工具招标公告

招标公告数X表等价性检查工具招标公告（项目编号：X-X） 项目X：X，X1.招标条件本招标项目数X表等价性检查工具（项目名称）（项目编号：X-X公司西安飞行自动控制研究所，招标项目资金已落实。本项目已具备招标条件，现对数X表等价性检查工具（设备名称）采购进行公开招标。2.项目概况与招标范围2.1项目名称：数X表等价性检查工具。2.2设备名称：数X表等价性检查工具。2.3数量：X套。2.4招标文件简要技术规格：由于数学引擎模块采用了和以往完全不同的设计架构和设计思想，为满足民机安全X师需要进行冗长XXX表的同一功能用例集仿真比对以期保证逻辑等效性。因此需要定制提供便于提高等效性验证操X：1可通过导入被测项目的项目文件来准确导入所有项目的源文件；2）提供单X级、配置项级的逻辑等效性测试自动运行及数据管理；3能自动使用形式化技术X表进行逻辑等效性检查；4）能自动使用形XX表进行逻辑等效性检查；5）能自动X析源代码中的时钟以及复位信号，根据这些信号的特征来自动进行相关参数配置以保证正确进行逻辑一致性验证。更多要求详见招标文件。2.5交货期：合同签订生效后3个月内。2.6交货地址：X3.投标人资格要求3.1资质要求：（1）在中华人民共和国境内X，为独立法人或其他组织。投标文件提供有效营业执照复印件或事业单位法人证书复印件或依照《中华人民共和国民法典》规定取得的登记或批准文件复印件。（2）若投标人为代理商，投标文件内提供制造商授权书（原件）。3.2财务要求：投标人为企业的，提供X年度经审计的财务会计报表（复印件），需包含（1）资产负债表（2）现金流量表（3）利润表（4）会计附注或审计报告正文。投标人为事业单位的，提供X年度的财务报表复印件，包括资产负债表、收入支出表等主要报表。投标人成立时间不足一个会计年度的，提供成立以来的财务报表复印件，需包含（1）资产负债表（2）现金流量表（3）利润表。3.3业绩要求：不作要求。3.4信誉要求：（1）投标人为企业的，未列入国家XX址https:X.html）的“经营异常名录”和“严重违法失信名单”。提供国家X查询截图，X。（2）投标人为企业或事业单位的，未列入信用中国（通过信用中国跳转至XX址https:X.cnshixin）的“失信被执行人”。提供X查询截图，X。3.5其他要求：3.6本次招标不接受联合体投标。联合体投标的，应满足下列要求：  。3.7按照本公告要求向招标代理机构成功X的投标人才具有投标资格。4.招标文件的获取4.1发售时间：X年X月X日X时XX至X年X月X日X时XX（北京时间）4.2X方式：（1）第一步：在X（https:X.comcmsindex.htm）完成X、会员认证，并XXX（具体费用详询客服电话X-X-X）。（2）第二步：通过X专用链接https:X.comzhjananymousxmgcddbptsf?ywbh=ZDU2YmU4YmI0ZTAyNDY3ZWE3NjE5YWI5YWQ3MGU0NGQ=进行付款，保存X成功的页面截图。如个人汇款的，请注明投标人名称。（3）第三步：在X申请X订单，付款方式选择“电汇”或“现金”，将第二步保存的X成功页面截图X至X。（4）第四步：审核通过后，在XX。（5）第五步：招标文件X完成后，招标文件电子发票将X至第二步付XXX。4.3请投标人务必按照上述步骤顺序操作。第（1）至（4）步缺一不可，若缺少其中任一步骤，均视为未成功购XXX，售后不退。5.投标文件的递交5.1投标文件递交的截止时间：X年X月X日9时XX（北京时间）。5.2投标文件递交的地址：（1）电子投标文件递交至X。通过XX投标文件制作X，使用X制XX（需使用XX完成投标文件加密及签章）。（2）纸质投标文件递交至X西安X公司（XXXXX号慧创科技产业X四栋三层）。5.3特别说明：（1）投标人的电子投标文件和纸质投标文件，均须按照前述两种方式和时间期限一并递交。投标人逾期通过XX电子投标文X及纸质投标文件均将予以拒收；逾期送达的或者未送达指定地点的或者不按照招标文件要求密封的纸质投标文件，该纸质投标文件以及前述电子投标文件均将予以拒收。（2）投标人应严格遵守《中华人民共和国保守国家秘密法》，不得将敏感文件（标识为受控、内部、国家秘密等）X至X。6.开标时间和地点6.1本项目开标时间：同投标截止时间。6.2本项目X1X文件递交地点。（2）X开标地址：X。6.3特别说明：X开标时，投标人须在规定的时间内解密已X的电子版投标文件。7.发布公告的媒介本次招标公告同时在X（https:X.comcmsindex.htm）及中国X（Xwww.X.com）上发布。8.监督部门：本项目的监督X公司西安飞行自动控制研究所纪检审计部门。9.联系方式（含异议受理）：9.1投标人在投标过程中，如存在不明或异议等事项，可通过以下方式与招标人或招标代理机X公司西安飞行自动控制研究所地址：XX