对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性.基于形式化方法是根据混成系统的形式规范与属性,使用数学方法证明其正确性或非正确性.对温控系统实现了抽象算法的形式化,首先对线性混成系统的状态空间进行分割,然后将其转化为图的可达性问题,利用图算法求解,最终对系统进行了安全性验证.实验结果表明,采用形式化方法对混成系统进行安全性验证具有较高的可靠性与可信性.

This paper reports an ERP experiment on Chinese-English bilinguals' disambiguation processing of ambiguous English nouns in sentence context,which has resulted in three main findings: 1) Under context relevant condition,the average N400 waves stimulated by the main senses of both biased and balanced ambiguous words are significantly lower than those under context irrelevant condition;2) No significant differences exist for the average N400 waves stimulated by secondary senses under relevant or irrelevant conditions;3) The average N400 waves in the subjects' left hemispheres were significantly higher than those in their right hemispheres.The results indicate that processing of biased ambiguous words is different from processing balanced ones,with the former following the sequential processing model,and that the left and right hemispheres play different functions in language processing.