基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

TCP Veno在无线Ad Hoc网络中的性能分析

分析了TCP Veno在无线Ad Hoc这样的多跳的网络中的性能,并分SANET(静态无线多跳网络)和MANET(移动无线多跳网络)两种网络环境进行仿真分析,结果显示TCP Veno的性能较TCP Reno有一定程度的改进,但并没有在无线单跳网络中的性能优势出色,这对实际应用TCP Veno很重要.     

Geldart—D颗粒在长立管料斗系统中悬料态初始条件的研究

三种Geldart-D颗粒在21m长的料斗－立管系统中悬料状态的初始条件4的实验已研究表明：初始悬料区时，气体的压力梯度与料斗中颗粒的静态高度和孔板的孔口直径无关，气体在立管中的流速可用Kwauk‘s方程计算。     

应用网络RTK技术的东营某项目控制测量实施探讨

GPS网络RTK技术的优势就是克服了普通RTK测量中测站间距的限制,它的有效距离可以达到几十甚至上百公里,覆盖面广阔,但定位精度仍然可以达到厘米级,可靠性强。这也是CPS网络RTK技术能够很快发展的原因之一。本文基于笔者多年从事控制测量的相关工作经验,以笔者参与的东营某工程测量为案例,研究探讨了GPS网络RTK用于图根控制测量及精度分析的方法,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。     

语言实验室的共性及管理基本方法

各种型号不同的语言实验室都有共同的特性，根据它们的共同特点和对它们施予各种各样的管理行为可以总结出它们相同的管理基本方法。基本方法的运用是科学管理的基础。认识和研究它们的共性及管理基本方法对促进语言实验室科学管理有一定的指导作用。     

建筑工程中地下构筑物综合拆除技术

根据多年来拆除工程实践，通过对建筑工程地下构筑物拆除方法法的总结，提出选择拆除方法和具体措施措施必须根据不同拆除对象及施工环境要求，采取综合拆除的观点，并就地下构筑物拆除技术的发展前景作了展望。     

塔楼结构设计和强度分析

对半移动式破碎站上的塔楼进行结构设计和静、动态应力分析.分析结果表明在各种载荷作用下，塔楼整体变形小、刚度大，强度足够，从而为塔楼结构的国产化设计提供了依据.     

功率放大器的分类及区别

本文讨论了目前市面上常见的几种功率放大器，并对其各自的优缺点进行了详细的对比，列出了各自的特点及适用的场合，为工业上功率放大器的合理选择提供了一定的参考依据。     

热容量正负的判断

热容量是标志物热性质的一个重要物理量，在学习中对于其取正负的问题，易产生模糊认识，本文讨论了热容量的可取值范围，讨论了热容量在任意准确静态中正负取值的判断方法。     

如何培养学生软件开发中的查错经验

计算机软件教学过程中,培养学生能够快速检查和修改出错的程序,一直是软件界,特别是软件公司所期望的主要目标。在这里介绍几种通用简单的方法,能够短期内提高学生们软件开发中检查排除程序错误的能力。