首页> 外文会议>システム制御情報学会研究発表講演会 >A calculation method of the supremal controllable sublanguage for additive specifications
【24h】

A calculation method of the supremal controllable sublanguage for additive specifications

机译:添加剂规格的最重可控子语言的计算方法

获取原文

摘要

A calculation method of the supremal controllable sublanguage for additive specifications is considered in this paper. Since the proposed method uses the supremal controllable sublanguage calculated before addition of specifications, it can reduce the computation load for the supremal controllable sublanguage.
机译:本文考虑了对添加剂规格的最重可控子程语言的计算方法。由于所提出的方法使用在添加规范之前计算的最高可控子语言,因此它可以减少最重要的可控子语言的计算负荷。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号