检索结果-内蒙古大学图书馆

近几年来,随着现代科学技术的进步,移动信息平台和虚拟现实技术也正蓬勃发展,以此为契机,社会上越来越多的技术人员将关注投入于这一新兴产业。移动平台和虚拟现实技术不仅在计算机领域引用甚广,它对于推动国内旅游行业的发展也做出了极大的贡献。此次银子岩项目正是采用了虚拟现实技术,为用户制造逼真的现场效果,全方位的展示银子岩景区的特色。

关键词： VR技术 3D实景导航虚拟技术全景导航

来源：评论

学校读者我要写书评

暂无评论

基于抽象解释的不变式验证

基于抽象解释的不变式验证

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：钱俊彦郭云川赵岭忠蔡国永国防科学技术大学计算机学院博士后流动站湖南长沙 410073 中国科学院信息工程研究所北京 100093 桂林电子科技大学广西可信软件重点实验室广西桂林 541004

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中... 详细信息

通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中通过前向或逆向转换求解抽象不动点,并采用widening和narrowing 操作加速收敛,从而完成不变式的自动验证。(2)通过Tableau 方法构造所验证时态公式的谓词图,采用状态前向或逆向转换,改进了不变式验证的规则,并基于抽象解释框架,通过模拟构造抽象状态转换系统,给出了不变式验证的抽象规则。

关键词：抽象解释不动点不变式验证可达性模拟

来源：评论

学校读者我要写书评

暂无评论

移动机器人

引用

数字化用户 2018年第41期24卷 250-250页

作者：张振尧冼礼爱张小红 541000 桂林电子科技大学计算机与信息安全学院广西桂林

本设计采用履带运动结构设计了一种稳定的同心偏转全向移动机器人,使得机器人在行走的时候稳定性好,控制方法也更加简单.多履带全向移动机器人将主动转向结构改进为由两个分布在转向轴两侧的履带驱动,同时每个履带仍具有驱动机器人平移... 详细信息

本设计采用履带运动结构设计了一种稳定的同心偏转全向移动机器人,使得机器人在行走的时候稳定性好,控制方法也更加简单.多履带全向移动机器人将主动转向结构改进为由两个分布在转向轴两侧的履带驱动,同时每个履带仍具有驱动机器人平移的功能.此设计的优点在于不需要单独的转向驱动,克服了麦克纳姆轮移动平台的震动和打滑问题,也不需要复杂的主动转向结构,同时具有运行平稳和载重能力强等优点.

关键词：移动机器人同心偏转履带运动结构全向移动

来源：评论

学校读者我要写书评

暂无评论

浅谈计算机图像识别(ORC)的前景与应用

引用

科学与信息化 2019年第15期 51-51页

作者：姬国淞桂林电子科技大学计算机与信息安全学院广西桂林 541004

计算机图像识别是现如今图像处理领域极为重要的研究技术之一,特别是当今人工智能和大数据的时代,如何能够更加精确、更加快速、更加便捷的对图像进行处理,已经达到了影响国家和社会发展的地步.计算机的图像识别技术在现实中的应用极为... 详细信息

计算机图像识别是现如今图像处理领域极为重要的研究技术之一,特别是当今人工智能和大数据的时代,如何能够更加精确、更加快速、更加便捷的对图像进行处理,已经达到了影响国家和社会发展的地步.计算机的图像识别技术在现实中的应用极为广泛,因此,计算机图像识别技术的发展与研究就彰显得更为重要.

关键词：图像识别应用视频监控

来源：评论

学校读者我要写书评

暂无评论

《数据恢复技术》实验教学设计

引用

科技视界 2017年第14期 27-27页

作者：姚罡张净桂林电子科技大学计算机与信息安全学院广西桂林541004

《数据恢复技术》实验教学目的在于使学生较全面地学习有关数据恢复的基本理论和实用技术,本文描述了该课程实验内容设计的思路和实施方案,以帮助学生掌握数据恢复的基本方法,具有数据恢复的基本技能。

关键词：数据恢复实验教学

来源：评论

学校读者我要写书评

暂无评论

基于混沌映射和NFSR的16比特动态S盒构造方法

引用

信息安全与通信保密 2024年第11期 10-19页

作者：武小年吴庭黄昭文张润莲桂林电子科技大学计算机与信息安全学院广西桂林541004

为构造具有良好密码学性质的16比特S盒,提出一种基于混沌映射和非线性反馈移位寄存器(Nonlinear Feedback Shift Register,NFSR)的16比特动态S盒构造,该方法通过使用Bernoulli混沌映射作为Tent混沌映射的输入扰动,改进Tent映射的短周期... 详细信息

为构造具有良好密码学性质的16比特S盒,提出一种基于混沌映射和非线性反馈移位寄存器(Nonlinear Feedback Shift Register,NFSR)的16比特动态S盒构造,该方法通过使用Bernoulli混沌映射作为Tent混沌映射的输入扰动,改进Tent映射的短周期问题,并以Bernoulli映射和改进的Tent映射作为8级NFSR的反馈函数构造2个NFSR,将2个8级NFSR首尾相连构造出16级环状的NFSR,同时通过改变混沌映射的参数使基于16级环状NFSR输出的16比特S盒具有不依赖密钥的动态性。测试结果表明,该方法构造的16比特S盒具有良好的密码学性质,满足双射性且代数次数达到最优15,非线性度最高为31 990,差分均匀度最低为18。同时,以该方法构造16比特动态S盒所需要的软硬件开销都较低。

关键词： S盒混沌映射非线性反馈移位寄存器动态性差分均匀度

来源：评论

学校读者我要写书评

暂无评论

采用线性不定方程组的Hamiltonian存在判定条件

引用

通讯和计算机（中英文版） 2006年第6期3卷 43-47页

作者：朱国魂董芳艳宋春伟广田薰戴亚萍桂林电子科技大学计算机系桂林541004 东京工业大学大学院综合理工学院智能系统科学系日本横滨226—8502 北京大学数学科学学院北京100871 北京理工大学信息科技学院北京100081

本文基于{0，1}线性不定方程组和顶边关联矩阵．提出了一个基于无向Hamiltonian图的充要判定定理。并证明了满足该定理的不定方程组解向量对应给定圄的Hamiltonian回路中边的集合，本文还推导出两个可以基于矩阵秩的Hamiltonian回路存... 详细信息

本文基于{0，1}线性不定方程组和顶边关联矩阵．提出了一个基于无向Hamiltonian图的充要判定定理。并证明了满足该定理的不定方程组解向量对应给定圄的Hamiltonian回路中边的集合，本文还推导出两个可以基于矩阵秩的Hamiltonian回路存在的必要判据。

关键词：顶边关联矩阵不定方程 Hamiltonian回路回路向量秩

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：