脑益嗪对受前庭刺激家兔的脑血流图功率谱和眼震颤的影响

研究了脑益嗪对受前庭刺激家兔的脑血流图功率谱和眼震颤的影响。脑血流图功率谱的计算机分析表明，有效的前庭刺激可以引起脑血管的紧张，而脑益嗪能够改善前庭刺激下的脑血流状况，并且降低旋转后眼震颤的频率和慢相速度。脑益嗪的药效作用可持续３ｈ，其作用峰值可能在２．５ｈ。实验结果提示：当前庭受过度刺激时脑益嗪可能通过扩张病理收缩状态的脑血管来对抗运动病的发生，同时也不排除其降低前庭器官敏感性的作用。     

一种改进的规则终止性分析方法的研究

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。