基于CFD的电液主控阀阀芯内部流场数值分析

以液压支架用的电液主控阀为研究对象,对其主阀芯进行了详细的流场模型建立,采用CFD方法对主阀芯内部流场进行了仿真分析,得到主阀芯内的流体压力、速度矢量与湍动能云图。发现主阀芯内的流场规律,为改进优化阀的性能提供了有利的依据。     

液压支架平衡千斤顶失效原因分析和预防措施

平衡千斤顶是两柱掩护式支架的重要部件,对支架的性能影响很大。掩护式液压支架在煤矿生产中多次出现因平衡千斤顶失效造成严重的事故。为了预防此类事故的发生,列举了以往平衡千斤顶失效的主要形式并分析其原因,最后提出相应的预防措施。     

多媒体网络技术在英语教学中的双向评测

在分析多媒体网络技术在英语教学中应用的基础上,通过对教师和学生进行有关多媒体网络教学模式取得的效果进行问卷调查和访谈,用Excel就其结果进行分析,与传统的教学模式进行比较,从定量和定性两个方面论证了多媒体网络环境下,英语教师和学生如何从其中获益进而实现教师与学生的相互评测以及各自的自我评测,进一步说明了多媒体网络技术在英语教学中应用所实现的双向评测,能有效地提高教师的教学水平,培养学生的自主学习能力。     

需求驱动的服务Agent协作及其协商框架

传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多Agent理论和技术提供了另一种角度看待服务计算,本文将Web看成一种主动服务实体,即服务Agent,服务计算模式演变为一种非集中式的、分布式结构,服务Agent主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案,形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个NP完全问题,本文给出一种多Agent协商框架,服务请求方和各服务Agent通过有限次协商交互最终达成协议,该协议选定服务Agent解决需求的一种协作方案,通过模拟对协商框架进行验证.     

基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

基于过程蓝图的静态代码控制流生成算法

对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。     

DeltaFuzz: Historical Version Information Guided Fuzz Testing

With the widespread use of agile software development methods,such as agile and scrum,software is iteratively updated more frequently.To ensure the quality of the software,regression testing is conducted before new versions are released.Moreover,to improve the efficiency of regression testing,testing efforts should be concentrated on the modified and impacted parts of a program.However,the costs of manually constructing new test cases for the modified and impacted parts are relatively expensive.Fuzz testing is an effective method for generating test data automatically,but it is usually devoted to achieving higher code coverage,which makes fuzz testing unsuitable for direct regression testing scenarios.For this reason,we propose a fuzz testing method based on the guidance of historical version information.First,the differences between the program being tested and the last version are analyzed,and the results of the analysis are used to locate change points.Second,change impact analysis is performed to find the corresponding impacted basic blocks.Finally,the fitness values of test cases are calculated according to the execution traces,and new test cases are generated iteratively by the genetic algorithm.Based on the proposed method,we implement a prototype tool DeltaFuzz and conduct experiments on six open-source projects.Compared with the fuzzing tool AFLGo,AFLFast and AFL,DeltaFuzz can reach the target faster,and the time taken by DeltaFuzz was reduced by 20.59%,30.05%and 32.61%,respectively.     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

需求驱动的主动网构实体聚合

从主动服务、需求驱动、自主聚合的角度,提出了需求驱动的主动网构实体聚合模型.在该模型中,主动网构实体形成服务Agent,这些服务Agent主动发现需求并向需求聚集.针对同一需求聚集形成的服务Agent群,通过机制设计、协商、协作最终形成能够满足需求的多Agent系统.为了实现服务Agent对需求的发现和识别,构造了一个功能本体,包括特定领域的功能描述以及功能分解模式.为了实现服务Agent的协作,提出了需求驱动的自动机制设计,并给出了一种基于公平原则的协作模型——重心模型.最后得出由聚合产生的多Agent系统规格表示.     

浅谈煤矿机械行业发展的前景

煤矿机械性能的好坏决定煤矿开采的安全性和经济效益。简单地介绍了我国煤炭资源的现状,煤矿整合给煤机企业带来的机遇,详细的论述了煤矿机械行业发展的空间和产品的市场规模,以及煤机企业将来发展的前景。