专业术语新词自动发现技术

从特定领域的科技文献中发现新词,不断地丰富词表,以保证词表的容量是信息检索的一个很重要的基础工作.介绍了专业术语新词自动发现技术中术语提取及词表丰富工作中采取的关键步骤：英文标题串的规范化、标题串中专业术语新词的提取、确定新词对应的概念.最后,文中对实验结果进行了统计和比较,解释了统计结果中出现的一些现象,并得出了结论.     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

溯源探流谈高等代数内容的改革

为了培养应用型、创新型人才;为了将抽象的《高等代数》内容由学术形态转变为教育形态,从理论上探讨了如何就两个方面对《高等代数》的内容进行改革:一是从背景问题出发,在研究解决背景问题的过程中,逐步引入概念等理论体系;另一方面是加强应用的教学。从而使《高等代数》内容的来龙去脉更加明确,提高教学质量。     

命题演算的一种表述

给出命题演算公理系统构造的一种细致、对称的表述。这种表述方式,有助于理解形式系统化方法的统一性以及尽可能有的构造性。     

OpenGL图形规范的Z形式化描述

OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。