基于根本原因分析的软件测试技术架构

针对传统基于需求的软件测试技术架构存在因需求质量导致漏测问题,提出了一种新的基于根本原因分析的软件测试技术架构,对基于需求的软件测试技术架构进行了优化和补充。利用该测试技术架构指导测试用例的设计和实现,可对软件缺陷进行划分,查找缺陷产生的原因和源头,从而对缺陷进行完整修复,克服由于软件需求自身的问题而导致的漏测现象,提高了发现软件缺陷的手段,保证了软件最终产品的质量。通过工程实际应用,证明了该测试技术架构的可行性和有效性。     

用户偏好模型在众包中应用的研究

越来越多的公司或企业借助众包来完成工作,导致众包任务数量急剧增长,而当前众包平台的任务搜索功能还不能满足工人的个性化需求,这使工人难以从海量任务中选择感兴趣且擅长的任务。针对众包工作模式的特点,提出了一种基于工人—任务关系评价兴趣度值的方法,并结合工人的浏览内容和历史完成记录提出了用户偏好模型的表示和更新机制,从而建立用户兴趣模型。选取在众包平台上的真实数据集进行实验分析,验证了该模型的性能,证明该模型能较为准确的反映工人的兴趣偏好。     

基于OpenSSL引擎机制的椭圆曲线数字签名方案研究（英文）

基于椭圆曲线公钥密码体制的数字签名机制与基于传统离散对数问题的数字签名机制相比,具有安全性高、密钥长度短、计算量小等优点．基于上述优点和安全性,国家密码管理局提出了SM2椭圆曲线算法和SM3算法,并在国内得到了广泛应用．但国际主流开源软件不支持国内SM2数字证书的生成、签名、验证等操作．免费的SM2数字证书难以验证和区分其真实性．针对上述问题,提出了一种基于OpenSSL引擎机制的椭圆曲线数字签名方案,实现了SM2椭圆曲线数字签名检查算法以及SM3算法,并通过OpenSSL引擎机制将其集成到开源软件OpenSSL中．最后,实现了SM2数字证书的制作、签名和校验功能．     

集成加权软投票的众包真值推理方法

为了提高众包的质量并获取高质量的标注数据,已有许多基于真值推理的众包标注方法被提出.传统真值推理利用多噪声标签作为输入,通过聚合策略推断出真实标签,该过程只考虑了实例的标签而忽略了实例的特征,且忽略了不同工人对不同实例的标注质量.该文引入实例的特征以最大程度地挖掘实例中蕴含的有用信息.通过计算众包实例属于每一个类别的概...     

基于灰盒测试的计算机联锁系统软件自动测试研究

安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。     

基于两层声誉演化模型的服务组合选取策略

针对当前服务组合往往将服务提供者与用户都看成是可信的,导致服务组合质量不高,而实际互联网络中服务组合的各参与方都有虚假、恶意的可能,这些低声誉度的实体对服务组合严重影响服务组合的质量等问题,提出一种基于两层声誉演化模型来刻画组合实体间的信誉演化关系.该模型首先通过服务组合交互双方向系统提交的rating建立公众声誉系统,然后,通过主体间的直接或者间接交互来形成直观的声誉评价体系;在此基础上,提出支持声誉演化的服务组合选取方法.实验与理论分析结果表明,该方法能较好地抑制恶意实体干扰,减弱低质量服务的影响,具有良好的适用性.     

有外部扰动的随机纯反馈非线性系统的自适应模糊控制

应用模糊逼近方法研究了一类具有外部扰动的随机纯反馈非线性系统的自适应模糊控制问题。在反推设计的每一步中,利用中值定理解决纯反馈非线性函数问题。通过设计虚拟控制信号和自适应率,解决外部扰动问题。基于模糊逻辑系统的逼近能力,设计了一种新的自适应控制方案,保证了闭环系统的所有信号一致有界,并且跟踪误差收敛到原点的小邻域。最后仿真结果证明了所提出方案的有效性。     

