利用体系结构的建模方法支持测试设计的重用

将体系结构的建模方法应用于测试设计,测试设计和软件设计自上至下同步进行.利用基于体系结构的建模方法将软件设计规范和测试设计规范紧密结合,形成统一的模型描述框架,从而构建层次化的测试设计模型,同时给出了测试用例之间关系的精确定义.结论是:基于体系结构的建模方法能够大大提高软件开发过程中各工作产品的可测试性和测试用例的可维护性,能够有效地支持测试设计的重用.     

基于区域背景的人机联作多井解释软件系统

为了避免单井解释与宏观地质背景脱节的弊端,采用面向对象技术对测井资料多井评价系统进行了分析。在开发基本构件类的基础上,建立了在区域背景下以求解井筒解释参数为主要目标的多井交互解释系统。在大庆、胜利、新疆等油田诸多区块的初步应用结果表明,该系统具有较好的实用性。     

主成分分析在企业发展评估的应用

在某国有银行财务报表中选取10个主要指标进行主成分分析,利用SPSS20软件求解出第一主成分和第二主成分的主成分得分和综合得分,并根据综合得分进行了排名。最后,总结出平均总资产回报率、风险加权资产收益率、不良贷款率、拨备覆盖率、一级资本充足率和总权益对总资产比率这6个指标的变化会对该企业的发展产生显著的影响。     

基于流类型的SDN数据平面故障恢复算法

软件定义网络(software defined networking,SDN)的网络拓扑中,链路故障恢复目标是保证故障恢复时延在可容忍范围内、减少数据包丢失和节约交换机存储资源.现有研究方法对链路故障恢复考虑了恢复时延、数据包丢失率、网络吞吐量等因素,没有考虑数据流对网络带宽的要求及运营商/用户的一些特殊限制.为了解决以上问题,同时满足故障恢复时延要求和运营商/用户定制化需求,提出了基于流类型的SDN数据平面故障恢复算法(failure recovery algorithm based on flow type in SDN data plane,FR-FT).该方法根据服务质量要求将数据流分为3类,将运营商/客户的定制化需求绑定到不同数据流上,根据对应约束条件对不同类型数据流制定不同故障恢复策略.仿真结果表明,该方法可以减少交换机流表项消耗、故障恢复时延、数据包丢失率.     

FEPG软件在渗流分析中的应用

应用FEPG软件自动生成渗流计算程序,并将该程序应用于三维渗流场分析中.在稳定渗流计算时,采用死活节点法迭代求解自由面,并对该方法进行了改进;在饱和-非饱和渗流计算时,对计算参数加以适当的处理,采用合适的时间差分格式求解方程.算例表明,将FEPG应用于渗流分析是可行的.     

软件无线电中采样率转换系统的研究

介绍了采样率转换系统和分层计算的采样率转换系统,指出此系统可以有效地降低计算输出采样所需的计算需求,可以有效地提高宽带信号的采样率,对一个单级和多极的采样率转换系统来说,可以明显减少每个采样的平均计算量。     

集中荷载下钢筋混凝土简支T型梁剪力滞效应

通过对钢筋混凝土简支T型梁进行两点加载试验,研究T型梁翼板内不同截面的剪力滞效应,并通过Abaqus有限元软件对T型梁的加载全过程进行模拟.试验结果表明:简支T型梁在靠近支座位置存在负剪力滞区,随着荷载增大,负剪力滞效应逐渐增强,并且负剪力滞区出现受拉现象,拉应力达到2.34 MPa,而在纯弯段,荷载的增大对剪力滞系数影响不大;T型梁翼板内的剪力主要发生在翼板和腹板交界处,剪力在向翼板边缘传递的过程中快速衰减,在翼板没有出现裂缝前,剪力滞效应随着腹板厚度的增加而降低,但是降低的程度随着腹板厚度的持续增加而减小.     

大容量变换器中CAN通信软件的优化设计

为了解决在强电磁环境下大容量变换器的通信容易中断及误码率高的问题,保证通信系统高效、及时、可靠地传输信息,该文针对大容量变换器中的控制器局域网(CAN),介绍了系统构成和数据类型,分析了不同数据通信的要求,提出了软件设计中需要注意的关键问题并对软件流程进行了优化设计。实验结果表明:优化后的通信系统运行稳定可靠,在强电磁干扰下通信不中断,数据不丢失,通信误码率和系统故障率明显降低。该优化设计方法切实有效。     

大连市声环境质量研究

搜集大连市声环境质量现状相关数据,并与辽宁省各市声环境质量状况进行对比.根据2002年-2006年大连市声环境质量的监测数据,使用DPS统计软件中的灰色预测方法,采用两次残差修正GM(1,1)对2014年前声环境质量进行预测,对结果进行分析,客观地认识和了解大连市声环境质量的变化,为改善大连市声环境质量、加快大连市宜居城市的建设提供理论依据.     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.