首页> 中文期刊> 《软件学报》 >关于开放型物理系统的QP理论

关于开放型物理系统的QP理论

         

摘要

本文探讨物理系统定性推理的描述方法,在分析已有的定性推理方法所存在的不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS。此方法一方面拓广了定性进程理论QPT关于参量的类型,引入了参量视图的概念,描述了参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程引入开放系统定性推理的表现机制。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号