SSL的三次握手协议数据包剖析

随着电子商务的发展,网络信息安全变的越发重要,SSL协议就是为了保证端到端的信息安全传递而提出的,该协议基于是公开密钥技术,保证了通信的保密性和真实性。通过wireshark软件捕获SSL三次握手协议数据包分析,深入了解三次握手过程。     

WX—1型工业窑炉微机测控系统设计

本文介绍一个微机化工业测控系统的功能和设计原理,该设备可用于一些工业窑炉(如水泥迥转窑等)过程参数巡测和控制。由于该系统实现了对外部对象的实时处理与控制,因此具有较广泛的应用范围,文中着重阐述系统的硬件、软件方面的功能和原理。     

模糊关系在软件系统测试中的应用

基于黑盒技术在分布式软件系统测试中的应用,提出了系统位态和预期位态的概念．在执行系统测试时,测试用例对系统位态具有控制作用,系统位态与相应的预期位态则表现出模糊性,运用模糊蕴涵逻辑进行研究得到了如下结果：测试用例对预期位态的作用关系是模糊控制关系,其控制程度取决于软件的质量;基于这种模糊控制关系和模糊推理规则,得到了被测软件通过测试的标准值,使测试通过的判定得以量化;文中还得出了量化的系统测试通过准则,并将其应用于自动化测试工具的改进,有效地提高了测试效率。降低了测试成本．     

空间众包中基于位置预测的任务分配

随着移动设备的普及和O2O(Online-To-Offline)商业模式的快速发展,越来越多的空间众包平台融入人们的日常生活中,例如滴滴出行、饿了么等等.空间众包中的一个核心问题是任务分配,主要研究如何将空间任务分配给合适的众包工人.任务分配方式主要分为服务器分配模式(Server Assigned Task,SAT)和用户选择模式(Worker Selected Task,WST)两种模式,目前多数统一规范化的众包服务采用SAT模式,即系统主动将任务分配给任务请求位置附近的众包工人.在此任务分配模式下,众包工人和任务之间的旅行成本变得至关重要,较少的旅行成本意味着较少的响应时间和较高的任务接受率.因此提出了基于位置预测的任务分配方式,该方式不仅考虑任务和众包工人的当前位置,还考虑未来任务可能出现的位置,从而降低旅行成本和相应时间.首先设计了贪婪方法(Greedy Approach),然后在贪婪方法的基础上通过贝叶斯、支持向量机、决策树等方法预测未来任务的分布来辅助分配任务,最后在真实数据上进行的实验表明,该方法减小了在长时间内的总旅行成本,具有较好的性能.     

面向云计算的众核处理器三维存储体系结构研究

众核芯片系统存在吞吐量低、加速比不能与其片内处理核数的增长成线性比例等问题,无法发挥出相应的计算能力,目前的众核微体系结构并不匹配MapReduce运行时. 针对上述问题,为实现高性能众核芯片系统巨大计算和处理能力目标,文中分析了众核MapReduce的执行模型,基于DOT模型构建了众核存储体系,对其中的片上网络、通信模式、访存流程及基于此的MapReduce存储模式进行了设计. 实验数据表明,和Tile结构相比,基于该三维存储体系的众核系统的吞吐量能提高1.2倍,加速比和片内处理核数接近线性关系.      

具有非线性扰动与外部干扰的结构系统鲁棒H∞控制

针对一类具有非线性不确定及外部扰动的结构系统,提出一种基于线性矩阵不等式的鲁棒H∞主动控制策略.当结构系统质量矩阵中存在摄动时,将其描述为一种中立不确定的动态模型系统,通过鲁棒H∞控制方法同时保证了结构系统在模型和参数摄动下以及在控制变量和扰动存在非线性不确定性时的鲁棒稳定.最后通过对一个单自由度建筑结构模型在地震波作用下的主动振动控制仿真证明了该方法的有效性.     

