切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
时态逻辑的比较与分析
时态逻辑的比较与分析
来源 :渝州大学学报(自然科学版) | 被引量 : 0次 | 上传用户:lixiaobo59178
【摘 要】
:
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。
【作 者】
:
张广泉
孙敏
【机 构】
:
重庆师范学院数学与计算机科学系,四川经济干部管理学院信息系
【出 处】
:
渝州大学学报(自然科学版)
【发表日期】
:
1999年02期
【关键词】
:
线性时态逻辑
分支时态逻辑
路径
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。
其他文献
离恨恰如春草 更行更远还生——析宋词中“草”的意象
"草"这一意象在宋词中频繁出现,颇受词人关注。本文就此意象进行了初步分析。
期刊
意象
草
离别
积淀
基于相关特性的水下连续激光后向散射测量方法研究
本文分析了蓝绿激光水下传输特性,并结合伪随机码的相关特性,提出了一种基于相关算法的水下蓝绿激光后向散射测量方法。该方法利用调制载有伪随机信息的蓝绿激光作为测量输出光
学位
等相位体
蓝绿激光
水下探测
伪随机码
本征曲线
职务犯罪社会化预防新模式——以咸阳检察机关预防工作为例
职务犯罪社会化预防新模式应找准服务切入点,并将预防与查办案件、社会服务等相结合,立足"早预防"和"出实招",切实提升预防效果,推动职务犯罪预防工作纵深发展。
期刊
职务犯罪
社会化
预防
光纤陀螺捷联惯性导航系统标定测试技术研究
光纤陀螺捷联惯导系统由于具有结构简单、无运动部件、动态范围宽等特点,在导航领域里深受关注,并且正在迅速发展。光纤陀螺捷联惯导系统研发的关键技术在于光纤陀螺惯性测量组
学位
光纤陀螺
捷联惯性导航系
标定
安装误差
浅谈家庭教育对学生德育之影响
会议
刘亮程散文创作的精神意蕴
刘亮程不满于现实的精神缺失,他有着敏锐的生命意识、浓厚的乡土意识和对历史的尊重与追怀,这才形成了他的孤独、焦虑与乡愁。文章从文本入手,通过解读散文集《一个人的村庄
期刊
孤独
焦虑
乡愁
鸡足山,花开见佛的迦叶脚印
<正>有一次大梵天王在灵鹫山上请佛祖释迦牟尼说法,并将一朵金婆罗花献给他,隆重行礼之后大家退坐一旁。佛祖拈起一朵金婆罗花,意态安详,却一言不发。众人皆不明所以,面面相
期刊
鸡足山
佛教徒
华首门
大理国
弥勒菩萨
玉华宫
李元阳
佛菩萨
红云集团原料仓储管理存在的问题及改进措施
云南烟草行业是云南财政的主要贡献者,但烟草行业内存在一个普遍问题:原料管理与卷烟大生产不匹配,属于农产品的原料——烟叶的管理由于种种原因远远落后于卷烟的工业大生产,制约
学位
原料
仓储管理
ABC管理法
物流管理
单位行贿罪若干问题研究
单位行贿犯罪是发展社会主义市场经济过程中出现的一种新型犯罪,这种犯罪形式的出现助长了当今社会贪污受贿等腐败现象的蔓延,损害国家机关及工作人员的形象和威信,具有严重的社
学位
单位行贿
主体
不正当利益
共同犯罪
“五四”文学的性别意识
二十世纪初,伴随着《玩偶之家》的译介与宣传,“娜拉”的影响不断扩大、深入,契合了“五四”时期的现代中国提倡妇女解放的社会情绪,因而逐渐成为一代知识女性追求个性解放与人格
学位
五四文学
娜拉出走
性别意识
与本文相关的学术论文