首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 109 毫秒
1.
Robinson于 1965年提出了归结原理,其主要工作是 Unification算法。这个算法只能处理不带量词的子句公式,它不能用来发现定理的自然演绎证明。本文的算法能处理量词,它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明,基于此算法的自动自然演绎系统已实现,用它证明了Andrews;Bledsoe和Pellotier挑战性问题。  相似文献   

2.
信息咨询口语对话系统中的领域文法规则往往需要专家来人工设计。该文针对一种面向汉语口语的上下文无关增强文法,提出了一种基于句子分割的文法自动推导算法。其基本思想是:用初始规则集对训练例句进行分析,若不能得到完整的语法树,则先对分析结果进行消歧和归一化,然后根据顶层成分递归地推导出缺少的规则,并更新已有的规则集。为了提高最终文法的性能,在例句处理顺序和规则更新上对算法基本流程做了改进。在天气预报查询领域进行了实验,结果文法的句法分析准确率在初始规则集为空时达到了64.8%,在初始规则集只包含日期相关规则时达到了86.4%。  相似文献   

3.
程钢 《科技信息》2010,(13):226-226,214
论文在基于“教学做合一”的高职教育理念的基础上,在当前我国轨道交通大发展的形势下,探讨轨道类高职院校大力发展城市轨道运输专业建设实训基地的具体实际,提出了建设教学、生产一体化的“教学做合一”实训基地的思路和设想,时提高高职教学质量,转变教学思路和方法.具有实践意义。  相似文献   

4.
自省的动态软件体系结构描述与实现   总被引:6,自引:2,他引:6  
软件系统的体系结构对于软件开发具有重要的意义,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足,利用自省计算的原理和技术,提出一种将体系结构具体化为系统实现中可见可控的实体,并在其基础上构建系统的新途径.这样,软件体系结构的抽象描述和具体实现都基于统一的模型,从而可以保证可追溯性;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型,并在World Wide Web的环境下实现了一个支撑系统原型。  相似文献   

5.
语音语法是自动语音识别的重要参考依据.在基于Voice XML的语音增值业务中应用越来越广泛.介绍了VoiceXML与语法的关系.描述了语音识别原理.推导出了常用的Nuance语法形式逻辑表达式.在此基础上,构建了一个语音拨号系统,并着重阐述了其中语音语法的应用.  相似文献   

6.
“教学做合一”理论是陶行知先生生活教育理论的核心,是在中国传统教育的批判与改造中诞生的,实践表明,它适合当前中国师范教育的发展。本文通过对陶行知的“教学做合一”理论进行系统、直观地了解,重新阐释“教学做合一”理论的实质,并对师范院校学生在今后的实习工作中“教学做合一”理论的运用情况进行分析,发现不足并分析原因,充分发挥陶行知“教学做合一”理论对高师实习的促进作用;为高师学校的未来教师培养提供可参考的意见,帮助高师学校改变重理论、轻实践的传统培养模式;指导高师生树立正确的知行观、教师观和教学观,促进自身的专业化养成。  相似文献   

7.
语法检验在CNC系统中占有相当大的比重,尤其是在数控系统的自动或MDI方式下运行。NC代码的正确与否直接关系到能否正确完成数控加工,而现在国内自主开发CNC系统的语法检验功能还不够完善,并且检验方法也不尽科学。针对五轴联动高档数控机床,参照双数组Trie算法的原理,提出了基于双数组Trie算法的关键字预处理技术,并将其成功地应用在语法检验之中,从而使得对NC代码的语法检测更加准确。  相似文献   

8.
有限元后处理可视化系统的设计   总被引:1,自引:0,他引:1  
阐述了有限元后处理可视化系统的设计原理;讨论了快速查询的原理及其实现;给出了云图、等值线及剖面上的等值线的实现算法.该系统不仅可以对结构有限元分析所产生的三维非结构化数据进行可视化处理,而且也可以对分析模型进行检验.系统的输入数据格式统一,具有广泛的通用性.  相似文献   

