基于Linux智能测试系统的设计与实现

随着Linux开发人才需求的快速增长,很多企业开始培训Linux人才,各高校也开始开设Linux课程。智能高效的帮助这些公司和高校完成Linux学习培训越来越重要。本文主要介绍如何应用Java语言以及Shell脚本开发一个基于Linux的智能测试系统,通过实际案例让用户更好的掌握Linux系统的操作方法,并实现自我测试。     

基于离线可信第三方的电子支付协议公平性分析

基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面.电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击.在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见.     

Java语言中数组越界故障的静态测试研究

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。     

基于ASP．NET的农特产网络交易平台的设计与实现

受我国经济高速增长、网络购物人数不断增加,以及层出不穷的食品安全事故的影响,消费者对绿色农特产的需求越来越大。利用最新的网络技术,搭建安全、高效的农特产网络交易平台成为农特产企业的一个现实需求。本文首先介绍了ASP．NET技术、AJAX技术、三层架构,然后对农特产网络交易平台进行了需求分析、系统设计、系统实现和系统测试。     

基于BP神经网络的综采工作面指标测定

随着计算机信息处理技术的发展,BP神经网络应用到各行各业的决策工作中。文章在分析BP神经网络的思想和计算方法的基础上,提出了基于BP神经网络的综采工作面指标测定方案,通过林南仓矿10438综采工作面的实际验证,该测定方案取得了良好效果,为今后煤矿企业开采计划的制定提供了理论依据。     

重庆地区回弹法检测高强混凝土抗压强度试验研究

建立重庆地标《高强混凝土强度检测技术规程》DBJ50-057-2014的回弹法测强曲线,并通过与行业标准曲线的对比和工程验证,得出重庆地区高强混凝土测强曲线的特点,以利于回弹法检测高强混凝土强度技术的推广。     

生态模型在水体富营养化模拟及治理中的研究进展

AQUATOX模型是由美国环保局（USEPA）开发,用于水生态模拟、富营养化控制、生态修复及生态风险评价等方面,是现行应用较为广泛的水生态模型之一。本文简述了AQUATOX模型的基本原理,并对近年来,AQUATOX模型在湖泊、水库、池塘、河流等环境下的主要研究成果进行评述,为研究人员提供研究思路和方法。     

基于Offline-TTP的电子支付协议公平性分析

基于Offline-TTP的电子支付协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。     

邮件自动分拣勾核系统设计

通过分析RFID工作原理,利用Alien公司的RFID读写器模块设计了一套分拣勾核软件系统,当带有RFID标签的物品、邮件通过读卡器时可以得到物晶、邮件的邮寄信息,进行自动分拣勾核,可提高邮局部门分拣勾核的自动化和准确性.     

鼓楼立交桥预应力碳纤维板加固施工技术简介

呼和浩特市鼓楼立交桥至今已服役20余年,在一次桥梁结构安全检测中发现该桥本部分预应力连续箱梁存在预应力缺失的状况,危及桥梁整体结构安全,须对其进行加固,以提高承载能力。通过该桥梁加固施工的案例,介绍了桥梁加固技术中外粘预应力碳纤维板加固施工技术的要点和施工方法,了解碳纤维材料应用在桥梁加固领域中所具有的独特性能。