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…

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

协作图(通信图)collaboration diagram 系列文章 [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系列——包图P…

一.时序图简介(Brief introduction) 二.时序图元素(Sequence Diagram Elements) 角色(Actor) 对象(Object) 生命线(Lifeline) 控制焦点(Focus of Control) 消息(Message) 自关联消息(Self-Message) Combined Fragments 三.时序图实例分析(Sequece Diagram Example Analysis) 时序图场景 时序图实例 时序图实例分析 四.总结(Summary)…

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

概述 顺序图是一种详细表示对象之间以及对象与参与者实例之间交互的图,它由一组协作的对象(或参与者实例)以及它们之间可发送的消息组成,它强调消息之间的顺序. 顺序图是一种详细表示对象之间以及对象与系统外部的参与者之间动态联系的图形文档.它详细而直观地表现了一组相互协作的对象在执行一个(或少量几个)用况时的行为依赖关系,以及操作和消息的时序关系.类图对对象之间的消息(交互情况)表达不够详细:详细说明对消息的表达虽然详细,但不够直观:顺序图既详细又直观,但通常只能表示少数几个对象之间的交互. 时序图基…

1.0.0 Summary Tittle:[UML]NO.51.EBook.1.UML.1.011-[UML 大战需求分析]- 时序图(Timing Diagram) Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archieve…

1.0.0 Summary Tittle:[UML]-NO.44.EBook.1.UML.1.004-[UML 大战需求分析]- 顺序图(Sequence Diagram) Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archi…

1.0.0 Summary Tittle:[UML]-NO.45.EBook.1.UML.1.005-[UML 大战需求分析]- 通讯图(Conmunication Diagram) Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2…

1.0.0 Summary Tittle:[UML]NO.48.EBook.1.UML.1.008-[UML 大战需求分析]- 组件图(Component Diagram) Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archi…

1.0.0 Summary Tittle:[UML]NO.49.EBook.1.UML.1.009-[UML 大战需求分析]- 包图(Package Diagram) Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archieve…

UML建模之时序图(Sequence Diagram)   一.时序图简介(Brief introduction) 二.时序图元素(Sequence Diagram Elements) 角色(Actor) 对象(Object) 生命线(Lifeline) 控制焦点(Focus of Control) 消息(Message) 自关联消息(Self-Message) Combined Fragments 三.时序图实例分析(Sequece Diagram Example Analysis) 时序图场…

鲁棒图与系统需求分析 鲁棒图(Robustness Diagram)是由Ivar Jacobson于1991年发明的,用以回答“每个用例需要哪些对象”的问题.后来的UML并没有将鲁棒图列入UML标准,而是作为UML版型(Stereotype)进行支持.对于RUP.ICONIX等过程,鲁棒图都是重要的支撑技术.当然,这些过程反过来也促进了鲁棒图技术的传播. 而“鲁棒图(Robustness Diagram)”的作用,除了初步设计之外,就是检查用例规约是否正确和完善了.“鲁棒图”正是因为后者检查的作…

一.活动图的组成元素 Activity Diagram Element 1.活动状态图(Activity) 2.动作状态(Actions) 3.动作状态约束(Action Constraints) 4.动作流(Control Flow) 5.开始节点(Initial Node) 6.终止节点(Final Node) 7.对象(Objects) 8.数据存储对象(DataStore) 9.对象流(Object Flows) 10.分支与合并(Decision and Merge Nodes) 11…

活动图概述 •活动图和交互图是UML中对系统动态方面建模的两种主要形式 •交互图强调的是对象到对象的控制流,而活动图则强调的是从活动到活动的控制流 •活动图是一种表述过程基理.业务过程以及工作流的技术.它可以用来对业务过程.工作流建模,也可以对用例实现甚至是程序实现来建模 •UML 2.0而言,去除了“活动图是状态图的一种特例”这一规定 [用途]活动图是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…

简介 交互概述图是将不同交互图衔接在一起的图,属于UML2.0的新增图.交互概述图并没有引入新的建模元素,其主要元素来自于活动图和时序图.交互概述图侧重从整体上概览交互过程中的控制流,包括交互图之间的事件或消息流. 当前交互概述图主要应用于活动图与时序图之间的协作,主要有两种形式:交互和交互应用,前者适用于控制流相对简单的场景,后者适用于控制流相对复杂的场景. 交互概述图建模步骤 - 熟悉系统业务流程,确定交互概述图中需要覆盖的重要交互控制流 - 确定作为主线的交互图以及作为细化的另一种交互图…

时序图 用例图…

案例基础上登录用户进行操作的每个模块. 1. 员 (1) 列车顺序表 (2) 货车装卸报告(数据处理) (3) 货车装卸报告(查看) 2. 管理员 (1) password管理 (2) 查看日志 (3) 车种设置 (4) 延时费设置 (5) 打印通知单(延时费) 其Activity Diagram例如以下: watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQveGlhb2Jpbl9ITEo4MA==/font/5a6L5L2T/fontsize/400/fi…

1.0.0 Summary Tittle:[UML]-NO.41.EBook.1.UML.1.001-[UML 大战需求分析]- 类图 Style:DesignPattern Series:DesignPattern Since:2017-11-02 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archieve Goal:.... Gerne…

1.0.0 Summary Tittle:[UML]-NO.42.EBook.1.UML.1.002-[UML 大战需求分析]- 活动图 Style:DesignPattern Series:DesignPattern Since:2017-11-08 End:.... Total Hours:... Degree Of Diffculty:2 Degree Of Mastery:2 Practical Level:2 Desired Goal:2 Archieve Goal:.... Gern…

一.问题描述1.Voronoi图的定义又叫泰森多边形或Dirichlet图,它是由一组由连接两邻点直线的垂直平分线组成的连续多边形组成. 2.Voronoi图的特点(1)每个V多边形内有一个生成元: (2)每个V多边形内点到该生成元距离短于到其它生成元距离: (3)多边形边界上的点到生成此边界的生成元距离相等: (4)邻接图形的Voronoi多边形界线以原邻接界线作为子集. 3.Voronoi的应用在计算几何学科中的重要地位,由于其根据点集划分的区域到点的距离最近的特点,其在地理学.气象学.结晶…

一.时序图 时序图是一种强调时间顺序的交互图,在时序图中,首先把参与交互的对象放在图的上方,沿X轴方向排列.通常把发起交互的对象放在左边,较下级对象依次放在 右边,然后把这些对象发送和接受的消息沿Y轴方向按时间顺序从上到下放置.这样就提供了控制流随着时间推移的清晰的可视化轨迹. 二.时序图元素 1.角色 系统角色,可以是人.及其甚至其他的系统或者子系统 2.对象 对象包括三种命名方式: 第一种方式包括对象名和类名: 第二中方式只显示类名不显示对象名,即表示他是一个匿名对象: 第三种方式只显示对象…

http://www.cnblogs.com/xueyuangudiao/archive/2011/09/22/2185364.html 目录 含义 要素: 1 活动者 2 对象 3 生命线 4 控制焦点 5 消息 l         同步消息 l         异步消息 l         返回消息 l         自关联消息 复合片段 1                      条件判断 2                      可选 3                     …

包图用于以包包含层次结构的形式显示模型的组织方式.包图还可以显示包包含的模型元素以及包与其包含的模型元素之间的依赖关系. 在项目开发中,模型元素可能会很快达到大量数量,因此需要以某种方式构建它们,即使对于小型开发项目也是如此.类似于硬盘上文件夹和目录中的一组文件,包负责模型结构.包图显示了包及其关系. 包图通常用于以下方式: 大规模系统以描绘系统中主要元素之间的依赖关系 包图代表了一种编译时分组机制. 包图还为模型元素提供了命名空间 标记为pkg的包图用于组织模型中包含的模型元素.在此图中,系统…

1.   作用 用于面向对象软件开发的分析和设计阶段,描述系统的静态结构. 描述类与类.类与接口.接口与接口之间的静态结构和关系,描述系统的结构化设计.最基本的元素:类.接口. 用于应用程序的一般概念建模.详细建模.数据建模,将模型转换成编程代码. 类图是系统编码和测试的重要模型依据. 2.   元素 包(package) 类(class) 接口(interface) 关系(relation) 信号(signal) 数据类型(data type) 原始类型(primitive type) 枚举(…

控制焦点Focus on Control 的取值: Alternative fragment(denoted “alt”) 与 if…then…else对应 Option fragment (denoted “opt”) 与 Switch对应 Parallel fragment (denoted “par”) 表示同时发生 Loop fragment(denoted “loop”) 与 for 或者 Foreach对应 Break…