- 1 简介 整体而言，测试网站是一项复杂的任务， 因为它由几层逻辑组成——从 HTTP 级别的请求处理到模型查询， 再到表单验证和处理以及模板渲染。 幸运地，Django 提供了一个测试框架， 其中包含一个基于Python 标准 unittest 库构建的小型类层次结构。 1 django测试模块测试和测试方法有许多类型、级别和分类。最重要的自动化测试是：单元测... 1 简介 整体而言，测试网站是一项复杂的任务， 因为它由几层逻辑组成——从 HTTP 级别的请求处理到模型查询， 再到表单验证和处理以及模板渲染。 幸运地，Django 提供了一个测试框架， 其中包含一个基于Python 标准 unittest 库构建的小型类层次结构。 1 django测试模块测试和测试方法有许多类型、级别和分类。最重要的自动化测试是：单元测...
- 1 类型的效率和安全语言的类型安全很少有绝对的。安全通常为程序员提供“逃生口”，例如对用其他语言编写的代码的外部函数调用，可能是不安全的语言。事实上，这种逃生口有时会在语言本身内以受控形式提供——OCaml 中的 Obj.magic(Leroy, 2000), Unsafe.cast 在新泽西州执行标准ML 等 Modula-3 (Cardelli et al., 1989; Nelson... 1 类型的效率和安全语言的类型安全很少有绝对的。安全通常为程序员提供“逃生口”，例如对用其他语言编写的代码的外部函数调用，可能是不安全的语言。事实上，这种逃生口有时会在语言本身内以受控形式提供——OCaml 中的 Obj.magic(Leroy, 2000), Unsafe.cast 在新泽西州执行标准ML 等 Modula-3 (Cardelli et al., 1989; Nelson...
- 1 简介 探索意味着有一个目标，发现却意味着目光自由，胸怀坦然，没有目标。 --黑塞 1.1 语言框架现代软件工程承认应用范围广泛的形式化方法，以帮助确保系统在某些特定方面正确运行 隐式或明确地表明其期望的行为。类型系列的一端是强大的框架，例如 数理逻辑、代数规范语言、模态逻辑和指称语义。这些可以用来表达非常普遍的正确性属性，但通常使用起来很麻烦并要求程序员有大量的复杂... 1 简介 探索意味着有一个目标，发现却意味着目光自由，胸怀坦然，没有目标。 --黑塞 1.1 语言框架现代软件工程承认应用范围广泛的形式化方法，以帮助确保系统在某些特定方面正确运行 隐式或明确地表明其期望的行为。类型系列的一端是强大的框架，例如 数理逻辑、代数规范语言、模态逻辑和指称语义。这些可以用来表达非常普遍的正确性属性，但通常使用起来很麻烦并要求程序员有大量的复杂...
- 简介警告： 请谨慎按本文执行，没有进行完整的测试。 并且请更新相关工具到最新版本。 1 安装工具环境Ubuntu20为编译环境sudo apt install default-jresudo apt install default-jdk添加环境变量 sudo vim /etc/environment JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd... 简介警告： 请谨慎按本文执行，没有进行完整的测试。 并且请更新相关工具到最新版本。 1 安装工具环境Ubuntu20为编译环境sudo apt install default-jresudo apt install default-jdk添加环境变量 sudo vim /etc/environment JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd...
- 1 简介和术语同义词整理 安全哈希 一般指的是 安全哈希 消息摘要 一般指的 较旧的算法 2 加密对称加密对称密钥算法（英语：Symmetric-key algorithm）又称为对称加密、私钥加密、共享密钥加密，是密码学中的一类加密算法。这类算法在加密和解密时使用相同的密钥.安全散列，信息摘要 SHA-256 SHA非对称加密RSA... 1 简介和术语同义词整理 安全哈希 一般指的是 安全哈希 消息摘要 一般指的 较旧的算法 2 加密对称加密对称密钥算法（英语：Symmetric-key algorithm）又称为对称加密、私钥加密、共享密钥加密，是密码学中的一类加密算法。这类算法在加密和解密时使用相同的密钥.安全散列，信息摘要 SHA-256 SHA非对称加密RSA...
- 1 排序算法的特点基本排序，哪些是稳定的排序算法稳定性，通俗地说，能包装排序前2个相等的数，在排序后 位置保持不变即可。 1.1 不稳定的经典排序 选择排序、快速排序、希尔排序、堆排序不是稳定的排序算法， 1.1.1 选择排序选择排序是给每个位置选择当前元素最小的，比如给第一个位置选择最小的，在剩余元素里面给第二个元素选择第二小的，依次类推，直到第n - 1个元素，第n个元素不用选择了，因... 1 排序算法的特点基本排序，哪些是稳定的排序算法稳定性，通俗地说，能包装排序前2个相等的数，在排序后 位置保持不变即可。 1.1 不稳定的经典排序 选择排序、快速排序、希尔排序、堆排序不是稳定的排序算法， 1.1.1 选择排序选择排序是给每个位置选择当前元素最小的，比如给第一个位置选择最小的，在剩余元素里面给第二个元素选择第二小的，依次类推，直到第n - 1个元素，第n个元素不用选择了，因...
- 1 简介感谢能看到现在的朋友。数据处理，数值计算工具有古老的历史，实际问题可能需要更多的计算工具，实际上也有很多方法等待发现。 也许量子计算将需要更多的数值方法... 文章计算过程是很清晰的，但是很难记住和理解，可以把这两个向量看为 3维空间的两个点。假如把z的值投影到 x轴 会怎么样？ 那就是交换方向 从侧面看问题。 1 简介感谢能看到现在的朋友。数据处理，数值计算工具有古老的历史，实际问题可能需要更多的计算工具，实际上也有很多方法等待发现。 也许量子计算将需要更多的数值方法... 文章计算过程是很清晰的，但是很难记住和理解，可以把这两个向量看为 3维空间的两个点。假如把z的值投影到 x轴 会怎么样？ 那就是交换方向 从侧面看问题。
- 简介敏捷不是现代软件开发的最终归宿，拒绝开发部落的相互绝缘。 1 理解敏捷方法的优点敏捷联盟致力于开发迭代和敏捷的方法，寻求更快、更好的软件和系统开发方法，挑战更多的传统模型。敏捷的关键是自适应的面向人的，目标在于灵活性，当风险可接受时允许从序列中排除选定的事件。适用于系统工程的敏捷原则如下：●最高的优先级是通过尽早地和持续地交付有价值的软件来满足客户。●欢迎需求变更，即使是在项目开发后期... 简介敏捷不是现代软件开发的最终归宿，拒绝开发部落的相互绝缘。 1 理解敏捷方法的优点敏捷联盟致力于开发迭代和敏捷的方法，寻求更快、更好的软件和系统开发方法，挑战更多的传统模型。敏捷的关键是自适应的面向人的，目标在于灵活性，当风险可接受时允许从序列中排除选定的事件。适用于系统工程的敏捷原则如下：●最高的优先级是通过尽早地和持续地交付有价值的软件来满足客户。●欢迎需求变更，即使是在项目开发后期...
- 0 简介一些软件专家认为软件危机还没有结束，并指出最近的失败例子，比如丹佛机场行李系统在1995年的失败，1996年阿丽亚娜5号火箭的爆炸，在2003年德国收费软件系统被取消，在 2013 年政府健康系统healthcare.gov 发布会的失败，以及2018年被称为Meltdown 和 Spectre 漏洞的发现和被利用。 1 要计划还是变更？ 瀑布和敏捷的斗争很多项目负责人僵化地思考瀑... 0 简介一些软件专家认为软件危机还没有结束，并指出最近的失败例子，比如丹佛机场行李系统在1995年的失败，1996年阿丽亚娜5号火箭的爆炸，在2003年德国收费软件系统被取消，在 2013 年政府健康系统healthcare.gov 发布会的失败，以及2018年被称为Meltdown 和 Spectre 漏洞的发现和被利用。 1 要计划还是变更？ 瀑布和敏捷的斗争很多项目负责人僵化地思考瀑...
- 宇宙是离散的吗？ 或者是连续的？ 这涉及到以何种方式对世界进行程序开发。 1 面向软件危机：其中问题软件危机软件可以定义为在软件开发期间提出的一系列问题。而在过去，曾经存在过一次严重的软件危机，这也导致了许多新的方法和事物出现。这是在1968年的北约会议上“软件危机”一词首次使用。自1960年代初以来计算机的可用性和效率提高了。人们对计算机的认识提高了... 宇宙是离散的吗？ 或者是连续的？ 这涉及到以何种方式对世界进行程序开发。 1 面向软件危机：其中问题软件危机软件可以定义为在软件开发期间提出的一系列问题。而在过去，曾经存在过一次严重的软件危机，这也导致了许多新的方法和事物出现。这是在1968年的北约会议上“软件危机”一词首次使用。自1960年代初以来计算机的可用性和效率提高了。人们对计算机的认识提高了...
- 承接上一节: 2 本体论与存在主义https://bbs.huaweicloud.com/blogs/416679在逻辑中产生的本体论问题——关于存在和存在假设的问题——包括个体化和存在的问题。 2.1 个性化尽管有些方法无疑属于每个体正常的未阐明的概念库，但不清楚它们是否被定义甚至定义得足够准确和广泛，以使哲学家能够令人满意地理解逻辑必然性和逻辑可能性的量化逻辑。在普通话语中——甚至在科... 承接上一节: 2 本体论与存在主义https://bbs.huaweicloud.com/blogs/416679在逻辑中产生的本体论问题——关于存在和存在假设的问题——包括个体化和存在的问题。 2.1 个性化尽管有些方法无疑属于每个体正常的未阐明的概念库，但不清楚它们是否被定义甚至定义得足够准确和广泛，以使哲学家能够令人满意地理解逻辑必然性和逻辑可能性的量化逻辑。在普通话语中——甚至在科...
- 人工智能的现在和未来现在可以使用人工智能的网络做哪些事情？人工智能（AI）仿佛已成为企业主流，主要在幕后工作，以简化和自动化业务流程。然而，在未来的一年里，我们应该开始看到它发挥更明显的作用，因为它学会了与知识劳动力和广大公众直接沟通。人工智能是一种极其复杂的技术，到目前为止，它仍然长于数据科学和高端分析的世界。然而，这往往会抑制其在典型生产环境中的使用，因为利用其全部价值需要高度专业化的... 人工智能的现在和未来现在可以使用人工智能的网络做哪些事情？人工智能（AI）仿佛已成为企业主流，主要在幕后工作，以简化和自动化业务流程。然而，在未来的一年里，我们应该开始看到它发挥更明显的作用，因为它学会了与知识劳动力和广大公众直接沟通。人工智能是一种极其复杂的技术，到目前为止，它仍然长于数据科学和高端分析的世界。然而，这往往会抑制其在典型生产环境中的使用，因为利用其全部价值需要高度专业化的...
- theme: channing-cyan 1 简介通常在一个应用中，也很难有固定的分层。软件体系结构为软件系统提供了结构、行为和属性的高级抽象，在使用时可能随着时间推移分层越来越多，这些抽象和分层由构成系统的元素描述、这些元素的相互作用、指导元素集成的模式以及这些模式的约束组成。而软件层次式体系结构是最通用的架构，也被叫作N层架构模式(n-tier architecture pattern... theme: channing-cyan 1 简介通常在一个应用中，也很难有固定的分层。软件体系结构为软件系统提供了结构、行为和属性的高级抽象，在使用时可能随着时间推移分层越来越多，这些抽象和分层由构成系统的元素描述、这些元素的相互作用、指导元素集成的模式以及这些模式的约束组成。而软件层次式体系结构是最通用的架构，也被叫作N层架构模式(n-tier architecture pattern...
- 对比莱布尼茨所认为的，需要严格遵守充足理由律，在现代发展依据现实关系对此有一些的批评，比如德拉罗卡认为我们只有权断言没有区别关系的无差别存在。上图莱布尼茨根据如此说法，我们的主要哲学概念 - 实质，行动，知识，意义和解释 - 未能满足充足理由律PSR的严格要求。此后，又有人对分析哲学家对直觉主义的广泛依赖发起了强有力的攻击。现代有论文章认为，从实际的角度来看，结构调查（即试图解释为什么获得给... 对比莱布尼茨所认为的，需要严格遵守充足理由律，在现代发展依据现实关系对此有一些的批评，比如德拉罗卡认为我们只有权断言没有区别关系的无差别存在。上图莱布尼茨根据如此说法，我们的主要哲学概念 - 实质，行动，知识，意义和解释 - 未能满足充足理由律PSR的严格要求。此后，又有人对分析哲学家对直觉主义的广泛依赖发起了强有力的攻击。现代有论文章认为，从实际的角度来看，结构调查（即试图解释为什么获得给...
- 语言和语义 1.1 暴力搜索为了证明语言的语义，我们的目标是证明表达式的步骤。但我们不确定它的步骤是什么，或者应用什么规则。这里的证明策略相当简单：暴力搜索。所谓暴力搜索，就像它的名字，解决问题的简单方法依赖于纯粹的计算能力，并尝试各种可能性，而不是先进的特定的技术来提高效率。暴力搜索也称之为穷举搜索，也称为生成和测试，是一种非常通用的问题解决技术和算法范式，它包括系统地枚举解决方案的所有... 语言和语义 1.1 暴力搜索为了证明语言的语义，我们的目标是证明表达式的步骤。但我们不确定它的步骤是什么，或者应用什么规则。这里的证明策略相当简单：暴力搜索。所谓暴力搜索，就像它的名字，解决问题的简单方法依赖于纯粹的计算能力，并尝试各种可能性，而不是先进的特定的技术来提高效率。暴力搜索也称之为穷举搜索，也称为生成和测试，是一种非常通用的问题解决技术和算法范式，它包括系统地枚举解决方案的所有...
上滑加载中
推荐直播
-
GaussDB数据库介绍2025/01/07 周二 16:00-18:00
Steven 华为云学堂技术讲师
本期直播将介绍GaussDB数据库的发展历程、优势、架构、关键特性和部署模式等，旨在帮助开发者了解GaussDB数据库，并通过手把手实验教大家如何在华为云部署GaussDB数据库和使用gsql连接GaussDB数据库。
去报名 -
DTT年度收官盛典：华为开发者空间大咖汇，共探云端开发创新2025/01/08 周三 16:30-18:00
Yawei 华为云开发工具和效率首席专家 Edwin 华为开发者空间产品总监
数字化转型进程持续加速，驱动着技术革新发展，华为开发者空间如何巧妙整合鸿蒙、昇腾、鲲鹏等核心资源，打破平台间的壁垒，实现跨平台协同？在科技迅猛发展的今天，开发者们如何迅速把握机遇，实现高效、创新的技术突破？DTT 年度收官盛典，将与大家共同探索华为开发者空间的创新奥秘。
去报名
热门标签