有穷关系模型上的模态可定义

一阶语言与模态语言从不同侧面描述关系模型。Van Benthem刻画定理从抽象的角度指出,在描述关系模型层面上模态语言表达力弱于一阶语言。从可定义这一相对具体的角度表明,即使在讨论有穷的关系模型时,模态语言也严格弱于一阶语言。

面向软件定义多模态车联网的双时间尺度RAN切片资源分配

为了有效满足不同车载应用的差异化服务质量需求,针对软件定义多模态车联网提出了一种双时间尺度的无线接入网切片资源分配算法。考虑增强型移动宽带切片用户最小速率约束、车到车链路可靠性约束、节点最大功率约束、RB约束等,以最小化超可靠低时延切片用户的平均时延为目标,建立缓存、频谱、功率联合资源分配模型。基于匈牙利算法、线性整数规划方法和DDQN算法,将原NP-hard问题在双时间尺度内求解。仿真结果表明,所提算法在保证不同切片用户服务质量需求和提高频谱利用率方面优于传统算法。

VSQL编辑器的行为模型定义

可视化语言是以图符为语素的语言,其语句是由可视化对象组成的,故指令的编写方式不同于传统字符语言的文本编辑方式,需要为其设计一种特殊的可视化语句编辑器,让用户来编写可视化语句。对VSQL的程序编辑器(Mach机)进行定义。介绍了Mach的工作流程,并用一阶时态逻辑描述其行为,较好地说明了Mach机互操作对象之间的关系,解决了Mach机复用问题,为VSQL实现可视化程序设计方法奠定了基础。

论模态逻辑的集合论语义

引入非良基集合可以为模态逻辑提供一种新的语义学。这种语义是在集合上解释模态语言,使用集合中作为元素的集合之间的属于关系解释模态词,并在集合中采用命题变元作为本元,从而解释原子命题的真假。在这种新的语义下,从模型构造的角度看可以引入几种非标准的集合运算:不交并、生成子集合、p-态射、树展开等等,证明模态公式在这些运算下的保持或不变结果。利用这些结果还可以证明一些集合类不是模态可定义的。