浅谈分层技术在计算机软件开发中的应用

在当今社会,计算机的使用日益普及,人们对计算机的要求也在日益增加,而传统单一的软件开发技术,已远远不能满足使用者日益增长的需要。因此,对现有计算机软件开发架构进行高效、合理地构造显得尤为重要,在复杂的软件开发过程中,必须要有一个明确的层次结构,才能使整个软件的开发流程顺利完成。随着科技的发展,计算机软件的开发技术也有了长足的进步。从原来的双层,逐步发展到现在的三层及以上多层开发架构技术。采用分层技术开发计算机软件,可以实现层次分明的软件开发结构,为以后的软件开发工作打下坚实基础。     

面向条件判定覆盖的线性拟合制导测试生成

条件判定覆盖(Condition/Decision Coverage,C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足:例如符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,本文提出了一种新的线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,本文方法具有参数配置简易,生成过程高效等优点,并且能处理带非线性条件约束,逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,本文提出的方法比目前以覆盖率见长的遗传算法(Genetic Algorithm,GA)制导方法具备更好的覆盖能力与更高的执行效率.     

DRM中流媒体认证的研究与实现

结合现阶段网络应用中流媒体认证技术的实际应用情况和新一代数字版权管理（DRM）技术,提出了一个流媒体数字版权认证系统的具体实现方案,并最终实现了基于该方案的流媒体认证系统。该系统为基于网络服务的流媒体DRM系统的最终实现提供了必要的保证。     

高压开关柜触头温度场的数值仿真分析

为验证光纤温度传感器用于高压开关柜触头温度检测的可行性,调研了高压开关柜触头的几何结构,利用多物理场耦合分析软件COMSOL Multiphysics,结合传热学相关理论进行了触头的温度场数值仿真分析。计算了额定电流和短路电流2种情况下的触头温度分布情况,结果表明:触指为触头温度检测的最佳位置;短路电流通过时,触头温度最高可达564℃。在此基础上,在安装、量程、应变干扰三方面对光纤温度传感器进行了分析,证实光纤温度传感器可用于触头温度的检测。     

论科技档案信息化建设

推进科技档案信息化建设是科技档案事业发展的必然趋势,要正确认识科技档案信息化的内在含义及作用,针对档案信息化建设面临的主要问题,加快科技档案信息化标准规范的制定和档案信息资源的开发,提高服务水平,保证科技档案信息的安全,加强档案信息化人才队伍建设,推进科技档案的信息化.     

DP19型露点仪现场使用异常现象分析

介绍DP19型露点仪的工作原理，总结其在测量SF6气体湿度过程中容易出现的几种异常现象，并提出了原因分析及解决方法。     

怎样提高建筑方格网的测量精度

建筑方格网是施工放样的依据,因其要求精度高、坐标预先设定等条件的限制,测设起来比较困难.常规测量方法通常是经过边角测量、平差计算、点位改化等步骤,使方格网点逐步趋近设计点位来完成的.仪器通常采用全站仪、测距仪、经纬仪、水准仪等.但遇到障碍物阻挡视线、天气因素影响观测以及相邻边长悬殊时,往往需要浪费大量的人力、物力和时间,甚至得不到满意的观测结果.GPS定位技术[1]的普及,为解决上述问题提供了可能性,将GPS定位技术引入建筑方格网测量方面进行了尝试,并取得了一定经验.     

Dy3+/Tb3+单掺硼酸盐玻璃陶瓷的高效可见荧光发射

实验采用高温熔融-退火法分别合成了Tb³⁺掺杂和Dy³⁺掺杂的稀土硼酸盐玻璃陶瓷材料。XRD晶相分析表明,所制备的样品为非晶态玻璃陶瓷物质;SEM形貌分析表明,样品表面十分致密,无明显的结晶状物质;光谱特性试验结果表明,在紫外激发下,Tb³⁺和Dy³⁺单掺在这种新型硼酸盐玻璃陶瓷中分别发出了强烈的绿色和明亮的黄白光。该类材料在可见显示器件方面具有广阔的应用前景,可用于开发新型彩色光源、荧光显示器件、紫外传感器和可调谐可见光激光器。     

浅析地勘施工单位集体项目承包责任制的优越性

提高钻探施工一线职工的收入,缩小本系统人均收入差别,充分调动职工的工作热情,走上共同富裕的道路。     

HFC网络的回传噪声及抑制方法探析

分析了HFC回传网络中系统内噪声和系统外噪声产生的原因及其对网络的严重影响,介绍了HFC网络中用于描述噪声影响的各种参数。提出通过设备选型、网络优化和噪声监控等措施能够有效抑制回传噪声的干扰,保障有线电视网络双向业务正常开展。