检索结果-南通市图书馆

作者：游颖江西师范大学

学位级别：硕士

算法设计是计算机科学研究的重要领域之一。目前计算机科学处理的大部分数据都是离散的数据,而组合数学是研究离散数据的科学,因此研究以组合数学为基础的算法的可靠性、正确性和生产效率就成为算法设计领域中的关键问题。对于求解组合... 详细信息

算法设计是计算机科学研究的重要领域之一。目前计算机科学处理的大部分数据都是离散的数据,而组合数学是研究离散数据的科学,因此研究以组合数学为基础的算法的可靠性、正确性和生产效率就成为算法设计领域中的关键问题。对于求解组合数学相关的问题,目前存在多种算法设计方法,形式化开发方法是其中之一。形式化方法的本质是基于数学的方法来描述、开发和验证目标软件系统的一种技术,使用形式化方法开发算法程序能有效提高算法程序设计的规范化、自动化程度以及算法的可靠性和正确性。基于递推技术的算法形式化方法在部分形式化或者是完全形式化描述问题程序规约的基础上,通过对问题的程序规约进行数学变换,得到问题求解的递推关系,在此基础上得到最终的算法程序。由于求解问题的递推关系建立在严格数学变换的基础上,因而递推关系的正确性得到了保证,从而也有效确保最终的算法程序的正确性;另外,使用该方法开发算法程序,均是以寻找问题求解序列的递推关系为出发点,先得到较小的子问题的解,再在之前已获得的较小子问题解的基础上直接或间接得到较大问题的解,这样可以避免很多不必要的重复计算,从而有效提高算法程序的效率,并为算法程序的开发提供一条较为统一的途径。本文重点研究了基于递推关系的算法形式化方法在三类典型组合数学问题求解中的应用。本文分析了当前形式化开发方法的需求以及发展状况;介绍了基于递推技术的形式化开发方法的开发语言、开发步骤以及关键技术等,同时研究了它在组合数学问题开发上的有效性;接着,本文针对组合数学问题进行分类研究,使用基于递推技术的形式化方法开发了三类有代表性的组合数学问题:整除问题、排列组合问题以及NP完全问题中的0-1背包变形问题,同时在分析每一类问题形式化开发过程共性的基础上提炼得到了求解该类问题的统一策略,并将其推广到相似问题的求解;最后对基于递推关系的形式化开发方法在组合数学上的应用进行了总结。研究表明,基于递推技术的算法形式化开发方法有效保证了算法程序的正确性,提高了算法程序的执行效率。

关键词：形式化方法递推技术组合数学算法设计

基于场景面向方面需求工程形式化方法的研究与应用

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于场景面向方面需求工程形式化方法的研究与应用

作者：王奇东北师范大学

学位级别：硕士

面向方面需求工程是为在需求阶段提高关注点程度、很好处理“横切关注点”而提出的一种新的需求模块化方法。现有的基于场景的面向方面需求工程方法（Scenario Modeling with Aspect，SMA）存在两个问题：一，只能识别粗粒度的非功能横... 详细信息

面向方面需求工程是为在需求阶段提高关注点程度、很好处理“横切关注点”而提出的一种新的需求模块化方法。现有的基于场景的面向方面需求工程方法（Scenario Modeling with Aspect，SMA）存在两个问题：一，只能识别粗粒度的非功能横切关注点;二，使用UML进行建模，不能对模型进行精确的描述，且SMA方法采用的模拟验证具有非完备性，只能证明有错，不能证明无错，难以以迭代的方法修改需求。本文通过改进非功能需求框架（NFR Framework），使之与SMA方法相结合，形成了一种新的面向方面需求工程方法——NFR-SMA方法。NFR-SMA方法弥补了SMA方法只能识别粗粒度非功能横切关注点的不足，该方法不仅能准确的识别出功能性横切关注点，而且对非功能性横切关注点的识别粒度更小，实现了从需求阶段到设计阶段的平滑过度。其次，本文对UML模型图的类图和状态图进行形式化描述，给出二者到B方法形式规约的转换方法。UML类图和状态图的形式化描述，能在精确语义方面弥补UML的不足，能够对SMA方法进行一致性检查和正确性分析。

关键词：面向方面需求工程场景形式化方法 B方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

CAD系统设计中的形式化方法与功能命题

计算机工程与科学 2004年第5期26卷 77-81页

作者：郑国磊朱心雄许德北京航空航天大学机械学院北京100083 成都飞机工业集团有限责任公司四川成都610092

本文结合作者多年的研究实践 ,对CAD系统功能设计理论和方法进行研究 ,并在此基础上提出和建立CAD系统功能设计的数学模型 ,其中包括 :( 1 )介绍需求分析的形式化描述和表示方法 ,建立需求空间结构 ;( 2 )提出复合功能、设计逻辑、功能... 详细信息

