Testing and Evaluation for Web Usability Based on Extended Markov Chain Model

As the increasing popularity and complexity of Web applications and the emergence of their new characteristics, the testing and maintenance of large, complex Web applications are becoming more complex and difficult. Web applications generally contain lots of pages and are used by enormous users. Statistical testing is an effective way of ensuring their quality. Web usage can be accurately described by Markov chain which has been proved to be an ideal model for software statistical testing. The results of unit testing can be utilized in the latter stages, which is an important strategy for bottom-to-top integration testing, and the other improvement of extended Markov chain model (EMM) is to present the error type vector which is treated as a part of page node. this paper also proposes the algorithm for generating test cases of usage paths. Finally, optional usage reliability evaluation methods and an incremental usability regression testing model for testing and evaluation are presented. Key words statistical testing - evaluation for Web usability - extended Markov chain model (EMM) - Web log mining - reliability evaluation CLC number TP311. 5 Foundation item: Supported by the National Defence Research Project (No. 41315. 9. 2) and National Science and Technology Plan (2001BA102A04-02-03)Biography: MAO Cheng-ying (1978-), male, Ph.D. candidate, research direction: software testing. Research direction: advanced database system, software testing, component technology and data mining.

基于知识图谱的暴雨灾害链挖掘与预测研究

暴雨灾害不仅会引发崩滑流、内涝等次生灾害,更会造成交通中断、供电中断、市政设施损毁等一系列衍生后果,这种现象被称为暴雨灾害链。为了把握暴雨灾害链演化发展的客观规律,有效防范暴雨灾害链的风险,本文提出了一种基于知识图谱的暴雨灾害链挖掘与预测方法。首先,将承灾体影响纳入暴雨灾害链本体模型,构建了暴雨灾害链知识图谱;其次,提出了基于链路耦合的暴雨灾害链挖掘方法,构建了基于贝叶斯网络的暴雨灾害链预测模型;再次,以珠三角地区为例,挖掘暴雨灾害链,并预测某次暴雨事件的灾害链。结果表明:①构建的暴雨灾害链知识图谱能够全面展示出暴雨次生灾害链及其衍生的承灾体后果;②基于知识图谱链路耦合的暴雨灾害链挖掘方法完整地挖掘出了暴雨灾害链,主要类型包括自然灾害类、城市生命线影响类、人员伤亡类、设备和建筑事故类、生产生活潜在影响类;③提出的基于贝叶斯网络的暴雨灾害链预测模型,在暴雨灾害发生初期就能准确预测出暴雨灾害链的发生概率。

矿井通风参数缺失数据插补方法

矿井智能通风系统对矿山智能化建设至关重要。为解决矿井通风参数在实际测量时,因为巷道不具备测试条件、仪器信号受到干扰、巷道断面风速不均一、人工操作不当等制约性因素,造成的矿井通风参数数据缺失问题,提出了1种基于随机森林−链式方程多重插补法的矿井通风参数缺失数据插补方法。采用链式方程多重插补法,通过迭代对每个缺失的属性值产生n个插补值,从而产生n个完整数据集,对n个完整数据集进行分析优化得到1个最终的完整数据集。为了提高缺失值插补精度,合理考虑了矿井通风参数缺失数据的不确定性对分析过程的影响,在随机森林的预测任务中,结合预测均值匹配模型对缺失数据进行插补。以潞新二矿为实验对象,利用智能矿井通风仿真系统IMVS对潞新二矿矿井通风参数原始数据集进行数据预处理,得到完整、准确的矿井通风参数完整数据集,对完整数据集分别进行了不同缺失属性、不同数据缺失率、不同迭代次数的对比试验。以多种模型评价指标对模型有效性进行评估。结果表明:基于随机森林的链式方程多重插补模型插补形成的完整数据集与原始数据集具有很好的相似性;对不同缺失列进行插补实验的结果显示插补模型可以轻松处理混合类型的数据,自主学习参数之间的相关性从而降低了插补复杂性;迭代后形成的n个数据集通过分析合并成一个最终数据集,提高了插补准确率;对初始插补后的完整数据集进行不同迭代次数的试验,发现迭代超过一定次数后,数据相关性一定会收敛。

巴西矿业投资的机遇与挑战

