0x01 布尔代数(Boolean algebra) 大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章:George Boole: A 200-Year View. 怎样用数学公理重新表达经典逻辑?George Boole在19世纪的时候开始思考这件事,在他的书<The Mathematical Analysis of Logic>里面George Boole首次展示了使用符号加运算符的方式表示逻辑,例如"And"是&q…

修一门写作课题目是Binary decision diagram.在网上查了些资料感觉说的都不是很清楚,看了半天还是很困惑,这到底是个啥?到底咋使?于是决定写下这篇随笔,总结一下看过的各种资料加上自己的理解,希望对后来之人有所帮助~ Binary decision diagram(BDD): 中文名叫 二元决策图 在各类百科里都只有简单一句话:是被用来表达一个布尔函数的一种数据结构(内心os:x了个x,搞事情啊) 好吧,简单来说 二元决策图是一种用来表达布尔函数的有向无环图(Directed a…

二分查找(Binary Search): int BinarySearch(int *array, int N, int key) { ; int left, right, mid; left = ; right = N - ; while(left <= right) { mid = (left + right) / ; if (key < array[mid]) right = mid - ; else if (key > array[mid]) left = mid + ; els…

Leetcode之二分法专题-704. 二分查找(Binary Search) 给定一个 n 个元素有序的(升序)整型数组 nums 和一个目标值 target  ,写一个函数搜索 nums 中的 target,如果目标值存在返回下标,否则返回 -1. 示例 1: 输入: nums = [-1,0,3,5,9,12], target = 9 输出: 4 解释: 9 出现在 nums 中并且下标为 4 示例 2: 输入: nums = [-1,0,3,5,9,12], target = 2 输出:…

简单记录 - bobo老师的玩转算法系列–玩转算法 - 二分搜索树 二叉搜索树 Binary Search Tree 查找问题 Searching Problem 查找问题是计算机中非常重要的基础问题 二分查找法 Binary Search v <v v >v 对于有序数列,才能使用二分查找法 (排序的作用) 二分查找法的思想在1946年提出. 第一个没有bug的二分查找法在1962年才出现. 操作:实现二分查找法 非递归的二分查找算法 BinarySearch.java package al…

Canvas原生API(纯CPU)计算并渲染三维图 前端工程师学图形学:Games101 第三次作业 利用Canvas画三维中的三角形并使用超采样实现抗锯齿 最终完成功能 Canvas 原生API实现三角形栅格化算法 实现 z-buffer 判断三角形先后关系 使用 super-sampling 处理 Anti-aliasing,也就是超采样实现抗锯齿 1 整体分析 本次实验中,首先需要进行矩阵变换,将初始传入的三角形经过变换后到规范立方体内,这需要进行三种变换.设一个点的坐标变换为(x, y,…

分析业务模型-类图(Class Diagram)     分析业务模型-类图(Class Diagram)(上) 摘要:类图(Class Diagram)可能是用得最多的一种UML图.类图的基本语法并不复杂,你可能最多学习两三天就可以掌握,然而要真正做到活用类图则可能需要几年的功力.类图是锻炼面向对象分析(OOA:Object-Oriented Analysis)和面向对象设计(OOD:Object-Oriented Design)思想的重要的工具,是业务结构建模的重要工具.本章将会有大量的实战…

目录: 1.什么是活动图 2.活动图的构成 (1)起点 (2)重点 (3)活动名称 (4)判断条件 (5)同步条 (6)接收信号 (7)发送信号 (8)泳道 (9)转移 3.活动图实例--订单处理 4.活动图--机房收费系统 5.小结 1.什么是活动图 活动图(Activity Diagram)是阐明了业务用例实现的工作流程.是状态图的一种特殊形式.是UML用于对系统的动态行为建模的一中常用工具,描述活动的顺序,展现从一个活动到另一个活动的控制流. 活动图在本质上是一种流程图,着重表现从一个活动…

系列文章 [UML]UML系列——用例图Use Case [UML]UML系列——用例图中的各种关系(include.extend) [UML]UML系列——类图Class [UML]UML系列——类图class的关联关系(聚合.组合) [UML]UML系列——类图class的依赖关系 [UML]UML系列——类图class的泛化关系 [UML]UML系列——类图class的实现关系Realization [UML]UML系列——包图Package [UML]UML系列——活动图activity…

顺序图(Sequence Diagram)对系统的动态方面来建模. 顺序图是强调消息时间顺序的交互图. 协作图则是强调接收和发送消息的对象的结构组织的交互图 如何对动态方面建模?  所谓动态文面,即随着时间的推移,一些对象被创建,属性值的改变,以及其中一些对象的销毁,对象之间的互相调用.  对象  对象生命线  消息,实际上就是方法的调用  对象的创建与销毁 说明 柱子表示方法调用,画箭头是在给对象分配职责,箭头上的文字表示消息名称,说明后面的对象有相应的方法.  不单是步骤的罗列,…