首页> 外文会议>Second IEEE International Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', 1995 >Some algebraic connections between behavior decompositions andtwo-sided diophantine equations
【24h】

Some algebraic connections between behavior decompositions andtwo-sided diophantine equations

机译:行为分解与双面双色抛物线方程之间的代数联系

获取原文

摘要

Concerns behavior-based system modelling. In this paper, therelationship between complete behaviors decomposition and thesolvability of certain two-sided diophantine equations is explored. Moreprecisely, the possibility of expressing a complete behavior as a directsum of two subbehaviors, one of which has been chosen a priori, provesto be equivalent to the solvability of a particular two-sided Bezoutequation, while, more generally, decompositions with specificintersections of the two subbehaviors are related to the solvability ofdiophantine equations with suitable constant terms
机译:关注基于行为的系统建模。在本文中, 完整行为分解与行为之间的关系 探讨了某些两边双色子方程的可解性。更多的 确切地说,是将完整的行为表达为直接行为的可能性 证明了两个子行为的总和,其中一个是先验选择的,证明了 相当于特定的两面Bezout的可溶性 等式,而更一般地,分解具有特定的 两个子行为的交集与 具有适当常数项的双色子方程

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号