检索结果-南通市图书馆

作者：明小娜南京师范大学

学位级别：硕士

地理信息系统及地理信息技术已在科学、商业、规划以及政府决策等多个领域得到广泛应用,成为人们生产和生活中的重要工具。尽管它们已经取得了长足的进步,但是其应用潜力还未充分实现。因为目前大多数GIS运行需要使用者了解系统的结构... 详细信息

地理信息系统及地理信息技术已在科学、商业、规划以及政府决策等多个领域得到广泛应用,成为人们生产和生活中的重要工具。尽管它们已经取得了长足的进步,但是其应用潜力还未充分实现。因为目前大多数GIS运行需要使用者了解系统的结构、功能和界面,这对于某些低层次用户来说相对难以掌握,制约了GIS应用的普及。除此以外,在传统移动设备中,通常受到设备显示屏幕小、输入相对繁琐、内容表达有限等制约,容易导致移动GIS的功能服务延迟,信息交互效率低,无法满足用户在快速移动条件下对信息实时传输的需要。自然语言作为语音交互的核心,符合人们的认知习惯、语言习惯,和图形语言相比,具有运用灵活、方便、快速的特点,在GIS中合理地运用自然语言,实现用户与系统之间的人机交互,将有助于GIS的智能化发展。为此,本文收集和整理了国内外关于GIS人机对话系统及有限状态机在人机对话系统应用等方面的研究现状,借鉴和部分采纳了人机对话系统领域中已有的研究成果和理论方法,并根据空间信息领域的特点,提出并实现了基于扩展有限状态机模型的GIS人机对话模式。首先,探讨了GIS人机对话的三种交互模式,提出了特征词的本体属性与概括属性标记方法,并通过双重属性标记方法解决了自然语言的形式化表达问题;其次,研究了GIS人机对话中扩展有限状态机模型的设计,包括设计状态机状态、事件及行为、建立状态转移与对话过程的联系以及设计基于扩展有限状态机的GIS人机对话架构,从而解决了扩展有限状态机建模的问题;再次,实现了基于扩展有限状态机模型的GIS人机对话模式涉及的关键技术,其中采用反馈式语音对话模式解决了因用户输入内容不明确导致系统操作失败的问题,保证语音交互的流畅性与稳定性。最后,构建了基于扩展有限状态机模型的语音移动GIS人机对话原型系统,并分析了面向数据采集、地图浏览、信息查询和导航服务的人机对话应用实例。

关键词：地理信息系统扩展有限状态机模型人机对话模式对话管理

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向Web服务器端敏感路径的客户端扩展有限状态机测试生成

引用

哈尔滨工程大学学报 2020年第6期41卷 884-891页

作者：赵瑞莲郭小红王微微尚颖北京化工大学信息科学与技术学院北京100029

为对Web应用进行有效的测试,本文提出了一种面向Web应用服务器端敏感路径覆盖的客户端扩展有限状态机测试用例生成方法。针对Web应用客户端扩展有限状态机模型,以Web应用服务器端的敏感路径覆盖为目标,利用Memetic演化算法实现客户端扩... 详细信息

为对Web应用进行有效的测试,本文提出了一种面向Web应用服务器端敏感路径覆盖的客户端扩展有限状态机测试用例生成方法。针对Web应用客户端扩展有限状态机模型,以Web应用服务器端的敏感路径覆盖为目标,利用Memetic演化算法实现客户端扩展有限状态机模型的测试用例自动生成,对Web应用进行测试。同时,为解决由模型生成的抽象测试用例不可直接执行的问题,提出了一种基于Selenium的测试脚本自动构建方法,通过分析扩展有限状态机模型迁移的特征,利用谱聚类算法实现迁移聚类,依据映射规则将聚类之后的迁移映射为测试脚本,形成迁移脚本库,将抽象测试用例转换为可执行的测试用例。实验结果表明:基于Selenium的测试脚本自动构建能有效地将抽象测试用例转化为可执行的测试脚本;面向Web服务器端敏感路径的客户端扩展有限状态机测试用例生成方法能有效地实现Web服务器端敏感路径的覆盖,对服务器端的敏感路径进行测试。

关键词：软件测试 Web敏感路径路径覆盖扩展有限状态机模型 Memetic算法聚类测试用例生成测试脚本生成

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

可信密码模块符合性测试方法与实施

引用

武汉大学学报（理学版） 2009年第1期55卷 31-34页

作者：李昊冯登国陈小峰信息安全国家重点实验室/中国科学院软件研究所北京100190

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分... 详细信息

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题.

关键词：可信密码模块符合性测试扩展有限状态机模型等价类测试

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

三维智能车实验平台及运动规划研究

三维智能车实验平台及运动规划研究

引用

作者：赵俊晓杭州电子科技大学

学位级别：硕士

当今世界是智能化的世界，汽车智能化是当今汽车工业面对的趋势，智能交通、智能汽车等自主驾驶已是国内外的研究热点。近年来，随着飞思卡尔智能车竞赛的迅速发展，其对参赛队伍的水平要求也日益提高。参赛者欲拿到优秀成绩需要具有充... 详细信息

当今世界是智能化的世界，汽车智能化是当今汽车工业面对的趋势，智能交通、智能汽车等自主驾驶已是国内外的研究热点。近年来，随着飞思卡尔智能车竞赛的迅速发展，其对参赛队伍的水平要求也日益提高。参赛者欲拿到优秀成绩需要具有充裕的时间去设计智能车硬件设备及软件算法，但是参赛者可能由于硬件条件的限制而得不到充裕时间去设计调试软件算法，而仿真软件可以将算法调试和硬件调试分离，给参赛者提供帮助。本文以全国大学生飞思卡尔智能车大赛为背景，设计并实现了一种摄像头智能车的仿真实验平台。此实验平台包括基于MATLAB的智能车仿真和基于Microsoft Robotic DeveloperStudio (MRDS)的智能车三维仿真系统，利用更真实的模型和环境调试控制算法以及模拟系统中各部分可调节参数，提高调试效率。第一部分首先在MATLAB中建立赛道模型，分析智能车模型特性并使用MATLAB设计智能车的运动学模型。然后，本文通过选取最大类间方差法分析图像二值化的阈值选取问题，实现图像的二值化处理。根据黑线提取算法并利用MATLAB的优势，实现对图像的黑线提取，同时对赛道信息进行提取，为后序跟踪提供信息。最后本文采用PID控制实现智能车的路径跟踪，并用MATLAB仿真智能车系统，对图像处理算法、控制算法进行调试。第二部分首先介绍摄像头智能车的工作原理以及关于微软机器人开发平台的功能应用。然后，对服务元件进行详细设计，设计控制虚拟摄像头智能车的服务元件、速度反馈的服务元件以及图像识别的服务元件。最后，介绍如何利用所建立的服务元件来调试使用者所设计的算法。第三部分首先介绍智能车创意组竞赛背景以及参赛作品基本要求和评价技术指标。然后，对服务元件进行详细设计，定义并实现模拟车体的服务元件、添加有信标的模拟场景的服务元件、定义并设计基于扩展有限状态机模型（EFSM）的搜救车辆的运动行为导航算法和摄像头图像显示的Windows窗体用户界面的服务元件。最后，利用建立的服务元件来开发调试使用者所设计的导航规划算法。

关键词：智能车实验平台 MRDS仿真扩展有限状态机模型导航规划

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：