• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International conference on swarm intelligence >Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach
【24h】

Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach

机译：捕食者－食饵系统的一阶逻辑建模与验证分析

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Consider the interaction of populations, in which there are exactly two species, one of which the predators eat the preys thereby affecting each other. In the study of this interaction Lotka-Volterra models have been used. This paper proposes a formal modelling and verification analysis methodology, which consists in representing the interaction behavior by means of a formula of the first order logic. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, called Skolem standard form, qualitative methods for verification (satisfiability) as well as performance issues, for some queries, are applied.
机译：考虑种群之间的相互作用，其中恰好有两种，捕食者之一捕食猎物，从而相互影响。在这种相互作用的研究中，已经使用了Lotka-Volterra模型。本文提出了一种形式化的建模和验证分析方法，该方法包括通过一阶逻辑公式来表示交互行为。然后，使用逻辑隐含的概念，并将此逻辑隐含关系转换为一组称为Skolem标准形式的子句，对某些查询应用用于验证（可满足性）的定性方法以及性能问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号