redwind

摘要： 第一讲 识别和分类不同种的软件工程，并能识别其位于的软件周期中。 分析软件演化背后的驱动因素。 描述软件成品演变的一些模型和过程。 维护似乎更与这些独立进行，而不是像这张图上这样的。 从瀑布模型中我们可以看出，需求、设计（架构）、实施（数据、代码、文档、技术）和验证（测试和证明）都在不断发展。 演化 阅读全文

摘要： 第一讲 中上：收集数据（比如挖掘数据，etc）。 右中：分析数据：收集了数据自然要分析。定量：计算 定性：理解人们在说什么。 中下：解释数据：从数据科学的分析结果到软件工程方面的信息，我们需要知道某个特定的变量对整个软件工程的影响。 左中：干预、推荐：通过软件工程方面的信息给出建议，如何改进工程。 阅读全文

摘要： 什么是人机交互 人机交互（HCI）是一门多学科研究领域，侧重于计算机技术的设计，特别是人（用户）与计算机之间的交互。 Nielson's heurisitcs 1. Visibility of system status - how well the state of a system is con 阅读全文

摘要： 回顾线性代数 线性空间 我们称针对向量V（实数组成）和运算符+、x，有以下性质时为线性空间： 加法：$v+w \in V$，即$(V, +)$是阿贝尔群（可交换，有逆元） 缩放乘法：$\alpha \in R$且$v \in V$，有$\alpha v \in V$，且满足以下性质： $\alpha 阅读全文

摘要： 命题逻辑（还记得我吗？） 命题公式 由若干布尔变量和运算符（$\neg, \cap, \cup, \rightarrow, \leftrightarrow$）得到的公式 有一些命题，我们能否从中得到另一个命题 将问题转化成更“正式”的问题 使用自动化程序解决“正式”的问题 通过形式化，可以将每个概念 阅读全文

该文被密码保护。 阅读全文

该文被密码保护。 阅读全文

摘要： 1179: [Apio2009]Atm Description Siruseri 城中的道路都是单向的。不同的道路由路口连接。按照法律的规定， 在每个路口都设立了一个 Siruser i 银行的 ATM 取款机。令人奇怪的是，Siruseri 的酒吧也都设在路口，虽然并不是每个路口都设有酒吧。Ban 阅读全文

摘要： Mobile phones Time Limit: 5000MS Memory Limit: 65536K Total Submissions: 21905 Accepted: 10188 Description Suppose that the fourth generation mobile p 阅读全文

该文被密码保护。 阅读全文

该文被密码保护。 阅读全文

摘要： 1088: [SCOI2005]扫雷Mine Description 相信大家都玩过扫雷的游戏。那是在一个n*m的矩阵里面有一些雷，要你根据一些信息找出雷来。万圣节到了，“余”人国流行起了一种简单的扫雷游戏，这个游戏规则和扫雷一样，如果某个格子没有雷，那么它里面的数字表示和它8连通的格子里面雷的数目 阅读全文

摘要： 1717: [Usaco2006 Dec]Milk Patterns 产奶的模式 Description 农夫John发现他的奶牛产奶的质量一直在变动。经过细致的调查，他发现：虽然他不能预见明天产奶的质量，但连续的若干天的质量有很多重叠。我们称之为一个“模式”。 John的牛奶按质量可以被赋予一个0 阅读全文

摘要： 1342: [Baltic2007]Sound静音问题 Description 静音问题 数字录音中，声音是用表示空气压力的数字序列描述的，序列中的每个值称为一个采样，每个采样之间间隔一定的时间。 很多声音处理任务都需要将录到的声音分成由静音隔开的几段非静音段。为了避免分成过多或者过少的非静音段，静 阅读全文

摘要： 2251: [2010Beijing Wc]外星联络 Description 小 P 在看过电影《超时空接触》(Contact)之后被深深的打动，决心致力于寻找外星人的事业。于是，他每天晚上都爬在屋顶上试图用自己的收音机收听外星人发来的信息。虽然他收听到的仅仅是一些噪声，但是他还是按照这些噪声的高低 阅读全文

摘要： 3942: [Usaco2015 Feb]Censoring Description Farmer John has purchased a subscription to Good Hooveskeeping magazine for his cows, so they have plenty o 阅读全文

摘要： 4800: [Ceoi2015]Ice Hockey World Championship Description 有n个物品，m块钱，给定每个物品的价格，求买物品的方案数。 有n个物品，m块钱，给定每个物品的价格，求买物品的方案数。 Input 第一行两个数n，m代表物品数量及钱数 第二行n个数， 阅读全文

摘要： 1692: [Usaco2007 Dec]队列变换 Description FJ打算带他的N(1 <= N <= 30,000)头奶牛去参加一年一度的“全美农场主大奖赛”。在这场比赛中，每个参赛者都必须让他的奶牛排成一列，然后领她们从裁判席前依次走过。 今年，竞赛委员会在接受队伍报名时，采用了一种新 阅读全文

摘要： 4173: 数学 Description Input 输入文件的第一行输入两个正整数 。 输入文件的第一行输入两个正整数 。 Output 如题 如题 Sample Input 5 6 Sample Output 240 HINT N,M<=10^15 N,M<=10^15 sol：推公式 $m m 阅读全文

摘要： 题意：求第k个无平方因子数是多少 无平方因子数(square-free number)，即质因数分解之后所有质因数的次数都为1的数 膜拜Po姐姐 二分答案 设二分后值为x 我们考虑前x个数中是否含有超过k个不是平方因子的数 我们考虑平方因子一定含有至少一个质数的平方 那么考虑容斥，即质数平方个数为0 阅读全文