切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
广义可能线性时序逻辑的自动机方法
广义可能线性时序逻辑的自动机方法
来源 :内江师范学院学报 | 被引量 : 0次 | 上传用户:gksword
【摘 要】
:
模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基
【作 者】
:
张博
李永明
【机 构】
:
陕西师范大学计算机科学学院
【出 处】
:
内江师范学院学报
【发表日期】
:
2016年6期
【关键词】
:
模型检测
广义可能测度
KRIPKE结构
自动机
模糊自动机
model checking
generalized possibility measures
【基金项目】
:
国家自然科学基金(1271237,61228350),贵州省教育厅自然科学研究重点项目(No.黔教合KY字[2015]408号),黔西南州科技计划项目(No.2015-1-51)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Buchi自动机所识别的语言与广义可能测度下线性时序逻辑公式语义一致.
其他文献
润滑油:平坦CO2减排之路
新一代的润滑油的开发如果与发动机和变速箱设计相协调配合的话,能够大幅降低CO2的排放量,并能够激活许多下一代动力总成技术。里卡多目前正在建立一个新的联盟,加快这一关键领
期刊
CO2减排
润滑油
平坦
协调配合
总成技术
变速箱
发动机
排放量
认知重评对情绪外周影响的研究述评
认知重评策略能够有效调节被试的主观情绪体验、杏仁核等区域皮层活动水平和面部表情的变化等。而在情绪外周变化方面,认知重评对积极情绪的调节效果更为显著;而对负性情绪的调
期刊
情绪调节
认知重评
生理机制
emotion regulation
cognitive reappraisal
physiological mechanis
南车曙光联合研发新能源客车及系统部件
近日,中国南车旗下南车株洲电力机车研究所有限公司与曙光股份有限公司在湖南株洲签订节能与新能源客车项目合资合作意向协议,双方合资组建湖南南车黄海电动汽车股份有限公司。
期刊
新能源
系统部件
客车
湖南株洲
研发
电动汽车
合资合作
电力机车
不同风险下企业激励机制的最优化分析
企业激励机制是企业可持续发展进程中的推动力,是企业根据其激励对象固有的行为机理、行为方式以实现企业各目标为目的的有效系统.结合企业激励机制的不同层面的激励效应的需求
期刊
企业
激励机制
最优化
序关系
enterprise
incentive mechanism
optimization
ordering relat
宝马在美国为电动车提供轻型零部件
德国SGL集团(SGCG)和宝马公司宣布将投资1亿美元在美国华盛顿州建造一座碳纤维工厂,为宝马电动车提供高强度轻型零部件。
期刊
宝马公司
零部件
电动车
轻型
美国
华盛顿州
碳纤维
SGL
《魏子云欧阳健学术信札》序
为《魏子云欧阳健学术信札》写序,是一件值得高兴的事,同时也可以约略表达一下我对魏先生的思念之情。魏子云先生是台湾著名的作家、戏曲家、小说研究家。他的丰赡的著述,科
期刊
魏子
魏先生
长春会
戏曲家
小说研究
小说史
明清小说
海峡两岸文化
大陆学者
魏公
基于二粒子态1→2优化通用非对称克隆的远程信息集中
已有的信息集中协议聚焦在单粒子量子克隆的逆过程,而在这里研究二粒子态1→2优化通用非对称克隆的逆过程.结果表明通过1→2优化通用非对称克隆,不同地点的两个发送者将量子
期刊
1→2优化通用非对称克隆
二粒子态克隆
远程信息集中
八粒子团簇态
1 → 2optimal universal asymmetric telecloning
客车制造工艺走势发展
客车工艺工作的主要目的包括“两低两高”——降低成本费用。降低劳动强度,提高产品质量,提高生产效率。2009年,由于受到全球金融风暴的;中击,中国客车企业纷纷缩紧银根、减小开销
期刊
客车企业
制造工艺
工艺工作
成本费用
劳动强度
产品质量
生产效率
工艺装备
植入CDIO理念深化工科院校双语教学改革
结合"质量工程"要求和国际先进的CDIO工程教育理念,针对当前工科院校双语课程教学现状,探讨了以组建双语教学团队、强化理论课中的实践教学环节、创建自主学习模式、构建师生间
期刊
CDIO理念
工科院校
双语教学改革
CDIO philosophy
engineering colleges
bilingual teaching ref
水污染防治公共项目绩效评价
从水污染防治公共项目绩效评价的价值取向、绩效评价理论、绩效评价模型、评价方法以及数理统计方法等角度进行文献梳理和分析,得出水污染防治公共项目的绩效评价应该把公众
期刊
水污染防治公共项目
价值取向
评价模型
评价方法
water pollution prevention and control of public projec
与本文相关的学术论文