• 芳香

  • 引用2篇文章[sw06754]
  • 类实例。其次,AROM整合了代数的 建模 语言(AML)用于描述操作知识(方程式。。。
  • 聚合

  • 引用49篇文章[sw04449]
  • 通用开发环境代数的遵循解释方法的图转换系统。很特别。。。包括图形和基于规则的建模软件,通过分配。。。系统模型,基于图形转换的软件演化,以及可视化的定义语言基于。。。
  • 克莱恩代数

  • 参考7篇文章[sw32203]
  • 他们最重要的模型作为Isabelle/HOL中的公理类型类。克莱恩代数是基础结构。。。应用程序包括automata和语言理论到计算建模,程序构造。。。给定幺半群上的动力集,(正则)语言,图中的路径集,集合。。。形式幂级数形式代数,并进一步考虑模型基于格子,max plus。。。
  • OPTMODEL公司

  • 引用4篇文章[sw06280]
  • 自从建模 语言模仿象征代数同样的公式。。。简化填充优化的关键过程模型来自SAS数据集的数据。。。
  • 杓形科

  • 1条引用[sw26557]
  • 与Pyomo开源集成代数的 建模 语言,可在http://www.pyomo.org上找到。。。微分方程,提供了建模灵活性和表达约束的能力。。。不能轻易地在其他建模框架。pyomo.dae的其他关键功能。。。自动转换高级抽象模型进入有限维代数的可以解决的问题。。。
  • 参数

  • 1条引用[sw14824]
  • 最近几年。AMPL是一个综合代数的 建模 语言用于制定优化问题。但是,AMPL。。。
  • OFMC公司

  • 27条引用[sw09466]
  • 模型checker(前一个of mc)。本机输入语言OFMC是AVISPA的中间产物。。。风格语言它延续了以前的相似之处语言支持代数的加密运算符的属性。。。
  • 美国石油协会

  • 引用8篇文章[sw09832]
  • 独立类型编程语言阿格达。程序与代数的其正确性的推导。。。递归用于模型a中的终止Hylomorphism语言感应式。。。
  • 拉丁语

  • 引用15篇文章[sw19699]
  • 就像(半)自动定理证明器,模型棋盘,电脑代数系统、约束求解器或概念分类器。。。应用领域、基本假设和输入语言,这使得它们不可互操作且困难。。。
  • M网络

  • 参考11篇文章[sw09132]
  • 网:An代数高级Petri网,以及在语义上的应用。。。并行程序设计语言. 本文描述了一个高级Petri网模型叫做M网。。。模型它允许两种情况:像大多数其他高级网络一样展开模型... 这个域有多种代数的属性。而且模型合成操作。。。
  • 小个子

  • 参考6篇文章[sw04939]
  • 先进的建模 语言对于复杂数学的清晰简洁的表示模型也。。。差分和代数的限制。结果是先进的建模 语言算法框架。。。
  • 合作社

  • 引用5篇文章[sw04914]
  • 应用:Pyomo:配方代数的 模型在Python的现代编程中语言通用解算器。。。
  • 生态系统

  • 引用了37篇文章[sw12123]
  • 为所需的线性代数在(稀疏)问题数据上操作的计算。。。与以下编程和建模 语言:CVX(迈克尔·格兰特)、亚尔米普(约翰·洛夫伯格)、朱莉娅。。。
  • 电车

  • 引用2篇文章[sw03369]
  • 方法建模而指定抽象的数据类型,自从它们。。。代数的规范语言可在库存硬件上执行语言可以使用。。。一般计算模型对于高级代数的规范语言比如OBJ和CafeOBJ。电车采用。。。
  • 电动机

  • 引用8篇文章[sw02988]
  • 规范语言我们最近开发的。它提供了广泛的建模概念,具有刚性。。。过程-代数样式语义,并提供现代和灵活的规范构造。。。
  • 玛丽亚

  • 引用18条[sw04127]
  • 限制。这个代数包含强大的内置数据类型和操作。模型可以导出。。。用过程或面向对象编写的程序语言或高级规范,如。。。
  • APMonitor公司

  • 引用5篇文章[sw19694]
  • APMonitor公司建模 语言是混合整数和微分的优化软件代数的方程。。。
  • 贵族

  • 引用4篇文章[sw07313]
  • 语言介绍了谓词。A模型理论,基于部分组合理论代数... 形式主义是正确的。程序设计语言建立在Hiord的一个子集上。。。