中国工程物理研究院计算机应用研究所

副理事长单位

注册地址：四川省绵阳市游仙区绵山路64号

中国工程物理研究院计算机应用研究所是中物院的信息化技术总体单位,主要从事网络信息安全、信息系统、高性能计算、数字样机、系统仿真、数据智能、智能控制、软件测评等方向的科学研究、软件研发和工程应用。
　　研究所主体位于四川省绵阳市科学城，在成都设有智能科技创新中心；职工400余人，享受国家政府特殊津贴19人，省级以上学科带头人和领域专家20余名；在绵阳地区设有8个科研室，拥有超大规模超算中心和数据中心等科研设施；具有GJB9001C体系、GJB5000A体系以及军用软件测试实验室等资质。
　　研究所致力于构建“基础设施-数字平台-业务APP-运营服务”四层生态，支撑中物院数字化运营。核心能力包括四个方面：第一，建立涉密科研专网、数据中心和超算中心三大基础设施；第二，建立 “识别-防护-监测-处置”信息安全能力体系，满足高安全保密要求；第三，研发数字院所赋能平台和数字装备赋能平台两个数字平台，支撑业务APP快速研制和上线运行，助力实现院所管理和装备研制数字化和智能化；第四，提供软件测评和IT运维两类服务。
　　研究所秉持“铸国防基石 做民族脊梁”的核心价值观，坚持“核心自主-平台APP-软件产品-实用好用”的研发理念，追求“爱岗敬业、专业专注、科学严谨、创新卓越”的精神品格，携手全所干部职工，为院所管理和装备研制现代化转型及国家战略安全不断做出新的贡献。

能力简介：

连贯性计算引擎（HSWAP)
　　该产品主要应用场景为集成批量数值模拟软件，基于超算等高性能计算资源构建行业计算平台、高通量计算平台、复杂科学工程问题一键式快速计算平台。其市场主要竞争对手为ANSYS等软件公司所推出的集成业务平台。产品优势在于1）同高性能资源结合紧密，在调度等方面具有优势；2）无商业壁垒限制；3）包含快速定制专业交互界面的工具箱。
　　该产品可转让、可许可、产品应用领域明确，目前已和国内几大知名的超算中心开展相关交流合作和对接领域推广。

交互式电子技术手册制作系统
　　交互式电子手册制作系统面向装备研制交付及实战化勤务保障领域，辅助装备使用、维修、训练及保障工作开展，满足GJB150/151B/8116/6600、S1000D及国家信息系统分级保护标准，实现技术资料的标准化、规范化交互式制作，支持技术资料交互化和智能化试用， 具备交互阅读、加固及安全增强功能，包括手册设计、数据交互编辑、数据发布、数据管理、二维/三维技术插图制作，数据管控等主要功能。产品在面向部队装备、民用飞机、大型民用装备等维修手册电子化综合保障业务方面有推广价值。保障维修训练人员全面准确获取技术资料，减少故障误报率、提高故障定位成功率、减少故障定位时间、减少维护及维修时间、降低错误拆除率、提升新技术人员效率及技能，能够提升装备维修效率，提高训练与教学效率和安全性，节省训练与教学费用。

自主可控涉密电子会议系统
　　自主可控涉密电子会议系统是一款支持会议全生命周期管理的应用系统,支持全国产自主可控环境运行。能够对会议、议题、参会人、材料、投票等会议要素进行统一管理；拥有齐全的管理模块，如组织机构管理、用户管理、会议室管理、安全策略、审计日志管理等；能够进行“所见即所得”快捷的参会人坐席安排，支持多种形式的会议投票。能够实现会议材料的批量上传、批量权限设置、在线阅读、下载、在线编辑、回传、分类管理等操作。通过该系统，可以实现涉密电子会议易用、高效、快速的管理和召开。该软件面向自主可控的管理信息系统开发中间件进行设计开发，使用自主可控管理信息系统开发技术，实现在全国产自主可控软硬件环境、Wintel体系架构通用环境下均能运行，满足差异化的用户单位应用需求。系统采用增强性安全保密设计模型，满足机密级涉密信息系统等级保护要求，并实现细粒度权限控制，进一步提高涉密会议的安全性。

半实物仿真测试平台（CosimRT）
　　CosimRT是一款针对嵌入式系统进行实时、闭环、非侵入式测试的半实物仿真测试平台，基于CosimRT ，用户可以快速构建被测系统的复杂接口模型，进行us级强实时性测试激励施加、多接口并发和严格时序测试，能满足军工、民用等各种类型嵌入式系统的测试要求。目前产品已经应用于核武器、高新装备武器、航母、卫星等十余个型号，百余项嵌入式软件测试中，取得了良好效果，已经通过国内知名的测试工具公司（旋极科技等）开展对外宣传或军工单位技改采购对接落实。

全数字仿真软件测试平台（VsimTP）
　　VsimTP数字仿真软件测试平台能够对嵌入式软件目标硬件进行完整的数字化仿真，并提供测试环境构建、测试脚本编辑、测试自动执行、测试结果分析显示、故障模拟与注入、覆盖率分析、单步调试等功能。目前产品已经应用于中物院、航天、海军、战支等单位，核武器、高新武器、航母、卫星等领域几十余项型号嵌入式软件测试中，发挥了重要的作用，同时已经完成了和国内测试领域的专业公司（旋极科技等）对外宣传或军工单位技改采购对接落实等工作。

T-MTG测试建模及用例自动生成工具
　　T-MTG测试建模及用例自动生成工具设计是一种是面向嵌入式软件系统，基于模型进行测试分析与用例设计的方法，主要流程包括基于系统需求进行测试建模，数据配置，约束条件设计，覆盖策略配置，用例自动生成等。用户可以根据嵌入式软件系统的重要级别及测试需求风险，配置不同的覆盖策略（包括子图覆盖、路径覆盖、数据覆盖以及条件判定覆盖策略等），即确定测试覆盖目标，测试用例自动化设计以满足测试覆盖目标为设计的终止条件，通过采用“业务模型+数据驱动”的方法，进行数据组合及约束计算等，自动生成满足路径覆盖、数据覆盖、条件判定覆盖、并行覆盖、子图覆盖等覆盖策略的测试用例集，从而提高测试设计的科学性和充分性。

HDLSimTP FPGA软件仿真测试平台
　　面向各军工集团、民用企业等单位对快速构建FPGA软件仿真测试环境和开展高效、充分仿真测试的需求，HDLSimTP FPGA软件仿真测试平台实现了工程管理、组件和模型管理、可视化建模、代码生成和仿真工具集成等功能。仿真测试平台能够以可视化建模的方式，快速构建基于模型库的UVM架构FPGA仿真测试平台，自动生成仿真测试环境代码，从而实现FPGA软件的快速仿真测试。