没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑εLN循环术语集的不动点语义及推理
研究论文
0 下载量
130 浏览量
2021-02-23
21:44:54
上传
评论
收藏
863KB
PDF
举报
温馨提示
立即下载
描述逻辑εLN循环术语集的不动点语义及推理
资源推荐
资源评论
描述逻辑FL~-循环术语集的语义及推理
浏览:67
描述逻辑FL~-循环术语集的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
浏览:175
带RVM的描述逻辑εL混合循环术语集的语义及推理
描述逻辑εL循环术语集的混合推理
浏览:182
描述逻辑εL循环术语集的混合推理
描述逻辑εL混合循环术语集的LCS和MSC推理
浏览:119
描述逻辑εL混合循环术语集的LCS和MSC推理
描述逻辑系统vL循环术语集的可满足性及推理机制
浏览:41
描述逻辑系统vL循环术语集的可满足性及推理机制
大数据-算法-描述逻辑εL循环术语集的保守扩充.pdf
浏览:32
大数据-算法-描述逻辑εL循环术语集的保守扩充.pdf
描述逻辑εL的二阶线性推理机制
浏览:98
描述逻辑εL的二阶线性推理机制
在ε展开中的多个耦合标量理论中寻找不动点
浏览:199
讨论了标量理论在4 −ε,6 −ε和3 −ε维度上的不动点。 示出了如何通过使用具有两个联轴器的通用框架来获得针对四维情况的大范围的已知固定点。 原始的最大对称性O(N)分解为离散和连续的各个子组。 类似的讨论...
描述逻辑ε(VL)的保守扩充
浏览:160
描述逻辑ε(VL)的保守扩充
描述逻辑μALCIO的语义及推理
浏览:20
描述逻辑μALCIO的语义及推理
描述逻辑μALCQO的语义及推理
浏览:130
描述逻辑μALCQO的语义及推理
论文研究-描述逻辑FL0循环术语集的可满足性.pdf
浏览:120
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。
大数据-算法-模糊描述逻辑LSI语义及推理的研究.pdf
浏览:54
大数据-算法
任何尺寸的Wilson-Fisher不动点
浏览:97
值得注意的是,对于4以外的其他维度,需要在单循环级别进行字段重新规范化。 对于d = 4,该理论简化为通常的局部ϕ4场论,并且需要从两环级开始进行场重归一化。 计算尺寸2、3、4和5的临界指数ν和η。对于大于4的...
重温Wilson-Fisher不动点的扩张算子
浏览:56
根据共形场理论的最新结果,我们将重新讨论由Kehrein,Pismak和Wegner获得的Wilson-Fisher不动点的ε扩张算子。 我们的方法是代数的,仅基于对称原理。 我们分析的出发点是,对扩张算子的第一次校正是保形不变性,这...
First集和Follow集生成算法模拟
浏览:171
5星 · 资源好评率100%
编译原理课程设计First集和Follow集生成算法模拟 【问题描述】 设计一个由正规文法生成First集和Follow集并进行简化的算法动态模拟 【基本要求】 动态模拟算法的基本功能是: (1) 输入一个文法G; (2) 输出由...
k-e模型计算方法k-ε模型中的K和ε物理意义
浏览:93
5星 · 资源好评率100%
介绍湍流模型计算方法,k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-ε模型中的K和ε物理意义k-...
论文研究-基于粗糙集理论的改进ε-支配多目标进化算法.pdf
浏览:57
基于epsilon支配概念的epsilon-MOEA(ε-MOEA)算法具有良好的收敛性和分布性,但是存在epsilon值不易设置,解集中边界个体容易丢失等缺陷。通过结合粗糙集理论中边界域的概念,提出了基于粗糙集理论的改进epsilon-...
first集和follow集算法生成模拟课设C#
浏览:60
题目:First集和Follow集生成算法模拟 【问题描述】 设计一个由正规文法生成First集和Follow集并进行简化的算法动态模拟。(算法参见教材) 【基本要求】 动态模拟算法的基本功能是: (1) 输入一个文法G; (2) ...
Firs集和Follow集生成算法
浏览:102
4星 · 用户满意度95%
【问题描述】 实现根据LL(1)文法生成First集和Follow集的算法。 【基本要求】 (1) 输入一个文法G; (2) 实现由文法G构造FIRST集的算法; (3) 输出First集; (4) 实现由文法G构造FOLLOW集的算法; (5) ...
计算NFA中ε闭包
浏览:105
计算NFA中各个状态的闭包,从键盘上输入一个NFA的描述信息(输入格式自行定义),将 该NFA的描述信息保存到合适的数据结构中,然后计算出NFA中每个状态的ε_closure。
一份不太简短的 L ATEX2ε 介绍.pdf
浏览:121
4星 · 用户满意度95%
LATEX是一种排版系统,它非常适用于生成高印刷质量的科技和数学类文档。这个系统同样适用于生成从简单的信件到完整书籍的所有其他种类的文档...这份短小的介绍描述了LATEX使用,对LATEX 的大多数应用来说应该是足够了。
论文研究-二值命题逻辑中基于条件真度的近似推理.pdf
浏览:91
以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。
Banach空间的不动点性质 (2007年)
浏览:201
Banach空间中的许多几何性质...通过建立Banach空间X中(A2ε)*性质和Banach-Saks性质及UKK性质、一致Frechet可微的关系,得到的结论是:如果Banach空间X是可分的且其对偶空间X*具有(A2ε)*性质,则X及X*具有弱不动点性质。
论文研究-二值命题逻辑中基于条件真度的近似推理(II).pdf
浏览:89
提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角度研究二值命题逻辑中基于条件真度的近似推理问题提供多样化工具。
行人惯性导航零速检测算法
浏览:33
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:112
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:109
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览:15
BA无标度网络中的SIR模型
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38501916
粉丝: 1
资源:
935
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
17140651791633322948657261738571.png
黑马智慧物业小区模块功能代码
超微主板 X9DRL-3F bios 支持nvme启动
超微主板 X9DRH-7F bios 支持nvme启动
159862100195409mztqggpjb_156074 (1).apk
www.3b7d7.m3u8.m3u8
Volumetric Light Beam 1.85
脚本.sql
python107web服务统一身份认证协议设计.rar
python103基于深度学习的安全帽佩戴检测wlw.rar
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功