随着计算机科学和语言学的迅速发展,计算语言学(Computational Linquistics)这门新型边缘学科应运而生。它是语言学与计算机科学交......

目的盐碘定量检测的计算工作繁琐,介绍一种简捷的程序运算方法。方法使用CASIO?χ-3600 P计算器,利用X、K、M寄存器输入程序变量,P......

利用归纳断言方法验证程序正确性的难点是如何找到循环不变式.由程序员直接给出不变式有种种弊端,而现有生成不变式的方法都是根据......

...

ＩＮＦＯＲＭＩＸ－４ＧＬ是基于ＩＮＦＯＲＭＩＸ数据库管理系统的新一代计算机语言，具有友好的用户界面，使用非过程化语言，具备强大的数据库接口，提供高效的程序代码，以非过程化......

情绪与认知的关系研究是心理学研究的热点问题。很多研究证实,人们的认知活动会受到情绪的影响。国内外的学者们采用各种方法来研......