巴西矿产资源丰富,铁矿、铝土矿、铌钽、锡、锰等为其优势矿产,开发潜力巨大,与我国矿产资源需求格局高度互补,中巴矿业投资合作对于我国资源安全保障具有重要意义。巴西地质勘查工作程度总体水平居拉丁美洲各国之首,2023年,矿业勘查投入达到历史高位,其中,外资投入占比过半,中资企业也加快了与巴西矿业合作的步伐。巴西矿产资源开发利用程度较高,优势矿产资源年产量全球占比位居前列。在域内域外多重力量助推下,中资企业在巴西矿业投资环境机遇与挑战并存:中巴政治互信持续升温、人民币结算破局、矿业政策相对稳定等使得矿业投资迎来机遇;金融环境欠佳、关键矿产资源战略持续深化、产业链本土化进程加剧、积极参与国际矿产联盟态势显现等使得矿业投资面临一定挑战。因此,本文建议深化中巴矿业战略合作;充分利用政策利好契机,布局我国紧缺战略性矿种投资;强化风险管控意识,提高风险预警能力;输出我国优势产能,回应巴西矿业产业链本土化发展诉求。

融合创新价值链和文本关联挖掘的我国人工智能政策扩散特征研究

[目的/意义]针对现有基于文本挖掘的政策主题扩散特征研究中文本主题识别的随机性和高度依赖人工等不足,提出一套基于创新价值链理论的政策主题分析框架及对应的文本挖掘方法,从而更好地识别政策扩散过程中政策内容变化的特征以及背后潜在机制。[方法/过程]以我国人工智能政策为实证对象,在理论上构建了基于创新价值链的政策文本主题分析框架,在方法上基于依存句法和语义信息抽取政策文本关键短语结构,通过构建分析框架主题与短语结构词汇的一一映射关系词典来完成对政策文本主题扩散分布的计算。[结果/结论]采集了自2017年以来的110份人工智能政策文本,分析了人工智能政策扩散时间分布、空间层级、内容扩散程度特征和主题扩散分布特征,在此基础上将政府主题扩散倾向性与其发展阶段所处梯队作为定序变量,从而分析两者关系以及背后的潜在机制。由此证明了本文所提方法可有效融合文本挖掘方法和政策分析理论,有助于从对政策扩散特征的描述性分析走向对政策扩散机理的解释性分析。

巷道围岩连锁冲击破坏机理及稳定控制方法研究

利用虚拟交界面将巷道围岩整体结构分成若干岩体单元和弹性单元,建立巷道围岩连锁冲击破坏理论及其力学结构模型,分析了不同静载、动载组合巷道围岩连锁破坏形式,建立了连锁破坏的力学方程和能量方程,揭示了巷道围岩储能结构、阻力结构在冲击启动和破坏过程中的作用和影响机制。研究表明,冲击地压是动力扰动诱发煤岩体内部弹性能突然释放的结果,其中煤岩体储能结构是冲击破坏的内因和动力源泉,动载诱发局部岩体破坏和能量连续释放;煤岩体冲击破坏时,其整体结构转变为向巷道自由空间运动的多滑块(岩体单元)结构,各滑块间存在相对运动、挤压以及弹性单元触发产生的冲击力,使各岩体单元的速度和加速度均处在动态变化当中;巷道围岩防冲控制的有效思路是调整巷道围岩整体结构,合理分布储能结构和冲击阻力结构,主动破坏能量持续解锁所需的弹性单元,使巷道周边围岩由储能结构转变为阻力结构区域。

转炉生产矿用链23MnNiMoCr54钢的工艺实践及研究

主要介绍了转炉→精炼→真空→连铸→轧前加热→轧制生产矿用链23MnNiMoCr54钢的工艺实践及研究,采用双渣法控制倒渣、脱磷,转炉出钢w(P%)≤0.005%,精炼炉渣碱度在5.80-6.02时Mn合金收得率较高、软吹时间控制25~30min氧化铝类夹杂物最少。在生产前依据JMatPro热力学软件模拟出钢的平衡相组成图和CCT曲线设计出钢温度和退火温度,热轧态组织为贝氏体,通过具有还原性气氛的双蓄式步进2#加热炉退火后为粒状珠光体。连铸坯总体元素偏析指数在0.91~1.07,未发现存在圈状低镍区,质量良好。非金属夹杂物A类、D类和大颗粒DS类夹杂物分别为0.5级,B细0~0.5级,其余均为0级,晶粒度在退火后由热轧态的7.5~8.0级全部转变为8.0级,各项性能指标均满足标准要求。

暴雨洪水诱发地下钨矿灾害链式演化及风险分析

