Download User interface design with matrix algebra

2
·
H. Thimbleby
1
2
Introduction
Contributions to HCI
2.1 Methodological issues . . . . . . . . . . . . .
2.2 The theory proposed . . . . . . . . . . . . . .
3 Introductory examples
3.1 A simple two button, two state system . . . .
3.2 Simple abstract matrix examples . . . . . . .
4 Example 1: The Nokia 5110 mobile phone
4.1 Inverses . . . . . . . . . . . . . . . . . . . .
4.2 Partial theorems . . . . . . . . . . . . . . . .
5 Projecting large state spaces onto smaller spaces
5.1 Matrix transforms . . . . . . . . . . . . . . .
6 Example 2: The Casio HL-820LC calculator
6.1 Solving user problems: Task/action mappings
6.2 Summary and comparisons with other designs
7 Example 3: The Fluke 185 digital multimeter
7.1 Specifying the Fluke 185 . . . . . . . . . . .
7.2 Qualifications . . . . . . . . . . . . . . . . .
7.3 Reordering states . . . . . . . . . . . . . . .
7.4 Remaining major features . . . . . . . . . . .
7.5 Soft buttons . . . . . . . . . . . . . . . . . .
8 Advanced issues and further work
8.1 Button modes . . . . . . . . . . . . . . . . .
8.2 Modes and partial theorems . . . . . . . . . .
8.3 Finding matrices from specifications . . . . .
8.4 Design tools . . . . . . . . . . . . . . . . . .
8.5 Constructive use of matrices . . . . . . . . .
8.6 Model checking and other approaches . . . .
8.7 Modes and the ordering states . . . . . . . .
8.8 Complexity theory . . . . . . . . . . . . . . .
8.9 Pseudo inverses . . . . . . . . . . . . . . . .
9 Conclusions
A Simple matrix algebra
A.1 Partitions . . . . . . . . . . . . . . . . . . .
A.2 Algebraic properties . . . . . . . . . . . . . .
B From finite state machines to matrix algebra
B.1 Aren’t FSMs too restricted? . . . . . . . . . .
C Formal definitions and basic properties
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
1
3
4
6
7
7
11
12
14
15
15
16
19
24
30
31
32
35
36
37
38
39
39
42
43
45
46
46
47
47
47
48
51
53
54
54
55
57