basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

使用概率规则文法评估人机界面可用性

提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界面的可用性计算实例.文中方法能够在界面系统生命周期的早期使用,以较早地对不同设计方案进行比较,降低开发风险.

data transformation and attribute subset selection: do they help make differences in software failure prediction?

IEEE, IEEE Comp Soc, Tech Council Software Engn

获取无意识结构知识的机制:主观熟悉感与刺激重复结构在人工语法学习中的作用

The nature of the distinction between conscious and unconscious knowledge is a core issue in the implicit learning field. Furthermore, the phenomenological experience associated with having knowledge is central to the conscious or unconscious status of that knowledge. Consistently, Dienes and Scott (2005) measured the conscious or unconscious status of structure knowledge using subjective measures. Believing that one is purely guessing when in fact one knows indicates unconscious knowledge. But unconscious structural knowledge can also be associated with feelings of intuition or familiarity. In this thesis, we explored whether phenomenological feelings, like familiarity, associated with unconscious structural knowledge could be used, paradoxically, to exert conscious control over the use of the knowledge, and whether people could obtain repetition structure knowledge. We also investigated the neural correlates of awareness of knowing, as measured phenomenologically. In study one, subjects were trained on two grammars and then asked to endorse strings from only one of the grammars. Subjects also rated how familiar each string they felt and reported whether or not they used familiarity to make their grammaticality judgment. We found subjects could endorse the strings of just one grammar and ignore the strings from the other. Importantly, when subjects said they were using familiarity, the rated familiarity for test strings consistent with their chosen grammar was greater than that for strings from the other grammar. Familiarity, subjectively defined, is sensitive to intentions and can play a key role in strategic control. In study two, we manipulated the structural characteristic of stings and explored whether participants could learn repetition structures in the grammatical strings. We measured phenomenology again and also ERPs. Deviant letters of ungrammatical strings violating the repetition structure elicited the N2 component; we took this to be an indication of knowledge, whether conscious or not. Strings which were attributed to conscious categories (rules and recollection) rather than phenomenology associated with unconscious structural knowledge (guessing, intuition and familiarity) elicited the P300 component. Different waveforms provided evidence for the neural correlates of different phenomenologies associated with knowledge of an artificial grammar.