注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 程序设计方法学-程序设计方法学的ppt

  2. 主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 培养学生运用这些理论和方法，从认识规律出发训练各种良好的程序设计习惯，掌握到目前为止公认为成熟的有实用价值的具有完整科学理论和与之相关的技术方法作指导的软件设计和开发技术。

  3. 所属分类：专业指导

    • 发布日期：2009-06-13
    • 文件大小：4194304
    • 提供者：o2mania

  1. 程序设计方法学讲义（doc）

  2. 程序设计方法学讲义 第一章 程序设计方法简介 1、 产生和发展 2、 程序设计的一般途径 3、 结构化程序设计及其讨论的主要问题 第二章 程序的控制结构 1、 基本控制结构 2、 goto语句 3、 过程与函数 4、 结构化程序和结构定理 第三章 程序的正确性证明 1、 程序的测试 2、 Floyd-Hoare规则公理方法 3、 Dijkstra最弱前置条件方法 第四章 数据类型与抽象 1、 类型概念 2、 数据类型 3、 数据抽象及其代数规范 4、 大型程序设计与抽象数据类型 第五章 递归程

  3. 所属分类：其它

    • 发布日期：2009-06-18
    • 文件大小：574464
    • 提供者：baowanyu

  1. 程序结构的7个证明原理

  2. 程序结构的7个证明原理 　　程序结构应遵循7个证明原理，以确保程序的正确性、健壮性、灵活性、可重用和可读性等。

  3. 所属分类：专业指导

    • 发布日期：2007-10-11
    • 文件大小：35840
    • 提供者：WudGaby

  1. Petri网在业务过程建模中的应用

  2. 业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。

  3. 所属分类：专业指导

    • 发布日期：2008-01-31
    • 文件大小：235520
    • 提供者：gaosu61

  1. 包括并发的基础理论知识、不同并发模型的选择与适用环境、编写并发程序的基本步骤，并发算法的正确性证明与性能评价，以及在编写并发程序时遵循的一些指导原则等

  2. 包括并发的基础理论知识、不同并发模型的选择与适用环境、编写并发程序的基本步骤，并发算法的正确性证明与性能评价，以及在编写并发程序时遵循的一些指导原则等

  3. 所属分类：其它

    • 发布日期：2010-12-18
    • 文件大小：4194304
    • 提供者：Frozen_Kin

  1. 哥德巴赫猜想的近似证明

  2. 哥德巴赫猜想是说任何一个大于2的偶数都能表示为两个素数之和。请编写一个Java程序，验证1～100内哥德巴赫猜想的正确性，也就是近似证明哥德巴赫猜想。

  3. 所属分类：Java

    • 发布日期：2011-03-31
    • 文件大小：1024
    • 提供者：SUSHUANG1989

  1. 算法设计与分析 贪心法

  2. 贪心法相关 有详细的证明过程 基本思想 算法设计 设计要素 与动态规划法的比较 正确性证明 得不到最优解的处理办法 应用实例

  3. 所属分类：专业指导

    • 发布日期：2011-11-04
    • 文件大小：481280
    • 提供者：talentmxz

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：10485760
    • 提供者：jiangdmdr

  1. 距离寻优中Dijkstra算法的优化

  2. 算法在求解两指定顶点间最短距离时, 对两顶点之间最短路径以外的大量顶点进行了计算, 而影响了算法的速度. 在对 算法分析的基础上, 结合网络模型的特点, 对 算法进行了优化. 优化算法基于两点之间直线最短的思想, 改变了对顶点处理顺序的规则. 在算法流程中只对最短路径上及其附近的顶点做了处理, 而与最短路径相距较远的顶点基本不涉及. 因此, 在优化算法中计算的顶点数量大幅减少, 提高了算法的速度. 给出了优化算法的正确性证明, 对优化算法的实用性和效率加以讨论. 优化算法在实际中已经得到应用.

  3. 所属分类：其它

    • 发布日期：2008-07-20
    • 文件大小：180224
    • 提供者：liuwei200000

  1. 离散数学CH02_命题逻辑(1).

  2. 数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用

  3. 所属分类：专业指导

    • 发布日期：2013-04-24
    • 文件大小：5242880
    • 提供者：u010443141

  1. 毕设论文之公交选路算法

  2. 公交 选路 算法 设计 实现 城市交通 多约束 出行网络 分层网络 路线选择 web 电子公交 随着城市公交线路的愈加复杂和城市公共设施的逐步完善，为市民提供有效便捷的出行线路查询平台已成为交通基础信息设施中不可或缺的一部分。 本文结合公交网络和道路出行网络给出了出行网络的定义，并在此基础上给出了出行网络的构建算法。在综合考虑换乘次数、出行距离、出行耗时以及步行换乘等诸多约束条件下，基于出行网络，提出一种选路算法，并给出该算法的正确性证明。考虑到该算法可能在某种特殊情况下导致步行路径与实际道路

  3. 所属分类：网络基础

    • 发布日期：2008-10-07
    • 文件大小：637952
    • 提供者：cctt_1

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。 《软件开发的形式化方法》可作为计算机、

  3. 所属分类：其它

    • 发布日期：2016-10-23
    • 文件大小：11534336
    • 提供者：zxcsms

  1. 实证软件工程

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过

  3. 所属分类：其它

    • 发布日期：2017-11-08
    • 文件大小：1048576
    • 提供者：jacobke

  1. 卜东波老师 计算机算法设计与分析作业答案

  2. 卜东波老师 计算机算法设计与分析作业答案。共分7个章节。分治算法、动态规划算法、贪心算法、线性规划、网络流算法、NP。全英文。包括自然语言描述、伪代码、正确性证明、时间复杂度。

  3. 所属分类：讲义

    • 发布日期：2018-01-10
    • 文件大小：18874368
    • 提供者：qq_33229928

  1. 拜占庭容错证明

  2. 一个实用的拜占庭容错复制算法的正确性证明 。

  3. 所属分类：Dapp

    • 发布日期：2018-01-23
    • 文件大小：329728
    • 提供者：poolpoolpool

  1. 研究生软件工程-程序正确性证明

  2. 研究生软件工程-程序正确性证明

  3. 所属分类：其它

    • 发布日期：2018-10-11
    • 文件大小：467968
    • 提供者：wei2white

  1. gender-render:模板系统和概念证明，可使用所有参与人员的正确代词来呈现性别中立的文本，电子邮件和RPG文本模板-源码

  2. 用于呈现性别中性的文本，电子邮件和RPG文本模板的模板系统，该模板具有适当的性别，并具有所有相关人员的正确代词。 曾经有过在自动电子邮件中正确区分性别的努力吗？ 您是否厌倦了编写不支持非二进制文件的电子邮件模板，是否在每个人的下划线上加上丑陋的性别，或者笨拙地避免使用代词，从而使您花费大量的工作时间来烦恼它们？ 使用gender * render，您可以为电子邮件编写简单的，不分性别的模板，并根据所有相关人员的代名词和名字自动将其呈现为正确性别的电子邮件！ Gender * render不仅

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：3145728
    • 提供者：weixin_42106765

  1. BLESS-models:具有BLESS行为，证明脚本和正确性证明的AADL模型-源码

  2. BLESS模型 具有BLESS行为，证明脚本和正确性证明的AADL模型

  3. 所属分类：其它

    • 发布日期：2021-03-06
    • 文件大小：529408
    • 提供者：weixin_42109639

  1. KeYmaeraX版本：KeYmaera X：混合系统的无公害战术定理证明（发行）-源码

  2. 混合系统的KeYmaera X定理证明 自动驾驶汽车，自动驾驶机器人，现代飞机或机器人手术：我们越来越多地将生命委托给计算机，因此，除了最高的安全标准-数学正确性证明之外，我们应该一劳永逸。 可以使用KeYmaera X证明程序来构造此类网络物理系统的证明。 作为混合系统定理的证明者，KeYmaera X用微分动态逻辑分析了控制程序和受控系统的物理行为。 KeYmaera X具有仅约2000行代码的最小内核，该内核隔离了所有对可靠性要求严格的推理。 如此小的和简单的证明者核心使信任验证结果变得

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：57671680
    • 提供者：weixin_42139429

  1. PBFT算法流程补充（二）：算法正确性证明及优化

  2. 本文为万向区块链技术中心研究组撰写，文章尝试对PBFT算法的正确性证明以及算法优化等内容作一个介绍。 1. PBFT算法正确性证明 本部分介绍PBFT算法的正确性证明。 1.1 安全性（Safety）证明 PBFT算法提供的安全性（safety）的具体含义是，对于所有本地确认（commit locally）的客户端请求来说，系统中所有正常副本节点都会就这些请求的消息序号达成一致。 上述的“达成一致”，其含义又分为两种： 同一视图中的消息序号一致：对于所有在同一视图中本地确认的客户端请求来说

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：78848
    • 提供者：weixin_38696176
« 12 3 4 5 6 7 8 9 10 ... 35 »