一种航天装备软件配置项测试需求形式化描述方法及装置

    公开(公告)号:CN116303000A

    公开(公告)日:2023-06-23

    申请号:CN202310183712.0

    申请日:2023-02-28

    Abstract: 本发明公开了一种航天装备软件配置项测试需求形式化描述方法及装置,涉及航天装备软件配置项测试领域,该方法包括创建用于对软件配置项测试需求进行形式化描述的形式化描述工具,并基于软件配置项测试需求的类型,选择待建立的形式化描述图形的类型;基于形式化描述工具,选择对应软件配置项测试需求的基本图元,以建立形式化描述图形;根据软件配置项测试需求,对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行设置;基于设置完成的形式化描述图形,生成与形式化描述图形对应的XML描述文件。本发明能够提高测试需求分析效率,为采用自动化手段开展形式化验证工作构造有利条件。

    一种大燃气量供气模式的固体矢量推力装置

    公开(公告)号:CN114857620B

    公开(公告)日:2023-06-20

    申请号:CN202210493848.7

    申请日:2022-04-28

    Abstract: 本申请涉及一种大燃气量供气模式的固体矢量推力装置,属于运载火箭姿控动力系统技术领域,包括:燃发器,其包括壳体和位于壳体两端的燃气排出口,壳体内设有一端开口四周封闭的双层环形绝热层,双层环形绝热层内装填有药柱,双层环形绝热层的中心孔内设有中心管,中心管的一端朝向双层环形绝热层的开口端并与其中一个燃气排出口连通,中心管的另一端与另一个燃气排出口连通;姿控器,其包括将多组燃发器首尾连接并组成环形燃气通道的多条燃气管路,多条燃气管路上共设有六组推力器,六组推力器出口方向的轴线共同组成“卄”形结构。本申请采用两边出气的燃发器能够节省近一半的消极质量,且能够长时间工作并提供大燃面的恒定流量的燃气。

    一种两边出气的燃发器
    3.
    发明公开

    公开(公告)号:CN114858008A

    公开(公告)日:2022-08-05

    申请号:CN202210470497.8

    申请日:2022-04-28

    Abstract: 本申请涉及一种两边出气的燃发器,壳体的两端均设有顶盖,顶盖上设有燃气排出口;壳体绝热层包括外筒体、内筒体、环状连接层,外筒体的外壁粘接在壳体内壁上,内筒体位于外筒体内,内筒体的一端与外筒体的一端之间形成燃面窗口,环状连接层的外边缘和内边缘分别与外筒体另一端和内筒体另一端相连接,并在外筒体、内筒体和环状连接层之间形成药柱填充空间;中心管设于内筒体内,中心管一端与其所在侧的燃气排出口连通,另一端与其所在侧的燃气排出口和燃面窗口连通;点火药盒设于壳体内,并朝向燃面窗口。本申请可以解决相关技术中单侧端面燃烧燃气发生器结构存在消极质量高的问题。

    伺服机构性能测试方法、装置、设备及可读存储介质

    公开(公告)号:CN115857475B

    公开(公告)日:2025-01-24

    申请号:CN202211669365.4

    申请日:2022-12-24

    Abstract: 本发明提供一种伺服机构性能测试方法、装置、设备及可读存储介质,伺服机构性能测试方法包括:调取伺服机构对应的数据库文件,按预设周期把性能测试界面控件上的输入信号通过数据库文件链接作为输入至伺服机构的控制物理量;基于CAN消息触发事件或状态触发事件采集反馈物理量,所述反馈物理量为伺服机构中的执行机构与所述控制物理量对应的反馈量;基于不同曲线类型的输入信号对所述控制物理量与所述反馈物理量进行对应的数据处理,得到数据处理结果;将性能测试界面窗口环境变量链接于所述数据处理结果,基于所述数据处理结果显示伺服机构性能指标对应物理量。本发明的伺服机构性能测试方法可根据测试灵活配置,且涉及到的测试设备通用便携。

    一种环形点火药盒及燃发器

    公开(公告)号:CN114935283B

    公开(公告)日:2023-12-19

    申请号:CN202210470484.0

    申请日:2022-04-28

    Abstract: 本申请涉及一种环形点火药盒及燃发器,该点火药盒包括药盒壳体、点火药和点火线,所述药盒壳体呈环形,且其中部形成有燃气通道;所述药盒壳体内部设有呈环形的火药存放室,所述药盒壳体上还开设有燃气孔,所述燃气孔一端连通所述火药存放室;点火药存储在所述火药存放室内,点火线一端伸入所述点火药,另一端穿出所述药盒壳体。本申请采用环形的点火药盒,建压快,点火延迟时间短暂,可在发火后迅速均匀的引燃整个燃发器的药柱端面。

    一种航天装备软件系统测试需求形式化描述方法及装置

    公开(公告)号:CN116185861A

    公开(公告)日:2023-05-30

    申请号:CN202310187909.1

    申请日:2023-02-28

    Abstract: 本发明公开了一种航天装备软件系统测试需求形式化描述方法及装置,涉及航天装备软件系统测试领域,该方法包括创建用于对软件系统测试需求进行形式化描述的形式化描述工具,并基于软件系统测试需求,选择待建立形式化描述图形类别;根据形式化描述工具的可操作方式,选择对应软件系统测试需求的基本图元,实现形式化描述图形的建立;基于软件系统测试需求,对建立的形式化描述图形中基本图元自身的属性以及基本图元间的属性进行配置;基于配置完成的形式化描述图形,生成对应于形式化描述图形的XML描述文件。本发明能够有效提高测试需求分析效率,为采用自动化手段开展形式化验证工作构造有利条件。

    一种装备软件数字化闭环系统测试方法及装置

    公开(公告)号:CN115309627A

    公开(公告)日:2022-11-08

    申请号:CN202210332660.4

    申请日:2022-03-30

    Abstract: 本发明公开了一种装备软件数字化闭环系统测试方法及装置,涉及装备软件数字化测试领域,该方法包括在数字化测试环境中创建数字化虚拟机和软总线,以将基于不同硬件平台的不同种类的被测装备软件及陪测件共同运行在一个数字化测试环境中进行系统测试;基于创建的数字化虚拟机,为被测装备软件系统提供数字化运行环境;基于创建的软总线的接口,对被测装备软件及陪测件的通信数据进行封装并通过软总线进行传递;建立控制机制,并基于建立的控制机制对数字化测试环境中各测试节点进行统一的时钟控制,控制各测试节点的业务运行速率和通讯传输速率。本发明能够有效解决实物测试环境资源有限,难以保证测试充分性的问题。

Patent Agency Ranking