drylogic 带有规则组合的谓词逻辑.zip
dry-logic,带有规则组合的谓词逻辑逻辑谓词逻辑和使用的规则组合:用于约束类型的干类型干验证插件用于构成验证规则你的项目。链接文档文档Bug报告和拉请求在GitHub的https://github.com/dry-rb
用户评论
推荐下载
-
带有QCD和规则的重张量介子的强衰减
在本文中,我们用三点QCD和规则计算了强子耦合常数GD2 *Dπ,GDs2 * DK,GB2 *Bπ,GBs2 * BK,然后研究了两体强衰变D2 ∗(2460)→Dπ, Ds2 *(2573)→DK
35 2020-07-24 -
Drool规则引擎在实现业务逻辑中的应用
Drool规则引擎在实现业务逻辑中的应用.pdf
22 2019-07-11 -
ORACEL逻辑比较和优先级规则
oracle的逻辑比较和优先级规则,入门级的资料
9 2020-08-20 -
基于距离衰减的分布式证明组合规则
基于距离衰减的分布式证明组合规则 :研究了分布式证据的区域性与置信度问题,发现即使在证据源可靠的情况下,随着 与证据源间距离的增大,证据权威性将逐渐减小,传统D-S理论会给出悖离常理的结论.解决这一
24 2019-03-29 -
常用的字母及字母组合的读音规则小结
元音字母a或a+其他字母。元音字母在非重读音节中大多数读作[[]或[i]. 辅音字母和辅音字母组合的读音规则
13 2021-06-15 -
组合逻辑电路的设计实验报告11
组合逻辑电路的设计实验报告11 【设计过程】 设输入为A、B、C、D,输出为L,根据要求列出真值表如下 真值表 A B C D L 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0
14 2020-08-21 -
基于EWB的组合逻辑电路竞争冒险研究
基于EWB的组合逻辑电路竞争冒险研究,林文剑,王劲松,本文通过组合逻辑电路竞争冒险现象的理论与例子,针对组合逻辑电路中竞争冒险现象,介绍了竞争冒险现象的概念,同时分析了竞争
15 2020-06-14 -
PLD设计技巧消除组合逻辑产生的毛刺.pdf
详细描述PLD器件件毛刺的产生及消除方法,浅显易懂
35 2018-12-26 -
vhdl的组合时序逻辑及转化类型设计
基于vhdl的时序逻辑,组合逻辑,及数据类型转化的程序 寄存器,计数器,锁存器,比较器,收发器,译码器,选择器,编码器,表决器,加法器,译码器,总线,二进制到bcd码格雷码的转换,无符号到整型的转化,
11 2020-08-14 -
心希盼MFC带有图标的组合框
类似QQ登陆界面中的用户选择组合框一样 写了一个继承CComboBox的类来实现图标功能 具体 解释 在“心希盼 图标组合框.doc”
50 2018-12-31
暂无评论