时序逻辑

作品数：425被引量：963H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：段振华田聪张广泉王小兵唐稚松更多>>
相关机构：西安电子科技大学中国科学院软件研究所国防科学技术大学浙江工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于扩展交替时序逻辑的控制器综合方法
《西北师范大学学报(自然科学版)》2025年第2期72-84,共13页黄若寒 曹子宁 
中央高校基本科研业务费项目(NJ2024030)。
形式化方法通过时序逻辑(如LTL和CTL)为复杂系统时序性描述提供了新途径,但其布尔值语义无法量化相关性能属性(如能耗、时间)且难以刻画多智能体协同;时序逻辑的扩展(如PCTL和CTML)虽引入概率与实值评估,但在多智能体系统描述方面仍存...
关键词：交替时序逻辑 性能评价 控制器综合算法 多智能体系统 
基于超线性时序逻辑的无二义加权自动机的可检测性研究
《天津理工大学学报》2025年第1期112-117,共6页张涛 彭皓天 
天津市自然科学基金项目(22JCZDJC00550)。
文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,...
关键词：网络安全 离散事件系统 可检测性 超线性时序逻辑 无二义加权自动机 
聚合型时序逻辑驱动的复合服务联动定量监测
《软件学报》2024年第12期5419-5451,共33页周长兵 赵登 张文博 孙骁 薛霄 
中央高校基本科研业务费(2652023001);国家自然科学基金(62372420,42050103);地质调查专项“地球科学文献知识服务与决策支撑二级项目”(DD20230139)。
近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘...
关键词：物联网服务 复合服务 定量监测 实时监测 信号时序逻辑 
基于动作链的形式化任务协同规划
《中国科学：信息科学》2024年第11期2623-2641,共19页刘泽森 李忠奎 国萌 
国家自然科学基金(批准号:U2241214,62203017,T2121002)资助项目。
基于形式化方法的多智能体任务规划因其丰富的任务形式和多样的系统功能而备受关注.然而,随着智能体数量增加,规划复杂度呈指数级增长,因此形式化方法在计算效率和集群规模上都受到了限制.已有的改良方法中,基于图搜索的方法对计算效率...
关键词：多智能体任务规划 形式化方法 线性时序逻辑 在线自适应 偏序集 
基于CloudSim的电力系统计算云原生模型与仿真方法被引量：3
《电力自动化设备》2024年第9期189-196,204,共9页陈元榉 刘媛媛 张延旭 蔡煜 胡春潮 蔡泽祥 
广东省重点领域研发计划项目(2019B111109002)。
分析基于云计算的电力系统计算过程是实现资源高效利用的基础。因此,提出一种基于CloudSim的电力系统计算的云原生建模与仿真方法。基于云原生技术阐述了电力系统计算架构的关键要素,提出基于CloudSim的电力系统计算架构的云原生模型,...
关键词：电力系统 CloudSim 云原生建模 电力系统计算架构 动态调配 时序逻辑 微服务队列 
考虑移动储能车提升系统供电可靠性的配电网规划方法被引量：2
《电力系统保护与控制》2024年第17期128-138,共11页巨云涛 周伟鹏 于宗民 
国家自然科学基金项目资助(52177125)。
传统配电网规划通常是先规划再进行可靠性的校核,难以将可靠性校核结果反馈以有效修正网架规划方案,因此需要建立考虑配电网可靠性的规划方法。而随着配电网发展,移动和固定式储能得到广泛应用。通过多类型储能的优化配置,可在故障发生...
关键词：配电网规划 可靠性评估 故障时序逻辑 移动储能车配置 
一种基于Petri网的多机器人路径规划建模方法
《西北工业大学学报》2024年第4期716-725,共10页褚晶 周力 岳颀 胡悦 郑子轩 黄勇 
国家自然科学基金(61703336);陕西省自然科学基金(2023-JC-QN-0727)资助。
月球基地建设是当前各国月球探测与开发计划的核心使能技术之一。然而,为消除高昂的运输成本和有限载人航天技术的约束,使用多机器人团队建造月球基地的新研究方案被提出,该方案的关键是如何实现多机器人针对复杂任务的路径规划。为此,...
关键词：月球基地建设 PETRI网模型 路径规划建模 线性时序逻辑 
基于数字孪生的工业互联网安全检测与响应研究被引量：2
《通信学报》2024年第6期87-100,共14页马佳利 郭渊博 方晨 陈庆礼 张琦 
国家自然科学基金资助项目(No.62276091);国家社科基金资助项目(No.2022-SKJJ-B-057);河南省重大公益专项基金资助项目(No.201300311200)
考虑传统网络安全防御方法不能够满足工业互联网对可靠性和稳定性的严格要求,基于数字孪生的思想研究了一种在数字空间中通过采集现场数据和使用孪生模型安全认知进行异常检测和响应的方法。首先,通过对数字孪生建模方案进行分析,总结出...
关键词：工业互联网 数字孪生 异常检测 异常响应 信号时序逻辑 
基于时序逻辑任务的人机融合异构多智能体协同控制研究进展
《科技导报》2024年第12期167-177,共11页张心骜 方浩 赵欣悦 陈仲瑶 柯唯翎 
国家重点研发计划项目(2022YFA1004703)。
现有的基于时序逻辑任务的多体协同控制方法,通常采用将时序任务描述为形式化语言后,将其转化为自动机,并与环境模型做乘积,最后在乘积自动机中做图搜索等方式完成任务规划。对现有方法的优缺点进行了比对,从目前常用的结合时序逻辑语...
关键词：人机融合 时序逻辑 异构多智能体 协同控制 
基于5G MEC组网的柔性直流配电系统终端暂态稳定时序逻辑仿真分析
《机械设计与制造工程》2024年第5期83-86,共4页谢石木林 王志刚 张翔 粘为帆 
电力5G系列通信终端研发及应用(SGIT0000XMJS2000540)。
针对现有方法存在的判断准确性和实时性较差的问题,提出基于5G MEC组网的柔性直流配电系统终端暂态稳定时序逻辑任务调度方法,采用该方法在仿真分析时进行合理的任务调度与资源分配,在此基础上,采用马尔科夫链构建终端暂态稳定时序逻辑...
关键词：5G MEC组网 柔性直流 配电系统终端 暂态稳定 时序逻辑 
全选清除导出
共43页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部