• 棱镜

  • 390篇参考文献[SW01186]
  • 针对概率时间写的规范逻辑学PCTL和CSL。该工具的特点是三…引擎:一个符号,使用BDDS(二元决策)图表)和MTBDDS(多终端BDDS);一个基于…
  • 状态流

  • 37篇参考文献[SW04350]
  • 组合决策与序贯决策的建模与仿真逻辑基于状态机和流程图…图形和表格表示,包括状态转换图表,流程图,状态转换表,和真相…输入信号。使用STATEFLUE,您可以设计逻辑用于监控、任务调度和故障…
  • 盖特1.1

  • 30篇参考文献[SW02442]
  • 一阶符合逻辑的公式,或代数表达式;画一个或几个图表
  • 计划制定者

  • 14篇参考文献[SW0777]
  • 使用紧表示,特别是代数决策图表捕捉域动态和价值函数…逻辑使用几种表示方案。最近的工作引入了一阶决策变量。图表
  • 阿佐维

  • 12篇参考文献[SW04634 ]
  • 二元决策图表(BDDS)是计算中非常流行和有效的数据结构。逻辑学和硬件…
  • 飞快的

  • 5篇参考文献[SW19455 ]
  • 蜘蛛图表. 蜘蛛图表是众所周知的逻辑其中有一个声音…规则斯皮迪斯提供了一种输入方式图表通过图解推理规则转换它们…
  • GEX

  • 32篇参考文献[SW09961]
  • 专家(GEX)是一个动态的软件图表绘图和自动几何定理证明…自动推理软件,我们可以建立动态逻辑能自己推理的模型…动态视觉模型:几何变换,轨迹生成,图表函数和轨迹生成…
  • QMD

  • 7篇参考文献[SW12911]
  • 多值的QMD使用多个共同决策图表技术、理念在QuIDDPro和小说…可逆量子的紧致表示逻辑电路…
  • 杰森

  • 61篇参考文献[SW06187]
  • AgtTalk的扩展版本逻辑基于Agent的程序设计语言——用Java编写…代理系统。其中一些例子包括图表使用面向Agent的软件工程生成…
  • 南美林猫

  • 22篇参考文献[SW07090]
  • 从关系到布尔的经济翻译逻辑. 这些DISIDARTA用三种新技术来解决…布尔表达式激励的布尔公式图表和简化的布尔电路。所提出的技术有…
  • 斯塔里罗

  • 13篇参考文献[SW07975 ]
  • TaLiRo:时间工具逻辑混杂系统的篡改。S-塔利罗是一个MATLAB…Simulink /状态流中最小鲁棒性的轨迹图表. 它可以分析任意的SIMULINK模型或用户。
  • RDDS

  • 1篇参考文献[SW23 568]
  • Reed Muller决策图表可逆合成逻辑电路。在这篇文章中,我们提出…方法:Reed Mulle可逆逻辑综合(RMRLS)与决策图解合成(DDS),因此…
  • 马西埃

  • 8篇参考文献[SW1282]
  • 建立时间的模型检验的性质逻辑学. MaCIe的有界Petri分析引擎模型是基于区间决策的图表. 它们是由模拟和近似引擎补充的…
  • 赛雷克

  • 5篇参考文献[SW23 569]
  • 在不久的将来,它们的极限是可逆的逻辑已被确立为有前途的替代品…表示,例如真值表或决策图表. 在这一章中,我们提出了编程…
  • BDDENTKT

  • 1篇参考文献[SW23 466]
  • 命题直觉的有效性逻辑使用二进制决策的INT图表(BDDS)。我们现在提出一些…
  • 沃杜

  • 1篇参考文献[SW06300 ]
  • 世俗的逻辑依赖于每个序列的解释状态的查询图表. 验证…
  • KLogo

  • 4篇参考文献[SW10403]
  • 概念:从解释中学习,实体/关系数据建模,逻辑编程和演绎数据库。访问图形——特别是接地实体/关系图表. 随后,图核的选择定义了…Prolog或DATALOG程序,如归纳法逻辑编程系统。KLoG框架…
  • SMCDL

  • 3篇参考文献[SW29077 ]
  • 动态认知的符号模型检验器逻辑(DEL)在Haskell中实现。在其核心…二元决策公式图表(BDDS)。您可以在这里尝试SMCDEL在线…
  • 时隙

  • 4篇参考文献[SW15830]
  • 分布式系统和同步语言。逻辑的时间提供了一种轻松的时间形式。作为新插件开发产生定时图表动画UML模型,或者执行Java代码…