EagleBear2002 的博客

这里必须根绝一切犹豫，这里任何怯懦都无济于事

发表于 更新于 分类于 ，
本文字数： 4.7k 阅读时长 ≈ 4 分钟

本文主要内容来自 SpriCoder 的博客，更换了更清晰的图片并根据新的课程设计做了补充和修正。

背景

  1. 观察用户怎样工作是极其重要的可用性方法
    1. 用户并不总能客观和完整地描述产品的使用情况：访谈得到的信息可能不真实
    2. 用户有可能忽略一些细节：忽视了细节的重要性
    3. Heath 和 Luff 在伦敦地铁控制室的观察证明有助于改进系统设计
  2. 观察法是所有可用性方法中最简单的方法：涉及看和听两个方面
  3. 观察适用于产品开发的任何阶段
    1. 初期：理解用户的需要
    2. 开发过程：检查原型
    3. 后期：对最终产品进行评价

观察方法

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 3.2k 阅读时长 ≈ 3 分钟

背景

汽车上的刹车踏板和油门踏板相距很近，且刹车踏板要比油门踏板大很多：

  1. 经验告诉我们，可达到以最快的速度准确制动的目的
  2. 但是，依据的原理是什么呢？

设计学科通常借助模型生成新的想法并对其测试：如建筑学领域，有重量分布模型、空气环流模型、流体力学模型和光学模型等

交互设计领域：

阅读全文 »

发表于 更新于 分类于
本文字数： 2k 阅读时长 ≈ 2 分钟

摘要

本文推荐了一些程序员实用软件，包括装机软件和效率软件，全部为免费软件，并提供了获取方式。

本文所提供的一切软件服务获取方式仅供教学科研使用！

装机软件

微软办公

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 1.5k 阅读时长 ≈ 1 分钟

CONCUR'18 Anode[^Kartik]

SQL 编码为 FOL，基础理论，无代码；

SIGMOD'22 WeTune[^WeTune]

SIGMOD2022 WeTune，王肇国等。

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 14k 阅读时长 ≈ 13 分钟

摘要

尽管近年来开发了许多弱一致性机制来提高分布式复制系统的性能并确保可用性，但确保在此类系统上运行的事务应用程序的正确性仍然是一个困难而重要的问题。可串行化是事务性程序的一个众所周知的正确性标准； 然而，了解应用程序在弱一致性环境中执行时是否可序列化仍然是一项具有挑战性的工作。在这项工作中，我们结合了基于依赖图的可串行化特征，并利用抽象执行框架来开发一种全自动方法，用于在任何弱一致性模型下静态查找有界可串行化违规。我们将可序列化问题简化为一阶逻辑（FOL）中公式的可满足性问题，这使我们能够利用现有 SMT 求解器的功能。我们提供了从用 SQL 编写的程序（允许循环和条件）自动构造 FOL 编码的规则，并将一致性规范表示为 FOL 公式。除了检测有界可串行性违规之外，我们还提供了两种正交方案，通过提供充分的条件（同样以 FOL 公式的形式）来推理无界执行，其可满足性意味着在任何任意执行中都不存在异常。我们已将所提出的技术应用于 TPC-C（一个具有复杂应用程序逻辑的现实数据库程序），并且能够发现并行快照隔离（PSI）下的异常，并验证快照隔离（SI）下无限执行的可串行性，两个远弱于可串行化的一致性机制。

Nagar 与 Jagannathan 在本文中使用一阶谓词逻辑公式对客户程序以及事务一致性模型进行精确建模，利用 SAT/SMT 自动推导出违反该一致性的执行历史的结构，并在客户程序可能产生的所有执行历史中搜索该结构。

本文的工作是基于分布式数据一致性。

TODO：SQL 中的循环是否是必须的？

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 6.7k 阅读时长 ≈ 6 分钟

本文主要内容来自 SpriCoder 的博客，更换了更清晰的图片并根据新的课程设计做了补充和修正。

【2014】自主团队

【2013】【2015A】【2016】软件开发是知识工作

软件开发是一项既复杂又富有创造性的知识工作

软件开发——智力劳动：

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 4.7k 阅读时长 ≈ 4 分钟

摘要

本文梳理了数据库事务的发展史。在 SQL 标准规定的 SER、RR、RC 和 RU 之外，重点介绍了 SI 隔离级别。本文还介绍了提高事务隔离级别的几种方式，并展望了未来可能出现的高效 SER 的实现方式。本文是 数据库事务发展史+SSI 隔离级别原理 课程笔记。

1992 年：ANSI SQL92 事务隔离级别

Isolation Level Dirty Read Fuzzy Read Phantom
Read Uncommitted 允许 允许 允许
Read Comitted 不允许 允许 允许
Repeatable Read 不允许 不允许 允许
Serializable 不允许 不允许 不允许

Dirty Read、Fuzzy Read 和 Phantom 分别表示脏读、不可重复读、幻读三种异象（phenomenon）。

阅读全文 »

发表于 更新于 分类于
本文字数： 2.1k 阅读时长 ≈ 2 分钟

摘要

本文介绍了基于 NJU-Table 协同表格的新生车辆入校审批系统的需求明细、视图展示和部分设计细节，并记录了系统上线运行后得到的反馈。在新生学院七个书院十余位老师的共同支持下，该系统在开学两天内顺利调度一千二百余辆私家车错峰入校，展示了后疫情时代信息化行政的强大潜力。该系统的开发涉及到 NJU-Table 向非专业开发者提供的绝大多数功能，为学习使用 NJU-Table 提供了良好范例。

需求明细

  • [x] 新生扫描二维码或点击链接，在移动端或 PC 端通过表单提交姓名、学号、所在书院、车牌号，选择停泊时间
  • [x] 新生只能在书院规定的报道时间内选择停泊时间
  • [x] 仅书院负责审核的辅导员可在相应视图（如“健雄书院审核视图”）对本书院的提交完成审核
  • [x] 要求填写者承诺在填写的停泊时间结束前离开学校
  • [x] 申请被审核后新生可在系统中收到通知（目前无法使用微信、邮件等第三方通知）
  • [x] 新生可查看已提交的申请的审核情况
  • [x] 可以自动检测一人多填，保证每个人最多只能填写一个有效表单
  • [ ] 系统自动限制每个时间段的停泊数量

系统视图展示

阅读全文 »

发表于 更新于 分类于
本文字数： 1.5k 阅读时长 ≈ 1 分钟

下载

Github 上的 clash 官方仓库已经删库跑路，本文介绍的是一个目前可行的解决方案。

在 https://github.com/doreamon-design/clash/releases 下载与自己系统架构符合的安装包。一般选择 [clash_2.0.24_linux_amd64.tar.gz](https://github.com/doreamon-design/clash/releases/download/v2.0.24/clash_2.0.24_linux_amd64.tar.gz)。

安装

1
2
3
4
gzip -d clash_2.0.24_linux_amd64.tar.gz # 在安装包所在路径解压安装包
chmod +x clash_2.0.24_linux_amd64.tar.gz # 给解压后的文件赋予执行权限
mv clash_2.0.24_linux_amd64 /usr/local/bin/clash # 移动文件位置
clash -v # 查看是否成功安装
阅读全文 »