期刊文献+
共找到75篇文章
< 1 2 4 >
每页显示 20 50 100
基于改进BNF的作战管理语言语法形式化方法 被引量:8
1
作者 罗晨 鲍广宇 +1 位作者 刘晓明 袁黎苗 《计算机科学》 CSCD 北大核心 2012年第4期189-192,209,共5页
作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF... 作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例。 展开更多
关键词 作战管理语言 巴科斯范式 形式化
下载PDF
用例图的BNF描述和扩充的基于约束模块化Petri网检测 被引量:1
2
作者 顾明 《计算机应用与软件》 CSCD 北大核心 2005年第11期26-27,114,共3页
本文提出了用BNF描述用例图的语法结构,分析了已有Petri技术对描述用例的局限性,给出了扩充的基于约束模块化Petri网的定义,并用一个实例说明了这些描述和定义的具体应用。
关键词 用例图 bnf描述 PETRI网 软件需求分析 bnf语法
下载PDF
LISP语言的特点及其文法的BNF描述 被引量:1
3
作者 布辉 刘冉 《福建电脑》 2006年第10期83-84,共2页
LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。
关键词 LISP语言 Scheme语言 bnf范式 文法
下载PDF
基于BNF的3DS文件格式规范化描述 被引量:4
4
作者 陈蕾 赵正旭 《计算机系统应用》 2017年第5期23-28,共6页
3DStudio(3DS)是3ds Max用来保存模型信息的一种文件结构,是业界的通用标准格式之一.为了使不同星系之间的模型可以被自由调用,解决可视化系统中模型格式不兼容的问题,减小3DS文件的存储空间,提出使用巴克斯范式(BNF)规范化描述3DS文件... 3DStudio(3DS)是3ds Max用来保存模型信息的一种文件结构,是业界的通用标准格式之一.为了使不同星系之间的模型可以被自由调用,解决可视化系统中模型格式不兼容的问题,减小3DS文件的存储空间,提出使用巴克斯范式(BNF)规范化描述3DS文件.描述了BNF的特点和对3DS文件结构进行表述和分析的使用方法,并以土卫三模型的3DS文件为例,使用BNF对其进行形式化定义,从而形成了统一的规范化管理格式,以利于搜索引擎的检索和应用. 展开更多
关键词 3DS bnf 形式化语言 规范化
下载PDF
整合Dmoz和Yahoo标签的BNF文法及其实现 被引量:4
5
作者 姜冶 管仁初 梁艳春 《计算机工程与设计》 CSCD 北大核心 2009年第19期4520-4523,共4页
Dmoz和Yahoo的标签采用不同的文法。为了统一它们的文法以利于搜索引擎的检索,对它们的标签结构进行了分析,统计出了相关的数据,并根据这些数据得出分别用于描述这两种标签结构的BNF(Backus-NaurForm)文法,然后将这两个BNF文法整合成一... Dmoz和Yahoo的标签采用不同的文法。为了统一它们的文法以利于搜索引擎的检索,对它们的标签结构进行了分析,统计出了相关的数据,并根据这些数据得出分别用于描述这两种标签结构的BNF(Backus-NaurForm)文法,然后将这两个BNF文法整合成一个,并应用JavaCC(Java Compiler Compiler)实现了对该文法的检测。在这个BNF文法的指导下,程序能够有效地判断一个标签模式是否满足Dmoz和Yahoo标签文法,为Web挖掘提供了良好的检测工具。 展开更多
关键词 自然语言处理 巴克斯范式 文法 网络挖掘 文档分类
下载PDF
一种基于BNF范式的LALR(1)语法分析器描述语言的设计 被引量:1
6
作者 李洋 胥亮 《新技术新工艺》 2015年第6期70-72,共3页
常见的LALR(1)语法分析器自动生成系统所支持的程序设计语言语法复杂,用户学习困难。以此为出发点,设计了一种基于BNF范式的LALR(1)语法分析器描述语言,分析了该语言需满足的需求,并给出了该语言的文法。该语言文法功能完备,使用简单,... 常见的LALR(1)语法分析器自动生成系统所支持的程序设计语言语法复杂,用户学习困难。以此为出发点,设计了一种基于BNF范式的LALR(1)语法分析器描述语言,分析了该语言需满足的需求,并给出了该语言的文法。该语言文法功能完备,使用简单,易于学习,为构造LALR(1)语法分析器的自动化实现提供了一种思路。 展开更多
关键词 编译器 YACC bnf LALR(1)
下载PDF
基于扩展的BNF文法的通用语法分析算法 被引量:3
7
作者 杨明辉 郭肇德 《软件学报》 EI CSCD 北大核心 1992年第3期24-32,共9页
本文介绍了如何用句法图来表示扩展的BNF文法(EBNF),给出一个将EBNF文法翻译成句法图算法,然后我们给出一个适用于各种过程性高级语言的通用语法分析算法,同时考虑了语法错误的恢复和语义子程序的嵌入。
关键词 bnf文法 语法分析 算法
下载PDF
Soil Carbon Sequestration,Water Use Efficiency(WUE) and Biological Nitrogen Fixation(BNF) Under Conservation Agriculture in Rain-fed Dry Area of North-west Pakistan
8
作者 Samreen Shehzadi Wisal Mohammad S.Mahmood Shah 《地学前缘》 EI CAS CSCD 北大核心 2009年第S1期233-233,共1页
Land degradation,unbalanced nutrition,change in climate and its extreme variability are the factors affecting the sustainability of agriculture and food security.In North-west Pakistan,more than 50%of the cultivated a... Land degradation,unbalanced nutrition,change in climate and its extreme variability are the factors affecting the sustainability of agriculture and food security.In North-west Pakistan,more than 50%of the cultivated area is rain-fed and the crop productivity is low.Conservation agriculture reduces greenhouse gas emissions by enhancing soil carbon sequestration and then improved soil fertility,WUE and crop productivity.A field experiment 展开更多
关键词 SOIL carbon sequestration bnf water use efficiency crop residue TILLAGE SOIL microbial biomass C and N
下载PDF
Microstructure and Dielectric Property of 3D BNf/Si3N4 Fabricated by CVI Process
9
作者 李建平 成来飞 +3 位作者 YE Fang LIU Yongsheng YIN Xiaowei ZHANG Mingxia 《Journal of Wuhan University of Technology(Materials Science)》 SCIE EI CAS 2019年第4期818-823,共6页
As potential wave-transparent materials applied at high temperatures,3D BNf/Si3N4 ceramic matrix composites were prepared by low pressure chemical vapor infiltration or deposition(LPCVI/CVD) process from SiCl4-NH3-H2-... As potential wave-transparent materials applied at high temperatures,3D BNf/Si3N4 ceramic matrix composites were prepared by low pressure chemical vapor infiltration or deposition(LPCVI/CVD) process from SiCl4-NH3-H2-Ar gas precursor at 800℃. The densification process, microstructure and dielectric properties of 3D BNf/Si3N4 composites were investigated. The results indicated that 3D BNf/Si3N4 was successfully fabricated by LPCVI/CVD, with final open porosity of 2.37% and density of 1.89 g/cm3. Densification kinetics of 3D BNf/Si3N4 is a typical exponential pattern. The Si3N4 matrix was uniformly infiltrated into porous BNf preform. The deposited Si3N4 matrix was amorphous by XRD analysis. Introduction of BN fiber into Si3N4 ceramic lowered the permittivity of Si3N4. The fabricated BNf/Si3N4 composites possess low permittivity of 3.68 and low dielectric loss of lower than 0.01, which are independent of temperature below400℃. Transmission coefficient of BNf/Si3N4 composite is 0.57 and keeps stable below 400℃. BNf/Si3N4 can be fabricated at low temperature and may be candidates for the microwave transparent materials. 展开更多
关键词 bnf/Si3N4 LPCVI DIELECTRIC PROPERTY high temperature stability
下载PDF
2009-2017年西双版纳热带季节雨林土壤水分含量数据集
10
作者 罗艳 李玉武 +5 位作者 秦海浪 邓晓保 陈辉 沙丽清 曹敏 林露湘 《中国科学数据(中英文网络版)》 CSCD 2023年第3期278-289,共12页
土壤水分作为物质循环和能量流动的载体,在陆地森林生态系统中发挥着重要作用,对其进行观测有助于揭示森林生态系统水文特征、水源涵养能力和生态系统服务功能等。热带雨林为生物多样性最丰富的生态系统之一,西双版纳分布有大片热带雨林... 土壤水分作为物质循环和能量流动的载体,在陆地森林生态系统中发挥着重要作用,对其进行观测有助于揭示森林生态系统水文特征、水源涵养能力和生态系统服务功能等。热带雨林为生物多样性最丰富的生态系统之一,西双版纳分布有大片热带雨林,热带季节雨林则为西双版纳最具代表性的雨林植被类型。进行连续、长期、高质量的生态监测为中国生态系统研究网络(CERN)的主要任务之一,土壤水分含量是CERN陆地生态系统水环境长期定位观测的重要指标。本数据收集了中国科学院西双版纳热带雨林生态系统研究站西双版纳热带季节雨林综合观测场2009年1月至2017年12月的土壤剖面水分含量观测数据,总数据量2879条;测定方法为时域反射法(Time Domain Reflectometry,TDR)定点连续观测;观测深度为0–10 cm、10–20cm、20–30 cm、30–40 cm、40–50 cm,50–70 cm,70–90 cm,90–110 cm;观测频度为每月3次,每月上、中、下旬各观测1次;观测数据质量保证与质量控制严格按照CERN统一规范进行。本数据集提供共享下载,以期为全球气候变化和不同植被环境背景下的热带森林水文研究提供基础数据支撑。 展开更多
关键词 热带季节雨林 土壤含水量 时域反射法 版纳站
下载PDF
基于本体的BML命令语义标注方法 被引量:5
11
作者 鲍广宇 朱立 +1 位作者 覃垚 许淇 《计算机技术与发展》 2012年第9期71-74,79,共5页
作战管理语言(Battle Management Language,BML)是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基... 作战管理语言(Battle Management Language,BML)是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。 展开更多
关键词 作战管理语言 bnf OWL 语义标注
下载PDF
一种SQL语法分析的策略和实现 被引量:10
12
作者 孙兆玉 朱鸿宇 黄宇光 《计算机应用》 CSCD 北大核心 2007年第B06期18-20,23,共4页
SQL语言是数据库系统的重要操作接口,与数据库相关的应用开发经常需要对SQL语句进行语法分析及语句重构。以查询语句分析为例,从问题描述、语法范式构建、词法分析、语法分析和应用接口设计等方面详细阐述了一种SQL语句解析的通用策略,... SQL语言是数据库系统的重要操作接口,与数据库相关的应用开发经常需要对SQL语句进行语法分析及语句重构。以查询语句分析为例,从问题描述、语法范式构建、词法分析、语法分析和应用接口设计等方面详细阐述了一种SQL语句解析的通用策略,并介绍了与之相关的冲突消解、可重入策略和错误处理三个方面的技术。 展开更多
关键词 bnf范式 词法分析 语法分析 冲突消解 可重入
下载PDF
防热材料用氮化硼纤维的制备及其在空间技术领域中的应用 被引量:6
13
作者 杨辉 张铭霞 +1 位作者 唐杰 程之强 《硅酸盐通报》 CAS CSCD 北大核心 2005年第4期62-65,共4页
氮化硼(BN)纤维与某些无机纤维相比,具有耐高温、耐化学腐蚀、电热性能好、耐辐射等优良特性。它的抗氧化温度比碳纤维、硼纤维的高。在惰性条件下2500℃以上仍保持稳定,在氧化气氛中850℃仍是稳定的。因此,它可作为防热、隔热材料、高... 氮化硼(BN)纤维与某些无机纤维相比,具有耐高温、耐化学腐蚀、电热性能好、耐辐射等优良特性。它的抗氧化温度比碳纤维、硼纤维的高。在惰性条件下2500℃以上仍保持稳定,在氧化气氛中850℃仍是稳定的。因此,它可作为防热、隔热材料、高温过滤材料和电器绝缘材料,特别是该纤维在宇航技术领域方面的潜在应用前景更为广阔,可做抗烧蚀罩、电绝缘器、雷达天线窗、军用防护宇航服、抗中子防护罩和重返大气层的降落伞等。 展开更多
关键词 BN纤维 bnf-sialon基 复合材料 耐烧蚀性 氮化硼纤维 技术领域 防热材料 应用 空间 制备
下载PDF
基于事件序列的用例描述形式化及分析 被引量:5
14
作者 任胜兵 陈松乔 喻寿益 《计算机工程与应用》 CSCD 北大核心 2004年第23期12-14,64,共4页
针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例,构造了相应的算法确定其对应的事件序列,并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义... 针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例,构造了相应的算法确定其对应的事件序列,并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义基础上,可进行用例描述间关联的正确性分析及语义等价分析。 展开更多
关键词 用例描述 事件序列 形式分析 UML bnf形式 语义等价分析
下载PDF
基于软件设计模式的GIS中间件描述 被引量:5
15
作者 顾明 《计算机应用与软件》 CSCD 北大核心 2008年第3期86-88,共3页
把软件设计模式应用在GIS中间件的设计之中,归纳出几种常用的GIS中间件模式,以JAVA为依据,用BNF范式的形式对这些模式进行了描述,并选择其中的一个作具体的实现说明。
关键词 GIS 中间件 软件设计模式 bnf范式
下载PDF
军事应用活动仿真建模研究 被引量:2
16
作者 赵文 王智学 张炜钟 《舰船电子工程》 2011年第5期15-19,56,共6页
针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并... 针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。 展开更多
关键词 应用活动模型 能力需求模型 bnf XML UML
下载PDF
基于超文法的扩展文法转换技术 被引量:2
17
作者 郭德贵 刘磊 +1 位作者 吴万春 王胜军 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2006年第1期73-77,共5页
针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了... 针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS语言编译器的开发中得到了实际应用和验证. 展开更多
关键词 巴克斯范式 扩展巴克斯范式 扩展文法 文法转换 超文法
下载PDF
面向供需网协同管理的企业知识建模研究 被引量:4
18
作者 梁莹 徐福缘 《计算机应用研究》 CSCD 北大核心 2012年第2期586-589,共4页
为了在供需网环境下实现企业知识的协同管理,提出了供需网企业知识本体(SDNKO)的概念,根据SDNKO的多粒度特性,将SDNKO的概念空间划分为元概念层、领域模型层和应用实例层。在分析元概念类的层次结构和概念类的关联集后,针对电梯行业领... 为了在供需网环境下实现企业知识的协同管理,提出了供需网企业知识本体(SDNKO)的概念,根据SDNKO的多粒度特性,将SDNKO的概念空间划分为元概念层、领域模型层和应用实例层。在分析元概念类的层次结构和概念类的关联集后,针对电梯行业领域的企业知识本体概念空间进行了详细的说明。为表达供需网的协同知识语义,阐述了SDNKO概念框架的巴科斯范式和文档类型定义。最后,给出了供需网企业产品订单生成的知识协同管理实例。 展开更多
关键词 供需网 协同管理 知识本体 概念空间 巴科斯范式 可扩展标记语言
下载PDF
法国图书及科技信息机构的数字化资源建设与服务——以法国科技信息研究所和法国国家图书馆为例 被引量:3
19
作者 杨少萱 《数字图书馆论坛》 2013年第7期35-41,共7页
文章以法国国家科技信息研究所(INIST)和法国国家图书馆(BNF)两家著名科技信息机构和国家图书馆为研究对象,重点研究和介绍其数字图书馆和数据库建设的具体情况及其服务模式,旨在为我国数字图书馆建设及科技信息机构提供借鉴与参考。
关键词 INIST bnf 数字图书馆 数据库 服务模式 法国
下载PDF
基于语义制导的空间数据操纵语言研究 被引量:1
20
作者 崔建军 隋立春 +1 位作者 赵莹 辛麒 《测绘通报》 CSCD 北大核心 2007年第12期52-55,共4页
对GIS空间数据库的操作而言,语法树的生成和实现是实现空间查询操作中间件功能的基础,通过语法树的生成可以将普通的关系操作和空间操作进行分解,进而可以大大简化空间数据操作的复杂度。围绕分析空间查询语句结构的全过程,提出一种语... 对GIS空间数据库的操作而言,语法树的生成和实现是实现空间查询操作中间件功能的基础,通过语法树的生成可以将普通的关系操作和空间操作进行分解,进而可以大大简化空间数据操作的复杂度。围绕分析空间查询语句结构的全过程,提出一种语法树生成和实现的原理和具体方法,展示以中间件封装空间操作的SQL词法分析、SQL语法分析的具体实现,并给出具体的算例。提出的方法为进一步研究与开发空间查询语言,空间数据操纵语言的实现提供了基础。 展开更多
关键词 空间操纵语言 语法分析 语法树 bnf范式 SQL
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部