暴雨洪水常导致矿山发生一系列灾害,造成重大损失和影响。本文通过分析暴雨洪水诱发地下钨矿山灾害链式演化及风险特征,识别其中灾害事件,建立灾害链式演化模型;基于复杂网络理论构建了含47个节点和176条边的灾害网络模型,随后分析节点度值、节点子网数、边脆弱性等参数,识别了灾害网络的关键点和关键边。结果表明:淹井、厂房冲毁、工业场地浸水、工业场地掩埋和工业场地破坏的重要度分别是0.3283、0.1154、0.1099、0.0845和0.0845,是灾害网络的关键节点;地表水→地表径流、地表径流→泥石流、矿井突涌水→淹井、地表径流→崩塌滑坡和地表径流→山洪的边脆弱性分别是373.7151、354.7824、346.1536、336.1222和335.8385,是灾害网络的关键边,据此提出了断链减灾建议。研究结果可为暴雨洪水诱发地下钨矿灾害防治提供科学依据。

基于轨迹交叉事故致因理论的煤矿安全事故预防研究

为了研究露天煤矿生产安全事故发展机理,全面预防事故发生,通过运用轨迹交叉事故致因理论,对行业内近几年发生的生产安全事故进行总结分析;从事故致因因素的运动轨迹着手,深入分析事故发展过程中人的不安全行为与物的不安全状态的事件运动轨迹和因果关系;根据事故发展原理,找出导致事故发生的直接原因,提出针对性预控措施,消除管理缺陷,从而避免事故的发生。结果表明,运用轨迹交叉理论,可从事故形成的本质上遏制其进一步发展,从而减少煤矿事故。

矿用刮板链条装配装置的设计研究

针对矿用刮板链条人工装配效率低、劳动强度大等问题,通过分析刮板链条装配工艺,以链条作为工艺装配方法的运动部件,设计了一种刮板链自动装配装置。该装置分为链条清洗整理部分、刮板装配部分及刮板链收集部分。对各部分进行了运动设计,同时通过仿真验证其可行性,为矿用刮板链条装配提供了一种更高效的方法。

煤矿刮板输送机链传动系统动力学仿真分析

以SGB62040T煤矿刮板输送机为例,介绍一种基于有限元分析的刮板输送机链传动系统动力学仿真分析方法。首先,将链传动系统相关参数录入到UG软件内,构建出整个链传动系统模型图,之后以此为基础,模拟分析链传动系统的动力学特性,以准确寻找出链传动系统中的薄弱点,为链传动系统结构的优化设计提供支持,确保刮板输送机能够安全、稳定地运行。

煤矿顶板事故的知识发现及灾害链网络分析

为预防煤矿顶板事故的发生,发现事故致因的知识和致因灾害链的网络分析具有重要意义;以煤矿顶板事故报告中的事故原因为数据集,构建事故致因知识图谱,并基于复杂网络对致因灾害链进行网络分析。研究结果表明:顶板冒顶、空顶、支架变形等22个原因是导致煤矿顶板事故发生的主要致灾因子;灾害链网络分析中风险度最大的边为违章指挥→作业人员违章作业;对关键节点和边实施管控,能有效控制煤矿顶板事故的发生或衍生发展。

湖南省矿业经济高质量发展对策研究

湖南省矿产资源丰富,尤其是在有色金属矿产方面更具有资源禀赋优势,并且具有良好的产业发展基础和创新发展能力,为推进湖南矿业高质量发展奠定了坚实的资源和产业基础。但经过多年的开发利用,湖南矿业高质量发展也面临资源储量不足、产业规模化集约化程度不高等瓶颈约束,急需以“做大做强做优”矿业经济为基本目标,从强化规划战略引领、发展矿业新质生产力、构建矿业投融资新格局、培育领军矿业集团、拓展矿业服务领域、改善矿业营商环境等方面发力,助推湖南矿业高质量发展。

基于最小分支剩余容量的矿井通风网络极值流算法

为计算矿井最大通风量,针对最短增广链算法随机选取增广链,造成增广链缺失和极值流偏小的问题,提出一种基于最小分支剩余容量的矿井通风网络极值流算法。该算法在选取增广链时,选择中间分支剩余容量最小的增广链进行增广;每次增广完毕后,优先选择与增广完毕的增广链包含相同分支的增广链进行下一次增广。利用Excel Solver解算模型与BA无标度随机网络进行仿真实验,结果表明该算法比最短增广链算法解算时间短,且避免了增广链缺失。研究结论为矿井最大通风量的计算提供理论参考。

SGD280/7.5矿用中单链刮板输送机圆环链轮运行特征分析

为进一步探究刮板输送机的动态性能,以小型煤矿企业常用的SGD280/7.5型矿用中单链刮板输送机作为研究对象,首先对其进行虚拟仿真模型的建立,而后应用ADAMS多体动力学分析软件,针对正常工况和非正常工况的接触力数值进行分析和比较,提出相应的改进方法。在此基础上,进一步通过模态分析方法,明确该刮板输送机的固有频率及振型,为圆环链和圆环链轮的设计提供更多参考。

