期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
以偶然正确性概率为基础的测试充分度准则 被引量:1
1
作者 陈洁 李倩 +1 位作者 赵建华 李宣东 《计算机科学与探索》 CSCD 2011年第7期602-612,共11页
提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例... 提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。 展开更多
关键词 测试充分度准则 偶然正确性 动态数据流分析
在线阅读 下载PDF
A Modified PRP-HS Hybrid Conjugate Gradient Algorithm for Solving Unconstrained Optimization Problems
2
作者 LI Xiangli WANG Zhiling LI Binglan 《应用数学》 北大核心 2025年第2期553-564,共12页
In this paper,we propose a three-term conjugate gradient method for solving unconstrained optimization problems based on the Hestenes-Stiefel(HS)conjugate gradient method and Polak-Ribiere-Polyak(PRP)conjugate gradien... In this paper,we propose a three-term conjugate gradient method for solving unconstrained optimization problems based on the Hestenes-Stiefel(HS)conjugate gradient method and Polak-Ribiere-Polyak(PRP)conjugate gradient method.Under the condition of standard Wolfe line search,the proposed search direction is the descent direction.For general nonlinear functions,the method is globally convergent.Finally,numerical results show that the proposed method is efficient. 展开更多
关键词 Conjugate gradient method Unconstrained optimization Sufficient descent condition Global convergence
在线阅读 下载PDF
应用离散元法分析采矿引起厚松散层变形的特征 被引量:27
3
作者 许延春 张玉卓 《煤炭学报》 EI CAS CSCD 北大核心 2002年第3期268-272,共5页
介绍了利用离散元法模拟分析从采矿到基岩垮落至厚松散层变形的过程 ,分析了厚松散层的变形特征与开采充分度、采厚、松散层厚度和松散层岩性等的相关关系 .认识到对永久性非充分采动 ,相关建筑物保护煤柱可适当减小 .厚松散层内部移动... 介绍了利用离散元法模拟分析从采矿到基岩垮落至厚松散层变形的过程 ,分析了厚松散层的变形特征与开采充分度、采厚、松散层厚度和松散层岩性等的相关关系 .认识到对永久性非充分采动 ,相关建筑物保护煤柱可适当减小 .厚松散层内部移动边界有明显的曲线特征 ,应选用分段或曲线形式设计建筑物保护煤柱 .厚松散层厚度越大则移动角越小 。 展开更多
关键词 离散元法 变形形态特征 煤柱 开采充分度 地层移动 厚松散层
在线阅读 下载PDF
波纹型规整填料的壁流边界 被引量:1
4
作者 张志炳 卞克建 丁龙福 《南京大学学报(自然科学版)》 CSCD 1996年第4期585-590,共6页
从数学角度分析了波纹型规整填料塔内液体流动的宏观现象,建立了此类填料塔的壁流边界数学模型。并根据波纹型规整填料的结构特征及其实际壁流值,求得了它们的壁流边界曲线和几种填料的壁流不充分度曲线。
关键词 壁流 壁流边界 填料 壁流不充分度 填料塔
在线阅读 下载PDF
社会权与社会阶层作用机制再探 被引量:1
5
作者 李文祥 吴德帅 《理论月刊》 CSSCI 北大核心 2014年第2期55-57,112,共4页
社会权的价值属性及其利益指向性决定其与社会阶层具有某种关联性。已有学者在探究二者关系时侧重于社会权对社会阶层的作用,很少追问社会阶层对社会权的影响。本文认为,社会权与社会阶层并非简单的单向、线性作用,而是通过复杂的交互... 社会权的价值属性及其利益指向性决定其与社会阶层具有某种关联性。已有学者在探究二者关系时侧重于社会权对社会阶层的作用,很少追问社会阶层对社会权的影响。本文认为,社会权与社会阶层并非简单的单向、线性作用,而是通过复杂的交互作用机制实现双向互动。为了能更深入的分析二者交互作用,首先对这种交互作用进行拆解,即将复杂的双向作用机制拆解为单向作用机制,分别分析社会权对社会阶层的作用机制及社会阶层对社会权的作用机制,在此基础上,通过我国的社会权与阶层关系的分析,还原二者双向互动的关系。 展开更多
关键词 社会权 社会阶层 作用机制 充分度 均等化程
在线阅读 下载PDF
公民社会权利对社会阶层的影响机制研究
6
作者 吴德帅 李文祥 《理论月刊》 CSSCI 北大核心 2012年第11期148-150,共3页
和谐的社会阶层关系需要合理的社会阶层结构为基础,用公正的配置社会资源和社会机会的阶层关系运行规则支撑,以有机的社会整合机制作为维系阶层和谐的纽带。充分度和均等化程度较高的社会权利能够形塑合理的社会阶层结构;公民社会权利... 和谐的社会阶层关系需要合理的社会阶层结构为基础,用公正的配置社会资源和社会机会的阶层关系运行规则支撑,以有机的社会整合机制作为维系阶层和谐的纽带。充分度和均等化程度较高的社会权利能够形塑合理的社会阶层结构;公民社会权利构造的社会共同体可以作为有机的社会整合机制;公民社会权利的平等理念能够完善阶层关系的运行规则。 展开更多
关键词 公民社会权利 去商品化 充分度 均等化程 阶层和谐
在线阅读 下载PDF
Quantitative investigation on micro-parameters of cemented paste backfill and its sensitivity analysis 被引量:12
7
作者 LIU Lang ZHOU Peng +2 位作者 FENG Yan ZHANG Bo SONG Ki-il 《Journal of Central South University》 SCIE EI CAS CSCD 2020年第1期267-276,共10页
The mechanical properties of cemented paste backfill(CPB) depend heavily on its pore structural characteristics and micro-structural changes. In order to explore the variation mechanisms of macro-mechanical characteri... The mechanical properties of cemented paste backfill(CPB) depend heavily on its pore structural characteristics and micro-structural changes. In order to explore the variation mechanisms of macro-mechanical characteristics and micro-structure of CPB. CPB specimens with different mass concentrations prepared from the full tailings of Xianglushan Tungsten Ore were micro-tests. Moreover, acquired pore digital images were processed by using the pores(particles) and cracks analysis system(PCAS), and a sensitivity analysis was performed. The results show that as the mass concentration of CPB increases from 70% to 78%, the porosity, the average pore area and the number of pores drop overall, leading to a decline in the pores opening degree and enhancing the mechanical characteristics. As the mass concentration of CPB increases, the trend of fractal dimension, probability entropy and roundness is reduced, constant and increased, which can result in an enhancement of the uniformity, an unchanged directionality and more round pores. According to the definition of sensitivity, the sensitivities of various micro-parameters were calculated and can be ranked as porosity > average pore area > number of pores > roundness > fractal dimension > probability entropy. 展开更多
关键词 cemented paste backfill mass concentration sensitivity analysis micro-parameters
在线阅读 下载PDF
Effects of curing under step-by-step load on mechanical and deformation properties of cemented gangue backfill column 被引量:12
8
作者 GUO Yu-xia RAN Hong-yu +3 位作者 FENG Guo-rui DU Xian-jie QI Ting-ye WANG Ze-hua 《Journal of Central South University》 SCIE EI CAS CSCD 2020年第11期3417-3435,共19页
A step-by-step load was utilized to mimic the load history of the backfill column in the in-situ curing process.The inner damage of the specimen during curing and uniaxial compressive testing was monitored by electric... A step-by-step load was utilized to mimic the load history of the backfill column in the in-situ curing process.The inner damage of the specimen during curing and uniaxial compressive testing was monitored by electrical resistivity and ultrasonic equipment.Results show that:1)Uniaxial compressive strength(UCS)and elastic modulus(EM)of the samples curing under pressure are higher than those of the control samples without pressure,ranging in ratio from 0.5%to 20.2%and 7.1%to 52.3%,respectively,and are influenced by the initial loading age(ILA)and stress strength ratio(SSR).The SSR during curing should not exceed 80%.2)The earlier the ILA is,the higher the total strain becomes.The higher the SSR applies,the larger the total strain gets.The creep strain increases with the increase of SSR and can be described by Burger’s viscoelastic creep model.When SSR is less than 80%,the earlier the ILA is,the smaller the creep strain becomes after the last step-loading.3)The stability of the early age backfill column under pressure can be monitored based on the change of ultrasonic pulse velocity(UPV)and electrical resistivity. 展开更多
关键词 cemented gangue backfill column curing under step-by-step load compressive strength elastic modulus deformation electrical resistivity
在线阅读 下载PDF
Texture features analysis on micro-structure of paste backfill based on image analysis technology 被引量:8
9
作者 YIN Sheng-hua SHAO Ya-jian +2 位作者 WU Ai-xiang WANG Yi-ming GAO Zhi-yong 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第10期2360-2372,共13页
The strength of cement-based materials,such as mortar,concrete and cement paste backfill(CPB),depends on its microstructures(e.g.pore structure and arrangement of particles and skeleton).Numerous studies on the relati... The strength of cement-based materials,such as mortar,concrete and cement paste backfill(CPB),depends on its microstructures(e.g.pore structure and arrangement of particles and skeleton).Numerous studies on the relationship between strength and pore structure(e.g.,pore size and its distribution)were performed,but the micro-morphology characteristics have been rarely concerned.Texture describing the surface properties of the sample is a global feature,which is an effective way to quantify the micro-morphological properties.In statistical analysis,GLCM features and Tamura texture are the most representative methods for characterizing the texture features.The mechanical strength and section image of the backfill sample prepared from three different solid concentrations of paste were obtained by uniaxial compressive strength test and scanning electron microscope,respectively.The texture features of different SEM images were calculated based on image analysis technology,and then the correlation between these parameters and the strength was analyzed.It was proved that the method is effective in the quantitative analysis on the micro-morphology characteristics of CPB.There is a significant correlation between the texture features and the unconfined compressive strength,and the prediction of strength is feasible using texture parameters of the CPB microstructure. 展开更多
关键词 microstructure texture feature Tamura texture GLCM feature unconfined compressive strength quantitative analysis cement paste backfill
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部