序列图（Sequence Diagram），亦称为循序圖、时序图，是一种UML行为图。描述物件在時間序列中的交叉作用。序列圖會描繪在此情境下有關的物件，以及此物件和其他物件交換訊息的順序。序列图一般和待開發系統邏輯視圖上，用例的實現有關。序列图有時也稱為事件圖或事件情境。 序列图...

diagram）說明繪製各信號之間的關係。 時間圖可以用來說明对象在特定時間區間內的行為。時間圖和时序图（sequence diagram）有些類似。時間圖和时序图的差異是時間軸的方向，時間圖的時間是從左到右增加，時序圖的時間是從上往下增加。 時間圖的標示方式可以分為concise和robust兩種。...

在数字电路理論中，时序逻辑电路是指电路任何时刻的稳态输出不仅取决于当前的输入，还与前一时刻输入形成的状态有关。這跟組合邏輯電路相反，組合邏輯的輸出只會跟目前的輸入成一種函數關係。換句話說，时序邏輯擁有儲存元件（記憶體）来存储信息，而組合邏輯則没有。 從时序邏輯電路中，可以建出兩種形式的有限狀態機：...

阿耳克托斯（Ἄρκτος、Arctos） - 晚霞女神 羅雪爾（Roscher）描繪的两位时序女神浮雕印象图 羅雪爾（Roscher）描繪的三位时序女神浮雕印象图 邁耶斯（Meyers）描繪的四位时序女神浮雕印象图 卢浮宫所藏的时序女神浮雕石板 许阿得斯 普勒阿得斯 《希腊罗马神话词典》（鲁刚、郑述谱/编译、中国社会科学出版社）p121...

圖製作義大利肉醬麵旳功能樹來看，可以看出需先處理蔬菜和絞肉才能製作肉醬，而煮義大利麵和製作肉醬彼此沒有相依關係，可以同時進行。 若以程式實作的觀點來看，功能樹會繪出各函式分別呼叫了哪些函式。功能樹也可以用在軟體工程上，不過軟體工程一般會用更準確的表示方式，也就是UML中定義的时序图、用例图...

另见UML类图和时序图如下。 中介者模式是为了“定义一个封装了对象间交互关系的对象”。这种方式避免了显式调用其他类，促进了类间的松耦合，并且使得类间交互关系本身可以单独修改。客户类可以使用中介者向其他客户类发送信息，并且通过中介者引发的事件收到信息。 在以上 UML 类图中，类 Colleague1...

Readers' Choice Award）。 ArgoUML没有完全实现UML标准，同时它对某些图还不能完全支持（如时序图）。 当前的稳定版0.24版式对0.22的一个bug修复版，它一共修正了0.22版本的172个bug。...

线性时序逻辑（英語：linear temporal logic，LTL），或称线性时态逻辑，是一种模态时态逻辑。其时态运算符限定于描述从一个给定的状态开始的某一条路径上的事件。线性时序逻辑由阿米尔·伯努利在1977年提出。线性时序逻辑和计算树逻辑（英语：Computation tree...

通信图（英语：Communication diagram） 交互概述图（UML 2.0） 时序图（UML 2.0） 时间图（UML 2.0） UML并不限定UML要素型别非得是某图形上的型别。一般来说，每个UML要素大约会出现在图的所有型别。这种弹性在UML 2.0部分被限定。 为了要保持工程图...

异常情况，要求这个对象的客户处理。 （只针对通信风格用途：）方法的调用序列和决定点，这些都会表示在UML交互图中：通信图（英语：Communication diagram）、时序图、交互概述图/活动图、计时图。 如果对象是完全封装的，则协议将只描述对象能被其他对象访问的方式。例如Java中的接口，Compa...

时序差分学习（英語：Temporal difference learning，TD learning）是一类无模型强化学习方法的统称，这种方法强调通过从当前价值函数的估值中自举的方式进行学习。这一方法需要像蒙特卡罗方法那样对环境进行取样，并根据当前估值对价值函数进行更新，宛如动态规划算法。...

內部方塊圖（英语：Internal block diagram） 包图（英语：Package diagram） 參數圖（英语：Parametric diagram） 需求圖（英语：Requirement diagram） 时序图 狀態機圖 用例图 Flexible Views for View-based Model-driven...

圖、状态图等。 過程視景（Process view）：過程視景處理系統的動態層面，說明系統的過程以及通訊的方式，著重在系統運行時的時間特性。過程視景描述並發性、分散、整合者、性能以及可擴縮性（scalability）等。表示過程視景的UML有时序图、通信图（英语：Communication...

在这个例子中，该单元的时间可以被认为是可调度 的时间片。截止时间是每个周期的进程必须在这一个周期内完成。 在时序图中，列代表的时间片随时间增加，所有进程都在时间片0开始运行。 计时图的蓝色和白色阴影表示的每个进程的周期，颜色的变化表示最后期限到来。 由EDF调度的第一个进程是P2，因为它的周期短，因此具有最早的截止时间。...

在统一建模语言中，构件图（component diagram）又称组件图，是表示组件是如何互相组织以构建更大的组件或是软件系统的，其被用来标示任意复杂系统的结构。 在管理学中，是表现系统中各种软件组件及其相互间的依赖关系的结构图。 在计算机学中，是展示构件的内部组织和构件之间相互关系的图，由构件、接口和连接件等主要元素构成。...

