论文部分内容阅读
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种复合模态词的相互关系.
关于经验论模态词相互关系的注记
【摘 要】
：
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种
【机 构】
：
解放军理工大学气象学院
【出 处】
：
解放军理工大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的
对五指山市甘蔗开花辅助点6个甘蔗品种连续4年的花芽分化期物候资料及同期温度和湿度等气象资料进行了对比分析，结果发现：不同年份甘蔗花芽分化时期及抽穗率差异达显著或极显著
我有一个小外甥，今年上五年级，酷不爱写作文。老师布置了作文，即使他妈妈盯着他在桌子上写，他也能睡着。有一天，我实在看不下去了，决定和他聊聊这个一写作文就瞌睡的事情。
从广东引进果蔗优良品种-广东黄皮果蔗,进行设施育苗,并通过4种不同棚型栽培,对物候期、伸长速、经济性状等指标进行分析,得出不同棚型对广东黄皮果蔗的产量影响较大,跨度越
介绍了人工神经网络BP模型和MATLAB神经网络工具箱.在分析坡面冲刷过程与神经网络模型特点具有某些相似的基础上,以MATLAB-NNT为工具对6种模型结构进行试验,证明ANN4效果最好
采用“3414”田间肥效试验研究氮、磷、钾肥对甘蔗新品种海蔗22号（粤糖09—13）产量及经济效益的影响，通过肥料效应模型分析，获得合理推荐施肥量，为推广、指导甘蔗新品种海蔗22号合
又是星期五,像往常一样,微风吹着,天气很好,依米恹恹地关上门,皱着小脸下楼。依米在这次考试中名落孙山,又一次听完父母义正辞严的教育后拖拖沓沓走向公交车站。五分钟过去了
爆炸发生在结构内部时，结构受到双重荷载作用：瞬时的冲击波荷载和长时间的准静态气体压力。针对内部荷载特点，采用等效单自由度法推导出了用于计算等效静载的动效系数解析式，并根