基于切片技术获取系统测试用例的方法

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。     

基于混沌系统和极化恒等式的数字图像加密算法

混沌系统具有初值敏感性,参数敏感性和类随机性等特性。将图像分成大小为8 8的图像子块,利用经典的Logistic方程产生的混沌序列并对其排序生成匹配模板来改变图像子块的位置,然后利用极化恒等式内积分解加密算法改变图像像素的值。因此,基于混沌系统和极化恒等式的数字图像加密算法使图像的像素的位置和值都发生了变化,实现了图像的混淆和扩散。仿真实验表明该方法进行图像加密具有可行性和安全性。     

基于DS18B20的温度测量系统

以温度的采集处理和显示为目的,研究了基于AT89S51单片机的温度检测及显示的设计方法,给出了硬件和软件系统设计,包括温度传感器芯片的选取、单片机与温度传感器的接口设计以及实现温度采集和数据传输的软件设计。该系统结构简单,成本较低,体积小,测温范围为-55℃～125℃,可以应用在很多温度检测领域。     

信息技术课堂分层教学的实践与思考

新课程背景下的教学理念是“以学生发展为本”,在以机房环境为主的信息科技学科教学过程中如何关注每一位学生的有效学习,使他们的信息素养得到充份的发展对教师提出了相当高的要求。在教学各环节实施分层教学能体现教师对每一位学生的关爱,也能切实提高教学有效性。该文从关注每一位孩子的成长角度,简述了分层教学在初中信息科技学科教学中的实施策略及相关思考。     

利用网络编码优化Ad Hoc网安全路由协议SAODV

网络编码可大大提高网络吞吐量、减少延迟。然而,由于编码意义上网络信息流的复杂性,实际应用中仍存在困难。另一方面,Ad Hoc网作为自组织形式的特殊网络,其安全路由协议是研究重点。针对Ad Hoc网安全路由协议中较优秀的SAODV,提出一种基于网络编码的优化方案,较传统编码易于实现、具有较强实用性。     

VDBSCAN:变密度聚类算法

传统的密度聚类算法不能识别并聚类多个不同密度的簇。对此提出了变密度聚类算法VDBSCAN,针对密度不稳定的数据集,可有效识别并同时聚类不同密度的簇,避免合并和遗漏。VDBSCAN算法的基本思想是:根据k-dist图和DK分析,对数据集中的不同密度层次自动选择一组Eps值,分别调用DBSCAN算法。不同的Eps值,能够找到不同密度的簇。4个二维数据集实验验证了VDB-SCAN算法的有效性,表明VDBSCAN算法可以有效地聚类密度不均匀的数据集,且参数Eps的自动选择方法也是有效的和健壮的。     

基于等价分解中立型系统的时滞相关稳定性分析

利用微分方程理论,将具有不确定性的中立型系统的稳定性问题转换为二个迟后系统的稳定性问题,这一转换可以大大减少稳定性讨论的复杂程度。通过引用迟后系统的相关研究结果,得到中立型系统时滞相关和时滞无关两类稳定性判据,每一类结果包括工程上实用的代数法和理论上具较小保守性的线性矩阵不等式（LMI）表示的判据。给出二个数值例子,并将研究结果与同类研究结果进行比较,算例表明,提出的转换方法是有效的。     

电机及拖动基础网络教程的开发与设计

在传统教学中,存在着教师和学生之间缺乏沟通、学生缺乏主动性等问题。随着计算机网络技术的不断发展,传统教学方式越来越突出它的弊端。因此,本文主要介绍电机及拖动基础网络教程的设计和开发,描述具体的教程制作方案及其制作过程,以及制作过程中的研究所获。这种全新的教学方式有很强的实用性、可反复性、交互性等优点,有利于培养学生的自主学习能力和提高教学质量。     

三维物体表面形状检测技术的深入研究

本文对三维检测技术做了简要的介绍,给出了迈克耳逊干涉仪、电子散斑干涉法（ESPI/DSPI）、三角检测法的检测原理,同时对三维轮廓检测技术做了深入的研究。