- 1 简介假设我们现在要造一个自动驾驶的汽车，我们汽车内部应该使用哪些组件和块？本文使用sysML系统工具粗略地设计一个汽车内部的各个部分。 包括各部件描述，接口，外部依赖等， 2 内部定义结构图:内部块图 ibd内部块图（Internal Block Diagram, IBD）:定义: 块：块（符号：带有关键字 = «block»的矩形）表示一个系统组件，一个模块化结构单元，封装其内容（属... 1 简介假设我们现在要造一个自动驾驶的汽车，我们汽车内部应该使用哪些组件和块？本文使用sysML系统工具粗略地设计一个汽车内部的各个部分。 包括各部件描述，接口，外部依赖等， 2 内部定义结构图:内部块图 ibd内部块图（Internal Block Diagram, IBD）:定义: 块：块（符号：带有关键字 = «block»的矩形）表示一个系统组件，一个模块化结构单元，封装其内容（属...
- OWASP评估的WEB安全问题有三个工具。人工辅助工具 （HaT）、工具辅助人工 （TaH） 和原始工具。安全评估同时考虑人工和工具方法。高频工具检测可能掩盖低频但广泛的问题。 引入发生率衡量至少一个漏洞实例的百分比，反映攻击者只需一个入口点就可能成功攻击的风险视角。 OWASP评估的WEB安全问题有三个工具。人工辅助工具 （HaT）、工具辅助人工 （TaH） 和原始工具。安全评估同时考虑人工和工具方法。高频工具检测可能掩盖低频但广泛的问题。 引入发生率衡量至少一个漏洞实例的百分比，反映攻击者只需一个入口点就可能成功攻击的风险视角。
- 本文介绍惰性计算推迟了表达式求值，直到其值真正需要时才执行，从而优化性能，节省资源。在前端和并发编程中，懒加载和类似技术结合函数式编程特性，如 continuations，平衡了抽象与性能。 本文介绍惰性计算推迟了表达式求值，直到其值真正需要时才执行，从而优化性能，节省资源。在前端和并发编程中，懒加载和类似技术结合函数式编程特性，如 continuations，平衡了抽象与性能。
- 本文介绍现代软件工程借助形式化方法确保系统正确性。强类型系统如数理逻辑虽能表达普遍属性但复杂，轻量级技术如模型检查（用于芯片设计和通信协议验证）和类型系统则更易用。类型系统是推理工具，起源于解决逻辑悖论，经历多个里程碑发展，分为动态和静态分支，重点在于编程语言应用，特别是AI领域。 本文介绍现代软件工程借助形式化方法确保系统正确性。强类型系统如数理逻辑虽能表达普遍属性但复杂，轻量级技术如模型检查（用于芯片设计和通信协议验证）和类型系统则更易用。类型系统是推理工具，起源于解决逻辑悖论，经历多个里程碑发展，分为动态和静态分支，重点在于编程语言应用，特别是AI领域。
- 本文探讨了对中文编程语言OTao的优化，涉及衡量性能、基准测试和剖析等关键步骤。通过分析和优化这些热点，可以提升整体性能。 本文探讨了对中文编程语言OTao的优化，涉及衡量性能、基准测试和剖析等关键步骤。通过分析和优化这些热点，可以提升整体性能。
- 本文介绍一种使用Nan黑盒法的方式处理编程语言编译器的性能，这是一种名为NaN boxing的技术，用于减少动态类型语言中值的表示大小，通过利用浮点数的NaN位存储额外信息，如类型标签和指针，从而提高缓存效率，这在动态语言中非常常见。 本文介绍一种使用Nan黑盒法的方式处理编程语言编译器的性能，这是一种名为NaN boxing的技术，用于减少动态类型语言中值的表示大小，通过利用浮点数的NaN位存储额外信息，如类型标签和指针，从而提高缓存效率，这在动态语言中非常常见。
- 本文探讨了对中文编程语言OTao的优化，涉及衡量性能、基准测试和剖析等关键步骤。通过分析和优化这些热点，可以提升整体性能。 本文探讨了对中文编程语言OTao的优化，涉及衡量性能、基准测试和剖析等关键步骤。通过分析和优化这些热点，可以提升整体性能。
- 1 名学 和 知识论在前言讲，孔子讲天命，道教方士有命理，墨子讲非命 。关于天的概念有人整理如下，可能并不完整这里面可能涉及更多的内容，如道家的宇宙观等等，不做扩展，限定为墨子一脉。有象: 形体的 天界，天体，天气,天空 天无象: 有灵 主宰 天子，天帝，皇天，苍天，造物主等 无灵... 1 名学 和 知识论在前言讲，孔子讲天命，道教方士有命理，墨子讲非命 。关于天的概念有人整理如下，可能并不完整这里面可能涉及更多的内容，如道家的宇宙观等等，不做扩展，限定为墨子一脉。有象: 形体的 天界，天体，天气,天空 天无象: 有灵 主宰 天子，天帝，皇天，苍天，造物主等 无灵...
- 1 简介编程逻辑可以归类于科学逻辑，起源对应于古希腊三段式。这里简单对比3个古老的逻辑体系 佛家（古印度）因明逻辑，希腊三段式，墨辩的结构。各位看官 姑且勉强 一看。墨辩逻辑学的特长，在发明原理和法则，若论到方式，不如西洋和印度的精密，但是相同之处也很多。 2 因明论理(逻辑)的方式印度的“因明”是用宗因喻 三支组织而成。外 延 内 ... 1 简介编程逻辑可以归类于科学逻辑，起源对应于古希腊三段式。这里简单对比3个古老的逻辑体系 佛家（古印度）因明逻辑，希腊三段式，墨辩的结构。各位看官 姑且勉强 一看。墨辩逻辑学的特长，在发明原理和法则，若论到方式，不如西洋和印度的精密，但是相同之处也很多。 2 因明论理(逻辑)的方式印度的“因明”是用宗因喻 三支组织而成。外 延 内 ...
- 1 简介在前面我们知道MBSE有三大支柱，分别是建模语言、建模工具和建模思路。而其中建模语言SysML有行为图其中就有活动图，我们看看啥样。对象管理组织OMG在对UML2.0的子集进行重用和扩展的基础上，提出了一种新的系统建模语言SysML(Systems Modeling Language),作为系统工程的标准建模语言。SysML的目的是统一系统工程中使用的建模语言。 2 行为图的活动图... 1 简介在前面我们知道MBSE有三大支柱，分别是建模语言、建模工具和建模思路。而其中建模语言SysML有行为图其中就有活动图，我们看看啥样。对象管理组织OMG在对UML2.0的子集进行重用和扩展的基础上，提出了一种新的系统建模语言SysML(Systems Modeling Language),作为系统工程的标准建模语言。SysML的目的是统一系统工程中使用的建模语言。 2 行为图的活动图...
- 3 简介矩阵协议是一个开源的安全的，分布式通信协议，它是开放的标准，但是有哪些功能？也可以执行计算，并且跟踪过程。支持发送SMS消息,支持JSON的传输HTTP。支持渲染 LaTeX。显示实时天气状态。安全特征是端到端加密的。双重延申验证(Megolm)。公开审计该过程，并且是分布式的，去中心化MLS。它支持与处于不同服务器的用户交谈，这一点是 iRC类型的 IM服务器很难做到的。 3.1... 3 简介矩阵协议是一个开源的安全的，分布式通信协议，它是开放的标准，但是有哪些功能？也可以执行计算，并且跟踪过程。支持发送SMS消息,支持JSON的传输HTTP。支持渲染 LaTeX。显示实时天气状态。安全特征是端到端加密的。双重延申验证(Megolm)。公开审计该过程，并且是分布式的，去中心化MLS。它支持与处于不同服务器的用户交谈，这一点是 iRC类型的 IM服务器很难做到的。 3.1...
- 1 文件权限操作指令的原理关于文件中数据的访问操作代码，主要涉及linux系统 5 个文件: block_dev.c、file_dev.c、char_dev.c、pipe.c 和read_write.c。前 4 个文件可以认为是块设备、字符设备、管道设备和普通文件与文件读写系统调用的接口程序，它们共同实现了 read_write.c 中的read和 write0系统调用函数。通过对被操作文... 1 文件权限操作指令的原理关于文件中数据的访问操作代码，主要涉及linux系统 5 个文件: block_dev.c、file_dev.c、char_dev.c、pipe.c 和read_write.c。前 4 个文件可以认为是块设备、字符设备、管道设备和普通文件与文件读写系统调用的接口程序，它们共同实现了 read_write.c 中的read和 write0系统调用函数。通过对被操作文...
- 简介通常了解一个事情的发生过程，可以帮助我们优化设计，通过更改功能组件满足不同的需求，让我们再次通过linux系统计算机回顾计算机的计算过程系统。 1 计算机启动时发生了什么没有程序运行的计算机只是一堆电子器件。打开计算机时，计算机要做的第一件事是启动一个称为“操作系统(operating system)”的特殊程序。操作系统的工作是通过处理控制计算机硬件的混乱细节来帮助其他计算机程序运行... 简介通常了解一个事情的发生过程，可以帮助我们优化设计，通过更改功能组件满足不同的需求，让我们再次通过linux系统计算机回顾计算机的计算过程系统。 1 计算机启动时发生了什么没有程序运行的计算机只是一堆电子器件。打开计算机时，计算机要做的第一件事是启动一个称为“操作系统(operating system)”的特殊程序。操作系统的工作是通过处理控制计算机硬件的混乱细节来帮助其他计算机程序运行...
- 1 简介我们经常在日常生活中遇到这些"想当然"的口语：为什么有这个世界？本来就是这样的不用想，那是自然而然的那是理所应当的，吃太饱了...那是显而易见的...前人有言难道不是每个人都在一千次使用这个原则（PSR）吗？--莱布尼茨 1.1 存在是有原因的即使我们在坚持不懈地追求这种充分理由律的思路，就像我不会做的那样，我的一部分想法是真的很想停下来，因为我们知道这种追求可以赢得一些朋友和盟友... 1 简介我们经常在日常生活中遇到这些"想当然"的口语：为什么有这个世界？本来就是这样的不用想，那是自然而然的那是理所应当的，吃太饱了...那是显而易见的...前人有言难道不是每个人都在一千次使用这个原则（PSR）吗？--莱布尼茨 1.1 存在是有原因的即使我们在坚持不懈地追求这种充分理由律的思路，就像我不会做的那样，我的一部分想法是真的很想停下来，因为我们知道这种追求可以赢得一些朋友和盟友...
- 0 简介大多数企业依靠可扩展的平台和其服务或产品的数据化来保持市场竞争力。随着来自不同来源的数据的激增，其数量、速度和种类各不相同，企业需要新的数据战略。因此，人们认为需要数据管道将来自所有不同来源的数据整合到一个共同的目的地，以便进行快速分析，或者在连接的应用程序和系统之间处理和流式传输数据。这里简单解释两种经典数据处理架构和一个通用编程模型，并例举他们的组件和使用场景，最后做一个简单的... 0 简介大多数企业依靠可扩展的平台和其服务或产品的数据化来保持市场竞争力。随着来自不同来源的数据的激增，其数量、速度和种类各不相同，企业需要新的数据战略。因此，人们认为需要数据管道将来自所有不同来源的数据整合到一个共同的目的地，以便进行快速分析，或者在连接的应用程序和系统之间处理和流式传输数据。这里简单解释两种经典数据处理架构和一个通用编程模型，并例举他们的组件和使用场景，最后做一个简单的...
上滑加载中
推荐直播
-
DTT年度收官盛典：华为开发者空间大咖汇，共探云端开发创新2025/01/08 周三 16:30-18:00
Yawei 华为云开发工具和效率首席专家 Edwin 华为开发者空间产品总监
数字化转型进程持续加速，驱动着技术革新发展，华为开发者空间如何巧妙整合鸿蒙、昇腾、鲲鹏等核心资源，打破平台间的壁垒，实现跨平台协同？在科技迅猛发展的今天，开发者们如何迅速把握机遇，实现高效、创新的技术突破？DTT 年度收官盛典，将与大家共同探索华为开发者空间的创新奥秘。
回顾中 -
GaussDB应用实战：手把手带你写SQL2025/01/09 周四 16:00-18:00
Steven 华为云学堂技术讲师
本期直播将围绕数据库中常用的数据类型、数据库对象、系统函数及操作符等内容展开介绍，帮助初学者掌握SQL入门级的基础语法。同时在线手把手教你写好SQL。
回顾中 -
算子工具性能优化新特性演示——MatMulLeakyRelu性能调优实操2025/01/10 周五 15:30-17:30
MindStudio布道师
算子工具性能优化新特性演示——MatMulLeakyRelu性能调优实操
即将直播
热门标签