期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
连续时间Markov决策过程互模拟等价及逻辑保持 预览
1
作者 黄镇谨 陆阳 +1 位作者 杨娟 王智文 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M... 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率. 展开更多
关键词 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持
在线阅读 下载PDF
基于嵌入式软PLC的移动式保温餐车控制系统设计与实现 预览 被引量:3
2
作者 张媛 蒋乐天 +2 位作者 翟任何 王楠 贾吉林 《机械设计与制造工程》 2016年第4期31-36,共6页
针对部队军事设施建设中施工人员野外就餐难的问题,研制了移动式保温餐车,重点就保温餐车的装卸开发了基于嵌入式软PLC的控制系统。餐车装卸有全自动和手动两种操作模式,可实现对总重为1.6t的食品箱进行自动及手动装卸,以满足野外工地... 针对部队军事设施建设中施工人员野外就餐难的问题,研制了移动式保温餐车,重点就保温餐车的装卸开发了基于嵌入式软PLC的控制系统。餐车装卸有全自动和手动两种操作模式,可实现对总重为1.6t的食品箱进行自动及手动装卸,以满足野外工地大批量人员同时就餐。控制系统硬件CPU采用STM32F103VET6芯片,软件则以三菱FX系列PLC通信协议为基础,可实现对梯形图代码的编译、下载、解释与执行。通过大量现场实际测试,结果表明该控制系统满足设计要求,稳定可靠,响应速度快,自主化程度高。 展开更多
关键词 可编程逻辑控制器 移动式保温餐车 装卸机构 控制系统
在线阅读 下载PDF
向前向后法证明一阶逻辑的几个定理 预览
3
作者 潘孝铭 《华侨大学学报:自然科学版》 CAS 2004年第2期 203-205,共3页
向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几... 向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明. 展开更多
关键词 向前向后法 一阶逻辑 模型论 内插定理 保持定理
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