RP-check: An architecture for spaceflight command sequence validation

Author(s):  
Mark W. Maimone ◽  
Scott Maxwell ◽  
Jeffrey J. Biesiadecki ◽  
Stirling Algermissen
Keyword(s):  
Author(s):  
Zhou Jian ◽  
Haruhiko Shirai ◽  
Isamu Takahashi ◽  
Jousuke Kuroiwa ◽  
Tomohiro Odaka ◽  
...  

Author(s):  
Jian Zhou ◽  
Haruhiko Shirai ◽  
Jousuke Kuroiwa ◽  
Tomohiro Odaka ◽  
Hisakazu Ogura
Keyword(s):  

1984 ◽  
Vol 28 (11) ◽  
pp. 963-967 ◽  
Author(s):  
Dana S. Kay ◽  
John B. Black

This study examined the changes in the knowledge representations of text-editing commands as experience increases. Novices appear to organize the commands by their definitions, whereas experts use both command definitions and command sequence configurations to organize the commands. Thus, it appears that declarative knowledge is the first type of knowledge to be acquired in learning text-editing commands. At a more general level, experts and novices both organized their commands along three general dimensions, but the third dimension was different for the two groups. The results of this study, in conjunction with previous computer system studies, suggests an incremental model of the acquisition of computer-related knowledge in which there are changes in both the content and the representation of the knowledge.


2021 ◽  
pp. 169-182
Author(s):  
Wei Liu ◽  
Yu Mao ◽  
Linlin Ci ◽  
Fuquan Zhang

2020 ◽  
Vol 38 (5) ◽  
pp. 5707-5716 ◽  
Author(s):  
Wei Liu ◽  
Yu Mao ◽  
Linlin Ci ◽  
Fuquan Zhang

Cell ◽  
2015 ◽  
Vol 163 (3) ◽  
pp. 656-669 ◽  
Author(s):  
Saul Kato ◽  
Harris S. Kaplan ◽  
Tina Schrödel ◽  
Susanne Skora ◽  
Theodore H. Lindsay ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document