摘要：随着社会经济的迅猛发展,科技作为推动经济快速发展的引擎作用进一步突显。无线传感网络技术将在各种复杂环境监测中起到基础和关键性作用。由詹杰、刘宏立、张杰等联合编著,人民邮电出版社于2014年9月出版的《面向复杂环境监测的无线传感网络技术研究》一书,详细介绍了无线传感网络技术的技术背景、应用范围、设计目标和挑战。为我国未来数字经济的技术融合与交互锚定了方向,为传统基建的数字化改造和新兴领域的数字化布局拓宽了视野,同时也为无线传感技术在环境监测中的发展提供了可行性发展路径。

摘要：在图形图像处理过程中,当显示绘制的图像时,有时会出现闪烁的情况。本文从窗口、视口、坐标系统的基本概念和关系出发,主要讲解了如何使用双缓存来解决GDI下的闪烁问题。此方法已经应用于项目地质资料解释系统中对井曲线的修改和显示部分,实践证明,这种方法是可行的。

摘要：等值线图在气象,地质测绘领域有着广泛的应用。目前,人们对于等值线的研究都集中在等值线的生成和填充上,而忽视了等值线的标注。而一个完整的等值线分析系统应该包括等值线的生成,填充,和标注。提出了一种等值线标注的算法,通过先找出等值线的近似多边形,然后根据系统要求在等值线上或近似多边形上输出标注。给等值线上添加标注,给标选择合适的位置,方向和疏密程度,将会使等值线图看起来更加直观、形象,使人们从图中就可获得更多的相关信息。

摘要：AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。

摘要：由于人们对于软件质量的重视程度越来越高,就导致了测试在软件开发中的地位越来越重要。现在很多软件相关的公司都非常重视对于他们所开发的软件的测试,但是效果却不一定理想。究其原因主要是存在着对于软件测试的一些误解。本文试图从对软件测试的基本目标的理解开始,对一些比较普遍的关于测试的误解进行剖析,并对如何提高软件测试,如何设计测试用例提出了一些建议。

摘要：基于非计算机专业人员的计算机应用能力稍差,而又要经常使用受试者工作特征(ROC)曲线作为判断的评价方法,介绍了ROC曲线的概念、原理和优点,以及如何在MATLAB下绘制ROC曲线。以评价分离信号与噪声数据为例,分别采用两种方法来绘制ROC曲线。一是基于ROC基本概念和Excel的计算功能,分别取不同的阈值得到相应的敏感度和特异度,然后绘制出ROC曲线;二是依据MATLAB工具下的直方图和ROC的概念,编程完成绘制ROC曲线。第一种方法容易理解、简单,但是必须要多次打开Excel才能完成选择不同阈值得到多组敏感度和特异度的目的;第二种方法应用MATLAB软件编写程序,程序短小、简单,易使用,而且可随意设置修改阈值,得到相应的敏感度和特异度以及绘制出ROC曲线。

摘要：针对市面多数多媒体播放器软件自身体系庞大、系统资源占用率高、加载耗时、速度慢等方面的不足以及捆绑其他插件,设计一种嵌入式Linux系统的多媒体播放器。设计以QT基础类库为前端界面,套用Phonon多媒体框架,使用GStreamer解码器,从而实现多媒体资源的加载、播放、字幕视频显示、基本播放控制等功能。测试证明,该播放器界面友好,运行稳定,能够实现媒体文件的有效播放和控制。

摘要：为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。

摘要：传统教学模式的局限性使大学计算机基础教学的提升陷入一种困境。MOOC作为一种新的教学模式具有自身的优缺点,无法完全替代传统教学,但合理运用可以改善传统教学效果。在计算机基础教学中以传统教学为主,结合MOOC的混合教学模式更具有科学性,只有在一定教学平台的支持下合理设计和安排两种模式的教学活动,使二者有机地融合在一起,才能使传统与MOOC融合的教学模式具有较强的可操作性。

摘要：基于现有的高校教师绩效评价中定性因素较多,采用层次分析法进行评价又需检验一致性的问题,构建教师绩效评价指标的层次结构模型以及定性与定量结合的综合多因素评价。依据模糊层次分析法的思路,兼顾大学教师绩效评价指标,首先建立评价层次结构模型,利用9标度法构造模糊一致矩阵,计算各指标的相对权重,其次依据模糊评价方法和采用模型四算子构造计算出高校教师定性定量的综合多因素评价结果。实例表明,该综合评价能够得到教师单独某个指标和综合多指标的定性定量评价,为高校教师的绩效评价问题提供了参考。