语言服务的概念分析及其框架建构

本文基于语言服务概念反思,指出理解此概念的关键在于把握"服务"的经济学内涵,并提出语言服务的区别性特征在于它缘生于跨语言跨文化的交际环境,且以语际或符际的语言信息转换和语言产品生产为核心要素.以此为前提,本文将语言服务的研究领域分为核心领域、衍生领域和相关领域,并据此提出了研究框架.     

一种验证特征模型和软件架构可追溯性的方法

基于形式概念分析技术,提出了一种验证特征模型和软件架构之间具有可追溯性的方法。该方法分析了特征的组成,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则。与一般的模型可追溯性验证方法相比,该方法更适用于复杂度高的模型,最后通过实例研究说明了方法的有效性。     

基于FCA具有认知诊断功能CAT的设计与实现

认知诊断（Cognitive diagnosis,CD）是智能教学系统的重要组成部分,但其研究存在一些问题：且对具有认知诊断功能的计算机化自适应测验（Computerized adaptive testing,CAT）的报导很少。CAT因人施测,公平高效,适合大规模测验。在规则空间模型与属性层次法的理论基础上,提出新的属性层次结构的类型,将形式概念分析（Formal concept analysis,FCA）应用于CD-CAT,以概念格为其理论模型,采用合适的题库建设技术、CD-CAT的选题策略和估计方法,建立概念格与CD-CAT的联系,据此开发出CD-CAT以实现对被试的实时诊断并讨论认知诊断的算法。采用Monte Carlo模拟进行实验,实验结果表明被试的知识状态较好地被诊断,能力估计精度在89%以上。