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