没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
一类具有3种否定的模糊模态命题逻辑
一类具有3种否定的模糊模态命题逻辑
研究论文
0 下载量
86 浏览量
2021-02-22
04:27:53
上传
评论
收藏
304KB
PDF
举报
温馨提示
立即下载
一类具有3种否定的模糊模态命题逻辑
资源推荐
资源评论
带有不同否定的模糊命题逻辑的形式演绎系统
浏览:11
带有不同否定的模糊命题逻辑的形式演绎系统
具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结
浏览:12
具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结
区分3种否定的模糊命题逻辑系统及其应用
浏览:80
区分3种否定的模糊命题逻辑系统及其应用
自动设置具有模糊效果的背景,您可以使用手势关闭所有模态视图_Objective-C_Ruby_下载.zip
浏览:176
自动设置具有模糊效果的背景,您可以使用手势关闭所有模态视图_Objective-C_Ruby_下载.zip
一类具有执行器饱和的TS模糊模型的非线性描述系统的稳定性分析与控制设计。
浏览:112
一类具有执行器饱和的TS模糊模型的非线性描述系统的稳定性分析与控制设计。
论文研究-命题模态逻辑S5系统中并行推理方法 .pdf
浏览:80
命题模态逻辑S5系统中并行推理方法,杨洋,李广力,本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究,并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析,提出��
模态逻辑 数理逻辑
浏览:146
4星 · 用户满意度95%
一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物
论文研究-一种基于二维模态逻辑程序的神经-符号系统 .pdf
浏览:29
一种基于二维模态逻辑程序的神经-符号系统,于洋,江敏,弥合连接主义和符号主义计算模型之间的裂隙,是人工智能领域重要的问题之一。 在这篇论文中,我们提出了一种基于二维模态逻辑程序的
模态逻辑讲义2006
浏览:153
模态逻辑讲义DOC 李小五 中山大学逻辑与认知研究所 2006
一类具有时滞的TS模糊系统的可靠被动控制
浏览:105
一类具有时滞的TS模糊系统的可靠被动控制
具有松弛条件的一类切换模糊系统的稳定性分析 (2007年)
浏览:156
使用切换技术以及多Lyapunov函数方法。研究一类切换模糊系统的稳定性问题。给出了有连续控制输入时该切换模糊系统的一种松弛稳定性条件,避免了并行分配补偿法中因模糊规则数较多而求解公共矩阵P的困难,同时给出了实现系统全局渐近稳定的切换策略。主要条件以LMI的形式给出,具有较强的可解性。空气调节系统的设计实例表明了所提出设计方法的可行性和有效性。
一类具有未知控制增益的不确定混沌系统的模糊自适应规定性能控制
浏览:178
一类具有未知控制增益的不确定混沌系统的模糊自适应规定性能控制
一类具有时滞的TS模糊描述符系统的有限时间H∞性能分析
浏览:189
一类具有时滞的TS模糊描述符系统的有限时间H∞性能分析
一类具有区间时变时滞的TS模糊系统的鲁棒控制
浏览:143
一类具有区间时变时滞的TS模糊系统的鲁棒控制
模态逻辑讲义
浏览:147
模态逻辑讲义,有兴趣的可以看看,很不错,可能难度有点大,不过仔细研究还是可以的
模态逻辑手册(ed.by Blackburn et al)
浏览:198
4星 · 用户满意度95%
模态逻辑手册(ed.by Blackburn et al)
数学模态逻辑
浏览:172
4星 · 用户满意度95%
这是一篇非常好的模态逻辑的综述文献
论文研究-模态逻辑公式的真度理论.pdf
浏览:73
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了...并且证明了:若模态公式[φ]不含任何模态词,即经典逻辑公式,它对应的模态真度[τ(φ)]就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。
模态逻辑报告
浏览:5
数理逻辑的模态逻辑课程报告,很祥很强大 总结详细准确
具有松弛条件的一类切换模糊系统的稳定性分析
浏览:28
<p>使用切换技术以及多Lyapunov函数方法,研究一类切换模糊系统的稳定性问题.给出了有连续控制输入时该切换模糊系统的一种松弛稳定性条件,避免了并行分配补偿法中因模糊规则数较多而求解公共矩阵P的困难,同时给出了实现系统全局渐近稳定的切换策略.主要条件以LMI的形式给出,具有较强的可解性.空气调节系统的设计实例表明了所提出设计方法的可行性和有效性.</p>
论文研究-一类不确定离散非线性系统的边界层自适应模糊滑模控制.pdf
浏览:72
研究了一类不确定离散非线性系统的模糊滑模控制问题,提出了一种基于边界层模糊自适应的模糊滑模控制方法.首先,在系统非线性动态函数上界已知的条件下,给出了系统的准滑模...
一种基于多模态融合神经网络对疲劳度检测的方法.pdf
浏览:9
一种基于多模态融合神经网络对疲劳度检测的方法.pdf
模态向量相关性判别的一种新方法
浏览:85
模态向量相关性判别的一种新方法,刘伟,于岩磊,模态向量间相关性的判别是模态分析领域和损伤识别领域的一个重要问题。模态置信准则(MAC)和正则化模态差(NMD)在以往模态向量相
模态逻辑中转换结构的局限性
浏览:78
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出...
论文研究-模态逻辑中公式的模态真度.pdf
浏览:165
在模态逻辑中提出了公式的模态真度理论,即Δ真度与930;真度。先给出在一个给定Kripke模型之下的模态真度理论,此后...结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。
19种漂亮的模态窗口效果
浏览:55
19种漂亮的模态窗口效果
论文研究-一种基于多模态特征的新闻视频语义提取框架.pdf
浏览:136
为提高视频语义信息提取准确率, 提出了一种基于多模态特征的新闻视频语义提取框架。在视频中提取主题字幕信息, 对音频进行分类和语音识别, 根据主题字幕信息借助搜索引擎得到与新闻视频相关的网页; 最后利用网页文本...
模态逻辑系统S4中的度量结构
浏览:185
: 在模态逻辑 S4 中通过有限模型建立了模态公式的( n) 真度理论,研究了模态逻辑 S4 中命题的( n) 真度的性....度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑 S4 中近似推理的框架。
qml自定义模态对话框
浏览:119
不同与Popup,这是自定义样式的模态对话框,是模态的!整个对话框作为一个独立的组件使用.........
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38608866
粉丝: 7
资源:
915
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
easyx开发教程.docx
sdafasdfaaaaaaaaaaa
570167690903166Pixel 6和7系列破解5G资源_20221105_135928.zip
anaconda安装教程.docx
21121344 马丽娟.doc
【password输入框的显示和关闭功能进行优化】
程序设计训练之 Rust 编程语言 第一讲:基本语法
tomcat安装及配置教程教程.docx
CheckInPage.fxml
信号与系统教程.docx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功