9.
有些计算机高级语言存在语法直观性差、难理解等问题,现开发了一种业务逻辑语方言编译系统,该系统采用受限语言文法的、分层的文法定义方法,以便消除语言的二义性,实现可扩展性.在进行语法分析时采用修正的Left-Right Parsing分析算法,该算法在构造分析表的过程中利用规则进行二义性消除,并进行区别Look ahead Left-Right Parsing算法的效率优化.该系统已在业务逻辑可重构的应用系统-IceTip中得到应用,实践证明此系统在效率和性能上完全可以满足用户的需求.  相似文献   

10.
采样定理、视觉原理及无监督聚类分析理论   总被引:1,自引:0,他引:1  
通过引入采样定理,提出了基于视觉采样定理的新聚类算法,将生物物理学中的Weber定律、采样定理和视觉结构有效地结合起来,并在此算法的基础上提出了聚类的有效性准则.该算法基于视觉系统工作原理,具有更强的物理解释性能.实验表明,此算法简洁、有效.  相似文献   

11.
面向机床产品的协同设计支持环境的研究   总被引:2,自引:0,他引:2  
分析了机床产品对协同设计支持环境的要求和机床产品协同设计支持环境的新特点,从功能体系结构和网络体系结构方面提出了满足机床产品要求的协同设计支持环境的体系结构,并对实现该体系结构的多Agent技术、协同应用技术、协同工具技术、决策支持技术、任务管理和产品开发环境建模技术等进行了研究.在此基础上,开发了机床产品协同设计支持环境的原型系统,为实现一个支持多通道交流的异地同步模式的协同设计支持环境奠定了基础。  相似文献   

12.
针对产品风格进化现象与创新设计问题,提出了产品风格历时性与共时性进化模型.在该模型基础上,结合生物遗传学理论定义产品风格基因.以典型汽车产品风格为例,在引入造型参数化表征前提下,运用主成分分析进行参数规约,并利用形状文法实现风格基因表达.然后,建立基于遗传算法的生成设计机制,该机制采用正交分析的策略来精简初始种群规模,通过适应度函数实现方案收敛.最后,开发出面向汽车产品的风格生成设计系统,并验证其有效性和实用性.风格进化规律、风格基因建模方法及创新设计技术对于动漫设计、平面设计、服装设计等领域研究也具有指导或借鉴作用.  相似文献   

13.
针对分布式软件系统规模和复杂性不断增大的特点,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言(DSADL),详细描述了DSADL的设计目标、组成元素以及形式化描述基础,并实现了分布式软件构架集成开发环境(EDAD)。由于DSADL结合了SADL与构件技术,因此它既有严格的语义基础,同时又具有构件的可复用性、易移植性的特点。实践证明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计,从而提高系统的开发效率。  相似文献   

14.
使用属性文法设计了研究生教育评价系统,非终结符表示一级和二级评价指标,终结符表示输入的数据,文法符号的属性表示相应数据的值,并设计语义规则实现了对这些属性的加工处理,完成了对某一单位研究生培养的评价.该设计方法不仅节省内存空间,而且提高了系统的灵活性.  相似文献   

15.
武子英 《山西科技》2005,(5):100-102
格语法是自然语言处理学科的一种基本理论,问答系统是自然语言处理的一个重要分支。文章在介绍格语法理论的基础上,介绍了基于格语法的问答系统的设计及具体实现。  相似文献   

16.
基于无线宽带网络技术进行了城域范围的环境监测系统的设计,引入巴卡斯-瑙尔范式(Backus-Naur Form,BNF)描述系统的逻辑体系结构,用模块化规范化的方案来满足不同应用环境和功能的需求.采用嵌入式系统实现了采集终端的设计,解决了在采集终端上实现多媒体信息的综合采集处理和无线宽带通信的功能.  相似文献   

17.
针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.  相似文献   

18.
为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法.  相似文献   

19.
本模型是一种新型的协同编著系统,它不仅能够为异地的作者提供一个合作编辑的环境,同时还能够确保一系列的写作工作,如写作到审阅,再到写作等能够顺利地有效完成.而为了实现上述的内容,本系统采用工作流技术和多Agent技术来进行设计.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号