形式化语言相关论文
信息系统在政府、企业管理中的作用越来越大，报表在信息系统中占有重要地位。 信息系统的任务主要有：完成业务上的事务处理，为管理......
不同的形式化方法不仅在学术研究中得到支持与倡导,而且目前已经广泛应用到实际工业项目的各个方面。由于计算机系统越来越复杂,可......
时间是数据的客观属性。随着数据库技术的深入和发展，时态在数据库系统中扮演着日益重要的角色。数据库技术发展到今天，仅仅使用数据......
随着软件系统的规模越来越大,结构越来越复杂,为了更好的理解程序,为了更合理的开发软件,软件切片技术逐渐成为软件工程学中的一个......
随着软件技术的快速发展和软件应用范围的不断扩大,软件系统规模越来越大,软件功能日趋复杂,软件的需求获取变得更加困难,这表明需......
从上世纪五十年代软件诞生开始，软件设计一直是软件系统开发的核心内容，好的软件设计有助于软件开发人员提高工作效率，减少不必要的开......
编译理论和技术是计算机领域中的核心理论与技术之一。在编译器设计中，涉及到多项相关理论和技术，如形式化语言、自动机理论、形式化......
UML作为面向对象分析和设计建模语言的标准,有广泛的应用和扩展背景,通过UML的扩展机制使其支持面向方面状态图的建模,但UML建模的......
欧洲铁路运输管理系统(ERTMS)和欧洲列车控制系统(ETCS)是欧盟委员会(EU)和国际铁路联盟(UIC)为实现全欧洲高速铁路网互联运输，组织......
传统数学考试过分强调和依赖形式化的考查,过度追求形式化,造成学生过度注重对知识的单纯形成化背记.......
本文通过对荣华二采区10...
语篇分析是针对语篇的形式和功能所进行的分析．它是语篇理论的重要内容。语篇分析的研究兴起于20世纪中期，它融合了哲学、逻辑学、语......
3DStudio(3DS)是3ds Max用来保存模型信息的一种文件结构,是业界的通用标准格式之一.为了使不同星系之间的模型可以被自由调用,解......
本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的......
引入攻击树来表示多层次入侵,并提出了一个基于攻击树的攻击说明语言.另外,还使用攻击树来对系统安全进行事前分析,并提出了权重的......
为了使消息顺序图(message sequence charts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序......
在基于谓词逻辑对知识的表示的基础上,用Unity逻辑系统对其加以扩充,形成一个小型的用户需求功能规格说明语言(Small problem Spec......
通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足，以可视化过程建模语言VPML（Visual Process Modeling Language）为基......
从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充......
棉花种植的过程是一个多种因素共同对棉花的产量以及品质共同作用的结果，而可拓学是一门用形式化语言描述事物拓展可能性及开拓创新......
形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的.本文介绍了形式化式样语言VD......
需求说明是对需求分析结果所进行的文档化工作，其工作结果一需求规格说明在系统开发、测试、质量保证、项目管理中起着量要的作用。......
遗传算法(Genetic Algorithm)是一类借鉴生物界的进化规律(适者生存,优胜劣汰遗传机制)演化而来的随机化搜索方法.其主要特点是直......
数学模型已被广泛地运用社会、经济、科学等各个领域。显示出很强的生命力。数学模型在解决具体的实际问题中具有优点:首先在于数......
塔斯基真理定义的理论有两个目标：一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数......
传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多......
形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对......
本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其......
本文简要描述了现代逻辑语义学形成的过程，并以塔尔斯基的真之理论为例，分析了现代逻辑语义学中对“真”这一概念的阐述。文章由三个......
对于真理问题的探讨一直是学术界备受关注的问题,不同的学者在不同的时期给予真以不同的理解,形成了关于真定义的多种理论。如符合......
<正>语言哲学的发展经历了从句法学到语义学、由语义学到语用学的转向。语用学对语言的看法,尤其是晚期维特根斯坦、奥斯汀以及塞......
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法......
论逻辑语义学朱水林逻辑语义学是采用现代逻辑方法，研究语言表达式及其意义之间关系的学科。目前发展迅猛。本文论述逻辑语义学的涵......
讨论了在开发大型实用的自然语言处理系统中所需的知识与人力资源，提出了采用模块化方式管理这些资源的重要性，并将它他们划归于三个......
【正】 一马克思说过,一切科学只有成功地运用数学时,才算达到真正完善的地步。说明了数学方法在各学科研究中的重要性。对数学方......
