-
公开(公告)号：CN104750610B
公开(公告)日：2018-01-09
申请号：CN201510140052.3
申请日：2015-03-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
-
公开(公告)号：CN104750610A
公开(公告)日：2015-07-01
申请号：CN201510140052.3
申请日：2015-03-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
-
公开(公告)号：CN113653643A
公开(公告)日：2021-11-16
申请号：CN202110955611.1
申请日：2021-08-19
Applicant: 中国矿业大学
Abstract: 本发明公开了一种矿用水环真空泵减阻液添加的成本‑效益智能调控方法，根据液位变化速率与减阻剂降解速率的耦合关系，辅以双级气液分离器分离效率可控的设计方案，对水环真空泵减阻液的投加量和投加浓度进行科学精确的自动调控，创立了减阻液“粘度‑液位”协同控制方法，克服了现有技术中“液位为主，粘度为辅”控制模式的缺陷，使其能够一直处于最优粘度和最高液位处，解决了目前减阻液投加成本高及其粘度的不确定性波动问题，实现了减阻液的成本最低化和节能效益最大化。
-
公开(公告)号：CN106095669B
公开(公告)日：2020-09-25
申请号：CN201610390006.3
申请日：2016-06-03
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明研究并行程序的调度序列约简方法，期望基于已有的测试数据集，依约简后的调度序列执行程序，能够覆盖目标语句，从而减少程序执行的代价，提高并行程序测试的效率。所提方法的思想是：首先，基于调度序列与目标语句执行之间的关系，确定影响目标语句的调度序列；然后，根据目标语句执行的情况是否相同，将影响目标语句的调度序列分成若干等价类；最后，针对等价类中每一调度序列，计算两个性能指标值，并选择综合指标值最小的，作为约简之后的调度序列。当需要覆盖目标语句时，基于该调度序列执行被测程序。
-
公开(公告)号：CN102371249A
公开(公告)日：2012-03-14
申请号：CN201110334953.8
申请日：2011-10-28
Applicant: 中国矿业大学(北京)
Abstract: 本发明公开了一种煤矸光电在线分选装置和方法，包括运输装置，运输装置的上方设有摄像头和激光发射器，运输装置的前方设有称重装置，运输装置与所述称重装置之间设有滑轨。可以利用激光三角测距法测量煤矸的体积，用称重装置测量煤矸的重量，由体积和重量计算出煤矸的密度，通过煤和矸石的密度的不同来分选煤矸。能耗低、无污染、使用方便。
-
Patent Agency Ranking
公开(公告)号：CN106095669A
公开(公告)日：2016-11-09
申请号：CN201610390006.3
申请日：2016-06-03
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 本发明研究并行程序的调度序列约简方法，期望基于已有的测试数据集，依约简后的调度序列执行程序，能够覆盖目标语句，从而减少程序执行的代价，提高并行程序测试的效率。所提方法的思想是：首先，基于调度序列与目标语句执行之间的关系，确定影响目标语句的调度序列；然后，根据目标语句执行的情况是否相同，将影响目标语句的调度序列分成若干等价类；最后，针对等价类中每一调度序列，计算两个性能指标值，并选择综合指标值最小的，作为约简之后的调度序列。当需要覆盖目标语句时，基于该调度序列执行被测程序。
-
公开(公告)号：CN103559129B
公开(公告)日：2016-08-17
申请号：CN201310529188.4
申请日：2013-10-31
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的统计回归测试数据生成方法，旨在可以高效快速地生成覆盖目标路径的测试数据。具体步骤如下：(1)根据回归测试过程中的修改语句，确定相关输入变量；(2)对与修改语句相关输入变量的概率分布进行建模；(3)基于修改前程序中输入分量的部分概率分布及其扰动值形成初始种群；(4)根据设计的适应度函数，对种群中的每个个体计算其适应值；(5)根据计算出的个体适应值，判断目标函数是否找到最优解，若找到，则输出测试数据并转步骤6；否则，对个体进行变异操作，生成新个体并返回步骤4；(6)结合与修改语句不相关输入变量的概率分布，得到所有输入变量的概率分布；并基于该分布采样，生成测试数据。
-
公开(公告)号：CN114352529B
公开(公告)日：2024-07-16
申请号：CN202210025892.5
申请日：2022-01-11
Applicant: 中国矿业大学
Abstract: 本发明公开了一种瓦斯抽采泵节能工质液环黏度的控制系统及控制方法，其中数据采集系统用于测量抽采泵进排气参数、进排液参数、泵内补水参数，并实时采集数据；数据处理分析系统用于计算抽采泵内节能工质液环水分蒸发损耗速率和泵内补水所需的目标流量与时间；黏度模糊调控系统用于液环黏度出现异常时，首先调节泵内补水流量至目标流量和时间，使黏度快速恢复正常范围，然后通过模糊调控对泵内补水流量进行精准微调，将抽采泵内节能工质液环黏度调至最佳黏度范围。本发明采用监测、分析、智能控制等手段从调节抽采泵液环水分进出平衡的角度保证了抽采泵内节能工质黏度恒定于最佳黏度范围，实现了抽采泵节能系统安全高效的运行并产生最佳节能效果。
-
公开(公告)号：CN113653643B
公开(公告)日：2022-04-01
申请号：CN202110955611.1
申请日：2021-08-19
Applicant: 中国矿业大学
Abstract: 本发明公开了一种矿用水环真空泵减阻液添加的成本‑效益智能调控方法，根据液位变化速率与减阻剂降解速率的耦合关系，辅以双级气液分离器分离效率可控的设计方案，对水环真空泵减阻液的投加量和投加浓度进行科学精确的自动调控，创立了减阻液“粘度‑液位”协同控制方法，克服了现有技术中“液位为主，粘度为辅”控制模式的缺陷，使其能够一直处于最优粘度和最高液位处，解决了目前减阻液投加成本高及其粘度的不确定性波动问题，实现了减阻液的成本最低化和节能效益最大化。
-
公开(公告)号：CN103559129A
公开(公告)日：2014-02-05
申请号：CN201310529188.4
申请日：2013-10-31
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的统计回归测试数据生成方法，旨在可以高效快速地生成覆盖目标路径的测试数据。具体步骤如下：(1)根据回归测试过程中的修改语句，确定相关输入变量；(2)对与修改语句相关输入变量的概率分布进行建模；(3)基于修改前程序中输入分量的部分概率分布及其扰动值形成初始种群；(4)根据设计的适应度函数，对种群中的每个个体计算其适应值；(5)根据计算出的个体适应值，判断目标函数是否找到最优解，若找到，则输出测试数据并转步骤6；否则，对个体进行变异操作，生成新个体并返回步骤4；(6)结合与修改语句不相关输入变量的概率分布，得到所有输入变量的概率分布；并基于该分布采样，生成测试数据。
-
-
-
-
-
-
-
-
-
Search Results
20
records
(took 0.022 seconds)
