搜索到2373篇“ 时序逻辑“的相关文章
- 写操作时序逻辑电路及存储器
- 本发明提供一种写操作时序逻辑电路，通过根据写操作指令、系统时钟和数据采样脉冲，鉴别出数据采样脉冲的最后一个有效的下降沿，并且在该下降沿采样完数据后控制电路自锁以将来自并行数据生成模块的多位并行的数据锁存住，直到下一次写操...
- 宋东蔚
- 基于时序逻辑规约的自动驾驶车辆实时规划方法
- 本发明涉及一种基于时序逻辑规约的自动驾驶车辆实时规划方法，该方法包括：基于自定义的谓词函数集对高速公路场景驾驶任务进行信号时序逻辑语言建模，得到高速公路场景驾驶任务对应的信号时序逻辑规约，并存储于车载路径规划器中；所述车...
- 黄昭彦王于厪于立洋褚洪庆高炳钊陈虹
- 时序逻辑约束下基于强化学习的任务规划方法及相关装置
- 本申请公开了一种时序逻辑约束下基于强化学习的任务规划方法及相关装置，方法包括将待规划任务转换为确定性有限自动机；基于确定性有限自动机及初始策略确定状态动作轨迹；将状态动作轨迹及各状态动作对的外部奖励输入前馈神经网络，通过...
- 田戴荧丁玉隆蒋卓崔金强商成思尉越
- 时序逻辑任务的多无人车系统的路径规划与编队控制方法
- 本发明提供一种时序逻辑任务的多无人车系统的路径规划与编队控制方法，包括：建立多无人车系统的信号时序逻辑(STL)任务规范框架；根据所述任务规范框架构造所述STL对应的控制障碍函数(CBF)；在所述CBF的约束下求解多无人...
- 阳逸潇邹媛媛李少远方浩李贤伟
- 时序逻辑器件的布局方法及装置、电子设备及存储介质
- 一种时序逻辑器件的布局方法及装置、电子设备及存储介质，该布局方法包括：根据集成电路中的布局模块的物理尺寸，分别确定每个布局模块的时序逻辑器件配置要求，时序逻辑器件配置要求包括布局模块内用于实现经布局模块的信号传输的时序逻...
- 祝建京陈赟汉
- 时序逻辑闸电路及传感设备
- 本发明提供一种时序逻辑闸电路及传感设备，所述时序逻辑闸电路包括：预设序列设置电路、移位寄存器电路以及信号序列输出电路，所述移位寄存器电路分别与所述预设序列设置电路和所述信号序列输出电路连接；所述预设序列设置电路用于生成预...
- 邬东强王钧彝
- 基于扩展交替时序逻辑的控制器综合方法
- 2025年
- 形式化方法通过时序逻辑(如LTL和CTL)为复杂系统时序性描述提供了新途径,但其布尔值语义无法量化相关性能属性(如能耗、时间)且难以刻画多智能体协同;时序逻辑的扩展(如PCTL和CTML)虽引入概率与实值评估,但在多智能体系统描述方面仍存在不足.本文对交替时序逻辑(ATL)进行扩展,将公式的语义从布尔值推广到实数值,提出了一种面向多智能体系统时序性能评价的语言ATML.在ATML语言基础上给出控制器综合算法,算法求解给定性能评价公式约束下的控制器,案例展示表明该方法在多智能体系统中控制器综合的可行性.
- 黄若寒曹子宁
- 关键词：性能评价多智能体系统
- 基于时序逻辑的机器人多任务运动实现方法、介质及设备
- 本发明的一种基于时序逻辑的机器人多任务运动实现方法、介质及设备，方法将传统TLTL扩展到wTLTL(Weighted truncated linear temporal logic,以下简称wTLTL)，并将DMPs和w...
- 阚震李琳王浩
- 基于超线性时序逻辑的无二义加权自动机的可检测性研究
- 2025年
- 文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,事件转换往往涉及时间和成本的消耗,这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统性能、指导政策制定,并实现高效、安全和可靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上,将其转换为一种特殊的Kripke结构,以捕获此类加权自动机的信息,从而实现HyperLTL的明确表示。
- 张涛彭皓天
- 关键词：网络安全离散事件系统可检测性
- 多值交互时序逻辑的模型检验研究
- 2025年
- 为了对包含多值信息的开放系统进行形式化验证,在多值逻辑的基础上提出了多值交互时序逻辑并研究了该逻辑的模型检验问题。首先,引入多值并发博弈结构作为此类开放系统的模型,该模型的最大特点是可以建模带有多值信息的开放系统。其次,给出基于此模型的多值交互时序逻辑的语法和语义,该逻辑可以描述带有多值信息的待验证属性。最后,基于不动点理论给出多值交互时序逻辑的模型检验算法,并对算法的时间复杂度进行了分析,结果表明,可以在多项式时间内完成对多值交互时序逻辑的模型检验。
- 凌灿红常亮周洁潘海玉
- 关键词：多值逻辑
相关作者
- 段振华
- 作品数：214被引量：245H指数：9
- 供职机构：西安电子科技大学计算机学院
- 研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
- 田聪
- 作品数：170被引量：79H指数：6
- 供职机构：西安电子科技大学计算机学院
- 研究主题：时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
- 张广泉
- 作品数：234被引量：713H指数：14
- 供职机构：苏州大学计算机科学与技术学院
- 研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
- 王小兵
- 作品数：202被引量：222H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 语句 数字仿真 词法 仿真
- 欧林林
- 作品数：347被引量：371H指数：11
- 供职机构：浙江工业大学
- 研究主题：机械臂 机器人 时滞 移动机器人 多移动机器人
