期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
三维动画技术在舰船显控界面中的应用研究
1
作者
王崇刚
《舰船科学技术》
北大核心
2016年第1X期151-153,共3页
基于三维动画技术的舰船仿真和显控界面设计对武器装备的现代化具有十分重要的作用。本文对三维动画技术的技术原理和具体应用实现技术展开研究,并对三维动画技术在舰艇显控界面中的应用进行分析和仿真设计应用探索。通过采用Open GL平...
基于三维动画技术的舰船仿真和显控界面设计对武器装备的现代化具有十分重要的作用。本文对三维动画技术的技术原理和具体应用实现技术展开研究,并对三维动画技术在舰艇显控界面中的应用进行分析和仿真设计应用探索。通过采用Open GL平台,分析舰船实体的三维建模的技术要求,并进行方案设计。在此基础上,进一步对舰船显控界面三维动画设计的总体模型与动画生成过程进行分析。
展开更多
关键词
舰船显控界面
三维动画
OPENGL
建模
在线阅读
下载PDF
职称材料
基于数据驱动的风力发电系统一步超前预测转速控制
2
作者
张俞
黎明
许德智
《工矿自动化》
北大核心
2013年第9期83-86,共4页
针对风力发电系统转速控制系统的特点,提出了一种基于数据驱动的一步超前预测控制方法。该方法先利用动态线性化技术,采用投影算法在线估计伪偏导数,然后通过最小化一步超前加权性能指标获得广义最小方差预测控制算法;为了取得更好的跟...
针对风力发电系统转速控制系统的特点,提出了一种基于数据驱动的一步超前预测控制方法。该方法先利用动态线性化技术,采用投影算法在线估计伪偏导数,然后通过最小化一步超前加权性能指标获得广义最小方差预测控制算法;为了取得更好的跟踪效果,引入一个自适应项用于增强输出跟踪能力,使得系统输出响应具有更强的跟踪能力。仿真结果验证了该方法的有效性。
展开更多
关键词
风力发电系统
数据驱动控制
一步超前预测
转速控制
在线阅读
下载PDF
职称材料
采摘机械手的路径规划——基于相似矢量矩免疫遗传算法
被引量:
3
3
作者
王崇刚
李明江
《农机化研究》
北大核心
2016年第10期37-41,共5页
为了提高果蔬采摘机器人机械手采摘路径规划决策的效率,降低数据分析的冗余性,在分析生物免疫系统功能、作用机理及特点的基础上,提出了一种基于相似性矢量距的免疫遗传算法,并将其植入到了机械手躲避障碍物的决策系统中。该算法利用相...
为了提高果蔬采摘机器人机械手采摘路径规划决策的效率,降低数据分析的冗余性,在分析生物免疫系统功能、作用机理及特点的基础上,提出了一种基于相似性矢量距的免疫遗传算法,并将其植入到了机械手躲避障碍物的决策系统中。该算法利用相似矢量矩方法将选择概率的局部搜索和整体搜索有机地结合起来,使算法保留了最优抗体,保证了计算不陷入局部最优解,并使抗体的计算具有了多样性。为了验证算法的有效性和可靠性,设计了果实采摘机器人的测试样机。通过测试发现:机器人机械手动作过程中可以有效地躲避障碍物,到达指定的目标采摘区域,在相似矢量矩免疫遗传算法、免疫遗传算法和相似矢量矩3种算法的测试结果中,相似矢量矩免疫遗传算法的收敛性最好,优化路径最优。
展开更多
关键词
采摘机器人
数据冗余性
免疫遗传算法
相似矢量矩
机械手
在线阅读
下载PDF
职称材料
互斥协议的安全性分析
4
作者
赵梦龙
唐郑熠
+1 位作者
万良
韦立
《计算机应用研究》
CSCD
北大核心
2015年第5期1486-1488,共3页
安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序列的具体约束。针对这一问题,使用对系统动作刻画更完善的行为时序逻辑进行了重定义,加入了初始状态和转...
安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序列的具体约束。针对这一问题,使用对系统动作刻画更完善的行为时序逻辑进行了重定义,加入了初始状态和转移条件的约束。以此为基础,对互斥这一并发系统的典型属性进行了形式化的分析,由此说明如何判断一个属性是否满足安全性或活性的定义。该技术为实现系统性质的自动推理与验证提供了形式化基础。
展开更多
关键词
互斥协议
属性分类
安全性
活性
行为时序逻辑
在线阅读
下载PDF
职称材料
题名
三维动画技术在舰船显控界面中的应用研究
1
作者
王崇刚
机构
贵州职业技术学院信息技术系
出处
《舰船科学技术》
北大核心
2016年第1X期151-153,共3页
文摘
基于三维动画技术的舰船仿真和显控界面设计对武器装备的现代化具有十分重要的作用。本文对三维动画技术的技术原理和具体应用实现技术展开研究,并对三维动画技术在舰艇显控界面中的应用进行分析和仿真设计应用探索。通过采用Open GL平台,分析舰船实体的三维建模的技术要求,并进行方案设计。在此基础上,进一步对舰船显控界面三维动画设计的总体模型与动画生成过程进行分析。
关键词
舰船显控界面
三维动画
OPENGL
建模
Keywords
ship display control interface
3D animation
OpenGL
modeling
分类号
U674.70 [交通运输工程—船舶及航道工程]
在线阅读
下载PDF
职称材料
题名
基于数据驱动的风力发电系统一步超前预测转速控制
2
作者
张俞
黎明
许德智
机构
贵州职业技术学院信息技术系
南昌航空大学无损检测
技术
教育部重点实验室
南京航空航天大学自动化
学院
出处
《工矿自动化》
北大核心
2013年第9期83-86,共4页
基金
江苏省研究生创新基金(CXZZ11-0213)
文摘
针对风力发电系统转速控制系统的特点,提出了一种基于数据驱动的一步超前预测控制方法。该方法先利用动态线性化技术,采用投影算法在线估计伪偏导数,然后通过最小化一步超前加权性能指标获得广义最小方差预测控制算法;为了取得更好的跟踪效果,引入一个自适应项用于增强输出跟踪能力,使得系统输出响应具有更强的跟踪能力。仿真结果验证了该方法的有效性。
关键词
风力发电系统
数据驱动控制
一步超前预测
转速控制
Keywords
wind power system
data-driven control
one-step-ahead prediction
rotating speed control
分类号
TD611 [矿业工程—矿山机电]
在线阅读
下载PDF
职称材料
题名
采摘机械手的路径规划——基于相似矢量矩免疫遗传算法
被引量:
3
3
作者
王崇刚
李明江
机构
贵州职业技术学院信息技术系
黔南民族师范
学院
计算机科学
系
出处
《农机化研究》
北大核心
2016年第10期37-41,共5页
基金
贵阳国家高新技术产业开发区管理委员会科技型中小企业技术创新基金项目(GXCX2013-006)
国家开放大学2014-2015年度科研项目(G14 A3602 W)
贵州省科技厅科学技术基金项目(黔科合J字LKQS[2013]10号)
文摘
为了提高果蔬采摘机器人机械手采摘路径规划决策的效率,降低数据分析的冗余性,在分析生物免疫系统功能、作用机理及特点的基础上,提出了一种基于相似性矢量距的免疫遗传算法,并将其植入到了机械手躲避障碍物的决策系统中。该算法利用相似矢量矩方法将选择概率的局部搜索和整体搜索有机地结合起来,使算法保留了最优抗体,保证了计算不陷入局部最优解,并使抗体的计算具有了多样性。为了验证算法的有效性和可靠性,设计了果实采摘机器人的测试样机。通过测试发现:机器人机械手动作过程中可以有效地躲避障碍物,到达指定的目标采摘区域,在相似矢量矩免疫遗传算法、免疫遗传算法和相似矢量矩3种算法的测试结果中,相似矢量矩免疫遗传算法的收敛性最好,优化路径最优。
关键词
采摘机器人
数据冗余性
免疫遗传算法
相似矢量矩
机械手
Keywords
picking robot
data redundancy
immune genetic algorithm
similarity vector moment
manipulator
分类号
TP241 [自动化与计算机技术—检测技术与自动化装置]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
互斥协议的安全性分析
4
作者
赵梦龙
唐郑熠
万良
韦立
机构
贵州职业技术学院信息技术系
福建工程
学院
信息
科学与工程
学院
贵州
大学计算机科学与
技术
学院
贵州
师范大学数学与计算机科学
学院
出处
《计算机应用研究》
CSCD
北大核心
2015年第5期1486-1488,共3页
基金
国家自然科学基金资助项目(6130900)
贵州省自然科学基金资助项目(J[2011]2328)
福建工程学院科研启动基金资助项目(GY-Z13112)
文摘
安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序列的具体约束。针对这一问题,使用对系统动作刻画更完善的行为时序逻辑进行了重定义,加入了初始状态和转移条件的约束。以此为基础,对互斥这一并发系统的典型属性进行了形式化的分析,由此说明如何判断一个属性是否满足安全性或活性的定义。该技术为实现系统性质的自动推理与验证提供了形式化基础。
关键词
互斥协议
属性分类
安全性
活性
行为时序逻辑
Keywords
mutual exclusion protocol
classification of properties
safety
liveness
temporal logic of action
分类号
TP309.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
三维动画技术在舰船显控界面中的应用研究
王崇刚
《舰船科学技术》
北大核心
2016
0
在线阅读
下载PDF
职称材料
2
基于数据驱动的风力发电系统一步超前预测转速控制
张俞
黎明
许德智
《工矿自动化》
北大核心
2013
0
在线阅读
下载PDF
职称材料
3
采摘机械手的路径规划——基于相似矢量矩免疫遗传算法
王崇刚
李明江
《农机化研究》
北大核心
2016
3
在线阅读
下载PDF
职称材料
4
互斥协议的安全性分析
赵梦龙
唐郑熠
万良
韦立
《计算机应用研究》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部