公开(公告)号：CN106776208B

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

申请号：CN201611102015.4

申请日：2016-12-02

申请人： 中国航天系统科学与工程研究院

发明人： 薛惠锋 ,  闫陈静 ,  张伟 ,  葛慧 ,  经小川 ,  高金梁 ,  傅艳 ,  张博 ,  吕宏宇

IPC分类号： G06F11/30 ,  G06F11/36

摘要： 本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部署探针，并构造运行时监控器；在动态运行阶段，即在软件运行的过程中，插装代码采集软件系统运行时设定监控变量的变化信息，监控器根据该变化信息，对软件系统执行情况进行是否符合性质规约的验证，探针记录软件系统的执行路径。在故障定位阶段，根据软件执行路径和监控器验证结果，进行统计分析实现软件系统故障定位。

公开(公告)号：CN115307692A

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

申请号：CN202210936429.6

申请日：2022-08-05

申请人： 中国航天系统科学与工程研究院

发明人： 张波志 ,  经小川

IPC分类号： G01F1/22 ,  G01F15/18

摘要： 本发明公开了一种管道流量计流固耦合关系测试用实验装置及其方法，包括：连接机构，连接机构包括底框、定位部件和移动部件，底框一侧外表面贯穿有管道流量计本体，底框另一侧外表面滑动贯穿有第一连接管，第一连接管一端螺纹连接有延伸管，延伸管一端螺纹连接有第二连接管，定位部件设置于底框上。本发明中，使用时，将裁剪完成的现有环状绘图纸粘附于旋转圈靠近安装圈的一侧，同时根据待测量管实际结构尺寸，通过旋转调节抵栓，进而旋转的抵栓能够有效移动调节卡板使用位置，进而在贴板的贴合限制下，使待测量管能够有效放置于两个限位机构和功能机构之间，进而通过旋转调节蜗杆。

公开(公告)号：CN106776208A

公开(公告)日：2017-05-31

申请号：CN201611102015.4

申请日：2016-12-02

申请人： 中国航天系统科学与工程研究院

发明人： 闫陈静 ,  张伟 ,  葛慧 ,  经小川 ,  高金梁 ,  傅艳 ,  张博 ,  吕宏宇

IPC分类号： G06F11/30 ,  G06F11/36

CPC分类号： G06F11/302 ,  G06F11/3668

摘要： 本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部署探针，并构造运行时监控器；在动态运行阶段，即在软件运行的过程中，插装代码采集软件系统运行时设定监控变量的变化信息，监控器根据该变化信息，对软件系统执行情况进行是否符合性质规约的验证，探针记录软件系统的执行路径。在故障定位阶段，根据软件执行路径和监控器验证结果，进行统计分析实现软件系统故障定位。