首页|基于权重区间的模态接口自动机

基于权重区间的模态接口自动机

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
Gerald Lüttgen和Walter Vogler将接口自动机的输入输出行为引入到模态转换系统的模态逻辑中,从而可以隐式允许输入表达,称为模态接口自动机.但他们的工作并没有考虑量化信息,而实际应用中这类量化信息是必要的.本文通过将权重与转换关系相关联,来表达量化信息,建立了加权模态接口自动机,并重新定义了带有权重区间的精化关系.在这个框架中,我们研究了合取、析取和并发等系统算子,并证明了精化关系是关于这些算子的同余关系.
Modal interface automata with weight intervals

黄润华、张晋津、张君瑶

展开 >

南京审计大学信息工程学院,江苏 南京 211815

江苏省公共工程审计重点实验室

模态接口自动机 量化信息 精化关系 系统算子

国家自然科学基金江苏省高校自然科学研究项目-重大项目江苏省研究生科研与实践创新计划

6160224921KJA630001KYCX21_1949

2023

10.16644/j.cnki.cn33-1094/tp.2023.05.005

计算机时代
浙江省计算技术研究所　浙江省计算机学会

计算机时代

影响因子：0.411
ISSN：1006-8228
年,卷(期)：2023.(5)
  • 13