搜索到136篇“ 形式化语言“的相关文章
- 一种基于形式化语言与概率模型的中断程序验证方法
- 本发明公开一种基于形式化语言与概率模型的中断程序验证方法，所述方法包括如下步骤：建立形式化语言模型语法；建立形式化语言模型语义；使用Maude编程语言对形式化语言模型实例化，进而建立验证系统；将待验证的嵌入式系统软件进行...
- 邸亮苏月怡孙林刘正凡程彬王均波张志虎杨柳孙津原
- 西府剪纸艺术形式化语言的探究
- 2024年
- 剪纸艺术作为西府地区一种重要的民间艺术,在当地人心中有着其他艺术无法替代的地位,从迎接新的一年的到来,到娶妻生子的生命仪式,再到入住新宅的祝福,都离不开剪纸艺术。剪纸已经和当地人的生命、情感相连接,寄托着他们对美好生活的向往。
- 张韬
- 关键词：剪纸情感形式化语言传承
- 一种基于形式化语言的铁路区间闭塞安全功能实现方法
- 本发明提出了一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。所述铁路站间闭塞联锁逻辑实现方法能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：基于形式化语言的半自动闭塞逻辑实现、区间使用计轴设备...
- 王龙生卢佩玲赵梦瑶刘逸明赵永清刚建雷管伟军卢瑞冰韦军志潘明付伟齐志华于健洁白帅吉喆于红军
- 论塔斯基语义真理论的哲学影响——纪念《形式化语言中的真概念》出版90周年被引量：1
- 2023年
- 在《形式化语言中的真概念》中,塔斯基首次表述了其语义真理论。塔斯基语义真理论对二十世纪中后期的哲学和逻辑产生了深远的影响。不过,关于塔斯基语义真理论的哲学方面一直存在争议。值此出版90周年之际,通过揭示理论定位、突出哲学贡献与回应哲学争议来反思塔斯基语义真理论的哲学影响。理论定位方面,塔斯基语义真理论既是形式理论,也是哲学学说;哲学贡献方面,塔斯基语义真理论推动了“语义学革命”,开启了“塔斯基转向”;哲学争议方面,塔斯基语义真理论不是哲学上贫乏的,而是哲学上合理的。随着围绕“真”的研究的不断深入,塔斯基语义真理论的哲学影响会日益凸显。
- 韦雷雷孙萌萌
- 关键词：塔斯基哲学
- 一种基于形式化语言的铁路区间闭塞安全功能实现方法
- 本发明提出了一种基于形式化语言的铁路站间闭塞联锁逻辑实现方法。所述铁路站间闭塞联锁逻辑实现方法能够同时兼容半自动闭塞和自动站间闭塞方式；其中，所述安全功能实现方法包括：基于形式化语言的半自动闭塞逻辑实现、区间使用计轴设备...
- 王龙生卢佩玲赵梦瑶刘逸明赵永清刚建雷管伟军卢瑞冰韦军志潘明付伟齐志华于健洁白帅吉喆于红军
- 搭建描述性语言与形式化语言之间的桥梁——以“数列的极限”的教学为例
- 2021年
- 数学教育承载着落实立德树人根本任务、发展素质教育的功能,“提升学生的数学素养,引导学生会用数学眼光观察世界,会用数学思维思考世界,会用数学语言表达世界”[1],是数学教育的重要育人目标.所谓“数学语言”,是一种由数学符号、数学术语和经过改造的自然语言组成的科学语言.
- 任念兵
- 关键词：数学术语数学语言数学符号育人目标
- 一种基于形式化语言Event-B的需求检索库的软件测试方法
- 本发明涉及软件测试技术领域，特别涉及一种基于形式化语言Event‑B的需求检索库的软件测试方法，包括如下步骤：将软件开发需求分解成原子需求；使用Event‑B语言建立了一套标准的用于描述原子需求的句式；当获取到新的软件测...
- 朱文钊苗晓旭
- 一种基于Altarica形式化语言的软件FMEA分析方法
- 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本...
- 周小波江国进白涛章丹王晓燕张亚栋杜乔瑞徐先柱史茹梅
- 生产线快速分拣系统形式化语言建模研究
- 针对家电生产行业的生产线自动分拣系统,对生产线自动分拣系统的结构、运行机制进行分析和阐述。对其中的关键环节,自动分拣检测平台,从信息物理系统的角度,在形式化逻辑中引入时间因素,对生产线自动分拣检测平台进行建模,保证了信息...
- 崔世强冯玉伯
- 关键词：信息物理系统自动分拣系统形式化语言流水线传感器
- 一种基于形式化语言Event-B的需求检索库的软件测试方法
- 本发明涉及软件测试技术领域，特别涉及一种基于形式化语言Event‑B的需求检索库的软件测试方法，包括如下步骤：将软件开发需求分解成原子需求；使用Event‑B语言建立了一套标准的用于描述原子需求的句式；当获取到新的软件测...
- 朱文钊苗晓旭
相关作者
- 周小波
- 作品数：8被引量：2H指数：1
- 供职机构：北京广利核系统工程有限公司
- 研究主题：传输路径 分析软件 形式化语言 新鲜性 接收者
- 蒋睿
- 作品数：36被引量：7H指数：2
- 供职机构：东南大学
- 研究主题：端到端 语音加密 语音 手机 移动定位系统
- 刘玉平
- 作品数：24被引量：0H指数：0
- 供职机构：中兴通讯股份有限公司
- 研究主题：用户 定位控制 测试用例 寻呼 核心网
- 李晓红
- 作品数：180被引量：177H指数：7
- 供职机构：天津大学
- 研究主题：安全需求 可信计算 软件产品 漏洞 免疫激活
- 陈刚
- 作品数：33被引量：53H指数：4
- 供职机构：华南理工大学
- 研究主题：低值鱼 美拉德反应 冷却介质 电主轴 酶解
