公开(公告)号：CN103744779A

公开(公告)日：2014-04-23

申请号：CN201310738212.5

申请日：2013-12-29

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  付忠传 ,  张楠 ,  暴建民 ,  潘波 ,  张策 ,  朱东杰 ,  王秀峰 ,  张必英 ,  季春光

IPC: G06F11/36

Abstract: 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型，涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点，利用移动点技术，建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即FSQ-RWD-CP模型。在此模型基础之上，进一步建立了既考虑故障修正过程中的不完美排除，又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即修正的FSQ-RWD-CP模型，能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。

公开(公告)号：CN103744758A

公开(公告)日：2014-04-23

申请号：CN201310737931.5

申请日：2013-12-27

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  傅忠传 ,  王超 ,  朱东杰 ,  潘波 ,  王秀峰 ,  季春光 ,  张明 ,  王彦 ,  张毕英 ,  张策

IPC: G06F11/22

Abstract: 基于高层级症状的硬件故障检测装置及方法，属于硬件故障检测领域。本发明是为了解决现有硬件故障检测装置及方法功耗高的问题。本发明所述的基于高层级症状的硬件故障检测装置，通过在不同层级中嵌入故障检测模块，逐层对故障进行检测，能够诊断多种故障类型，使检测功耗减小了60%。本发明所述的基于高层级症状的硬件故障检测方法，属高层级检测方法，它通过逐层检测的方式，使通用性和覆盖面增大，提高了各层级的故障屏蔽能力，使故障覆盖率达到了90%以上。同时将故障症状进行区分，为后续故障诊断机制减小功耗。本发明所述的基于高层级症状的硬件故障检测装置及方法，适用于对计算机硬件进行故障检测。

公开(公告)号：CN102393833B

公开(公告)日：2014-03-26

申请号：CN201110315100.X

申请日：2011-10-17

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  侯春燕 ,  刘宏伟 ,  刘刚 ,  付忠传 ,  吴祥虎 ,  张楠 ,  王秀峰 ,  朱东杰 ,  张策

IPC: G06F11/36

Abstract: 基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法，本发明涉及软件可靠性分析方法，它解决了实际中不可能拥有无限的排错资源，当所有排错人员都被占用时，新检测到的故障必须排队等待的缺陷。实现由三步组成：资源分配，故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据，使软件既能按计划准时发布，又能满足用户的可靠性需求，降低软件的总成本。因此，基于HFSQM的仿真方法对于构件软件测试，进一步对于软件市场决策具有着重要指导意义。

公开(公告)号：CN102307373B

公开(公告)日：2014-01-22

申请号：CN201110243472.6

申请日：2011-08-23

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  周连科 ,  朱东杰 ,  王秀峰 ,  付忠传 ,  暴建民 ,  莫毓昌 ,  张策 ,  张必英 ,  刘永文

IPC: H04W28/08 ,  H04W84/18

Abstract: 考虑车辆交通特性的VANET分簇方法，本发明涉及车载无线自组网的分簇方法。它解决了车载无线自组网传统的分簇算法针对影响分簇结构的连通性、稳定性、负载平衡等因素中的某一个因素来进行，而不考虑影响分簇的其它方面的缺点。本发明包括下述步骤：一、车载无线自组网中的节点分为多个组，每个组内的所有节点构成一个簇；二、确定每个簇中的簇首节点；三、确定每两个相邻簇的网关节点；第二步骤中确定每个簇中簇首节点的方法如下：综合考虑节点的位置、速度、连通和行驶行为，选择簇首节点的权计算公式如下：Wi＝w1Ci+w2Di+w3Vi+w4Li。

公开(公告)号：CN102393832A

公开(公告)日：2012-03-28

申请号：CN201110312113.1

申请日：2011-10-14

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  侯春燕 ,  刘宏伟 ,  刘刚 ,  付忠传 ,  吴祥虎 ,  张楠 ,  王秀峰 ,  朱东杰 ,  张策

IPC: G06F11/36

Abstract: 基于改进的可加模型的构件软件可靠性分析方法，它涉及软件可靠性分析方法。在建立基于体系结构模型的统一框架时，可加模型存在的问题是可加模型没有考虑构件软件应用的体系结构以及执行特征。可加模型没有采用白盒分析方法对应用体系结构模型求解，实现对应用执行过程中构件的使用情况建模。对经过单元测试后的构件进行如下步骤：定义πi建模集成测试中构件的使用情况，πi表示在构件软件系统稳定状态下构件ci的执行时间比例；当构件软件系统执行时间为t时，构件ci累计执行时间表示为ti＝πit；因此，则到时间t为止，构件软件系统发生失效的数目为：在时间t构件软件系统的失效速率为：针对目前提出的可加模型存在的问题进行改进。

公开(公告)号：CN102360333A

公开(公告)日：2012-02-22

申请号：CN201110315118.X

申请日：2011-10-17

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  侯春燕 ,  刘宏伟 ,  刘刚 ,  付忠传 ,  吴祥虎 ,  张楠 ,  王秀峰 ,  朱东杰 ,  张策

IPC: G06F11/36

Abstract: 基于HISQM排队模型考虑故障排除过程的构件软件可靠性分析方法，它涉及一种软件可靠性分析方法。它为了解决传统的基于体系结构的模型以及方法中存在的只考虑了测试中的故障检测过程，忽略了故障排除过程的弊端。首先基于排队论，用HISQM模型来建模构件软件集成测试中的故障排除过程。构件软件集成测试过程包括故障检测过程和故障排除过程。集成测试排错策略将这两个随机过程联系起来。HISQM模型由若干个独立的ISQ系统组成，每个ISQ系统描述根据排错策略分配到该系统中的构件故障的排除行为。分析了HISQM排队模型的到达过程和离开过程，分别对应于构件软件集成测试中的故障检测过程和故障排除过程。建模构件软件的故障检测过程为NHPP类软件可靠性增长模型。

公开(公告)号：CN102307332A

公开(公告)日：2012-01-04

申请号：CN201110243492.3

申请日：2011-08-23

Applicant: 哈尔滨工业大学

Inventor： 崔刚 ,  周连科 ,  朱东杰 ,  王秀峰 ,  付忠传 ,  暴建民 ,  莫毓昌 ,  张策 ,  张必英 ,  刘永文

IPC: H04W4/06 ,  H04W84/18

Abstract: 基于额外度的VANET广播方法，本发明涉及车载无线自组网的广播通信方法。它解决了基于固定门限值的车载无线自组网广播通信方法在密度频繁发生变化时无法满足应用需求的问题。它包括下述步骤：源节点发出广播消息；每个车辆节点在第一次收到这条广播消息后会询问其邻节点是否已经收到，根据应答计算本询问节点的额外度；额外度超过阈值的车辆节点声明本节点的额外度；收到此声明的车辆节点提取声明中的额外度与自己的额外度进行比较，若声明节点所声明的额外度大，则本节点不参与转发广播消息，否则发出比较结果声明，声明本节点的额外度；发出比较结果声明的节点仍收不到比自己大的额外度声明，则此节点转发广播消息。