软件企业质量竞争力体系模型的研究

质量竞争能力是企业能力的核心要素,建立软件企业的质量竞争力是非常必要的.首先,建立了软件企业质量竞争力模型SEQM,并对作为质量竞争力培育机制的过程改进方法进行了阐述,为软件企业质量竞争能力的培养提出了系统、可操作的实施方法.     

圆柱度高精度测量系统的设计

首先通过对现有圆柱度的各种测量方法对比 ,比较出误差分离技术具有实现圆柱度测量的优势。然后依误差分离技术为基础 ,设计了圆柱度高精度测量所需的硬件系统和软件系统。电感测微仪、数据采集系统以及误差分离技术的使用从而保证了圆柱度误差测量结果的高精度 ,此外软件还扩充了网络采集功能     

基于A/D和DSP的高速数据采集技术的探析

在DSP高速数据采集系统中,采用FIFO器件作为A/D转换器与DSP之间的桥梁,可以根据具体需要灵活设置FIFO的各个标志,使其具有很强的外部接口能力;并且通过软件很容易调整A/D转换器、FIFO和DSP的操作时序,增强了操作的灵活性,起到了很好的数据缓冲作用,保证了数据采集的安全可靠。     

财经类本科毕业论文质量保证系统构建与实现

财经类本科毕业论文对学生的实践能力和创新精神的培养具有重要作用，由于受到各种因素的影响，毕业论文的质量难以保证。提出构建“以论文撰写阶段为时间维，以监控内容为层次维，以监控手段为方法维”的三维并存的毕业论文质量保证系统建议。分析此系统具有“责任明确、主体多元化、以人为本”的特点，可“借助外部监控力量、强化过程管理、抓好基础性工作”等措施得以实现。     

基于多智能体深度强化学习的空间众包任务分配

针对现有空间众包中的任务分配大多只考虑单边、 短期利益和单一场景的问题, 提出一种基于多智能体深度强化学习的空间众包任务分配算法. 首先定义一种新的空间众包场景, 其中工人可以自由选择是否与他人合作； 然后设计基于注意力机制和A2C(advantage actor-critic)方法的多智能体深度强化学习模型进行新场景下的任务分配； 最后进行仿真实验, 并将该算法与其他最新的任务分配算法进行性能对比. 仿真实验结果表明, 该算法能同时实现最高的任务完成率和工人收益率, 证明了该算法的有效性和鲁棒性.     

基于子空间凝聚的软组织形变仿真方法研究

随着虚拟手术中软组织形变仿真的不断普及,越来越多的形变方法被提出来。在过去的仿真方法中,仿真的真实性和实时性往往不能并存。虚拟手术中,在保证形变仿真效果真实性的同时要保证仿真的效率,由此提出了一种基于子空间凝聚的方法对四面体网格的软组织形变进行仿真,碰撞检测采用基于三角剖分的碰撞检测算法。实验表明,子空间凝聚的形变方法在形变时保证较好真实性的同时也具有较高的仿真效率。     

政府采购组合拍卖机制

多物品采购活动常常可以通过组合拍卖的方式进行,称为采购组合拍卖．在政府的公共品采购组合拍卖中,拍卖的社会福利应该是拍卖机制研究的中心问题．相应的机制必须既考虑作为投标者的供应商的利益,又考虑作为拍卖者的采购商的利益．既要考虑类似于正向组合拍卖的支付方式和分配方式的设计,又要考虑采购活动独特的质量标准选择,使得整个经济系统的利润最大化．为此,选取了使得系统利润最大化的分配目标设计相应的采购组合拍卖机制,并通过对供应商的激励相容和个体理性特征的证明,说明了该机制能够保证供应商投标的真实性和积极性;通过预算平衡性质的证明,显示了该机制不需要外部的资源补贴。