利用Spin工具研究NSPK（Needham-Schroeder Public-Key Protocol）协议的安全性，并对发现的攻击漏洞进行分析，得到改进方案,研究并分析了Spin语言及语法...

绝大多数文本验证码都可以通过模式识别和自然语言理解的方法加以破解。本项目研究并实现一种基于互联网搜索引擎的全新的验证码构造技术，利用搜索引擎的图片搜索能力...

php+mysql网上书店系统设计分前台部分和后台部分，前台提供浏览图书，关键字搜索图书，购买图书，用户管理等功能；后台提供编辑图书详细信息，编辑订单，编辑会员信息等功能...

使用了两种方法实现机器人的定位，其本质都是通过提取标志物在图像中的特征信息来完成的，把应用在六自由度机械臂上的雅克比矩阵进行改动，删除多个自由度，验证了其在四轮移...

以Java语言为基础，Eclipse为开发工具，设计开发了Android的快递辅助功能，包括普通用户可以通过用户平台发布快递信息，快递员可以就近查询需要派送的快递...

采用三种不同的方法（分别为等宽法、K均值法、ChiMerge法）对数据集进行离散化，离散后的结果运用Netica构建相应的贝叶斯网络并进行参数学习，最后利用得到的贝叶斯网络进行简单的...

需要通过对于视频进行分析与处理，得到在视频中显著性较高的物体，并标注出来，以此减少人眼受到的无关变量的干扰，提高对视频的处理效率...

采用B/S架构设计，规划好网站的布局，实现了一个界面友好美观、易操作的学术交流平台。 该平台包括用户基本模块、资源管理模块、互动交流模块、检索模块，完成了基于JSP的学术信...

通过研究道线级地图的现场生成与编译技术，设计了一个能够将自主车测绘得到的道路数据整合为有结构的道线级地图的地图编译系统。该地图编译系统具有增量式的特点，借助统计学...

研究了一些传统的边缘检测算法，如Roberts、Sobel、Caddy等算子，比较了它们所提取边缘的差异，同时引入深度值的概念，构成新式的RGB-D边缘检测算法，并且对该算法的提取效果进行检验...