公开(公告)号：CN107942733A

公开(公告)日：2018-04-20

申请号：CN201711345025.5

申请日：2017-12-15

Applicant: 四川汉科计算机信息技术有限公司

Inventor： 陈丽琴

IPC: G05B17/02

CPC classification number: G05B17/02

Abstract: 本发明涉及模型测试系统，该系统包括：规则检查工具：采用Testbed和EMRunner测试工具，对系统原型生成的代码进行编码规范及规则检查；需求追踪工具：成BenderRBT需求测试工具，通过该工具可以对软件需求或用户需求进行需求因果图设计，形成清晰的条目化需求追踪关系图，结合Scade生成的需求关系图检查模型与需求一致性；静态分析工具：采用Testbed、EMRunner或PolySpace测试工具，分析模型的质量度量；动态测试工具：采用Testbed和EMRunner测试工具，对模型进行单元测试；覆盖率分析工具：针对模型代码的mc/dc覆盖率进行测试；仿真验证工具：针对不同专业领域集成综合性半实物仿真平台；形式化验证工具：采用Rhapsody开发工具，进行模型级/代码级联合调试、验证。

公开(公告)号：CN207763580U

公开(公告)日：2018-08-24

申请号：CN201721755288.9

申请日：2017-12-15

Applicant: 四川汉科计算机信息技术有限公司

Inventor： 陈丽琴

IPC: F41H11/04

Abstract: 本实用新型涉及基于无人机的导弹拦截系统，包括无人机防线、远端雷达、近端雷达和监控中心；所述的远端雷达设立在离军事易打击目标的周边，近端雷达设立在军事易打击目标位置处，远端雷达用于监测敌方的攻击导弹，近端雷达用于监控拦截导弹；所述的监控中心的主机中存储有攻击导弹最容易打击的方向数据库；所述的无人机防线包括多个防线单元，在最易打击的方位密集地布置多个防线单元，防线单元包括多个微型无人机、拦截网，多个微型无人机将拦截网拉撑起，拦截网上安装有有强磁模块和GPS定位模块，微型无人机上安装有坐标定位模块，每个定位模块对应一个坐标。本实用新型达到的有益效果是：定位精确、拦截效果好、安全性高。