期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
从形式化规范自动生成系统级状态机 被引量:1
1
作者 王新苏 王煦法 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第11期1177-1183,共7页
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应... 形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性. 展开更多
关键词 形式化方法 形式化语言 面向对象 形式化规范 系统状态机 自动测试
在线阅读 下载PDF
基于有限状态机的煤矿辅助运输转载自动化控制研究 被引量:5
2
作者 王雯 吴娟 +1 位作者 金书奎 邱建都 《机床与液压》 北大核心 2023年第17期101-108,共8页
为实现辅助运输过程中转载容器装载和转载工作的少人化、智能化,提出一种采用煤矿辅助运输转载机器人实现容器自动化转载的控制方案。概述煤矿辅助运输转载机器人组成及工作原理,分析机器人转载过程,确定了辅助运输转载自动化需要对单... 为实现辅助运输过程中转载容器装载和转载工作的少人化、智能化,提出一种采用煤矿辅助运输转载机器人实现容器自动化转载的控制方案。概述煤矿辅助运输转载机器人组成及工作原理,分析机器人转载过程,确定了辅助运输转载自动化需要对单轨吊车、转载机械臂、平板车、锁具的工作时序进行控制,在MATLAB中建立系统状态机,将单轨吊车、转载机械臂、平板车、锁具作为子系统,系统状态机根据用户指令结合当前各子系统的状态,协同控制各个子系统的工作时间和顺序,保证了煤矿辅助运输转载的安全进行;最后在ROS中建立辅助运输转载仿真环境,通过系统状态机控制机械臂进行多次抓取实验,实验结果表明转载容器在20次不同位置抓取实验中,抓取成功率均在80%以上。 展开更多
关键词 转载机器人 自动化控制 系统状态机 抓取实验
在线阅读 下载PDF
基于功能安全要求的线控转向系统开发及验证 被引量:6
3
作者 常秀岩 高尚 +2 位作者 姜廷龙 侯慧贤 张建伟 《汽车技术》 CSCD 北大核心 2021年第9期27-32,共6页
为提高线控转向(SBW)系统的安全性与可靠性,基于ISO 26262开展了SBW系统设计,将系统的安全目标分配到架构、硬件、软件策略等开发中,设计了冗余机制以满足系统安全要求,并进行了台架和实车测试验证,结果表明:在特定的故障注入状态下,线... 为提高线控转向(SBW)系统的安全性与可靠性,基于ISO 26262开展了SBW系统设计,将系统的安全目标分配到架构、硬件、软件策略等开发中,设计了冗余机制以满足系统安全要求,并进行了台架和实车测试验证,结果表明:在特定的故障注入状态下,线控转向的路感模拟器和转向执行器的转矩和转角的执行状态满足响应需求,实现了整车的线控转向功能并满足设计要求。 展开更多
关键词 线控转向 功能安全 系统架构 硬件架构 系统状态机
在线阅读 下载PDF
基于嵌入式linux的电脑横机控制系统的研究
4
作者 柳迪 叶伯生 《组合机床与自动化加工技术》 北大核心 2012年第9期42-44,共3页
文章分析了国内外电脑横机的研究现状和发展趋势,提出了基于嵌入式linux的电脑横机控制系统的设计方案。设计了以上、中、下位机为主体的硬件体系结构,硬件系统的核心单元是ARM和FPGA。软件系统以基于Xenomai的实时linux系统为基础,介... 文章分析了国内外电脑横机的研究现状和发展趋势,提出了基于嵌入式linux的电脑横机控制系统的设计方案。设计了以上、中、下位机为主体的硬件体系结构,硬件系统的核心单元是ARM和FPGA。软件系统以基于Xenomai的实时linux系统为基础,介绍了软件系统的工作流程,设计了软件系统的状态机,还介绍了软件系统的运动控制及同步技术。最后,提供了该系统织出来的编织实物,预测了电脑横机网络化的发展方向,提出了本系统改进的可能性。 展开更多
关键词 电脑横机 硬件体系结构 实时linux系统 软件系统状态机 运动控制 同步控制技术
在线阅读 下载PDF
State feedback control for Lurie networked control systems 被引量:1
5
作者 陈刚 朱红求 +1 位作者 阳春华 胡春华 《Journal of Central South University》 SCIE EI CAS 2012年第12期3510-3515,共6页
The problem of the stability analysis and controller design which the network-induced delays and data dropout problems network-induced delays are assumed to be time-varying and bounded, for Lurie networked control sys... The problem of the stability analysis and controller design which the network-induced delays and data dropout problems network-induced delays are assumed to be time-varying and bounded, for Lurie networked control systems (NCSs) is investigated, in are simultaneously considered. By considering that the and analyzing the relationship between the delay and its upper bound, employing a Lyapunov-Krasovskii function and an integral inequality approach, an improved stability criterion for NCSs is proposed. Furthermore, the resulting condition is extended to design a less conservative state feedback controller by employing an improved cone complementary linearization (ICCL) algorithm. Numerical examples are provided to show the effectiveness of the method. 展开更多
关键词 networked control systems stability and stabilization network-induced delay cone complementary linearizationalgorithm
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部