-
公开(公告)号：CN102508772B
公开(公告)日：2014-09-10
申请号：CN201110312100.4
申请日：2011-10-14
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于PCSTM模型考虑测试与运行剖面不同的测试数据转换构件软件可靠性分析方法，它涉及软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息，没有考虑软件的体系结构的缺点。测试数据转换的方法来实现黑盒方法和白盒方法的结合。首先采用白盒方法实现构件软件测试剖面到运行剖面的映射，建立NHPP模型需要的可靠性数据集，然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程，把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据，建立满足NHPP模型假设的可靠性数据集。
-
公开(公告)号：CN103747063A
公开(公告)日：2014-04-23
申请号：CN201310737878.9
申请日：2013-12-27
Applicant: 哈尔滨工业大学
Abstract: 基于MTPA算法的车联网信息广播，属于汽车移动互联网领域，为解决现有信息传输不能针对网络断连情况的问题。过程为：产生原中继节点；中继节点广播信息包；每走2R距离播放一次信息包。中继节点查询到有同向行驶进入本身发射圈内汽车节点时，更新计算发射圈内汽车节点驶离发射圈的时间，选择最小时间的汽车节点作为后继同向中继节点。并且先广播一次信息包，然后将权限包发送给同向后继中继节点。查询到有反向汽车节点且信息包中的标志位为0时，中继节点将信息包中标志位变为1，广播一次信息包，然后在反方向上按照正方向同样规则将权限包发送给反向后继中继节点。本发明用于网络断连状态下的车联网传送信息。
-
公开(公告)号：CN103744779A
公开(公告)日：2014-04-23
申请号：CN201310738212.5
申请日：2013-12-29
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型，涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点，利用移动点技术，建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即FSQ-RWD-CP模型。在此模型基础之上，进一步建立了既考虑故障修正过程中的不完美排除，又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即修正的FSQ-RWD-CP模型，能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。
-
公开(公告)号：CN102393833B
公开(公告)日：2014-03-26
申请号：CN201110315100.X
申请日：2011-10-17
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法，本发明涉及软件可靠性分析方法，它解决了实际中不可能拥有无限的排错资源，当所有排错人员都被占用时，新检测到的故障必须排队等待的缺陷。实现由三步组成：资源分配，故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据，使软件既能按计划准时发布，又能满足用户的可靠性需求，降低软件的总成本。因此，基于HFSQM的仿真方法对于构件软件测试，进一步对于软件市场决策具有着重要指导意义。
-
Patent Agency Ranking
公开(公告)号：CN102307373B
公开(公告)日：2014-01-22
申请号：CN201110243472.6
申请日：2011-08-23
Applicant: 哈尔滨工业大学
Abstract: 考虑车辆交通特性的VANET分簇方法，本发明涉及车载无线自组网的分簇方法。它解决了车载无线自组网传统的分簇算法针对影响分簇结构的连通性、稳定性、负载平衡等因素中的某一个因素来进行，而不考虑影响分簇的其它方面的缺点。本发明包括下述步骤：一、车载无线自组网中的节点分为多个组，每个组内的所有节点构成一个簇；二、确定每个簇中的簇首节点；三、确定每两个相邻簇的网关节点；第二步骤中确定每个簇中簇首节点的方法如下：综合考虑节点的位置、速度、连通和行驶行为，选择簇首节点的权计算公式如下：Wi＝w1Ci+w2Di+w3Vi+w4Li。
-
公开(公告)号：CN102393832A
公开(公告)日：2012-03-28
申请号：CN201110312113.1
申请日：2011-10-14
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于改进的可加模型的构件软件可靠性分析方法，它涉及软件可靠性分析方法。在建立基于体系结构模型的统一框架时，可加模型存在的问题是可加模型没有考虑构件软件应用的体系结构以及执行特征。可加模型没有采用白盒分析方法对应用体系结构模型求解，实现对应用执行过程中构件的使用情况建模。对经过单元测试后的构件进行如下步骤：定义πi建模集成测试中构件的使用情况，πi表示在构件软件系统稳定状态下构件ci的执行时间比例；当构件软件系统执行时间为t时，构件ci累计执行时间表示为ti＝πit；因此，则到时间t为止，构件软件系统发生失效的数目为：在时间t构件软件系统的失效速率为：针对目前提出的可加模型存在的问题进行改进。
-
公开(公告)号：CN102360333A
公开(公告)日：2012-02-22
申请号：CN201110315118.X
申请日：2011-10-17
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于HISQM排队模型考虑故障排除过程的构件软件可靠性分析方法，它涉及一种软件可靠性分析方法。它为了解决传统的基于体系结构的模型以及方法中存在的只考虑了测试中的故障检测过程，忽略了故障排除过程的弊端。首先基于排队论，用HISQM模型来建模构件软件集成测试中的故障排除过程。构件软件集成测试过程包括故障检测过程和故障排除过程。集成测试排错策略将这两个随机过程联系起来。HISQM模型由若干个独立的ISQ系统组成，每个ISQ系统描述根据排错策略分配到该系统中的构件故障的排除行为。分析了HISQM排队模型的到达过程和离开过程，分别对应于构件软件集成测试中的故障检测过程和故障排除过程。建模构件软件的故障检测过程为NHPP类软件可靠性增长模型。
-
公开(公告)号：CN102307332A
公开(公告)日：2012-01-04
申请号：CN201110243492.3
申请日：2011-08-23
Applicant: 哈尔滨工业大学
Abstract: 基于额外度的VANET广播方法，本发明涉及车载无线自组网的广播通信方法。它解决了基于固定门限值的车载无线自组网广播通信方法在密度频繁发生变化时无法满足应用需求的问题。它包括下述步骤：源节点发出广播消息；每个车辆节点在第一次收到这条广播消息后会询问其邻节点是否已经收到，根据应答计算本询问节点的额外度；额外度超过阈值的车辆节点声明本节点的额外度；收到此声明的车辆节点提取声明中的额外度与自己的额外度进行比较，若声明节点所声明的额外度大，则本节点不参与转发广播消息，否则发出比较结果声明，声明本节点的额外度；发出比较结果声明的节点仍收不到比自己大的额外度声明，则此节点转发广播消息。
-
公开(公告)号：CN101145894A
公开(公告)日：2008-03-19
申请号：CN200710144508.9
申请日：2007-10-29
Applicant: 哈尔滨工业大学
Abstract: 高可用双机容错系统的高可靠仲裁装置，涉及到一种仲裁装置，它解决了现有双机容错系统中由于系统的软、硬件信息采集不准确使两个服务器互相指责进而导致系统无法正常工作的问题。本发明的两个控制模块分别安装在双机容错系统中的两个服务器主机A和主机B中，三个仲裁模块的数据输入/输出端分别连接在CAN通信总线、IIC通信总线和SPI通信总线上，两个控制模块的控制信号输入/输出端分别通过USB串行通讯总线与三个仲裁模块的USB数据输入/输出端连接，所述三个仲裁模块的数据输入/输出端、数据采集模块的数据输入/输出端和硬件切换模块的数据输入/输出端分别与CPCI通信总线连接。本发明能够广泛的应用到现有的双机容错系统中。
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.025 seconds)
