搜索到284篇“ 时序逻辑语言“的相关文章
- 基于大语言模型和信号时序逻辑语言的汽车脱困规划方法
- 本发明涉及一种基于大语言模型和信号时序逻辑语言的汽车脱困规划方法，包括：获取驾驶困境下的自然语言描述，并输入到大语言模型中，获取驾驶任务的自然语言描述；将预先定义的谓词函数集与驾驶任务的自然语言描述，一并输入到大语言模型...
- 王于厪黄昭彦高炳钊褚洪庆
- 一种基于时序逻辑语言MSVL的函数调用方法
- 本发明公开了一种基于时序逻辑语言MSVL的函数调用方法，首先判断被调用函数的类型是MSVL函数、有返回值的外部函数还是无返回值的外部函数，根据不同的函数类型对被调用函数进行定义或者修改其定义；然后判断函数调用的位置，根据...
- 段振华张南田聪王小兵赵亮
- 一种基于时序逻辑语言MSVL的函数调用方法
- 本发明公开了一种基于时序逻辑语言MSVL的函数调用方法，首先判断被调用函数的类型是MSVL函数、有返回值的外部函数还是无返回值的外部函数，根据不同的函数类型对被调用函数进行定义或者修改其定义；然后判断函数调用的位置，根据...
- 段振华张南田聪王小兵赵亮
- 框架时序逻辑语言MSVL中面向对象机制的实现被引量：1
- 2010年
- 针对目前时序逻辑语言存在框架问题、缺少面向对象机制、形式化程度过高等不足,提出了框架时序逻辑语言MSVL,包含新的框架操作符、等待语句和非确定的选择语句等技术,并且能够支持面向对象的程序设计.基于正则形和正则图,给出了MSVL解释器的实现方案.并发访问共享资源的实例表明,MSVL比其他时序逻辑语言更接近高级语言,并且解释器的实现方案是切实可行的.
- 王小兵段振华
- 关键词：时序逻辑时序逻辑语言面向对象程序设计解释器
- 面向对象的时序逻辑语言被引量：7
- 2009年
- 针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言FramedTempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与FramedTempura相比,能有效地重用代码,提高了代码的可读性和可维护性。
- 王小兵段振华
- 关键词：形式语言时序逻辑面向对象程序设计组合WEB服务
- 一种基于时序逻辑语言的实时售票系统描述与精化方法
- 2009年
- 时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYZ/E描述了整个软件系统的体系结构,逐步精化了核心组件PCServer、PDClient、PSClient,实现了功能组件PSSComput1和PSSComput2到可执行程序XYZ/E的平滑过渡。
- 金旗铭张广泉
- 关键词：分布式实时系统时序逻辑语言XYZ/E精化
- 基于时序逻辑语言的分布式实时软件体系结构描述与精化
- 如何解决系统的分布性、实时性和并发性问题是分布式实时系统研究中的难点和重点。但如果将参与实时交互行为的各独立计算结点看成一个个组件，那么参与实时交互行为成为了各组件的实时性交互行为，分布式实时系统的分布性、实时性和并发性...
- 金旗铭
- 关键词：体系结构时序逻辑语言
- 实时时序逻辑语言XYZ/RE到时间自动机的映射被引量：4
- 2008年
- 时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验证工具UPPAAL对XYZ/RE描述的系统正确性进行检测。最后本文通过一个实例的描述与检测,验证了映射机制的有效性。
- 刘珊艳戎玫张广泉
- 关键词：实时系统时间自动机UPPAAL
- 基于UML和时序逻辑语言的银行ATM系统描述与求精
- 软件体系结构是20世纪90年代国际软件工程领域出现的一个研究热点,随着软件系统规模和复杂性的不断增大,软件体系结构的设计已成为系统成功的关键因素。
软件体系结构描述是软件体系结构的一个首要研究内容。目前主流的软...
- 李辉
- 关键词：软件体系结构UML
- 基于时序逻辑语言XYZ/E的实时系统应用研究被引量：1
- 2006年
- 针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
- 刘珊艳张广泉
- 关键词：实时系统形式化方法时序逻辑XYZ/E
相关作者
- 唐稚松
- 作品数：34被引量：253H指数：10
- 供职机构：中国科学院
- 研究主题：时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
- 张广泉
- 作品数：234被引量：713H指数：14
- 供职机构：苏州大学计算机科学与技术学院
- 研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
- 郭亮
- 作品数：38被引量：45H指数：5
- 供职机构：中国科学院软件研究所
- 研究主题：MVB XYZ/E 电路单元 时序逻辑语言 列车网络
- 王小兵
- 作品数：202被引量：222H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 语句 数字仿真 词法 仿真
- 金旗铭
- 作品数：2被引量：2H指数：1
- 供职机构：苏州大学计算机科学与技术学院
- 研究主题：精化 逻辑语言 时序逻辑语言 体系结构 XYZ/E
