泛系方法论在命题模态逻辑中的应用

来源 :兰州大学 | 被引量 : 0次 | 上传用户:qiaoweizhuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
该文从若干重要的寿命分布出发,定义熵损失函数,研究了上述问题.并在熵损失函数下,考虑了其它模型的一些参数估计的性质.第一章研究了在熵损失函数下,定数截尾情形指数分布的
该文讨论了具有限时滞中立型泛函数微分方程周期解存在性,证明了解的等度最终有界性蕴含了周期解的存在性,去掉了解的一致有界性条件,推广了已有结果,其中包括著名的Yoshizaw
该文以作者参加设计的一个实际局域网为背景,阐述了如何用一些具体方法来更好地完成网络设计安装工作.如建立菜单直接进入系统以保证系统安全,把不是必须在网上做的工作都拿
本文主要研究了 Caputo导数意义下的分数阶微分方程组边值问题正解的存在性以及Riemann-Liouville导数意义下的带有积分边值条件的分数阶微分方程的解的存在性和唯一性.  (
该文从理论上分别对几种常见的互联网络—超立方网络,一般化超立方网络,Fibonacci网络等的容错寻径算法进行了研究,并提出了一种在立方环网络上加总线以使其直径减小的方法.
近年来,种群生态学已成为数学研究领域的一个重要分支,特别是对Lotka-Volterra模型的研究更是热点之一.Lotka-Volterra模型也进一步得到推广与改进,越来越多的影响因素被考虑进
人生本应是轻松快乐的,放眼世间,赏心悦目的自然山水令人目不暇接,劳动创造的一个个“美景”让人感受到人类的伟大和智慧,憧憬美好的未来更令人 Life should be relaxed an