摘要：
PATTERN系列之五 I. Introduction To ease the expression of real time requirements, Dwyer, and then Konrad, studied a large collection of existing systems i 阅读全文
摘要：
PATTERN 系列之四 1、Introduction The patterns presented in [Dwyer et al, 1999] can be regarded as qualitative patterns with respect to the quantitative pat 阅读全文
摘要：
PATTERN系列的番外篇 对non Zeno的概念进行了明晰 accepting ：if infinitely often the same state non Zeno ：if time diverges，which means $\sum_{i\geq20}$$\delta_{i}$ $\ri 阅读全文
摘要：
PATTERN 系列之三 翻译约定： temporal 时序的 摘要： 1、基于对 一些工业上的嵌入式系统应用的基于时间的需求， 用三种常用的时序逻辑创造了实时规范模式。 2、为了进一步加强对于一个规范的理解，给出了支持实时属性的结构化英语语法。 1、Introduction 常用的正式的规 阅读全文
摘要：
PATTERN系列之二 由于是用中文写的总结，所以翻译有些约定（感想：英文文档还是英文做笔记吧） 主要内容： 在Dwyer的成果基础上添加了精确的时间关联，建立了时间关联的自动机。 论文中给出来的Figure就是observer automaton，是根据模式来观察实际运行情况中是否违反了模 阅读全文
摘要：
PATTERN 系列之一 注：pattern 指的是需求文档中的模式，pattern 系列是我看的几篇关于pattern的论文的学习总结。这几篇论文归纳了数种pattern specification。 pattern系列讲述的内容也主要是跟软件的需求文档相关 definition premise: 阅读全文
摘要：
全排列 //这篇题解是我第一篇题解，很久以前写的，就作为我blog的第一篇文章吧 思路 递归。 N个数的全排列数，观察3个数的全排列数： 1 2 3 1 3 2 2 1 3 2 3 1 3 1 2 3 2 1 可以看到第一个分别是1 2 3，而各自后面所跟着的，恰恰是剩下的数的全排列，以1为例，后面 阅读全文