由于其简单纯粹的本质，用例图是项目参与者间交流的好工具。用例图的画法是对现实世界的一种刻画，可以让项目参与者明白系统要做成什么样。箫庆龙等（Siau and Lee）曾研究是否存在用例图不适用或不必要的情景，结果发现用例图可以更简洁地传达系统的设计意图，“比类图诠释得更加完整”。 用例图...

时序功能在该阶段的设计中被损坏，还要进一步优化芯片按照正确运行时的延迟时间、功耗、面积等方面的性能。在物理设计产生了初步版图文件之后，工程师需要再次对集成电路进行功能、时序、设计规则、信号完整性等方面的验证，以确保物理设计产生正确的硬件版图文件。...

即连线表）。:1-12:3-4:483-484 硬件描述语言在很多地方可能和传统的软件编程语言类似，但是最大的区别是，硬件描述语言能够描述硬件电路的时序特性。硬件描述语言是电子设计自动化体系的重要部分。小到简单的触发器，大到复杂的超大规模集成电路（如微处理器），都可以用硬件描述语言描述。常见的硬件描...

图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。 摩尔型有限状态机的名字来自它的提出者，写了《Gedanken-experiments on Sequential Machines》的状态机先驱愛德華·F·摩爾。 多数数字电子系统被设计为时序系统。时序...

后研究员期间，他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查，特别是关于并发系统的公平性。 1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。電腦協會（ACM）会士。 魏茨曼科學研究學院数学博士。在斯坦福大学做博士后时转而研究计算机科学。...

活动图（英語：activity diagram）是工作流的图形化表示。活动图主要由活动和动作构成，也可以支持分支选择、迭代、并行。在 UML 中，活动图主要用于为计算性和组织性过程（即工作流）建模，相关活动之间的数据流也在其覆盖范围之内。活动图主要是用來說明控制流，不過也可以顯示數據在各數據儲存之間的流動[來源請求]。...

一个同步电路由两个主要元素构成：寄存器和组合逻辑电路。寄存器通常由D触发器组成，按照给定时间脉冲来进行同步时序操作，这个部分使得时序逻辑电路具有记忆的功能。:113组合逻辑电路则由逻辑门组成，提供电路的所有逻辑功能。 例如，一个非常简单的同步电路如右图所示。寄存器的输出端，通过一个反相器连接到其输入端，这样，每遇到一个时间脉冲...

2022年3月23日1時41分51秒中央氣象局發布「地震速報」. 地震告警訊息發布資訊及其時序圖. [2022-03-23].  國家通訊傳播委員會. 2022年3月23日1時41分53秒中央氣象局發布「地震速報」. 地震告警訊息發布資訊及其時序圖. [2022-03-23].  國家通訊傳播委員會....

State Machine，縮寫：ASM）方法是设计有限状态机的一种方法。在数字电路设计中，算法状态机图是对时序逻辑状态转移的一种图形描述。在功能上，算法状态机图与状态图类似。:516 在外觀上，算法狀態機圖與計算機程序設計的流程圖使用了相當類似的圖形符號，但是二者具有很大的差異。這種差異是軟體設計和硬...

類別圖是軟件工程的統一建模語言一種靜態結構圖，該圖描述了系統的類別集合，類別的屬性和類別之間的關係。 類別圖是物件導向式的建模。他們一般都被用於概念建模（conceptual modelling）的系統分類的應用程序，並可將模型建模轉譯成程式碼。 最上面是類別名稱 中間部分包含類別的屬性 底部部分包含類別的方法...

执行下行帧串行数据的光/电转换并进行波分复用。 上行帧处理：从波分复用中分离数据, 寻找开销域, 划定接槽边界, 处理物理层运营管理并维护 (物理层运维)信元并分离每一个插槽所产生的数据。 产生控制信号：执行介质访问控制并产生用于上下行帧处理变量与时序信号。 通过使用产生的控制信号中的变量与时序信号来控制上下行帧处理...

时序控制和动画）就是基于SMIL标准。另外，SVG文件还可嵌入JavaScript（严格地说，应该是ECMAScript）脚本来控制SVG对象。 SVG图形格式可以方便的建立文字索引，从而实现基于内容的图像搜索。 SVG图形格式支持多种滤镜和特殊效果，在不改变图像内容的前提下可以实现位图格式中类似文字阴影的效果。...

交互概要图（Interaction Overview Diagram），是統一塑模語言（UML）的一種圖示，係在活动图的基础上，使用「交互框」作为元素，替代活动图中的「活动」。交互框间以「控制流」连接。交互概述图常用来描述用例的正常流与替代流之间的关系，作为内部协作图。...

组合结构图（Composite structure diagram）是UML的一种结构图。“结构”是指元素之间的相互连接，实例通过通信连接合作以实现某目的。 组合结构图的结点元素有：部件、端口、合作、合作使用；连接元素有：连接件、角色绑定。 部件：一个实例，是组合结构图...

时序逻辑电路的輸出結果除了依照目前的輸入外也和先前的輸入有關係。从电路结构分析，组合电路由各种逻辑门组成，网络中无记忆元件，也无反馈线。 組合邏輯是在電腦被用來做輸入的訊號跟儲存的資料作逻辑代数運算之用。實際上電腦電路都會混用包含組合邏輯和时序...

由低準位變到高準位的轉態稱為上昇緣，而由高準位變到低準位的轉態稱為下降緣。若數位系統中會偵測上昇緣或下降緣，或在此情形下才動作，稱為邊緣觸發。數位時序圖（英语：Digital timing diagram）就是由許多方波組成的例子。 Nyquist脈冲是符合Nyquist碼間干擾標準（英语：Nyquist...