嵌入式综采工作面刮板输送机链条自动张紧系统

常规的综采工作面刮板输送机链条自动张紧系统的调节指令多为单一目标式,控制响应速度较慢,导致自动张紧延时增加。为此提出嵌入式综采工作面刮板输送机链条自动张紧系统的设计。根据自动张紧需求设定电控设备搭接,关联链条嵌入式自动张紧控制装置,完成系统硬件的设计;采用多目标的方式提高控制响应速度,设计多目标自动张紧调节指令,接入嵌入式交互自动张紧控制功能模块,实现系统软件的设计。系统测试结果表明:在不同的油缸行程背景下,5台刮板输送机的自动张紧延时均被控制在0.4 s以下。说明所设计的嵌入式综采工作面刮板输送机链条自动张紧系统效率更高、自动张紧可控性强,具有实际的应用价值。

全球产业链重构背景下我国煤炭行业发展策略

全球产业链和能源结构的调整重塑了我国煤炭行业的发展格局。我国煤炭行业应通过“强链、补链、延链”策略来提升供应链竞争力,并加大对绿色开采和节能减排技术的创新,以提高产业链的可持续性与投资回报率。同时,我国煤炭行业应加强国际合作和优化贸易布局,以确保供应链稳定,实现多样化与智能化的全产业链管理,并推动清洁生产和深加工技术普及,从而在全球能源格局变化中保持行业竞争力与国家能源安全。

基于有限元计算的矿用窄轨车辆连接链力学性能分析

本文以邢东矿φ32×140×60×3型窄轨车辆连接链为研究对象,对连接链检测工作中二倍最大静载荷实验的方法和评判标准进行了详细介绍,并利用有限元分析软件,对连接链的受力过程进行性能分析,查清了连接链检测工作中需要重点检查部位;通过建立不同链环直径的模型,表明伸长量与链环直径呈负相关。这些研究成果为连接链的强度设计提供了理论参考,同时也指导了检测工作。

煤与煤层气专业集群建设与思考

打造特色专业集群是地方应用型本科高校转型快速发展的关键,专业集群的组建要结合区域产业链布局、学科基础、产业政策动态及专业人才需求。煤与煤层气专业集群按照“由产业引出的专业集群”模式建群,紧密结合地方产业布局,符合能源革命转型发展需求。下一步建立煤与煤层气现代产业学院,充实集群相关专业设置,加强学科引领,深化合作交流,实现以特色学科、特色专业集群推动特色产业链条创新发展。

共识博弈与区块链生态共识均衡

本文的目的是建立刻画区块链生态系统行为表现的“共识博弈”的一般框架,并针对“矿池间隔博弈”的“共识均衡”的存在性进行刻画和解读。特别是通过引进共识博弈这个新概念作为出发点,尽管区块链平台生态本身会受到诸如挖矿间隔等行为的干扰,我们证明了在合理的激励机制下一般区块链平台的共识博弈均衡点的存在性,从正面的角度回答了区块链生态本身发展是否稳定这个非常基本和核心的问题。这里,“间隔博弈”(不良)行为出现所在的区块链生态是指基于Nakamoto在2008年提出的遵循按照最长主链建设的“工作量证明”作为基本的共识原则的挖矿平台。特别地,本文首先在一般激励机制条件下,基于区块链生态中的共识博弈框架,在有挖矿间隔等不良行为出现的情况下,建立了在一般激励相容机制条件下的共识均衡点的存在性结果和对应区块链生态能够持续运转的稳定性解读;然后结合在“挖(币)矿”工作中涉及到的工作费用、奖励机制和挖矿能力这三类描述激励机制的核心要素,从挖矿工(组)收益的角度,针对不同嵌入场景对挖矿工(组)的“间隔博弈行为”可能产生的影响进行了解读和分析。本文的理论结果和案例分析表明,结合不同挖矿场景相合适的激励相容机制,共识博弈(均衡)这个概念可以在理论的层面(即,不需要情景数据模拟结果的支持),能够得到或形成针对不同场景下的挖矿行为的解释和解读。此外,我们有理由期待和相信,结合影响挖矿(组)收益相关的要素因子,共识博弈可以帮助我们构建对应的合适场景的激励相容机制,通过刻画挖矿工(组)出现的诸如“间隔行为”,“分叉链”,“矿池攻击”等(不良)行为,支撑数字经济的健康发展,并对共识经济学基础理论的发展能够起到推进作用。