本文结合作者多年的研究实践 ,对CAD系统功能设计理论和方法进行研究 ,并在此基础上提出和建立CAD系统功能设计的数学模型 ,其中包括 :( 1 )介绍需求分析的形式化描述和表示方法 ,建立需求空间结构 ;( 2 )提出复合功能、设计逻辑、功能与参数依赖及交互效率等新概念 ,并分别建构复合功能的构造和效率命题 ;( 3)

关键词：功能设计数学模型 CAD系统设计形式化方法复合功能

在线全文

学校读者我要写书评

暂无评论

集成CCS和B语言的形式化方法

计算机工程与科学 2007年第11期29卷 102-104页

作者：匡春临潘孝铭蒋胜利华侨大学信息学院福建泉州362021 洛阳师范学院计算机系河南洛阳471022

本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。

关键词：形式化方法 CCS 集成

形式化方法在勘测设计一体化软件开发中的应用

在线全文

学校读者我要写书评

暂无评论

工程设计CAD与智能建筑 2000年第10期 32-35页

作者：石红兵候永会曾学贵北方交通大学

本文结合在勘测设计一体化软件开发过程中的实践经验，介绍了以数学为基础的形式化方法应用于勘测设计一体化软件的开发中，分层次形式化表达CAD系统。形式化方法的应用，可以有利于沟通用户、系统分析员、程序员以及测试工程师之间对... 详细信息

本文结合在勘测设计一体化软件开发过程中的实践经验，介绍了以数学为基础的形式化方法应用于勘测设计一体化软件的开发中，分层次形式化表达CAD系统。形式化方法的应用，可以有利于沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成共识，尽可能在软件开发初期发现系统的问题，为勘测设计一体化软件开发者提供了排除错误、保证可靠性的有效途径。同时，它为软件的重复性利用提供了可能性。

关键词：铁路公路勘测设计一体化软件开发形式化方法

在线全文

学校读者我要写书评

暂无评论

形式化方法——Z语言在西瓜棋中应用的研究

科技广场 2005年第2期 12-15页

作者：邓达平王命延

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。

关键词：形式化方法 Z语言西瓜应用需求规格说明棋类游戏操作模式状态模式

在线全文

学校读者我要写书评

暂无评论

形式化方法在软件开发中的应用

计算机光盘软件与应用 2014年第12期17卷 269-270页

作者：曹斌刘栓黄淮学院信息工程学院河南驻马店463000

形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学... 详细信息

形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来,这样可以确保和需求的一致性,并能用于分析和验证应用程序。

关键词：形式化方法软件开发

在线全文

学校读者我要写书评

暂无评论

基于场景和形式化方法的软件需求建模研究

基于场景和形式化方法的软件需求建模研究

作者：程勇合肥工业大学

学位级别：硕士

信息时代的今天，信息技术(Information Technology，IT)产业已成为推动世界经济增长的主要动力之一。随着计算机硬件技术的不断成熟，产业竞争正逐渐转向软件开发领域。软件开发实践表明：用户需求是软件系统成功的关键。本文主要研究... 详细信息

信息时代的今天，信息技术(Information Technology，IT)产业已成为推动世界经济增长的主要动力之一。随着计算机硬件技术的不断成熟，产业竞争正逐渐转向软件开发领域。软件开发实践表明：用户需求是软件系统成功的关键。本文主要研究软件需求建模问题，其主要思想是：软件需求必须反映市场和用户的真实需要，这是开发新软件系统的基础。因此在需求建模初期采用场景概念来获取用户需求，在后期采用形式化方法加以描述。这样，具有形式化特点的需求规约说明为软件系统的后期开发奠定了坚实的基础。具体来说，本文主要研究如下问题： (1)软件需求建模。论文采用场景概念来获取用户需求，并用Use Case Maps和Use Case相结合进行表示。 (2)软件需求形式化。基于Use Case Maps的软件系统全局行为模式，可转换为基于SDL表示的软件需求规约说明，这样的需求规约说明具有形式化的特点。 (3)需求规约的确认与验证。本文主要采用支持SDL语言的工具来进行需求的确认和验证。本文主要贡献在于定义了一个基于UCM和SDL的软件需求描述模型，讨论了整个建模过程，并基于该方法描述了自动柜员机系统需求。另外，本文介绍了如何使用Telelogic Tau工具集确认和验证SDL规约说明以及将来进一步研究的方向。

关键词：场景形式化方法软件需求需求工程

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

形式化方法与可视化模型的结合及其应用

计算机与现代化 2011年第3期 44-46,56页

作者：吴帅缪丽君上饶师范学院数学与计算机系江西上饶334001 上饶师范学院教育科学系江西上饶334001

阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程。

关键词：形式化方法 B方法 UML AMN ProB