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

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

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.     

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

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

基于软件度量的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度量元集...     

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

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

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

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

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

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

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

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

流媒体课程教学模式的探讨与实践

为了提高流媒体课程的教学水平,提高教学质量,在建构主义理论的指导下,使用任务驱动教学法、小组学习等方法进行教学,以“面向对象技术（Java）”课程的教学为实践对象,让学生能通过问题去自己查找答案,提高解决实际问题的能力。通过这一实践探索流媒体课程的教学模式。     

软件项目绩效评价研究述评

界定了软件项目绩效评价的范围和内涵,以软件项目绩效评价为主线,从软件项目管理、质量控制、风险管理和过程改进等方面入手,对软件项目绩效评价的研究作以述评;认为当前软件绩效评价的研究仅限于相关因素的分析,对项目过程管理的研究仅关注过程改进模型的认证;得出了完善评价指标体系、建立综合评价模型应是软件项目绩效评价研究主要方向的结论,对加强我国软件项目管理具有指导意义.