期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem”
1
作者 Corrado Giannantoni 《Journal of Applied Mathematics and Physics》 2023年第10期3159-3202,共44页
The main objective of this paper is to demonstrate that the internal processes of Self-Organizing Systems represent a unique and singular process, characterized by their specific generativity. This process can be mode... The main objective of this paper is to demonstrate that the internal processes of Self-Organizing Systems represent a unique and singular process, characterized by their specific generativity. This process can be modeled using the Maximum Ordinality Principle and its associated formal language, known as the “Incipient” Differential Calculus (IDC). 展开更多
关键词 Maximum Ordinality Principle Solution to the “Three-Body Problem” generativity of Self-Organizing Processes formal language of Ordinal generativity formal language of meta-ordinal generativity
在线阅读 下载PDF
FADEC软件需求形式化建模与测试用例生成的实例研究
2
作者 董泽华 胡军 +3 位作者 沈翔宇 熊波 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第5期999-1012,共14页
研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variabl... 研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variable relation model,VRM)提出了对条目化自然语言描述的FADEC软件需求形式化建模、分析和基于模型测试用例生成的技术方法,并对FADEC中启动燃油控制软件(Start fuel control,SFC)功能实例进行了研究。研究包括对FADEC自然语言需求文档开展结构化预处理,生成领域概念库;通过需求规范化生成形式化建模框架;基于变量关系模型开展多范式的分析;基于需求模型自动生成测试用例;对FADEC需求建模分析中的领域特征问题进行总结分析等。本文对FADEC软件需求提供了建模与测试的工程经验。 展开更多
关键词 计算机软件与理论 机载软件形式化建模 变量关系模型 自然语言需求建模 测试用例自动生成
在线阅读 下载PDF
面向自然语言需求的验证性质生成方法 被引量:1
3
作者 李晓劼 杨志斌 +2 位作者 王翰丰 周勇 李维 《小型微型计算机系统》 CSCD 北大核心 2024年第1期84-92,共9页
安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需... 安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性. 展开更多
关键词 形式化验证 模式定义语言 自然语言处理 规约生成
在线阅读 下载PDF
分布式仿真环境下虚拟试验对象建模技术研究及应用 被引量:5
4
作者 林卓 吴健 +2 位作者 万豪 肖泉 马冲 《计算机测量与控制》 CSCD 北大核心 2012年第11期3011-3013,3037,共4页
根据分布式环境下虚拟试验的特点,提出一种面向试验对象的建模方法,采用虚拟试验对象建模语言(VTML)完成建模任务;作为试验资源应用中相互通信的"公共语言",VTML语言能够准确定义试验场景中的各种对象,实现了试验资源应用的... 根据分布式环境下虚拟试验的特点,提出一种面向试验对象的建模方法,采用虚拟试验对象建模语言(VTML)完成建模任务;作为试验资源应用中相互通信的"公共语言",VTML语言能够准确定义试验场景中的各种对象,实现了试验资源应用的语义互操作,将传统的面向对象的分布式系统和基于发布-订购的系统功能结合起来,兼有两种机制的长处,为用户提供了强大的编程抽象,同时消除发布订购系统中编程人员要明确存储接收数据的繁琐任务;经实际应用表明,VTML能够帮助模型开发人员完成虚拟试验场景中的建模任务,有效实现试验场景资源内部的可操作性、可重用性、可组合性。 展开更多
关键词 分布式 虚拟试验 建模语言 形式化 代码自动生成
在线阅读 下载PDF
SRLtoRadl生成系统及其范畴论语义 被引量:11
5
作者 王昌晶 薛锦云 左正康 《电子学报》 EI CAS CSCD 北大核心 2014年第1期137-143,共7页
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Rad... 形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl. 展开更多
关键词 结构化需求语言 形式化软件规约 自动生成系统 高可靠 范畴论语义
在线阅读 下载PDF
基于PAR的排序算法自动生成研究 被引量:12
6
作者 石海鹤 薛锦云 《软件学报》 EI CSCD 北大核心 2012年第9期2248-2260,共13页
排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法... 排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性. 展开更多
关键词 排序算法 自动生成 领域特定语言 形式化模型 PAR.方法
在线阅读 下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
7
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义Web服务标记语言 广义随机PETRI网 组合WEB服务 性能评价 形式化验证
在线阅读 下载PDF
GFL:用于族性化学结构的标引图形形式语言 被引量:1
8
作者 孙艳玲 张迪 +9 位作者 杨素言 苏向银 高铭 蒋克侠 蒋淑梅 孙旭 王昕 刘化冰 甘霖 徐峻 《情报学报》 CSSCI 北大核心 2007年第2期253-259,共7页
为了满足日益增长的对专利检索的需求,国家高技术研究发展计划(863计划)启动了族性化学结构数据库系统的研究与开发。族性化学结构数据库系统主要涉及两方面的关键技术:(1)族性化学结构的计算机表达,(2)族性化学结构的检索算... 为了满足日益增长的对专利检索的需求,国家高技术研究发展计划(863计划)启动了族性化学结构数据库系统的研究与开发。族性化学结构数据库系统主要涉及两方面的关键技术:(1)族性化学结构的计算机表达,(2)族性化学结构的检索算法。本文主要讨论族性化学结构的计算机表达。存在于化学专利原始文献中的族性化学结构是用具有一定规范的自然语言表述的。为了能在计算机系统中储存与检索这些信息,自然语言表述的族性化学结构必须转换为计算机可以接受的无歧义的形式语言。这个过程叫做族性化学结构的标引。国际上一般采用的基于结构片断的族性化学结构标引形式语言开发于20世纪70~80年代,这种形式语言与化学家采用的图形自然语言相去甚远,标引速度慢,成本高。本文介绍在ISIS/Draw绘图功能基础上发展起来的标引族性化学结构的图形形式语言,它的主要特点是与化学家日常使用的图形自然语言接近,规则简单易于掌握,从而提高标引效率,降低族性化学结构数据库系统的实现成本。 展开更多
关键词 族性化学结构 马库什结构 标引 图形形式语言 计算机检索
在线阅读 下载PDF
关于正则语言的泵引理 被引量:3
9
作者 叶瑞芬 沈百英 《华东理工大学学报(自然科学版)》 CAS CSCD 1994年第5期654-656,共3页
通常关于正则语言的泵引理,常被用来证明某些特殊的语言不是正则语言,但这种论证方法对有些非正则语言不能适用。本文介绍几个广义的泵引理,它们不仅可解决通常的泵引理所能解决的问题,也可解决通常泵引理不能解决的问题。
关键词 形式语言 正则语言 泵引理
在线阅读 下载PDF
Z规格说明自动生成器 被引量:2
10
作者 赵正旭 温晋杰 《计算机系统应用》 2016年第4期148-155,共8页
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自... 形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自动生成.本文中对于Z规格说明自动生成器的研究有助于降低Z规格说明书的编写难度,降低了形式化开发的难度及成本,对于形式化Z语言的推广具有重要的意义. 展开更多
关键词 Z语言 形式化 自动生成器 规约 语义分析
在线阅读 下载PDF
一个输入应用生成器的设计和实现 被引量:1
11
作者 方明 《小型微型计算机系统》 CSCD 北大核心 1992年第11期49-54,共6页
本文介绍了一个输入应用程序生成器的设计思想和实现过程。给出了自动生成屏幕格式的算法和屏幕格式的一种形式化描述方法。通过使用本系统,在开发管理信息系统时,可以提高软件的开发效率和质量。
关键词 应用程序 程序生成器
在线阅读 下载PDF
面向对象的形式化规约语言GOOZ
12
作者 李刚 冯学民 《计算机工程》 CAS CSCD 北大核心 2002年第9期19-20,共2页
在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言 GOOZ,该语言克服了Z++、Object_Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点。
关键词 面向对象 形式化规约语言 GOOZ语言 软件自动化
在线阅读 下载PDF
一个面向对象的应用生成器OO-HLL
13
作者 李彤 王黎霞 《计算机应用与软件》 CSCD 1999年第2期8-14,51,共8页
OO-HLL是一个ORACLE Pro*C应用生成器,它以面向对象和第四代语言面向问题的非过程化方式定义用户需求,生成可嵌入SQL语句到C程序中的Pro*C程序,然后通过Pro*C预编译程序和Microsoft C编译器将其翻译为可执行的目标代码。本文介绍了OO-HL... OO-HLL是一个ORACLE Pro*C应用生成器,它以面向对象和第四代语言面向问题的非过程化方式定义用户需求,生成可嵌入SQL语句到C程序中的Pro*C程序,然后通过Pro*C预编译程序和Microsoft C编译器将其翻译为可执行的目标代码。本文介绍了OO-HLL的基本思想,给出了OO-HLL语言主要语法成分的形式定义,讨论了它的代码生成技术。 展开更多
关键词 面向对象 应用生成器 HLL语言 程序设计
在线阅读 下载PDF
上下文无关语言的广义泵引理
14
作者 沈百英 叶瑞芬 《华东理工大学学报(自然科学版)》 CAS CSCD 1994年第6期815-817,共3页
通常的关于上下文无关语言的泵引理,常被用来证明某些特殊的语言不是上下文无关的语言,但这种论证方法对有些非上下文无关语言不能适用,本文介绍的广义泵引理推广了通常的泵引理,并能解决通常的泵引理所不能解决的问题,它相比于O... 通常的关于上下文无关语言的泵引理,常被用来证明某些特殊的语言不是上下文无关的语言,但这种论证方法对有些非上下文无关语言不能适用,本文介绍的广义泵引理推广了通常的泵引理,并能解决通常的泵引理所不能解决的问题,它相比于Ogden引理,未增加新的关于特指位置的概念。有些书上把泵引理中述及的条件,误认为是某语言成为上下文无关语言的充分条件,本文指出由此而引起的错误。 展开更多
关键词 形式语言 上下文无关语言 泵引理
在线阅读 下载PDF
幻灯片制作自动评测系统的设计与实现
15
作者 李桂成 《电脑开发与应用》 2004年第2期13-14,共2页
借鉴了 Excel和 Word自动评测系统中的很多设计 ,在试题录入方面作了改进 ,采用了根据考核知识点来自动生成标准答案和试题描述文件 ,保证了形式语言、试题描述、标准答案文件与原考核试题完全一致 ,避免了人工录入试题描述产生的歧义... 借鉴了 Excel和 Word自动评测系统中的很多设计 ,在试题录入方面作了改进 ,采用了根据考核知识点来自动生成标准答案和试题描述文件 ,保证了形式语言、试题描述、标准答案文件与原考核试题完全一致 ,避免了人工录入试题描述产生的歧义和标准答案不一致的现象发生。经多次运行 ,幻灯片制作自动评测的准确度高、速度快。 展开更多
关键词 幻灯片制作 自动评测系统 系统设计 数据库 形式语言
在线阅读 下载PDF
从绘画到建筑形式语言的生成 被引量:2
16
作者 张贤波 陶郅 《华中建筑》 2019年第12期1-5,共5页
通过研究从绘画转换到建筑形式的过程,探讨建筑形式语言的一种生成方式与途径。该文梳理了从绘画中获得形式参照的方式,结合形式要素和语义与语用过程的相互作用和影响,分析建筑形式语言生成的机制。建筑的形式可以通过引入绘画的形式... 通过研究从绘画转换到建筑形式的过程,探讨建筑形式语言的一种生成方式与途径。该文梳理了从绘画中获得形式参照的方式,结合形式要素和语义与语用过程的相互作用和影响,分析建筑形式语言生成的机制。建筑的形式可以通过引入绘画的形式要素、再现绘画的形式语言以及从绘画形式转换生成。形式生成的逻辑体现了建筑形式自治的模式,是一种与功能和意义生成建筑形式平行的思路。 展开更多
关键词 绘画语言 建筑语言 形式语言 形式生成逻辑 形式自治
在线阅读 下载PDF
从乔姆斯基语言层级看一阶语言 被引量:1
17
作者 顾恒 《毕节学院学报(综合版)》 2013年第4期13-20,共8页
通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言... 通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。 展开更多
关键词 一阶语言 乔姆斯基层级 生成文法 形式文法 正则语言
在线阅读 下载PDF
计算机科学中的形式化
18
作者 陈有刚 《计算机研究与发展》 EI CSCD 北大核心 1992年第5期37-43,共7页
计算机科学中的形式化可分为描述概念的形式化、证明定理的形式化、定义语法的形式化、编译语言的形式化和处理文本的形式化等等.本文重点讨论将逻辑语言编译为ALGOL语言的形式化生成.
关键词 计算机科学 逻辑语言 形式化
在线阅读 下载PDF
一种新型族性化学结构的图形化标引方法
19
作者 刘延淮 苏向银 孙瑞阳 《世界科学技术-中医药现代化》 北大核心 2014年第11期2320-2324,共5页
族性化学结构表达方式简明、保护范围大,因此在化学、药学类专利中有广泛的应用。但由于族性化学结构的逻辑表述结构复杂多变,现有国内的专利检索系统尚无法对其实现检索,对该类信息的高效加工和深度标引也同样是业界难题。为了建设知... 族性化学结构表达方式简明、保护范围大,因此在化学、药学类专利中有广泛的应用。但由于族性化学结构的逻辑表述结构复杂多变,现有国内的专利检索系统尚无法对其实现检索,对该类信息的高效加工和深度标引也同样是业界难题。为了建设知识产权一站式服务系统,实现对族性化学结构的检索,我们在原来GFL标引语言的基础上开发了一种改进型标引方法。该方法进一步优化了超原子的定义,规范标引词的选择原则和典型结构的标引,使超原子在族性化学结构的标引和检索中发挥更大的作用,因此在提高检索效率和检索便利性的同时,也降低了标引成本。 展开更多
关键词 族性化学结构 马库什结构 超原子 图形形式语言 专利
在线阅读 下载PDF
Word Generative Grammar——an Extensible 6-element System:{V_T,V_N,θ, L,S,P}
20
作者 CHEN Xu, WANG Zhi min, GAO Qing shi (Information Engineering School, University of Science & Technology, Beijing 100083, P.R.China) 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 2003年第2期27-33,共7页
On the basis of formal grammar, this paper introduces operation set θ (e.g.,vector point multiply ·, vector couple multiply * , vector set multiply X, substitution H,function F, set plus ∪, et al.) and set of s... On the basis of formal grammar, this paper introduces operation set θ (e.g.,vector point multiply ·, vector couple multiply * , vector set multiply X, substitution H,function F, set plus ∪, et al.) and set of set' s types L (e.g., ordered set, continuous(descending) ordered set, unordered set, coupled set, coordinate, et al.), and generalizes them toother word types of natural language, thus presenting the generative grammar for words―anextensible 6-element formal system {V_T, V_N, θ, L, S, P}, and takeing time words in naturallanguage as example for detailed discussion. With the colorfulness of time words of naturallanguage, time words for different natural languages assume different meaning. Generative grammarfor time words can generate not only different time words, but also their semantics (Generativegrammar of Chomsky can only produce all right sentences instead of semantics), and then, generalizesthem to other word types, e.g., accurate measure words, adjectives, etc. 展开更多
关键词 natural language formal system word generative grammar extensible6-element system
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部