云南高校图书馆联盟文献共享服务平台- LTL

LTL: 作品数：62被引量：88H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：禹鑫燚欧林林郭永奎董威钱俊彦更多>>; 相关机构：国防科学技术大学华东师范大学桂林电子科技大学中科合成油技术有限公司更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划广西壮族自治区自然科学基金更多>>

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization: 《IEEE/CAA Journal of Automatica Sinica》2024年第10期2082-2098,共17页Wei Ren Zhuo-Rui Pan Weiguo Xia Xi-Ming Sun; supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090);the National Natural Science Foundation of China(61890920,61890921,62122016,08120003);Liaoning Science and Technology Program(2023JH2/101700361).; Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...; 关键词：Abstraction-based control design dynamic quantization formal methods linear temporal logic(LTL)

面向模型检测的LTL语句自动生成方法被引量：2: 《计算机工程与设计》2023年第8期2337-2344,共8页段喜龙陆智伟郑巍陈晋升樊鑫肖鹏; 国家自然科学基金项目(61867004)。; 为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中...; 关键词：自然语言处理模型一致性线性时态逻辑 UML模型形式化验证工具模型验证模型注释

一种利用非确定规划的LTL合成方法: 《软件学报》2022年第8期2769-2781,共13页陆旭于斌田聪段振华; 国家自然科学基金(61806158,61732013,62172322,62002290);中国博士后科学基金(2019T120881,2018M643585);国家重点研发计划(2018AAA0103202);陕西省重点科技创新团队(2019TD-001);陕西省自然科学基础研究计划(2021JQ-208)。; LTL合成(linear temporal logic synthesis)是程序合成(program synthesis)的一类重要子问题,旨在自动构建一个控制器(controller),且要求该控制器和环境(environment)的行为交互满足给定的LTL公式.一般来说,可以将LTL合成定义为二人博...; 关键词：二人博弈 BÜCHI自动机 LTL合成非确定规划

形式化的安全分析方法在智能轨道交通的应用: 《科技创新与应用》2021年第3期175-178,共4页刘莎晨韩涛朱天民李思远; 在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺乏统一的标准,而形式化方法可以有效验证和评估系统设计正确...; 关键词：智能轨道交通形式化方法 ATP STPA LTL

如何提升学习技术领导力——EDUCAUSE组织LTL项目的解读: 《中国教育网络》2020年第9期49-50,共2页欧梦吉刘永贵刘瑞; 美国高等教育信息化组织EDUCAUSE的ITL项目从促进学生成功、开展有效学术交流、采用数据驱动的解决方案、为组织变革提供数字化领导力、管理技术行动等五方面提升高校教学管理者的学习技术领导力。本文分析了LTL项目中学习技术领导力的...; 关键词：技术领导力数据驱动学术交流组织变革数字化

基于STPA的潜艇鱼雷发射控制系统安全性分析被引量：5: 《系统工程理论与实践》2019年第12期3208-3216,共9页秦楠马亮黄锐; 针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析.同时改进传统STPA...; 关键词：系统理论过程分析(STPA) 发射控制致因分析线性时序逻辑(LTL) XSTAMPP

基于LTL-PRM算法的分支管路自动布局方法被引量：10: 《机械工程学报》2018年第15期160-170,共11页马江涛刘检华徐联杰吴宏超徐金宝; 国防基础科研资助项目(JCKY2016204A502,JCKY2017204B502); 针对非正交分支管路的自动布局问题,提出一种基于局部二次学习概率路径图算法(LTL-PRM)的分支管路自动布局方法,该方法首先采用回溯算法计算出端点之间的最小斯坦纳树,并对其中的斯坦纳点位置进行优化处理,从而获得管路系统的分支点位置...; 关键词：分支管路自动布局最小斯坦纳树 LTL-PRM算法 DIJKSTRA算法

LTL在STP轨迹分析中的应用被引量：1: 《铁道通信信号》2018年第8期4-6,共3页李晗; 应用线性时序逻辑(LTL)对无线调车机车信号和监控系统(STP)的运行日志进行轨迹分析,实现自动定位故障发生时间,从而提升系统维护工作的自动化程度。; 关键词：线性时序逻辑无线调车机车信号和监控轨迹分析运行日志

Detection of CO2 and O2 by iron loaded LTL zeolite films: 《Frontiers of Chemical Science and Engineering》2018年第1期94-102,共9页Veselina Georgieva Richard Retoux Valerie Ruaux Valentin Valtchev Svetlana Mintova; Detection of oxygen and carbon dioxide is important in the field of chemical and biosensors for atmosphere and biosystem monitoring and fermentation processes. The present study reports on the preparation of zeolite f...; 关键词：zeolite films detection of CO2 and O2 adsorption

基于STPA空管运行系统安全分析方法研究被引量：5: 《武汉理工大学学报》2017年第12期49-55,共7页王洁宁孙晓萌; 国家重点研发计划项目(2016YFB0502401);国家空管委项目基金(GKG201410003);中央高校基本科研业务费专项资金(3122014D040;3122017062); 在空管运行系统中,分析相关事故或不安全事件过程中常把责任归咎于某一方面的不足,然而,对重大事故的彻底调查几乎总能发现其他的因素,单一的事故假设已经不再满足复杂的运行系统。安全性是一个系统属性,而不仅仅是独立于系统之外的特...; 关键词：空管运行系统 STPA LTL 规范验证

LTL