基于GPRS的在线水质监测系统的研究

介绍一种采用TI公司16位超低功耗单片机MSP430F149设计的在线水质监测系统.利用单片机内部自带的12位A/D对水质各项指标进行数据转换,然后利用串口并通过GPRS模块将数据传送至水质监控中心.本系统具有功耗小、成本低、实时在线等优点.     

PHP在电子商务网站实验课程中的应用

目前高校广泛存在电子商务技能培养与就业需求脱离的现象。基于现阶段电子商务网站建设课程实验体系,进行分析并提出使用PHP结合Dreamweaver对其进行补充和完善。     

智能搜索算法教学软件的设计与开发

为提高人工智能导论课程的教学质量,协调好教与学的双边关系,结合教学实践,在Microsoft Visual Studio2005环境中用C++语言开发了智能搜索算法的教学软件,设计了A*算法、模拟退火算法和遗传算法的演示程序和验证程序,提供了这些算法的核心代码,方便学生开展各算法的自主实验设计。     

数据库课程分类教学与实践模式探索

基于计算机本科专业人才培养总体规划,根据学生的个体差异,研究探讨一种数据库课程的分类教学与实践模式,将学生分为不同类型,在授课、实验、课程设计和课后活动等方面分类实施不同的教学内容和实践安排,充分调动学生的学习积极性和主动性。     

基于CUDA的泥石流模拟计算研究

针对泥石流仿真过程中海量数据计算问题,采用CUDA技术即结合CPU与GPU的优点研究了一种协同计算方法以提高数据计算效率和仿真性能。同时,搭建了基于GPU的泥石流仿真计算平台,对优化的CUDA并行计算方法进行验证。实验结果表明,该方法对海量数据的计算具有快速准确、低成本、低功耗的特点,能为灾害预测提供及时准确的决策支持,满足了高密集型计算的需求。     

基于收发平衡判定的TCP流量回放方法

基于真实网络流量的互动式回放测试是当前针对防火墙、IPS等串接型安全设备进行测评的最新方法.文中在分析现有基于状态判定的TCP流量互动式回放方法基础之上,引入收发平衡机制,提出了一种基于收发平衡和状态判定相结合的新的TCP流量回放方法.通过在发送TCP数据包前优先进行收发平衡判定将数据包发送出去,提出的方法能够有效减少TCP流量在发送过程中的状态判定开销,提高回放性能.对引入收发平衡机制前后的TCP流量回放方法的差异进行了分析比较.从单个TCP会话特性、并发会话流量特性、网络传输延迟与丢包等角度分析验证了影响引入收发平衡机制后的算法有效性的因素.实际流量实验表明,文中所提方法在回放TCP流量时性能有显著提升,适用于在更大规模的流量环境下对防火墙、IPS等串接型网络安全设备进行测评.     

一种改进的可追踪门限签名方案

早先的一种具有追踪性的门限签名方案,已被证明不具有可追踪性。针对该方案存在的缺陷,对其进行改进。理论分析证明,改进的方案在发生纠纷时可打开群签名追踪实际签名者,签名者能证明自己是否参与签名,并有效抵御群体内部的伪造攻击和冒充攻击。     

基于克里金空间插值的位置指纹数据库建立算法*

为解决室内定位系统中建立位置指纹数据库工作量庞大的问题,提出了一种融合信号衰减因素的普通克里金空间插值建库算法。该方法首先采用高斯滤波对有限预选参考点的信号强度采样数据进行预处理,并基于球状模型由参考点预处理数据拟合出空间变异函数,然后采用普通克里金插值法对其它位置的信号强度进行估值并生成相应的位置指纹,最后由有限实测数据生成大容量高分辨位置指纹数据库,并通过KNN_Filter算法和对数权重算法完成了定位仿真,验证了该建库方法的有效性。仿真实验结果表明,该算法在保证定位精度的前提下相比传统建库方法可降低40%左右的工作量,提高了室内位置指纹定位方法的工作效率。     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

RFID室内实时定位系统的数据滤波方法

在射频识别室内实时定位应用中,由于场景的复杂性和定位系统的精度有限,定位系统报告的物品的连续两个位置可能出现在不同的区域内,物品的运动轨迹可能出现穿过墙壁等异常。为此,提出了一种避免这种异常的室内定位系统的数据滤波方法。首先,将场景离散化为一幅“灰度图像”,图像像素表示场景中的点,图像像素的灰度表示不同的区域/房间、墙壁或房门;在定位过程中,将物品的连续两个场景坐标分别映射到两个图像像素,利用连接这两个像素的线段上的像素的“灰度”来判断是否出现穿墙等异常,并修正物品当前在图像上的位置;最后,将图像中的位置映射回场景坐标。实验表明,所提方法快速且高效,能有效避免物品运动轨迹中的异常。