基于Spin的Rdt2.2及其改进的形式化分析

用Promda语言对滑动窗口协议中的Rdt2.2模型进行了描述,通过Spin对该描述进行了形式化分析验证,并发现存在一个死锁.进而对该协议进行改进,采用添加定时器的方法解决了死锁问题,通过这种形式化验证增加了协议的正确性和可靠性.     

Proteus软件仿真与Keil的单片机系统设计

随着半导体技术的飞速发展,以及移动通信、网络技术、多媒体技术在嵌入式系统设计中的应用,单片机从4位、8位、16位到32位,其发展历程一直受到广大电子爱好者的极大关注。单片机功能越来越强大,价格却不断下降的优势无疑成为嵌入式系统方案设计的首选,同时单片机应用领域的扩大也使得更多人加入到基于单片机系统的开发行列中,推动着单片机技术的创新进步。     

CVS在小城镇电子政务系统中的应用

介绍了软件配置管理工具CVS的运行机制及其功能特点,以及小城镇电子政务系统的体系结构和运行模式.针对在小城镇电子政务系统开发中产生的问题,CVS规范了软件开发流程,降低了管理难度,提高了开发效率,使整个开发过程在受控制、高效率的情况下进行,提高系统的可靠性、代码及文档的全面性与可追踪性.     

深度数据挖掘——企业信息化成功的主轴

铺设网络、购买硬件、安装管理软件、建立系统不是企业信息化的本质,信息资源开发利用、信息挖掘才是企业信息化的主线。     

无线商务在3G时代的前景与挑战

2009年1月7日,3G牌照已正式发放,标志着我国全面进入3G通信时代,数千亿的3G市场商机一触即发。     

场效应器件表面修饰对DNA测试性能影响的研究

对比甲醇-盐酸混合物及硫酸处理对场效应器件(Field-effect device,FED)电化学测试性能的影响.实验结果表明,FED表面经过两种方式处理,其电化学阻抗测试特性发生变化,表现在阻抗的虚部值(用Zq表示)随加在FED器件与参比电极之间的电压的变化特性(用Zq-V曲线表示)发生改变.经过硫酸处理的器件的Zq-V曲线相对于未处理器件有微小偏移;而甲醇-盐酸体系处理后曲线在耗尽层区的斜率有所下降,表明这种处理对器件测试性能有负向的影响.经硅烷化固定在表面的氨基采用荧光标记,荧光测试结果表明,两种表面处理方式对硅烷化效果影响不大.进一步通过共价连接在硅烷化FED表面引入探针DNA分子,制备基于FED的DNA传感器.与目标DNA分子杂交反应后,实验表明,硫酸处理的测试结果要好于甲醇-盐酸的处理方法.     

WSN 中基于粒子滤波的目标跟踪研究

针对无线传感器网络中仅有角度测量的目标跟踪问题,详细分析其定位过程,提出一种基于改进粒子滤波算法的新解决方案.方案采用高斯混合模型(GMM)代替单一模型近似概率密度分布,融入粒子滤波算法,提议分布采用SRUKF-PF算法更新粒子.算法中增加改进措施以提高滤波性能如:残差重采样算法用于重采样、K-means算法用于构建预估起始点、EM算法用于拟合GMM近似等.仿真结果验证了方案的有效性.     

基于Web的移动外呼系统的设计与实现

基于ASP.NET操作Excel技术,设计实现了能够从Excel文件直接导入数据的基于Web的移动外呼系统,系统能够完成计划外呼号码和呼叫结果从Excel文件直接导入和筛选,并对导入信息进行统计,克服了人工处理方式的重复呼叫,无法准确判断距上次呼叫时间间隔和统计工作复杂的问题.实际应用表明,在年呼叫量达千万的情况下,效率和呼叫成功率都有很大提高.     

用于WSNs目标探测的传感模块设计

介绍了一种用于无线传感器网络（WSNs）中进行目标探测的传感器模块,描述了它的软硬件设计与数据处理的算法。该设计主要包括传感器单元、微处理器单元和射频通信单元。在传感器单元中对于外界目标的振动、声音和温度传感器信号进行了采集。在微处理器单元中使用数字信号处理对数据进行预处理并取得信号的特征值。在射频通信单元中将特征值通过WSNs传输到上位机。实验证明：该模块具有良好的稳定性和重复性,可以用于多种环境下的目标探测。     

基于单调函数的新弱化缓冲算子研究

在灰色系统缓冲算子公理体系下,构造了2类新弱化缓冲算子,并将其与党氏弱化缓冲算子进行比较,论证了党氏弱化缓冲算子为新算子的特例,从而大大地拓广了弱化缓冲算子的应用范围.对序列前一部分增长(衰减)速度过快,而后一部分增长(衰减)速度过慢的冲击扰动系统数据序列,在建模预测过程中常常出现的定量预测结果与定性分析结论不符的问题,提供了多种解决方案,首次将缓冲算子的构造与函数联系起来,从而为缓冲算子的构造开辟了新方向.