-
公开(公告)号:CN102393833A
公开(公告)日:2012-03-28
申请号:CN201110315100.X
申请日:2011-10-17
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于HFSQM排队模型考虑排错资源局限性的构件软件可靠性分析方法,本发明涉及软件可靠性分析方法,它解决了实际中不可能拥有无限的排错资源,当所有排错人员都被占用时,新检测到的故障必须排队等待的缺陷。实现由三步组成:资源分配,故障检测过程和故障排除过程。资源分配为HFSQM中等待排错资源的故障分配合适的资源。故障检测过程基于构件软件应用的运行剖面对整个应用执行集成测试。故障排除过程对HFSQM中占有排错资源的故障进行修复。这能为软件发布和测试资源的合理配置提供依据,使软件既能按计划准时发布,又能满足用户的可靠性需求,降低软件的总成本。因此,基于HFSQM的仿真方法对于构件软件测试,进一步对于软件市场决策具有着重要指导意义。
-
公开(公告)号:CN102325306A
公开(公告)日:2012-01-18
申请号:CN201110243485.3
申请日:2011-08-23
Applicant: 哈尔滨工业大学
Abstract: 基于综合加权的VANET分簇广播方法,本发明涉及车载无线自组网的广播方法。它解决了车载无线自组网广播方法中传统的分簇算法针对影响分簇结构的连通性、稳定性、负载平衡等因素中的某一个因素来进行,而不考虑影响分簇的其它方面的缺点。它包括下述步骤:一、车载无线自组网的分簇;二、确定每个簇中的簇首节点;三、确定每两个相邻簇的网关节点;四、广播通信;第二步骤中确定每个簇中簇首节点的方法如下:综合考虑节点的位置、速度、连通和行驶行为,选择簇首节点的权计算公式如下:Wi=w1Ci+w2Di+w3Vi+w4Li。
-
公开(公告)号:CN102306123A
公开(公告)日:2012-01-04
申请号:CN201110312104.2
申请日:2011-10-14
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于CSTM模型测试数据转换的构件软件可靠性分析方法,本发明涉及一种软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息,没有考虑软件的体系结构的缺点,本发明是测试数据转换的方法来实现黑盒方法和白盒方法的结合。它首先采用白盒方法实现构件软件测试剖面到运行剖面的映射,建立NHPP模型需要的可靠性数据集,然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程,把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据,建立满足NHPP模型假设的可靠性数据集。
-
公开(公告)号:CN102300160A
公开(公告)日:2011-12-28
申请号:CN201110241846.0
申请日:2011-08-22
Applicant: 哈尔滨工业大学
Abstract: 车载无线自组网的N次幂广播方法,本发明涉及车载无线自组网的广播方法。它解决了现有技术的基于概率转发的方法在节点饱和的状态下冲突仍然会比较严重的缺陷。本发明的技术方案是:每个网络节点在接收到广播数据包后,先查询此广播数据包的ID,看是否已经接收过此广播数据包;若已经收到过,则直接丢弃此广播数据包;若未曾收到过,则将其存储并计算本网络节点的转发概率;如果本网络节点的转发概率大于1,则向其它网络节点转发此广播数据包;如果本网络节点的转发概率小于1,则丢弃此广播数据包;本网络节点的转发概率计算公式为:Pi=(Lij/R)n×100%。用于数据的广播发送。
-
公开(公告)号:CN102279839A
公开(公告)日:2011-12-14
申请号:CN201110261884.2
申请日:2011-09-06
Applicant: 哈尔滨工业大学
IPC: G06F17/00
Abstract: 粗糙集扩展模型中近似集动态更新方法,它涉及一种近似集动态更新方法。本发明方法为了进一步完善基于覆盖广义粗糙集的理论体系,使其能够更好地应用于实际的需求。本发明方法分析了对象的邻域、边界域与近似集的关系,给出了覆盖粗糙集模型中近似集的增量更新方法。本发明方法给出了当属性集增加或减少时,在覆盖广义粗糙集模型中近似集的动态变化趋势及近似集的动态增量更新方法,不仅适用于单属性增加删除时近似集的增量更新,而且也适用于多个属性变化的情况,通过实例验证了这种方法的可行性,通过实验仿真验证所提出方法的性能,且从给出的实例的实验仿真说明,基于覆盖广义粗糙集理论的动态增量更新方法不但有效,而且在效率上也有所提高。
-
公开(公告)号:CN101148965B
公开(公告)日:2011-09-14
申请号:CN200710144520.X
申请日:2007-10-30
Applicant: 哈尔滨工业大学
Abstract: 车窗驱动防夹控制系统及其控制方法,它涉及的是汽车车窗驱动防夹控制的技术领域。它为了克服现有红外传感式因其成本太高而无法推广应用及电流反馈式存在基准电流门限值随着系统的使用而变得不准确的问题。它的微控处理器电路上接有电流反馈智能功率芯片、多路开关检测接口电路,多路开关检测接口电路连接有车窗顶部接触开关、测试开关、车窗底部接触开关,车窗上升开关、车窗下降开关。它的方法步骤为:微控处理器电路检测制动电流值N次、正常阻力电流值N次,将计算出的电流门限值存入Flash存储单元中;与当前Flash中的基准电流门限值比较,大于则执行防夹功能,即电动机反转。本发明的防夹精度高,它能随车窗的使用自动调整更新基准电流门限值Imax。
-
公开(公告)号:CN101875341A
公开(公告)日:2010-11-03
申请号:CN201010195837.8
申请日:2010-06-09
Applicant: 哈尔滨工业大学
Abstract: 汽车安全防盗系统,本发明涉及一种汽车上的安全防盗系统。用于汽车安全防盗。本发明的目的是解决处于复杂停放环境的汽车容易发生防盗及汽车行驶前安全检测信息误报的问题。它包括中央处理器、红外线传感器、门窗磁探测器、CCD图像传感器、GPS模块和GPRS模块,红外线传感器、CCD图像传感器、门窗磁探测器和GPS模块的信号输出端分别连接中央处理器的一个信号输入端,中央处理器的通信端口连接GPRS模块的输入端;中央处理器中包括数字滤波处理模块,数字滤波处理模块对信号进行数字滤波处理减小干扰误差。由于数字滤波处理模块滤掉了各种环境干扰信号,尤其是汽车发动机的噪音和振动干扰,使发生误报的情形大大减少。
-
公开(公告)号:CN101150908A
公开(公告)日:2008-03-26
申请号:CN200710144519.7
申请日:2007-10-30
Applicant: 哈尔滨工业大学
CPC classification number: Y02B20/202
Abstract: 基于LIN总线网络的车灯控制系统及其控制方法,它涉及基于总线网络的汽车车灯控制的技术领域。本发明是为了克服现有汽车中车灯种类繁多且位置分散,需要大量的电缆线,而存在在制造、安装、维修、使用安全带来了不可估量的困难和隐患的问题。它的系统的双高端开关器件(1)连接主控微处理器电路(2),多个开关电路(4)通过多路开关检测接口电路(3)连接主控微处理器电路(2),主控微处理器电路(2)通过LIN总线接口电路(5)、LIN总线(8)连接多个从接节点(6)。它的方法步骤为:整机启动初始化,将开关状态通过LIN总线广播到每个从节点(6)中,每个从节点(6)执行相对应的开关状态命令。本发明因是分体式模块化设计,各模块间通过LIN总线来通讯,可方便地增减从节点。
-
公开(公告)号:CN1598809A
公开(公告)日:2005-03-23
申请号:CN200410043830.9
申请日:2004-08-25
Applicant: 哈尔滨工业大学
Abstract: 本发明公开一种用于C、Pascal、Fortran、Basic程序设计语言编程题自动评分的方法。步骤:输入学生编写的程序(S)及标准答案集;将程序(S)和标准答案(Ti)进行各自高级语言的词法、语法分析,生成系统依赖图(Gs)、(Gt,i);对(Gs)、(Gt,i)进行规范化处理;将(Gs)、(Gt,i)中的表达式用语法树表示,消除(Gs)、(Gt,i)中的代码多样化表示形式;对(Gs)、(Gt,i)的处理结果从程序的规模、结构、深度及知识应用四个层次进行匹配;按照评分标准给出学生编写的程序一次匹配的得分(108),从(S)和(Ti)的所有匹配结果中选择一个最高分作为学生成绩最终得分(110)。本发明所述的自动评分方法对学生编写的程序中各种评分因素考虑的比较全面,因此,相对人工评分来说它的评分精度较高。
-
公开(公告)号:CN103744779B
公开(公告)日:2017-03-22
申请号:CN201310738212.5
申请日:2013-12-29
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型,涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点,利用移动点技术,建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即FSQ-RWD-CP模型。在此模型基础之上,进一步建立了既考虑故障修正过程中的不完美排除,又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型,即修正的FSQ-RWD-CP模型,能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。
-
-
-
-
-
-
-
-
-